Hilbert Bernays Summer School on Logic and Computation

Internationale Sommerschule in Mathematik zum Thema "Logic and Computation"

Das Mathematische Institut der Georg-August-Universität Göttingen veranstaltete in Kooperation mit dem Departamento de Matemática der Universitade Nova de Lisboa eine Sommerschule zum Thema "Logic and Computation".

  • Ort: Mathematisches Institut in Göttingen
  • Termin: 26. Juli - 01. August 2015
  • Die Sommerschule richtete sich an Studierende der Fächer Mathematik, Philosophie und Informatik.



Schedule zum Download (PDF)


Sponsoren


Wissenschaftliche Sponsoren


Académie Internationale de Philosophie des Sciences (AIPS)


Association for Symbolic Logic (ASL)


Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften (DVMLG)
European Association for Computer Science Logic


Gesellschaft für Analytische Philosophie


Kurt Gödel Society


The Association for Logic, Language and Information (FoLLI)