International Workshop on First-Order Theorem Proving
Encyclopedia
The International Workshop on First-Order Theorem Proving (FTP) is a scientific meeting of researchers interested in automated theorem proving
for first-order logic
and related fields. FTP workshops are less formal than many conferences, but more formal than most workshops. While FTP proceedings are published informally, each FTP workshop has resulted in a special issue of a recognized peer-reviewed academic journal.
FTP is one of the constituent meetings of the International Joint Conference on Automated Reasoning
, and is merged with this conference in years where it takes place.
Automated theorem proving
Automated theorem proving or automated deduction, currently the most well-developed subfield of automated reasoning , is the proving of mathematical theorems by a computer program.- Decidability of the problem :...
for first-order logic
First-order logic
First-order logic is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first-order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic...
and related fields. FTP workshops are less formal than many conferences, but more formal than most workshops. While FTP proceedings are published informally, each FTP workshop has resulted in a special issue of a recognized peer-reviewed academic journal.
FTP is one of the constituent meetings of the International Joint Conference on Automated Reasoning
International Joint Conference on Automated Reasoning
International Joint Conference on Automated Reasoning is a series of conferences on the topics of automated reasoning, automated deduction, and related fields. It is organized semi-regularly as a merger of other meetings. IJCAR replaces those independent conferences in the years it takes place...
, and is merged with this conference in years where it takes place.
FTP Meetings
- FTP'97 took place at the Research Institute for Symbolic ComputationResearch Institute for Symbolic ComputationThe Research Institute for Symbolic Computation is a leading research institute in the area of symbolic computation, including automated theorem proving and computer algebra. It is located in Schloß Hagenberg in Hagenberg near Linz in Austria. RISC was founded in 1987 under Bruno Buchberger and...
in LinzLinzLinz is the third-largest city of Austria and capital of the state of Upper Austria . It is located in the north centre of Austria, approximately south of the Czech border, on both sides of the river Danube. The population of the city is , and that of the Greater Linz conurbation is about...
, AustriaAustriaAustria , officially the Republic of Austria , is a landlocked country of roughly 8.4 million people in Central Europe. It is bordered by the Czech Republic and Germany to the north, Slovakia and Hungary to the east, Slovenia and Italy to the south, and Switzerland and Liechtenstein to the...
in Austria, October 27-28, 1997 - FTP'98 took place in ViennaViennaVienna is the capital and largest city of the Republic of Austria and one of the nine states of Austria. Vienna is Austria's primary city, with a population of about 1.723 million , and is by far the largest city in Austria, as well as its cultural, economic, and political centre...
, Austria, November 23 - 25, 1998 - FTP'00 took place in St. Andrews, ScotlandScotlandScotland is a country that is part of the United Kingdom. Occupying the northern third of the island of Great Britain, it shares a border with England to the south and is bounded by the North Sea to the east, the Atlantic Ocean to the north and west, and the North Channel and Irish Sea to the...
, July 3-5, 2000 - In 2001 FTP was merged into the first IJCAR
- FTP'03 took place in Valencia, SpainSpainSpain , officially the Kingdom of Spain languages]] under the European Charter for Regional or Minority Languages. In each of these, Spain's official name is as follows:;;;;;;), is a country and member state of the European Union located in southwestern Europe on the Iberian Peninsula...
, June 12-14, 2003, as part of the Federated Conference on Rewriting, Deduction and Programming. - In 2004, FTP was merged into the second IJCAR
- FTP'05 took place in KoblenzKoblenzKoblenz is a German city situated on both banks of the Rhine at its confluence with the Moselle, where the Deutsches Eck and its monument are situated.As Koblenz was one of the military posts established by Drusus about 8 BC, the...
, GermanyGermanyGermany , officially the Federal Republic of Germany , is a federal parliamentary republic in Europe. The country consists of 16 states while the capital and largest city is Berlin. Germany covers an area of 357,021 km2 and has a largely temperate seasonal climate...
, September 14-17, 2005 - In 2006, FTP was merged into the third IJCAR
- FTP'07 took place in LiverpoolLiverpoolLiverpool is a city and metropolitan borough of Merseyside, England, along the eastern side of the Mersey Estuary. It was founded as a borough in 1207 and was granted city status in 1880...
, United KingdomUnited KingdomThe United Kingdom of Great Britain and Northern IrelandIn the United Kingdom and Dependencies, other languages have been officially recognised as legitimate autochthonous languages under the European Charter for Regional or Minority Languages...
, September 12-13, 2007 - In 2008, FTP was merged into the fourth IJCAR