The physical part of the BIP will begin with lectures on key topics, followed by group discussions. Afterward, students will work on preparing their own presentations, applying the concepts learned. They will then present their work, sharing their insights and engaging in further discussion.
Schedule
Monday, 7 July 2025
Morning
09:00–09:30 – Welcome and Introduction
09:30–11:00 – Mircea Dumitru: “Models, Rules, and Proofs”
11:00–11:30 – Coffee Break
11:30–13:00 – Yannis Stephanou: “An Introduction to Modal Logic”
Evening
17:00–18:30 – Antonio Piccolomini d’Aragona: “An Introduction to Proof-Theoretic Semantics”
18:30–19:00 – Coffee Break
19:00–20:30 – Constantin Brîncuș: “Logical Inferentialism: Rules and Valuations”
Tuesday, 8 July 2025
Morning
09:00–10:30 – Fabien Carbo-Gil: “Gödel on Incompleteness and the Continuum Problem”
10:30–11:30 – Coffee Break
11:30–13:00 – Annalisa Cusi: “MAEAB: A Theoretical Construct to Characterise the Role of the Teacher in Supporting Argumentative and Proving Processes during Classroom Discussions”
Evening
17:00–18:30 – Michalis Filippou: “Abductive and Presumptive Informal Reasoning”
18:30–19:00 – Coffee Break
19:00–20:30 – Vangelis Triantafyllou: “Non-Classical Logics and Their Philosophical Motivations”
Wednesday, 9 July 2025
Morning
09:00–10:30 – Eleni Manolakaki: “The Force-Content Distinction and Its Relevance to Logic”
10:30–11:30 – Coffee Break
11:30–13:00 – Paola Cantù: “Logic and Interaction. Pragmatics and Argumentation Theory”
Evening
17:00–18:30 – Costas Dimitrakopoulos: “Introduction to Deontic Logic”
Thursday, 10 July 2025
Morning
10:00–14:00 – Guided Visit: Acropolis and Agora (Ancient Athens)
Evening
Preparation Time for Student Presentations
Friday, 11 July 2025
Morning
09:00–10:00 – Students’ Presentations: T. Piecha’s Group
10:00–11:00 – Students’ Presentations: Y. Stephanou’s Group (on classical logic)
11:00–11:30 – Coffee Break
11:30–13:00 – University Media Visit: Videos, Photos, Interviews
Evening
17:00–18:00 – Students’ Presentations: Y. Stephanou’s Group (on Tarski’s truth)
18:00–19:00 – Students’ Presentations: A. Piccolomini d’Aragona’s Group
19:00–19:30 – Coffee Break
19:30–20:30 – Students’ Presentations: V. Katranidis’s Group