Einige Links zur Logik in der Informatik:

  • Das Journal Logical Methods in Computer Science LMCS
  • Die IEEE Konferenz zu Logic in Computer Science LICS.
  • Eine Liste mit weiteren Konferenzen zum Thema Logik in der Informatik.
  • Die European Association for Computer Science Logic EACSL, die u.a. die Konferenz Computer Science Logic organisiert und den Ackerman Award für hervorragende Dissertationen im Bereich der Logik in der Informatik vergibt.
  • Die Association of Symbolic Logic ASL, die die ASL Meetings organisiert und Journale wie z.B. das Journal of Symbolic Logic publiziert. 
  • Eine Liste mit Forschungsgruppen weltweit, die sich mit Logik (in der Informatik) beschäftigen.

Arbeitsgruppen:

AG Theoretische Informatik, Univ. Kiel, Prof. Dr. Thomas Wilke
http://www.theorie.informatik.uni-kiel.de/de

Inst. f. theor. Informatik, Leibniz Univ. Hannover, Prof. Dr. Heribert Vollmer
http://www.thi.uni-hannover.de/

AG Theorie der künstlichen Intelligenz, Univ. Bremen, Prof. Dr. Carsten Lutz
http://www.informatik.uni-bremen.de/tdki/

Lehrstuhl für Logik und Semantik, TU Berlin, Prof. Dr. Stephan Kreutzer
http://logic.las.tu-berlin.de/

Lehrstuhl Logik in der Informatik, HU Berlin, N.N.
http://www2.informatik.hu-berlin.de/logik/

Inst. f. theor. Informatik, TU Braunschweig, Prof. Dr. Jiri Adamek
https://www.tu-braunschweig.de/iti

Algebraische und logische Grundlagen der Informatik, Univ. Leipzig, N.N.
http://www.informatik.uni-leipzig.de/alg/

Lehrstuhl f. Automatentheorie, TU Dresden, Prof. Dr. Franz Baader
http://lat.inf.tu-dresden.de/

Lehrstuhl f. algebr. u. log. Grundlagen der Inform., TU Dresden, Prof. Dr. Christel Baier
http://www.inf.tu-dresden.de/index.php?node_id=1438&ln=de

Lehrstuhl f. theor. Informatik, BTU Cottbus-Senftenberg, Prof. Dr. Klaus Meer
http://www.tu-cottbus.de/fakultaet1/de/theoretische-informatik/

FG Theoretische Inform./Formale Methoden, Univ. Kassel, Prof. Dr. Martin Lange
http://www.uni-kassel.de/eecs/fmv

Lehrstuhl 1 Logik in der Informatik 1, TU Dortmund, Prof. Dr. Thomas Schwentick
http://ls1-www.cs.uni-dortmund.de/cms/

Mathematische Grundlagen der Informatik, RWTH Aachen, Prof. Dr. Erich Grädel
https://logic.rwth-aachen.de/index.html.de

Logik und Theorie diskreter Systeme, RWTH Aachen, Prof. Dr. Martin Grohe / Prof. Dr. Wolfgang Thomas
http://www.lii.rwth-aachen.de/de/

AG Sofronie-Stokkermans, Univ. Koblenz-Landau, Prof. Dr. Viorica Sofronie-Stokkermans
http://www.uni-koblenz-landau.de/koblenz/fb4/ifi/RGVSS/team/index_html/

AG Theorie komplexer Systeme, Univ. Frankfurt, Prof. Dr. Nicole Schweikardt
http://www.tks.informatik.uni-frankfurt.de/

AG Künstliche Intelligenz und Softwaretechnologie, Univ. Frankfurt, Prof. Dr. Manfred Schmidt-Schauß
http://www.ki.informatik.uni-frankfurt.de/

Lehrstuhl Theoretische Informatik, Univ. Siegen, Prof. Dr. Markus Lohrey
http://www.eti.uni-siegen.de/ti/index.html?lang=de

FG Automaten und Logik, TU Ilmenau, Prof. Dr. Dietrich Kuske
http://www.tu-ilmenau.de/al/

AG Logik, TU Darmstadt, Prof. Dr. Ulrich Kohlenbach / Prof. Dr. Martin Otto
http://www3.mathematik.tu-darmstadt.de/ags/ag-logik/arbeitsgruppe-logik.html

Lehrstuhl f. Logik und formale Methoden, Karlsruhe Inst. of Techn., Prof. Dr. Peter Schmitt
http://lfm.iti.kit.edu/

Lehrstuhl für Informatik 8, FAU Erlangen-Nürnberg, Prof. Dr. Lutz Schröder
https://www8.cs.fau.de/

LFE f. theor. Informatik, LMU München, Prof. Dr. Martin Hofmann
http://www.tcs.ifi.lmu.de/

Lehrstuhl f. Informatik VII, TU München, Prof. Dr. Javier Esparza
https://www7.informatik.tu-muenchen.de/home/index.php?id=home&arg=

Lehrstuhl f. Informatik II, TU München, Prof. Dr. Helmut Seidl
http://www2.in.tum.de/hp/Main?nid=1