A webpage devoted to activities around the theory of continuous lattices and domains and its applications in computer science and in mathematics with an emphasis on the contributions of the research group at Darmstadt. We provide information about the following aspects that are also accessible through the menu to the left:
The webpage is under construction. Not all the pages indicated above are really available.
Technische Universität Darmstadt
Fachbereich Mathematik
Arbeitsgruppe Logik
S2|15
Schloßgartenstraße 7
64289 Darmstadt
Tel.: +49-(0)6151-164686
Fax: +49-(0)6151-163317
logik@mathematik.tu-darmstadt.de
Sekretariat Raum S2|15-206 | |
Öffnungszeiten: | 10:00-15:00 |