| 2011 | ProofWiki. | Matt Westwood |
| 2011 | Heterogeneous Proofs: Spider Diagrams Meet Higher-Order Provers. | Matej Urbas, Mateja Jamnik |
| 2011 | Content-based encoding of mathematical and code libraries. | Josef Urban |
| 2011 | Dynamic Proof Pages. | Carst Tankink, James McKinna |
| 2011 | The On-Line Encyclopedia of Integer Sequences: From Punched Cards to Wiki in 46 Years (abstract; invited talk). | Neil J. A. Sloane |
| 2011 | seL4 Enforces Integrity. | Thomas Sewell, Simon Winwood, Peter Gammie, Toby C. Murray, June Andronick, Gerwin Klein |
| 2011 | Composable Discovery Engines for Interactive Theorem Proving. | Phil Scott, Jacques D. Fleuriot |
| 2011 | Automatic Differentiation in ACL2. | Peter Reid, Ruben Gamboa |
| 2011 | Ideas for a MathWiki Editor. | Sebastian Reichelt |
| 2011 | Lem: A Lightweight Tool for Heavyweight Semantics. | Scott Owens, Peter Bhm, Francesco Zappa Nardelli, Peter Sewell |
| 2011 | Mechanised Computability Theory. | Michael Norrish |
| 2011 | Verified Efficient Enumeration of Plane Graphs Modulo Isomorphism. | Tobias Nipkow |
| 2011 | A Verified Runtime for a Verified Theorem Prover. | Magnus O. Myreen, Jared Davis |
| 2011 | On the Generation of Positivstellensatz Witnesses in Degenerate Cases. | David Monniaux, Pierre Corbineau |
| 2011 | Formalization of Entropy Measures in HOL. | Tarek Mhamdi, Osman Hasan, Sofine Tahar |
| 2011 | Animating the Formalised Semantics of a Java-Like Language. | Andreas Lochbihler, Lukas Bulwahn |
| 2011 | Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials. | Laureano Lambn, Francisco-Jess Martn-Mateos, Julio Rubio, Jos-Luis Ruiz-Reina |
| 2011 | Wiki Authoring and Semantics of Mathematical Document Structure. | Hiraku Kuroda, Takao Namiki |
| 2011 | Proving Valid Quantified Boolean Formulas in HOL Light. | Ondrej Kuncar |
| 2011 | Validating QBF Validity in HOL4. | Ramana Kumar, Tjark Weber |
| 2011 | Termination of Isabelle Functions via Termination of Rewriting. | Alexander Krauss, Christian Sternagel, Ren Thiemann, Carsten Fuhs, Jrgen Giesl |
| 2011 | Challenges in Verifying Communication Fabrics. | Michael Kishinevsky, Alexander Gotmanov, Yuriy Viktorov |
| 2011 | Logical Formalisation and Analysis of the Mifare Classic Card in PVS. | Bart Jacobs, Ronny Wichers Schreur |
| 2011 | Three Chapters of Measure Theory in Isabelle/HOL. | Johannes Hlzl, Armin Heller |
| 2011 | A Formalization of Polytime Functions. | Sylvain Heraud, David Nowak |