Международный семинар по первой порядка теореме Proving (FTP) является научной встречей исследователей , заинтересованными в автоматизированном доказательстве теорем для логики первого порядка и смежных областей. Семинары FTP менее формальны, чем многие конференции, но более формальны, чем большинство семинаров. Хотя протоколы FTP публикуются неофициально, результатом большинства семинаров FTP стал специальный выпуск признанного рецензируемого академического журнала.
FTP - одно из учредительных собраний Международной объединенной конференции по автоматизированному мышлению , и с течением времени оно объединяется с этой конференцией.
FTP-встречи
- FTP '97 проходил в Исследовательском институте символических вычислений в Линце , Австрия, Австрия, 27–28 октября 1997 г.
- FTP '98 проходил в Вене , Австрия, 23–25 ноября 1998 г.
- FTP '00 проходил в Сент-Эндрюсе , Шотландия , 3-5 июля 2000 г.
- В 2001 году FTP был объединен с первым IJCAR.
- FTP '03 проходил в Валенсии , Испания , 12–14 июня 2003 г. в рамках Федеративной конференции по перезаписи, дедукции и программированию.
- В 2004 году FTP был объединен во второй IJCAR.
- FTP '05 проходил в Кобленце , Германия , 14–17 сентября 2005 г.
- В 2006 году FTP был объединен в третий IJCAR.
- FTP '07 проходил в Ливерпуле , Великобритания , 12–13 сентября 2007 г.
- В 2008 году FTP был объединен в четвертый IJCAR.
- FTP '09 проходил в Осло , Норвегия , 6–7 июля 2009 г.
- В 2010 году FTP был объединен в пятый IJCAR.
- FTP '11 прошел в Берне , Швейцария , 4 июля 2011 г.