| 2012 | Understanding the Learners' Actions when Using Mathematics Learning Tools. | Paul Libbrecht, Sandra Rebholz, Daniel Herding, Wolfgang Mller, Felix Tscheulin |
| 2012 | Tentative Experiments with Ellipsis in Mizar. | Artur Kornilowicz |
| 2012 | MathWebSearch 0.5: Scaling an Open Formula Search Engine. | Michael Kohlhase, Bogdan Matican, Corneliu-Claudiu Prodescu |
| 2012 | The Planetary Project: Towards eMath3.0. | Michael Kohlhase |
| 2012 | DynGenPar - A Dynamic Generalized Parser for Common Mathematical Language. | Kevin Kofler, Arnold Neumaier |
| 2012 | On Formal Specification of Maple Programs. | Muhammad Taimoor Khan, Wolfgang Schreiner |
| 2012 | Towards the Formal Specification and Verification of Maple Programs. | Muhammad Taimoor Khan, Wolfgang Schreiner |
| 2012 | Cost-Effective Integration of MKM Semantic Services into Editing Environments. | Constantin Jucovschi |
| 2012 | Management of Change in Declarative Languages. | Mihnea Iancu, Florian Rabe |
| 2012 | A Streaming Digital Ink Framework for Multi-party Collaboration. | Rui Hu, Vadim Mazalov, Stephen M. Watt |
| 2012 | Extending MKM Formats at the Statement Level. | Feryal Fulya Horozal, Michael Kohlhase, Florian Rabe |
| 2012 | Project Presentation: Algorithmic Structuring and Compression of Proofs (ASCOP). | Stefan Hetzl |
| 2012 | Verifying an Algorithm Computing Discrete Vector Fields for Digital Imaging. | Jnathan Heras, Mara Poza, Julio Rubio |
| 2012 | Reasoning on Schemata of Formul. | Mnacho Echenim, Nicolas Peltier |
| 2012 | Semantic Alliance: A Framework for Semantic Allies. | Catalin David, Constantin Jucovschi, Andrea Kohlhase, Michael Kohlhase |
| 2012 | Open Geometry Textbook: A Case Study of Knowledge Acquisition via Collective Intelligence - (Project Description). | Xiaoyu Chen, Wei Li, Jie Luo, Dongming Wang |
| 2012 | Theory Presentation Combinators. | Jacques Carette, Russell O'Connor |
| 2012 | New Developments in Parsing Mizar. | Czeslaw Bylinski, Jesse Alama |
| 2012 | Challenges and Experiences in Managing Large-Scale Proofs. | Timothy Bourke, Matthias Daum, Gerwin Klein, Rafal Kolanski |
| 2012 | MaxTract: Converting PDF to $\mbox\LaTeX$ , MathML and Text. | Josef B. Baker, Alan P. Sexton, Volker Sorge |
| 2012 | A Web Interface for Matita. | Andrea Asperti, Wilmer Ricciotti |
| 2012 | Proof, Message and Certificate. | Andrea Asperti |
| 2012 | Dependencies in Formal Mathematics: Applications and Extraction for Coq and Mizar. | Jesse Alama, Lionel Mamane, Josef Urban |
| 2012 | The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization. | Christoph Lange, Oliver Kutz, Till Mossakowski, Michael Grninger |
| 2012 | Reimplementing the Mathematics Subject Classification (MSC) as a Linked Open Dataset. | Christoph Lange, Patrick Ion, Anastasia Dimou, Charalampos Bratsas, Joseph Corneli, Wolfram Sperber, Michael Kohlhase, Ioannis Antoniou |