Past Events

  • 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