8 בספטמבר 2018
- 11:0011:00, 8 בספטמבר 2018 הבדל היסטוריה −3 תורת החישוביות/כריעות שפות/אי-הפרדתיות רקורסיבית אין תקציר עריכה נוכחי
7 בספטמבר 2018
- 19:1419:14, 7 בספטמבר 2018 הבדל היסטוריה 0 תורת החישוביות/כריעות שפות/משפט רייס אין תקציר עריכה
- 15:4915:49, 7 בספטמבר 2018 הבדל היסטוריה 0 תורת החישוביות/כריעות שפות/רדוקציה חישובית אין תקציר עריכה נוכחי
4 בספטמבר 2018
- 16:0016:00, 4 בספטמבר 2018 הבדל היסטוריה 0 תורת החישוביות/מכונת טיורינג אוניברסלית אין תקציר עריכה נוכחי