Neuro-symbolic integration for ontology-based classification of structured objects Speaker: Till Mossakowski (University of Osnabruck) Tuesday, November 12, 2024, 19:00 Online via Webex
Topological Inquiry in Abstract Model Theory Speaker: Asterios Gatzounis (National Technical University of Athens) Wednesday, October 16, 2024, 18:00 Online via Webex
Formalising the Institution for First-Order Logic in an Interactive Proof Assistant Speaker: Conor Reynolds (University of Manchester) Wednesday, June 19, 2024, 19:00 Online via Webex
On Mathematical Proving and Algebra Speaker: Asterios Gatzounis (National Technical University of Athens) Wednesday, May 22, 2024, 18:30 Online via Webex
On representability by arithmetic terms Speaker: Mihai Prunescu (University of Bucharest / IMAR) Wednesday, April 17, 2024, 18:30 Online via Webex
Fagin`s theorem, Turing Machines and Quantum computing Speaker: Yiannis Kiouvrekis (University of Thessaly) Wednesday, March 20, 2024, 18:30 Online via Webex
An introduction to Zero Knowledge Proofs Speaker: Mihai Prunescu (University of Bucharest / IMAR) Wednesday, February 14, 2024, 18:30 Online via Webex
An introduction to argumentation-based proof-event calculus (APEC) Speaker: Sofia Almpani (National Technical University of Athens) Monday, January 22, 2024, 18:30 Online via Webex
Research in Pairs – Bucharest