CADE-25 Online Proceedings
You can receive the password for the download at the registration desk.
Workshop ProceedingsYou can receive the password for the download at the registration desk.
- Proceedings Cover Page (password protected)
- Proceedings (password protected)
- Proceedings Springer link
- Conference Booklet
- Conference Chair Report
- Bridging: Bridging the gap between human and automated reasoning
- IWC: The 4th International Workshop on Confluence
- LFMTP: International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
- PxTP: Workshop on Proof eXchange for Theorem Proving
- QUANTIFY: 2nd International Workshop on Quantification
Video of the Award Session
(some problems were reported with playing the videos in Safari, so you may try another browser)
- David Plaisted (special session): History and Prospects for First-Order Automated Deduction (video, slides)
- Andrei Voronkov (special session): AVATAR (video)
- Frank Pfenning (special session): On the Role of Proof Theory in Automated Deduction (video, slides)
- Ursula Martin (special session): Stumbling Around in the Dark: Lessons from Everyday Mathematics (video, slides)
- Uli Furbach (main conference): Automated Reasoning in the Wild (video, slides)
- Edward Zalta (main conference): Automating Leibniz’s Theory of Concepts (video, slides)
- Michael Genesereth (main conference/RuleML): The Herbrand Manifesto – Thinking Inside the Box (video, slides)
Slides of Invited Talks (workshops, tutorials, etc.)
- Wolfgang Lenzen (DT'2015): Leibniz’s Dream of a Logico-Mathematical Metaphysics (video)
- Renate Schmidt (DT'2015): Practical Forgetting and Uniform Interpolation
for Description Logics
- Leonardo de Moura (Vampire 2015): Lost in translation: how easy problems become hard due to bad encodings
- Geoff Sutcliffe (Vampire 2015): Things You Can't Do with a Vampire
- Georges Gonthier (PxTP 2015): Reflection, of all shapes and sizes
- Frank Pfenning (LFMTP 2015): Decomposing Modalities
- Vivek Nigam (LFMTP 2015): A Linear Logic Framework with Subexponentials
- Michael Norrish (HOL4 2015): Defining a Niche for HOL4
- Olaf Beyersdorff (Quantify 2015): Proof Complexity of Quantified Boolean Formulas
- Stefan Hetzl (IWC 2015): Herbrand-confluence in the classical sequent calculus
- Koji Nakazawa (IWC 2015): Lambda Calculi and Confluence from A to Z
List of Participants
- CADE-25 had more than 200 participants, see here