Conference series Beta
International Workshop on First-Order Theorem Proving (FTP)
FTP
- Events
- 11 (1997 to 2012)
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- automated theorem proving, computer science, first-order logic
- Identifier
https://id.confref.org/series/s10mnrf
Events (11)
19972012
| Year | No. | Event | Place | Date |
|---|---|---|---|---|
| 2012 | First Order Theorem Proving (FTP) FTP | Manchester | 2012-06-26/29 | |
| 2010 | First Order Theorem Proving (FTP) FTP | Edinburgh | 2010-07-16/19 | |
| 2009 | 7 | Proceedings of the 7th International Workshop on First-Order Theorem Proving, FTP 2009, Oslo, Norway, July 6-7, 2009. FTP | Oslo | 2009-07-06/07 |
| 2008 | First Order Theorem Proving (FTP) FTP | Sydney | 2008-08-12/15 | |
| 2006 | First Order Theorem Proving (FTP) FTP | Seattle | 2006-08-17/20 | |
| 2004 | First Order Theorem Proving (FTP) FTP | Cork | 2004-07-04/08 | |
| 2003 | 4 | 4th International Workshop on First-Order Theorem Proving, FTP 2003, in connection with RDP 2003, Federated Conference on Rewriting, Deduction and Programming, Valencia, Spain, June 12-14, 2003 FTP | Valencia | 2003-01-01 |
| 2001 | First Order Theorem Proving (FTP) FTP | Siena | 2001-01-01 | |
| 2000 | First Order Theorem Proving (FTP) FTP | St Andrews | 2000-01-01 | |
| 1998 | Automated Deduction in Classical and Non-Classical Logics, Selected Papers FTP | Schloss Wilhelminenberg | 1998-01-01 | |
| 1997 | First Order Theorem Proving (FTP) FTP | Schloss Hagenberg im Mühlkreis | 1997-01-01 |
The events on the map · in the search · calendar of coming events
Sources
The records of the sources that this identifier brings together (cr:sameAs).
| confref portal (2020) | |
|---|---|
| Wikidata | |
| dblp |
Cite
International Workshop on First-Order Theorem Proving (FTP). confref identifier s10mnrf. https://id.confref.org/series/s10mnrf
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.