Internationell workshop om provning av första ordningens teorem

The International Workshop on First-Order Theorem Proving (FTP) är ett vetenskapligt möte för forskare som är intresserade av automatiserad teoremprovning för första ordningens logik och relaterade områden. FTP-workshops är mindre formella än många konferenser, men mer formella än de flesta workshops. Även om FTP-förfaranden publiceras informellt, har de flesta FTP-workshops resulterat i ett specialnummer av en erkänd akademisk tidskrift.

FTP är ett av de konstituerande mötena för den internationella gemensamma konferensen om automatiserat resonemang, och har slagits samman med denna konferens under åren då den äger rum.

FTP-möten

• FTP '97 ägde rum vid Research Institute for Symbolic Computation i Linz , Österrike i Österrike, 27–28 oktober 1997
• FTP '98 ägde rum i Wien , Österrike, 23–25 november 1998
• FTP '00 ägde rum i St. Andrews , Skottland , 3–5 juli 2000
• 2001 slogs FTP samman till den första IJCAR
• FTP '03 ägde rum i Valencia , Spanien , 12–14 juni 2003, som en del av den federerade konferensen om omskrivning, avdrag och programmering.
• 2004 slogs FTP samman till den andra IJCAR
• FTP '05 ägde rum i Koblenz , Tyskland , 14–17 september 2005
• 2006 slogs FTP samman till den tredje IJCAR
• FTP '07 ägde rum i Liverpool , Storbritannien , 12–13 september 2007
• 2008 slogs FTP samman till den fjärde IJCAR
• FTP '09 ägde rum i Oslo , Norge , 6–7 juli 2009
• 2010 slogs FTP samman till den femte IJCAR
• FTP '11 ägde rum i Bern , Schweiz , den 4 juli 2011