Gesellschaft für Informatik e. V.

GI-Fachgruppe "Logik in der Informatik"

Ziele und Aufgaben der GI-Fachgruppe "Logik in der Informatik"

Fachgruppenleitung:

Prof. Dr. Martin Hofmann, LMU München (Sprecher)

Prof. Dr. Helmut Seidl, TU München (stellvertretender Sprecher)

Prof. Dr. Markus Lohrey, Universität Leipzig

Prof. Dr. Thomas Schwentick, Universität Dortmund

Jahrestagungen der Fachgruppe

• 1. Jahrestagung (1993, Leipzig)
• 2. Jahrestagung (1994, Paderborn)
• 3. Jahrestagung (1995, Karlsruhe)
  • Programm
  • Proceedings (Postscript tarball, 650KB)
  • Tagungsbericht (Postscript, 50KB)
• 4. Jahrestagung (1996, Kaiserslautern, 30.-31. Mai)
  • Programm
  • Abstracts der Vorträge: Baader, Boley, Globig, Goubault, Grieser, Kamp/Wache, Lange, Merkle/Stephan, Sprenger, Wette-Roch.
  • Protokoll der Fachgruppensitzung
• 5. Jahrestagung (1997, Aachen, 22.-23. Mai)
• 6. Jahrestagung (1998, Kiel, 4.-5. Juni)
  • Protokoll der Fachgruppensitzung
• 7. Jahrestagung (1999, Dresden, 27.-28. Mai)
  • Protokoll der Fachgruppensitzung
• 8. Jahrestagung (2001, München, 6. Juni)
  
  • organisiert von Klaus Schulz und Tobias Nipkow
  • Protokoll
• 9. Jahrestagung (2002, Freiburg, 2.-4. Oktober)
  
  • organisiert von David Basin und Heinz-Dieter Ebbinghaus
  • Protokoll der Fachgruppensitzung
• 10. Jahrestagung (2003, Augsburg, 8.-10. Oktober)
  
  • organisiert von Wolfgang Reif
  • Protokoll der Fachgruppensitzung
• 11. Jahrestagung (2004, Saarbrücken 4.-6. Oktober)
  
  • organisiert von Chris Benzmüller und Serge Autexier
  • Protokoll der Fachgruppensitzung
• 12. Jahrestagung (2005, München 19.-20. Mai)
  
  • organisiert von Jan Johannsen und Martin Lange
• 13. Jahrestagung (2006, Dortmund 12.-13. Oktober)
  • organisiert von Thomas Schwentick
  • Protokoll der Fachgruppensitzung
• 14. Jahrestagung (2007, Braunschweig 23.-24. November)
  • organisiert von Jiri Adamek
  • Protokoll der Fachgruppensitzung
• 15. Jahrestagung (2008, München 8. September)
  • organisiert von Martin Leucker, Tobias Nipkow, Helmut Seidl
  • Protokoll der Fachgruppensitzung
• 16. Jahrestagung (2009, Frankfurt, 6.-7. November )
  • organisiert von Manfred Schmidt-Schauss und Nicole Schweikardt
  • Protokoll der Fachgruppensitzung
• 17. Jahrestagung (2010, Leipzig, 5.-6. November )
  • organisiert von Markus Lohrey
  • Protokoll der Fachgruppensitzung
• 18. Jahrestagung (2011, Ilmenau, 4.-5. November )
  • organisiert von Dietrich Kuske
• 19. Jahrestagung (2012, Mannheim, 16.-17. November )
  • organisiert von Lutz Strüngmann
  • Protokoll der Fachgruppensitzung

Mailingliste

Der Sprecher der Fachgruppe verwaltet eine Mailingliste, über die Ankündigungen des Fachgruppensprechers und andere fachbezogene Informationen wie z.B. Konferenzankündigungen verschickt werden. Weiterhin kann diese Liste für Diskussionen über Logik in der Informatik verwendet werden. Diese Liste ist nicht identisch mit der Mitgliederliste der Fachgruppe LogInf. Sie enthält nur Adressen von Personen die sich explizit in die Liste eingetragen. Sie ist auch offen für Personen, die Interesse an der Logik in der Informatik haben, ohne Mitglied der Fachgruppe zu sein.

Nähere Informationen finden sich hier.

Ein Archiv der Liste ist ebenfalls verfügbar.

GI-Fachbereich Grundlagen der Informatik (GInf)

Homepage der Gesellschaft für Informatik

Fachgruppen des GI-Fachbereichs Grundlagen der Informatik (GInf):

-	Fachauschuss Theoretische Informatik Fachgruppe Algorithmen (ALGO) Fachgruppe Algorithmische Geometrie (AG) Fachgruppe Parallele und verteilte Algorithmen (PARVA) Fachgruppe Komplexität (KP) Fachgruppe Automaten und Formale Sprachen (AFS) Fachgruppe Logik in der Informatik (LogInf)
-	direkt dem Fachbereich 0 zugeordnet: Fachgruppe Computeralgebra (CA) Fachgruppe Neuronale Netze Fachgruppe Petrinetze

Weitere Informationen zur Logik in der Informatik

• The Journal of Logical Methods in Computer Science LMCS

• The LICS conference series , which also offers a list of logic-related conferences

• The homepage of the European Association for Computer Science Logic , organising the CSL conference series and granting the Ackerman award for outstanding dissertations in logic in computer science

• A list of research groups in logic and theoretical computer science

• The association of symbolic logic ASL, organizing the ASL meetings and publishing journals such as the journal of symbolic logic