Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

12 - 16 October 2020, Hilbert-Bernays Summer School on Logic & Computation, Virtual

Date: 12 - 16 October 2020
Location: Virtual
Deadline: Saturday 12 September 2020

The Mathematical Institute of the Georg-August-University Göttingen organizes a "Hilbert-Bernays Summer School on Logic and Computation" as an online event. This summer school offers a unique opportunity for undergraduate and graduate students to experience compelling lectures on Logic and Computation.

Encouraged by previous years of success, we offer students from all over the world the possibility to sign up this 1-week (3 ECTS) Summer School course covering topics such as: Gödel's Incompleteness Theorems, The Axioms of Zermelo and Fraenkel, Recursion and Complexity and Connexive logic. Students may anticipate a high professional outcome in a dedicated international environment.

Please note that this newsitem has been archived, and may contain outdated information or links.