Year: 2008
2008
[12]Some Results of the LEO-II Project (Christoph Benzmüller), CIAO Workshop, TU Darmstadt, Germany, 2008.
[11]Exploring Properties of Normal Multimodal Logics in Simple Type Theory with LEO-II (Christoph Benzmüller), Automated Reasoning Group Lunch Talk, The University of Cambridge, UK, 2008.
[10]Exploring Properties of Normal Multimodal Logics in Simple Type Theory with LEO-II (Christoph Benzmüller), Deduktionstreffen, Saarbrücken, Germany, 2008.
[9]LEO-II Demo (Christoph Benzmüller), ESHOL Workshop at the 4th International Joint Conference on Automated Reasoning (IJCAR 2008), Sydney, Australia, 2008. (slides)
[8]THF0 --- The Core TPTP Language for Classical Higher-Order Logic (Christoph Benzmüller), The 4th International Joint Conference on Automated Reasoning (IJCAR 2008), Sydney, Australia, 2008.
[7]LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description) (Christoph Benzmüller), The 4th International Joint Conference on Automated Reasoning (IJCAR 2008), Sydney, Australia, 2008. (slides)
[6](Invited) Exploring Properties of Multimodal Logics with the Cooperative Automatic Higher-Order Theorem Prover LEO-II (Christoph Benzmüller), SRI International, Menlo Park, USA, 2008. (slides)
[5]LEO-II, A Higher-Order Theorem Prover (poster) (Christoph Benzmüller), VSI, 2008. (poster)
[4](Invited) Tool Support for Formalized Mathematics: Cooperative Higher-Order Theorem Proving with LEO-II, Tutorial Dialogues on Proofs with the DIALOG demonstrator, and the PLATO/OMEGA Proof Assistant Plug-in for TeXmacs (Christoph Benzmüller), Formal Mathematics Seminar, University of Bonn, Germany, 2008. (slides)
[3](Invited) LEO-II --- A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (Christoph Benzmüller), Microsoft Research, Redmond, USA, 2008.
[2](Invited) Automating Access Control Logics and Multimodal Logics in the Automatic Higher-Order Theorem Prover LEO-II (Christoph Benzmüller), Kestrel Institute, Palo Alto, USA, 2008.
[1](Invited) Automating Access Control Logics and Multimodal Logics in the Automatic Higher-Order Theorem Prover LEO-II (Christoph Benzmüller), Pure and Applied Logic Seminar, Carnegie Mellon University, Pittsburgh, USA, 2008. (slides)
Powered by bibtexbrowser