| 2025 | CSL | Playing with Modalities (Invited Talk). | Elaine Pimentel, Carlos Olarte, Timo Lang, Robert Freiman, Christian G. Fermller |
| 2024 | LPAR | A Simple Token Game and its Logic. | Christian G. Fermller, Robert Freiman, Timo Lang |
| 2024 | LPAR | Reasoning About Group Polarization: From Semantic Games to Sequent Systems. | Robert Freiman, Carlos Olarte, Elaine Pimentel, Christian G. Fermller |
| 2020 | IPMU | From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gdel Logic. | Christian G. Fermller, Timo Lang, Alexandra Pavlova |
| 2019 | TABLEAUX | A Game Model for Proofs with Costs. | Timo Lang, Carlos Olarte, Elaine Pimentel, Christian G. Fermller |
| 2017 | EUSFLAT | From Semi-fuzzy to Fuzzy Quantifiers via Łukasiewicz Logic and Games. | Paolo Baldi, Christian G. Fermller |
| 2017 | FQAS | Querying with Vague Quantifiers Using Probabilistic Semantics. | Christian G. Fermller, Matthias F. J. Hofer, Magdalena Ortiz |
| 2017 | TABLEAUX | Interpreting Sequent Calculi as Client-Server Games. | Christian G. Fermller, Timo Lang |
| 2015 | CSL | Elementary Elimination of Prenex Cuts in Disjunction-free Intuitionistic Logic. | Matthias Baaz, Christian G. Fermller |
| 2012 | IPMU | Randomized Game Semantics for Semi-fuzzy Quantifiers. | Christian G. Fermller, Christoph Roschger |
| 2010 | CSL | A Resolution Mechanism for Prenex Gdel Logic. | Matthias Baaz, Christian G. Fermller |
| 2008 | LPAR | Cut Elimination for First Order Gdel Logic by Hyperclause Resolution. | Matthias Baaz, Agata Ciabattoni, Christian G. Fermller |
| 2007 | EUSFLAT | Fuzzy Logic and Theories of Vagueness. | Christian G. Fermller |
| 2007 | EUSFLAT | Exploring Dialogue Games as Foundation of Fuzzy Logic. | Christian G. Fermller |
| 2007 | LPAR | Monadic Fragments of Gdel Logics: Decidability and Undecidability Results. | Matthias Baaz, Agata Ciabattoni, Christian G. Fermller |
| 2006 | JELIA | Model Representation over Finite and Infinite Signatures. | Christian G. Fermller, Reinhard Pichler |
| 2006 | LPAR | Combining Supervaluation and Degree Based Reasoning Under Vagueness. | Christian G. Fermller, Robert Kosik |
| 2005 | CADE | Model Representation via Contexts and Implicit Generalizations. | Christian G. Fermller, Reinhard Pichler |
| 2004 | LPAR | Uniform Rules and Dialogue Games for Fuzzy Logics. | Agata Ciabattoni, Christian G. Fermller, George Metcalfe |
| 2003 | LPAR | A Translation Characterizing the Constructive Content of Classical Theories. | Matthias Baaz, Christian G. Fermller |
| 2003 | TABLEAUX | Parallel Dialogue Games and Hypersequents for Intermediate Logics. | Christian G. Fermller |
| 2001 | LPAR | Herbrand's Theorem for Prenex Gdel Logic and its Consequences for Theorem Proving. | Matthias Baaz, Agata Ciabattoni, Christian G. Fermller |
| 2001 | LPAR | Tableaux for Reasoning About Atomic Updates. | Christian G. Fermller, Georg Moser, Richard Zach |
| 2000 | CADE | Workshop: Model Computation - Principles, Algorithms, Applications. | Peter Baumgartner, Christian G. Fermller, Nicolas Peltier, Hantao Zhang |
| 2000 | LPAR | Have Spass with OCC1N | Christian G. Fermller, Georg Moser |
| 2000 | TABLEAUX | An Analytic Calculus for Quantified Propositional Gdel Logic. | Matthias Baaz, Christian G. Fermller, Helmut Veith |
| 1999 | TABLEAUX | Analytic Calculi for Projective Logics. | Matthias Baaz, Christian G. Fermller |
| 1998 | MFCS | Proof Theory of Fuzzy Logics: Urquhart's C and Related Logics. | Matthias Baaz, Agata Ciabattoni, Christian G. Fermller, Helmut Veith |
| 1998 | TABLEAUX | Tableaux for Finite-Valued Logics with Arbitrary Distribution Modalities. | Christian G. Fermller, Herbert Langsteiner |
| 1997 | TABLEAUX | Lean Induction Principles for Tableaux. | Matthias Baaz, Uwe Egly, Christian G. Fermller |
| 1996 | CADE | MUltlog 1.0: Towards an Expert System for Many-Valued Logics. | Matthias Baaz, Christian G. Fermller, Gernot Salzer, Richard Zach |
| 1996 | CADE | Semantic Trees Revisited: Some New Completeness Results. | Christian G. Fermller |
| 1996 | TABLEAUX | Combining Many-valued and Intuitionistic Tableaux. | Matthias Baaz, Christian G. Fermller |
| 1995 | TABLEAUX | Non-elementary Speedups between Different Versions of Tableaux. | Matthias Baaz, Christian G. Fermller |
| 1994 | LICS | A Non-Elementary Speed-Up in Proof Length by Structural Clause Form Transformation | Matthias Baaz, Christian G. Fermller, Alexander Leitsch |
| 1993 | LPAR | MULTILOG: A System for Axiomatizing Many-valued Logics. | Matthias Baaz, Christian G. Fermller, Arie Ovrutcki, Richard Zach |
| 1993 | LPAR | Ordered Paramodulation and Resolution as Decision Procedure. | Christian G. Fermller, Gernot Salzer |
| 1992 | CSL | Model Building by Resolution. | Christian G. Fermller, Alexander Leitsch |
| 1992 | LPAR | Resolution for Many-Valued Logics. | Matthias Baaz, Christian G. Fermller |
| 1990 | CSL | A Resolution Variant Deciding some Classes of Clause Sets. | Christian G. Fermller |