Past Events

  • GDR GPL 2019 (chair): Journées du GDR-GPL (Génie de la Programmation et du Logiciel)

  • WRLA 2018 (PC): 12th International Workshop on Rewriting Logic and its Applications

  • GDR GPL 2018 (chair): Journées du GDR-GPL (Génie de la Programmation et du Logiciel)

  • GDR GPL 2017 (chair): Journées du GDR-GPL (Génie de la Programmation et du Logiciel)

  • GDR GPL 2016 (chair): Journées du GDR-GPL (Génie de la Programmation et du Logiciel)

  • SLE 2016 (PC): 9th International Conference on Software Language Engineering

  • WRLA 2016 (PC): 11th International Workshop on Rewriting Logic and its Applications

  • EJCP 2015 (OC-chair) : École des Jeunes Chercheurs en Programmation

  • TERMGRAPH 2014 (PC): 8th International Workshop on Computing with Terms and Graphs

  • WRLA 2014 (PC): 10th International Workshop on Rewriting Logic and its Applications

  • SCSS 2013 (PC) : 5th International Symposium on Symbolic Computation in Software Science

  • SLE 2013 (PC): 6th International Conference on Software Language Engineering

  • WASDeTT 2013 (OC): 4th International Workshop on Academic Software Development Tools and Techniques

  • GDR GPL 2013 (OC-chair): Journées du GDR-GPL (Génie de la Programmation et du Logiciel)

  • PPPJ 2012 (PC): 10th International Conference on the Principles and Practice of Programming in Java

  • SLE 2012 (PC): 5th International Conference on Software Language Engineering

  • RTA 2012 (PC): 23rd International Conference on Rewriting Techniques and Applications

  • WRLA 2012 (PC): 9th International Workshop on Rewriting Logic and its Applications

  • AMMSE 2011 (PC): 2nd International Workshop on Algebraic Methods in Model-Based Software Engineering

  • WASDETT 2011 (OC): 4th International Workshop on Academic Software Development Tools and Techniques

  • GDR GPL 2010 (invited talk): GDR Génie de la Programmation et du Logiciel

  • LDTA 2010 (PC-chair): 10th Workshop on Language Descriptions, Tools and Applications

  • SLE 2010 (PC): 3rd International Conference on Software Language Engineering

  • RULE 2010 (PC): 11th International Workshop on Rule-Based Programming

  • WRLA 2010 (PC): 8th International Workshop on Rewriting Logic and its Applications

  • IWS 2010 (PC): 1st International Workshop on Strategies in Rewriting, Proving, and Programming

  • WASDETT 2010 (PC): 3rd International Workshop on Academic Software Development Tools and Techniques

  • CC 2009 (PC): International Conference on Compiler Construction

  • LDTA 2009 (PC): 9th Workshop on Language Descriptions, Tools and Applications

  • SLE 2009 (PC): 2nd International Conference on Software Language Engineering

  • SLE 2008 (PC): 1st International Conference on Software Language Engineering

  • LSFA 2008 (PC): 3rd Workshop on Logical and Semantic Frameworks, with Applications

  • RULE 2008 (invited talk): 9th International Workshop on Rule-Based Programming

  • WRLA 2008 (PC): 7th International Workshop on Rewriting Logic and its Applications

  • WRS 2008 (PC): 8th International Workshop on Reduction Strategies in Rewriting and Programming

  • ISR 2007 (lecturer): 2nd International School on Rewriting

  • WRS 2007 (invited talk): 7th International Workshop on Reduction Strategies in Rewriting and Programming

  • GTTSE 2007 (invited): 2nd Summer School on Generative and Transformational Techniques in Software Engineering

  • LSFA 2007 (PC): 2nd Workshop on Logical and Semantic Frameworks, with Applications

  • RULE 2007 (PC): 8th International Workshop on Rule-Based Programming

  • JFLA 2007 (président): 18ième Journées Francophones des Langages Applicatifs

  • JFLA 2006 (vice président): 17ième Journées Francophones des Langages Applicatifs

  • RULE 2006 (PC): 7th International Workshop on Rule-Based Programming

  • WRLA 2006 (PC): 6th International Workshop on Rewriting Logic and its Applications

  • JFPC 2006 (PC): 2ième Journées Francophones de Programmation par Contrainte

  • ISR 2006 (OC, lecturer): 1st International School on Rewriting

  • JFLA 2005 (PC): 16ième Journées Francophones des Langages Applicatifs

  • GTTSE 2005 (SC): 1st Summer School on Generative and Transformational Techniques in Software Engineering

  • WRLA 2004 (PC): 5th International Workshop on Rewriting Logic and its Applications

  • RULE 2003 (co-chair): 4th International Workshop on Rule-Based Programming

  • LDTA 2003 (OC): 3rd Workshop on Language Descriptions, Tools and Applications

  • LDTA 2002 (PC): 2nd Workshop on Language Descriptions, Tools and Applications

  • WRLA 2002 (PC): 5th International Workshop on Rewriting Logic and its Applications

  • LDTA 2001 (PC): 1st Workshop on Language Descriptions, Tools and Applications

  • CALCULEMUS 2001 (PC): 9th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning