Links
Einige Links zur Logik in der Informatik
- Das Journal Logical Methods in Computer Science LMCS.
- Die IEEE Konferenz zu Logic in Computer Science LICS.
- 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
- Lehrstuhl Theoretische Informatik I, Friedrich-Schiller-Universität Jena, Prof. Dr. Olaf Beyersdorff
https://www.ti1.uni-jena.de - Professur für Algebra und Diskrete Strukturen, TU Dresden, Prof. Dr. Manuel Bodirsky
https://www.math.tu-dresden.de/~bodirsky/ - 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, Prof. Dr. Nicole Schweikardt und Prof. Dr. Christoph Berkholz
http://www2.informatik.hu-berlin.de/logik/ - Inst. f. theor. Informatik, TU Braunschweig, Prof. Dr. Jiri Adamek
https://gepris.dfg.de/gepris/person/1787520?context=person&task=showDetail&id=1787520& - Algebraische und logische Grundlagen der Informatik, Univ. Leipzig, Prof. Dr. Andreas Maletti
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
https://tu-dresden.de/ing/informatik/thi/alg/die-professur/inhaber-in - Lehrstuhl f. theor. Informatik, BTU Cottbus-Senftenberg, Prof. Dr. Klaus Meer
https://www.b-tu.de/fg-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
https://ls1-www.cs.tu-dortmund.de/de/kontakt-thomas-schwentick - 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
https://www.uni-koblenz-landau.de/en/campus-koblenz/fb4/ics/RGVSS/team/viorica-sofronie-stokkermans - 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
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
https://www.in.tum.de/i02/startseite/