| THURSDAY | | | |
| 13.45 | Opening | | |
| 14.00-14.20 (20min) | Sara Uckelman (Durham) | https://sluckelman.webspace.durham.ac.uk | Women in the History of Logic |
| 14.25-14.45 (20min) | Sine Zambach (Copenhagen) | www.cbs.dk/en/staff/szdigi | A woman’s code book – how women got out of it-history and an attempt to get them back in |
| 14.40-15.15 (25min) | Q&A ABOUT HERSTORY IN LOGIC AND IN COMPUTING | | |
| 15.15-16 (15min) | Break | | |
| 15.30-16.00 (15+15min) | Helena Bulinska-Stangrecka (Warsaw) | https://www.ans.pw.edu.pl/Pracownicy/Nauczyciele-akademiccy-WAiNS/Bulinska-Stangrecka-Helena | Trust in the age of social media. Mechanisms for building remote trust |
| 16.00-16.45 (30+15min) | Katarzyna Kasia (Warsaw) | https://wzkw.asp.waw.pl/pracownicy-wydzialu-zarzadzania-kultura-wizualna/ | Social media and conspiracy theories |
| | | |
| FRIDAY | | | |
| 9.00-10.00 (45+15min) | Diane Proudfoot (Canterbury) | https://www.canterbury.ac.nz/arts/schools-and-departments/philosophy/study-options/related-contents-contact-list/diane-proudfoot.html | Was Turing a computationalist? |
| 10.15 - 12.00 (1h45min) | Break (or you can join Logic Seminar in Gothenburg, which is an INDEPENDENT EVENT) | https://www.logic-gu.se | |
| 12.00 -12.45 (30+15min) | Paula Quinon (Warsaw/Gothenburg) | www.paulaquinon.com | The anti-mechanism argument based on Gödel’s incompleteness theorems, indescribability of the concept of natural number and deviant encodings |
| 12.45-13.00 (15min) | BREAK | | |
| 13.00 - 13.45 (30+15min) | Nasim Mahoozi (Barcelona) | http://www.ub.edu/grc_logos/nasim-mahoozi | Why the tolerance principle cannot be tolerated? |
| 13.45-14.00 (15min) | BREAK | | |
| 14-14.35 (20+15min) | Marija Slavkovik (Bergen) | http://slavkovik.com | AI among us: bias vs accountability |
| 14.35-14.45 (10min) | BREAK | | |
| 14.45-15.45 (45+15min) | Marianna Antonutti (Munich/Paris) | https://www.mcmp.philosophie.uni-muenchen.de/people/faculty/antonutti_marfori_marianna/index.html | TBD |
| 15.45-16.45 (15min) | BREAK | | |
| 16.00 -17.00 (45+15min) | Marta Fiori Carones (Warsaw) | https://martafioricarones.github.io | The epistemological reading of reverse mathematics through an example |
| 17.00-17.15 (15min) | BREAK | | |
| 17.15 - 18.15 (45+15min) | Mariya Soskova (Wisconsin-Madison) | https://people.math.wisc.edu/~msoskova/ | Logic, degrees, and definability |