Hilbert-Bernays Summer School on Logic and Computation 2020

Hilbert-Bernays Summer School on Logic and Computation 2020

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

The Mathematical Institute of the Georg-August-University Göttingen hosts this online summer school in cooperation with the Departamento de Matemática of the Universitade Nova de Lisboa and with the Carl Friedrich von Weizsäcker Center in Tübingen.

  • Place: Online
  • Date: 12 October - 16 October 2020
  • The summer school is addressed at students of the subjects mathematics, philosophy and computer science, preferably undergraduate students in their final year and graduate students.

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)