| 2024 | LICS | On symmetries of spheres in univalent foundations. | Pierre Cagne, Ulrik Torben Buchholtz, Nicolai Kraus, Marc Bezem |
| 2011 | APLAS | A Proof Pearl with the Fan Theorem and Bar Induction - Walking through Infinite Trees with Mixed Induction and Coinduction. | Keiko Nakata, Tarmo Uustalu, Marc Bezem |
| 2008 | LPAR | The Max-Atom Problem and Its Relevance. | Marc Bezem, Robert Nieuwenhuis, Enric Rodrguez-Carbonell |
| 2007 | ICTAC | Skolem Machines and Geometric Logic. | John Fisher, Marc Bezem |
| 2007 | LPAR | Completeness and Decidability in Sequence Logic. | Marc Bezem, Tore Langholm, Michal Walicki |
| 2007 | MCU | Query Completeness of Skolem Machine Computations. | John Fisher, Marc Bezem |
| 2005 | ICTAC | Finding Resource Bounds in the Presence of Explicit Deallocation. | Hoang Truong, Marc Bezem |
| 2005 | LPAR | Automating Coherent Logic. | Marc Bezem, Thierry Coquand |
| 2001 | CSL | An Improved Extensionality Criterion for Higher-Order Logic Programs. | Marc Bezem |
| 2000 | CADE | Automated Proof Construction in Type Theory Using Resolution. | Marc Bezem, Dimitri Hendriks, Hans de Nivelle |
| 1999 | ICLP | Extensionality of Simply Typed Logic Programs. | Marc Bezem |
| 1994 | CONCUR | Invariants in Process Algebra with Data. | Marc Bezem, Jan Friso Groote |
| 1990 | ICLP | Acyclic Programs. | Krzysztof R. Apt, Marc Bezem |
| 1988 | CADE | Consistency of Rule-based Expert System. | Marc Bezem |