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

  • Naval Postgraduate School: 2-31st January - 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

  • University of Greifswald: 24-31st May - Alexander Steen

  • Dagstuhl: 1-6th June - Nikolaj Bjørner, et al.

  • ENS Paris-Saclay: 7-27th June - Frédéric Blanqui

  • Vienna University of Technology: 29th June-5th July - Laura Kovacs and the Vampires

  • LMU München: 6-12th July - Jasmin Blanchette

  • University of Bamberg : 13-19th July - Christoph Benzmüller

  • DHBW Stuttgart: 20-27th July - 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