HLK ProofTool
TU Vienna logic.at Theory and Logic Group (E185-2)

Conference And Workshop Demonstrations

The cut-elimination system CERES has been presented by the following occasions so far:

March 2011
Characteristic Clause Set for Schema Proofs. Talk at the Third meeting of the ASAP Project, Grenoble, France
July 2010
CERES System description. Talk at IJCAR 2010.
June 2009
CERES: a program for cut-elimination. Talk at the Kurt Gödel Research Center, Vienna, Austria.
November 2008
Transforming and Analyzing Proofs in the CERES-system. Talk at the workshop on Knowledge Exchange: Automated Provers and Proof Assistants, Doha, Qatar.
October 2007
Implementing CERES: tools for proof analysis. Talk at the Collegium Logicum 2007, Vienna, Austria.
August 2006
System Description: The Cut-Elimination System CERES. Talk at the workshop Empirically Successful Computerized Reasoning (ESCoR) at The 2006 Federated Logic Conference, Seattle, USA.
August 2006
Proof Transformation by CERES. Talk at the 5th International Conference on Mathematical Knowledge Management, MKM 2006, Wokingham, UK.
November 2005
Cut-Elimination: Experiments with CERES. Talk at the 2nd Florence-Vienna Workshop on Logic and Computation, Florence, Italy.
August 2005
System Demonstration of CERES. CERES system demonstration within the advanced course "Computational Analysis of Proofs" at the 17th European Summer School in Logic, Language and Information (ESSLLI 2005), Heriot-Watt University, Edinburgh, Scotland.
July 2005
Cut-Elimination: Experiments with CERES. Talk at the Collegium Logicum 2005: Cut-Elimination, Vienna University of Technology, Vienna, Austria.
March 2005
Cut-Elimination: Experiments with CERES. Talk at the 11th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR 2004, Montevideo, Uruguay.
December 2004
The Cut-Elimination Program CERES. Talk at the Paris-Vienna Workshop on Proofs, University Paris VII, Paris, France.
May 2004
The Cut-Elimination Program CERES. Talk at the third Moscow-Vienna Workshop on Logic and Computation, Steklov Mathematical Institute, Russian Academy of Sciences, Moscow, Russia.