12. Jahrestagung der GI-Fachgruppe
Logik in der Informatik
München, 19.-20. Mai 2005
Angemeldete Teilnehmer
Klaus Aehlig (LMU München)
Franz Baader (TU Dresden,
Vortrag
)
François Bry (LMU München)
Lennart Beringer (Univ of Edinburgh)
Birgit Elbl (UniBW München)
Moritz Hammer (LMU München)
Martin Hofmann (LMU München,
Vortrag
)
Jan Johannsen (LMU München)
Johannes Kinder (TU München,
Vortrag
)
Martin Lange (LMU München)
Hans Leiss (CIS, LMU München)
Martin Leucker (TU München,
Vortrag
)
Hans-Wolfgang Loidl (LMU München)
Carsten Lutz (TU Dresden)
Ralph Matthes (LMU München,
Vortrag
)
Grigori Mints (Stanford,
Vortrag
)
Robert Reitmeier (LMU München)
Sebastian Schaffert (LMU München,
Vortrag
)
Stefan Schimanski (LMU München)
Manfred Schmidt-Schauß (Uni Frankfurt)
Peter Schmitt (Uni Karlsruhe)
Thomas Schwentick (Uni Marburg,
Eingeladener Vortrag
)
Helmut Schwichtenberg (LMU München)
Helmut Seidl (TU München)
Helmut Veith (TU München,
Vortrag
)
Kumar Neeraj Verma (TU München,
Vortrag
)
Tjark Weber (TU München)
Last modified: Tue May 17 12:00:59 CEST 2005
