Беренче Тәртип Теоремаларны Исбатлау буенча Халыкара Остаханә

Беренче Тәртип Теоремаларны Исбатлау буенча Халыкара Остаханә ул беренче тәртип мантыйк һәм автоматик рәвештә теоремаларны исбатлау буенча галимнәрнең фәнни очрашуы. Бу остаханәләр күп конференцияләрдән әзрәк рәсми, ләкин күпчелек остаханәләрдән күбрәк рәсми рәвештә үткәрелә. FTP эшләре рәсми булмаган рәвештә бастырылса, күпчелек FTP остаханәләре нәтиҗәдә танылган тиз караш салырга мөмкин булган журнал нәшер итәләр.

FTP Автоматлаштырылган Фикер Йөртү буенча Халыкара Берләшкән Конференциянең дәвам итүче очрашуларның берсе һәм узган урыннарда бу конференция белән берләшкән.

 FTP очрашулары 

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