Argumentation and Representation of Knowledge Series

Past Talks: 2019/20 Session

Date	Speaker	Title
25 Sep 2019	Andrea Mazzullo Free University of Bozen-Bolzano	Do You Need Infinite Time?
11 May 2020	Luowe Kuijer University of Liverpool
01 Jun 2020	Hadrien Pulcini University of Liverpool	Logical Separability of Incomplete Data under Ontologies
08 Jun 2020	Sven Linker University of Liverpool	Analysing Spatial Properties on Neighbourhood Spaces
06 Jul 2020	Fabio Papacchini	Extending the Modal Logic Prover KSP

Older Seminars

ordered by Academic Year

• Upcoming seminars
• Current session
• 2022/23
• 2021/22
• 2020/21
• 2019/20
• 2018/19
• 2017/18

---

Other seminar series

• School Seminar Series
• Algorithms and Computing Systems
• Algorithms, Complexity Theory and Optimisation
• Argumentation and Representation of Knowledge
• Data Mining and Machine Learning
• Economics and Computation
• Friday Lunch and Talk
• Liverpool Distinguished Computer Science Lecture
• Networks and Distributed Computing
• PhD Tea Talks
• Robotics and Autonomous Systems
• Verification
• Women in Technology
• Overview of all seminar series