- Zhaokuan Hao: Gödel’s Program and Ultimate L
- Johan van Benthem: Science and Common Sense
- Yongrui Qin: Research on Data Dynamics and Sharing in the Internet of Things and Smart Cities
- Tjitze Rienstra: Ranked Programming
- Anthony Hunter: A logic for reasoning about arguments
- Tianhua Chen: Induction of Accurate and Interpretable Fuzzy Rules from Preliminary Crisp Representation
- Yang Liu: Epistemic Wild Card: what subjective probabilities could not be
- Xin Sun: Quantum-enhanced Logic-based Blockchain and Qulogicoin
- Olivier Roy: An Introduction to Deontic Logic, with Application to Game Theory [2018-5-14]
- Thomas Ågotnes: Coordinating Multi-agent Systems using Social Laws [2018-4-12]
- Bart Verheij: Formalizing rule-based arguments and their strengths using case models [2018-4-16]
- Henry Prakken: On the relation between abstract and structured probabilistic argumentation [2018-4-16]
- Thomas Ågotnes: Monotonicity Properties of Public Announcements [2018-3-29]
- Bart Verheij: Road to “Good Artificial Intelligence”: Argumentation Systems [2018-4-17]
- Thomas Bolander: Tough Problems in Artificial Intelligence [2017-12-14]
- Thomas Bolander: Learning to Plan from Raw Data in Grid-based Games [2017-12-7]
- Thomas Bolander: Epistemic Planning With Implicit Coordination [2017-12-1]
- Talks on Logic and Argumentation [2017-10-18]
- Matthias Schirn: Second-Order Abstraction Before And After Russell’s Paradox [2017-10-19]
- Chris Reed: Inference Anchoring Theory [2017-09-28]