Mezinárodní workshop o prokázání věty prvního řádu - International Workshop on First-Order Theorem Proving

The Mezinárodní seminář o prokazování věty prvního řádu (FTP) je vědecké setkání vědců se zájmem o automatizované dokazování věty pro logika prvního řádu a související pole. Semináře FTP jsou méně formální než mnoho konferencí, ale formálnější než většina seminářů. Zatímco sborníky FTP jsou publikovány neformálně, většina workshopů FTP vyústila ve speciální vydání uznávaného recenzovaného akademického časopisu.

FTP je jednou z ustavujících schůzí Mezinárodní společná konference o automatizovaném uvažování, a je spojován s touto konferencí v letech, kdy se koná.

FTP schůzky

  • FTP '97 se konal na Výzkumný ústav symbolických výpočtů v Linec, Rakousko v Rakousku, 27. – 28. října 1997
  • FTP '98 se konal v Vídeň, Rakousko, 23. – 25. Listopadu 1998
  • FTP '00 se konalo v St. Andrews, Skotsko, 3. – 5. Července 2000
  • V roce 2001 byl FTP sloučen do prvního IJCAR
  • FTP '03 se konal v Valencie, Španělsko, 12. – 14. Června 2003, jako součást Federované konference o přepisování, dedukci a programování.
  • V roce 2004 byl FTP sloučen do druhého IJCAR
  • FTP '05 se konal v Koblenz, Německo, 14. – 17. Září 2005
  • V roce 2006 byl FTP sloučen do třetího IJCAR
  • FTP '07 se konal v Liverpool, Spojené království, 12. – 13. Září 2007
  • V roce 2008 byl FTP sloučen do čtvrtého IJCAR
  • FTP '09 se konal v Oslo, Norsko, 6. – 7. Července 2009
  • V roce 2010 byl FTP sloučen do pátého IJCAR
  • FTP '11 se konal v Bern, Švýcarsko, 4. července 2011