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-April to May - United Kingdom

  • 21-29th April - Ulster University - Jun Liu

  • 30th April-2nd May - The University of Manchester - Konstantin Korovin, Renate Schmidt

  • 6-7th May - Cambridge University - Sean Holden

  • 8-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

• 1-2nd April - University of Western Australia - Rachel Cardell-Oliver

• 3-4th April - Edith Cowan University - David Suter, Luke Kelly

• 7-8th April - National Institute of Information, Japan - Ichiro Hasuo

• 10-11th April - Japan Advanced Institute of Science and Technology - Teppei Saito, Nao Hirokawa