1차 정리 검증 국제 워크숍
International Workshop on First-Order Theorem Proving |
국제 1차 정리 검증 워크숍(FTP)은 1차 논리 및 관련 분야의 자동 정리 검증에 관심이 있는 연구자들이 모인 과학 모임이다.FTP 워크샵은 많은 회의보다 덜 형식적이지만, 대부분의 워크샵보다 더 형식적이다.FTP 절차가 비공식적으로 발표되는 동안, 대부분의 FTP 워크샵은 공인된 동료 검토 학술지의 특별한 이슈를 낳았다.
FTP는 국제자동추론 공동회의의 구성 회의 중 하나이며, 이 회의가 열리는 해에는 이 회의와 병합된다.
FTP 미팅
- FTP '97은 1997년 10월 27일–28일 오스트리아 린츠에 있는 심볼 연산 연구소에서 일어났다.
- FTP '98은 오스트리아의 비엔나에서 1998년 11월 23~25일 개최되었다.
- FTP '00은 성에서 일어났다. 2000년 7월 3일~5일 스코틀랜드 앤드루스
- 2001년에 FTP는 최초의 IJCAR에 합병되었다.
- FTP '03은 2003년 6월 12일-14일 스페인 발렌시아에서 재쓰기, 공제 및 프로그래밍에 관한 연합회의의 일환으로 개최되었다.
- 2004년에 FTP는 제2차 IJCAR에 합병되었다.
- FTP '05는 2005년 9월 14-17일 독일 코블렌츠에서 발생했다.
- 2006년에 FTP는 제3차 IJCAR에 합병되었다.
- FTP '07'은 2007년 9월 12일-13일 영국 리버풀에서 열렸다.
- 2008년 FTP는 제4차 IJCAR에 합병되었다.
- FTP '09는 2009년 7월 6일–7일 노르웨이 오슬로에서 열렸다.
- 2010년 FTP는 제5차 IJCAR에 합병되었다.
- FTP '11'은 2011년 7월 4일 스위스 베른에서 열렸다.
