| سخنران | عنوان | چکیده |
| Mohammad Ardeshir | New insights on Basic Logic | |
| Johan van Benthem | Reasoning about Dependence and Knowledge | |
| Ali Enayat | The Barwise-Schlipf Characterization of Recursively Saturated Models of Peano Arithmetic, Redux | |
| Lev D. Beklemishev | Strictly positive provability logics | |
| Albert Visser | Cyclic Henkin Logic | |
| همهی چکیدهها یکجا | ||