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 (only) if the host has funding available.
The plans are emerging, and subject to change, but so far:
January - Southern USA
Naval Postgraduate School - Adam Pease
February - South America
Universidad Nacional de Colombia (Manizales) - Fabián Suárez
University of Brasília - Cláudia Nalon
Universidade Federal de Minas Gerais - Haniel Barbosa
March to mid-March - South Africa
University of Stellenbosch - Bernd Fischer
Mid-March to April - Australasia
University of Melbourne - Cezary Kaliszyk
Australian National University - TBA, via Michael Norrish
University of Queensland - Guillermo Badia
April to mid-April - Asia
Zhejiang University - Beishui Liao
Mid-April to May - USA and Canada
Microsoft Research - Nikolaj Bjørner
June and July - Europe
Dagstuhl: 1- 6th June - Nikolaj Bjørner, et al.
LMU München: 6-13th June - Jasmin Blanchette
ENS Paris-Saclay: 14-28th June - Frédéric Blanqui
Vienna University of Technology - Laura Kovacs and the Vampires
EasyChair - Andrei Voronkov
University of Bamberg - Christoph Benzmüller
University of Greifswald - Alexander Steen
DHBW Stuttgart - Stephan Schulz
CADE-30: 28 July-2nd August
If you are interested in having the TPTP World Tour coming to you, please email me - geoff@tptp.org