W dniach 13-18.07.2020 odbędzie się w Poznaniu Logic Colloquium.
![Logo lc 2020](https://i0.wp.com/lc2020.pl/conf-data/LC2020/images/logo_lc2020.png?w=840&ssl=1)
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.