Dienstagsclub (DC)
What / Who is the Dienstagsclub ?
A gang of researchers and students interested in anything having to do with
logics and semantics of computation, ranging over (but not limited to) type
theory via concurrency theory to hardware verification. Take a look at the
list of researchers related to the DC over the
years.
Projects
- Our main
research project
within
SFB 182
(sponsored by the Deutsche Forschungsgemeinschaft)
- Our exchange projects with the LFCS in Edinburgh
(sponsored by the Deutscher Akademischer Austauschdienst)
for which we have not yet provided online information.
Events
A hotlist (under construction), illustrating some of our research interests
CONTACT ...
-
info@dienstagsclub.org
Last modified:
Wed Jun 3 18:36:09 MET DST 1998
Uwe Nestmann
<uwe@cs.auc.dk>