Robotics and Autonomous Systems Series
Seminars and research group discussions are normally held at 1pm on Wednesday, typically in meeting room 1.01.
Suggestions for possible speakers should be sent to Matt
Currently meetings are being held on-line via Microsoft Teams
All Seminars
Date | Speaker | Title |
---|---|---|
22 Oct 2024 13:00 Ashton Lecture Theatre dept |
Ron van der Meyden University of New South Wales |
Epistemic Model Checking and Synthesis of Byzantine Agreement Protocols |
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 Matt webster