| 2022 | LREC | Quantification Annotation in ISO 24617-12, Second Draft. | Harry Bunt, Maxime Amblard, Johan Bos, Karn Fort, Bruno Guillaume, Philippe de Groote, Chuyuan Li, Pierre Ludmann, Michel Musiol, Siyana Pavlova, Guy Perrier, Sylvain Pogodalla |
| 2022 | WoLLIC | Multityped Abstract Categorial Grammars and Their Composition. | Pierre Ludmann, Sylvain Pogodalla, Philippe de Groote |
| 2020 | LREC | A French Version of the FraCaS Test Suite. | Maxime Amblard, Clment Beysson, Philippe de Groote, Bruno Guillaume, Sylvain Pogodalla |
| 2015 | ICALP | On Logical Relations and Conservativity. | Philippe de Groote |
| 2015 | WoLLIC | Proof-Theoretic Aspects of the Lambek-Grishin Calculus. | Philippe de Groote |
| 2010 | SIGdial | Presupposition Accommodation as Exception Handling. | Philippe de Groote, Ekaterina Lebedeva |
| 2009 | WoLLIC | On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar. | Philippe de Groote, Sylvain Pogodalla, Carl Pollard |
| 2007 | LPAR | On Two Extensions of Abstract Categorial Grammars. | Philippe de Groote, Sarah Maarek, Ryo Yoshinaka |
| 2004 | CSL | Higher-Order Matching in the Linear lambda-calculus with Pairing. | Philippe de Groote, Sylvain Salvati |
| 2004 | LICS | Vector Addition Tree Automata. | Philippe de Groote, Bruno Guillaume, Sylvain Salvati |
| 2001 | ACL | Towards Abstract Categorial Grammars. | Philippe de Groote |
| 2000 | LPAR | Proof-Search in Implicative Linear Logic as a Matching Problem. | Philippe de Groote |
| 1999 | CADE | A dynamic programming approach to categorial deduction. | Philippe de Groote |
| 1999 | TABLEAUX | The Non-Associative Lambek Calculus with Product in Polynomial Time. | Philippe de Groote |
| 1997 | LFCS | An Algebraic Correctness Criterion for Intuitionistic Proof-Nets. | Philippe de Groote |
| 1995 | TABLEAUX | Linear Logic with Isabelle: Pruning the Proof Search Tree. | Philippe de Groote |
| 1994 | LFCS | Strong Normalization in a Non-Deterministic Typed Lambda-Calculus. | Philippe de Groote |
| 1994 | LPAR | On the Relation between the Lambda-Mu-Calculus and the Syntactic Theory of Sequential Control. | Philippe de Groote |
| 1993 | STACS | Defining Lambda-Typed Lambda-Calculi by Axiomatizing the Typing Relation. | Philippe de Groote |
| 1992 | LFCS | Denotations for Classical Proofs - Preliminary Results. | Philippe de Groote |