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
Other seminar series
- Department Seminar Series
- 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
Maintained by Louwe Kuijer