TPTP World Tour
In the first half of 2025 I will be on a "TPTP World Tour", visiting labs and universities to talk/teach about the TPTP World. I'll be offering a usual 1-2 hour seminar talk, half to full day tutorials on the practice of ATP using the TPTP World and its online tools, and multi-day block courses on ATP theory & practice (this might be useful for grad students, possibly for credit towards their degrees). I will be funding the TPTP World Tour mostly myself, but will gratefully accept accommodation and subsistence support if the host has funding available.
Mid-March to April - Australia
1-2nd April - University of Western Australia - Rachel Cardell-Oliver
3-4th April - Edith Cowan University - David Suter, Luke Kelly
April to mid-April - Asia
7-8th April - National Institute of Information, Japan - Ichiro Hasuo
10-11th April - Japan Advanced Institute of Science and Technology - Teppei Saito
Mid-April to May - United Kingdom
21-29th April - Ulster University - Jun Liu
30th April-2nd May - The University of Manchester - Konstantin Korovin, Renate Schmidt
7-9th May - University of Birmingham - Abhishek De
May - USA
11-14th May - Microsoft Research - Nikolaj Bjørner
15-18th May - University of Miami - Home
19-23rd May - FLAIRS-38
May, June, and July - Europe
25-31st May - University of Greifswald - Alexander Steen
1-6th June - Dagstuhl - Nikolaj Bjørner, et al.
10-20th June - ENS Paris-Saclay - Frédéric Blanqui
22-29th June - Vienna University of Technology - Laura Kovacs and the Vampires
30th June-5th July - EPFL - Viktor Kuncak
6-12th July - LMU München - Jasmin Blanchette
13-19th July - University of Bamberg - Christoph Benzmüller
20-27th July - DHBW Stuttgart - Stephan Schulz
28th July-2nd August - CADE-30
If you are interested in having the TPTP World Tour coming to you, please email me - geoff@tptp.org
Completed [Reports]
25-30th November - Universidad Nacional de Colombia - Fabian Fernando Serrano.
6-31st January - Naval Postgraduate School - Adam Pease
24-26th February - Federal University of Goiás - Daniel Ventura
27th February-4th March - University of Brasília - Cláudia Nalon
5-14th March - Universidade Federal de Minas Gerais - Haniel Barbosa
20-21st March - University of Sydney - Sasha Rubin, Guillermo Badia
24-25th March - Australian National University - Ranald Clouston, Peter Baumgartner
27-28th March - University of Melbourne - Cezary Kaliszyk