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.
The plans are emerging, and subject to change, but so far:
January - Southern USA
2-31st January - Naval Postgraduate School - Adam Pease
February - South America
TBA - Universidad Nacional de Colombia (Manizales) - Fabián Suárez
27th February to 4th March - University of Brasília - Cláudia Nalon
5-14th March - Universidade Federal de Minas Gerais - Haniel Barbosa
Mid-March to April - Australasia
TBA - University of Melbourne - Cezary Kaliszyk
TBA - Australian National University - TBA via Michael Norrish
TBA - University of Queensland - Guillermo Badia
April to mid-April - Asia
TBA - Zhejiang University - Beishui Liao
Mid-April to May - United Kingdom
17-19th April - University of Birmingham - Abhishek De
May - USA and Canada
TBA - Microsoft Research - Nikolaj Bjørner
19-23rd May - FLAIRS-38
June and July - Europe
24-31st May - University of Greifswald - Alexander Steen
1-6th June - Dagstuhl - Nikolaj Bjørner, et al.
7-27th JuneENS Paris-Saclay - Frédéric Blanqui
29th June-5th July - Vienna University of Technology - Laura Kovacs and the Vampires
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