| 2008 | Towards an Implementation of a Computer Algebra System in a Functional Language. | Oleg Lobachev, Rita Loogen |
| 2008 | Symmetry and Search - A Survey. | Steve Linton |
| 2008 | Cross-Curriculum Search for Intergeo. | Paul Libbrecht, Cyrille Desmoulins, Christian Mercat, Colette Laborde, Michael Dietrich, Maxim Hendriks |
| 2008 | Notations for Living Mathematical Documents. | Michael Kohlhase, Christine Mller, Florian Rabe |
| 2008 | Normalization Issues in Mathematical Representations. | Manfred Kerber |
| 2008 | Automating Side Conditions in Formalized Partial Functions. | Cezary Kaliszyk |
| 2008 | Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server. | J. Santiago Jorge, Vctor M. Gulas, Laura M. Castro |
| 2008 | Strategies for Solving SAT in Grids by Randomized Search. | Antti Eero Johannes Hyvrinen, Tommi A. Junttila, Ilkka Niemel |
| 2008 | Visual Mathematics: Diagrammatic Formalization and Proof. | John Howse, Gem Stapleton |
| 2008 | Herbrand Sequent Extraction. | Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo |
| 2008 | Mediated Access to Symbolic Computation Systems. | Jnathan Heras, Vico Pascual, Julio Rubio |
| 2008 | Specifying Strategies for Exercises. | Bastiaan Heeren, Johan Jeuring, Arthur van Leeuwen, Alex Gerdes |
| 2008 | Verification of Mathematical Formulae Based on a Combination of Context-Free Grammar and Tree Grammar. | Akio Fujiyoshi, Masakazu Suzuki, Seiichi Uchida |
| 2008 | Search Techniques for Rational Polynomial Orders. | Carsten Fuhs, Rafael Navarro-Marset, Carsten Otto, Jrgen Giesl, Salvador Lucas, Peter Schneider-Kamp |
| 2008 | Symbolic Computation Software Composability. | Sebastian Freundt, Peter Horn, Alexander Konovalov, Steve Linton, Dan Roozemond |
| 2008 | Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems. | Csar Domnguez |
| 2008 | A Full First-Order Constraint Solver for Decomposable Theories. | Khalil Djelloul |
| 2008 | Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation. | Lucas Dixon, Ross Duncan |
| 2008 | The Monoids of Order Eight and Nine. | Andreas Distler, Tom W. Kelsey |
| 2008 | Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors. | Dominik Dietrich, Ewaryst Schulz, Marc Wagner |
| 2008 | Effective Set Membership in Computer Algebra and Beyond. | James H. Davenport |
| 2008 | AISC Meets Natural Typography. | James H. Davenport |
| 2008 | A Mathematical Type for Physical Variables. | Joseph B. Collins |
| 2008 | A Global Workspace Framework for Combining Reasoning Systems. | John William Charnley, Simon Colton |
| 2008 | Mechanising a Proof of Craig's Interpolation Theorem for Intuitionistic Logic in Nominal Isabelle. | Peter Chapman, James McKinna, Christian Urban |