Hilbert Bernays Summer School on Logic and Computation

Hilbert Bernays Summer School on Logic and Computation

International Summer School in Mathematics on the topic "Logic and Computation"

The Mathematical Institute of the Georg-August-University Göttingen hosted a summer school in cooperation with the Departamento de Matemática of the Universitade Nova de Lisboa about the topic "Logic and Computation".

  • Place: Mathematical Institute in Göttingen
  • Date: July 26 - August 01, 2015
  • The summer school was addressed at students of the subjects mathematics, philosophy and computer science.



Schedule for download (PDF)


Sponsors


Scientific sponsors


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)