Logic Colloquium 2020 w Poznaniu

W dniach 13-18.07.2020 odbędzie się w Poznaniu Logic Colloquium.

Logo lc 2020

Tegoroczne sesje specjalne dotyczą następujących dziedzin (zagadnień):
1. Teoria mnogości,
2. Teoria modeli,
3. Logiki modalne i epistemiczne,
4. Dowody i programy,
5. Obliczalność,
6. Logika w kognitywistyce i lingwistyce.
Krótkie kursy (tutoriale) przedstawią prof. Krzysztof Krupiński (UWr) i prof. Andrew Marks (UCLA). Pełna lista zaproszonych gości i pozostałe szczegóły są dostępne na stronie internetowej konferencji.
Ostateczny termin nadsyłania abstraktów upływa 31.03.2020.