Activities
Mathematical Foundations of Computer Science (MFCS'10)
Logic for Programming and Automated Reasoning (LPAR'10)
European Symposium of Programming (ESOP'10)
Fundamentals of Computation Theory (FCT'09)
LATA'09
Jahrestreffen der GI Fachgruppe Logik in der Informatik 2008
Doctorate Program PUMA
VMCAI'09
LPAR'08
FSTTCS'07
SAS'07
DBPL'07
FoSSaCS'07
ICALP'06
TACAS'06
Int. Workshop on Numerical and Symbolic Abstract Domains 2005
FoSSaCS'04
Plan-X'04
SAS'03
ESOP'03
Pseudolus
CIAA'02
CC'00
8. Theorietag "Automaten und Formale Sprachen"
FoSSaCS'98
Dagstuhl
Seminar on
"Applications of Tree Automata..."
Helmut Seidl - Activities - Jan. 26, 2010