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:

• February - South America

  • 5-14th March - Universidade Federal de Minas Gerais - Haniel Barbosa

• Mid-March to April - Australia

  • 20-21st March - University of Sydney - Sasha Rubin, Guillermo Badia

  • 24-25th March - Australian National University - Ranald Clouston, Michael Norrish

  • 27-28th March - University of Melbourne - Cezary Kaliszyk

  • 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

  • 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