Past research activities (Christian Retoré)

• September 2012 - August 2013: on CNRS sabbatical in Toulouse at IRIT
  
• Editor:
  
• Bulletin of Symbolic Logic (since 2018)
  
• Logics and their applications (since 2014)
• La Gazette des mathématiciens (Société Mathématique de France) (comité de rédaction 2008--2014)
  
• Traitement automatique des langues Rédacteur en chef 2004--2009
• Reviewer for the Maths reviews MathsSci Net AMS  (since 2003)
  
• Chair of the book collection ISTE/Wiley "Logic, linguistics and computer science / logique linguistique et informatique"
  
• Editor in chief:
  
• de novembre 2004 à juin 2009: rédacteur en chef de la revue Traitement Automatique des Langues publiée avec le concours de l'ATALA et du C.N.R.S. (rédacteur depuis 2001) — avec François Yvon, Béatrice Daille, Eric Villemonte de la Clergerie, et précédemment Pierre Zweigenbaum, Sylvain Kahane.
  
• Projects:
  
• Projet e-fran AREN Argumentation et numérique
  
• GDR Sémantique et modélisation 2002-2009
  
• ARC CAULD Construction automatique de représentations logiques du discours (2009--2010)
• ANR Prélude-Loci 2008-2015 (site leader)
  
• ANR Polymnie 2011-2015 (site leader) 
  
• CoLan PEPS Humanités, mathématiques, informatique  2013 et 2014: Complexité et Langage (porteur)
  
• PhD prize committees and others:
  
• 2005-2007 membre du jury du prix de thèse de SPECIF
• 1999-2005: member of the committee for E. W. Beth Dissertation Prize in Logic, Language and Information
• 2007--2008 ESSLLI standing committee (European Summer School in Logic, Language and Information
• Organisation:
  
• ESSLLI 2009 IN BORDEAUX (20-31 JULY 2009) 21st European Summer School in Logic Language and Information
• Sémantique et Modélisation (Semaine Bordelaise de Sémantique Formelle, mars 2006)
• lundi 24- mardi 25 mars 2014, Bordeaux:  rencontres du  groupe de travail Géométrie du Calcul (GDR Informatique Mathématique)
  
  • 7 mai 2021 Journée "méthodes symboliques, méthodes statistiques" du LIRMM
  • 4 juin 2021 journée "preuves" de l'action transverse "logique" du lirmm
• 
  
• Organising seminars for the "logics" research axis of LIRMM:
  
• • 7 mai 2021 Journée "méthodes symboliques, méthodes statistiques" du LIRMM
  • 4 juin 2021 journée "preuves" de l'action transverse "logique" du lirmm
  • 23 et 24 novembre 2021 journées LOGIQUE et INTERACTION (action transverse logique du LIRMM)
  • 
    
  Conference/Worshop (co)Chair:
  • co-chair with Elaine Pimentel 5th International Workshop on  Trends in Linear Logic and Applications TLLA2021 LICS 2021 (Roma) satellite Workshop 
    
  • co general chair with Henrik Bjorklund, Frank Drewes, Annie Foret, Roussanka Loukanova Richard Moot MATHEMATICAL LINGUISTICS  autumn 2021 Montpellier: federated conferences and workshops "mathematics of language", "logical aspects of computational linguistics", "natural language and computer science" "logic and algorithms in computational linguistics" "new insights in mathematical linguistics" more later
• IWCS 2017 biennial International Conference on Computational Semantics Montpellier septembre 2017 co-chair: Claire Gardent
• Quad Quantifiers and determiners Toulouse, 2017 as part of ESSLLI 2017 (co-chair with Mark Steedman)
  
• Logical Aspects of Computational Linguistics 2016 20th anniversary (PC Chair)
• TYTLES:  TYpe Theory and LExical Semantics Barcelona, August 3-7 2015 (Robin Cooper, Göteborg & Christian Retoré, Montpellier, chairs)  as part of ESSLLI 2015
• EPSILON 2015: Hilbert's espilon and tau in logic, informatics and linguistics Montpellier 10-11-12 juin (co chairs R. Moot, F. Pasquali S. Chatzikyriakidis Ch. Retoré)
  
• Natural Language and Computer Science (CSL-LICS workshop) co-chair with Larry Moss and Valeria de Paiva 17-18 July 2014 during Vienna Summer of Logic,
  
• MIXEUR Méthodes mixtes pour l’analyse syntaxique et sémantique du français (21 juin 2013, les Sables d'Olonne)
  
• Rencontre internationale "Logique, catégories, sémantique" 12-13 novembre 2010  (Bordeaux)
  
• 2009--2011 Petite école hebdomadaire sur logique et catégories
• Toulouse workshop on THE LOGIC OF THE LEXICON january  28 29 30 2013
• LACL1996
• LACL1995
  
• Conference program committees:   
• IWCS 2019
  
• Applied Category Theory 2019
  
• *SEM 2019 The Eighth Joint Conference on Lexical and Computational Semantics
  
• 11 Semantic and Philosophy in Europe 2019
  
• JELIA 2019 2016
  
• NLPinAI 2018 2019
  
• COLING 2018 2020 2022 2024 (+LREC)
  
• ACL 2018 2010 2020
  
• NLCS 2018 2017 2016 2015 2014
  
• TALN 2018 2017 2016 2015 2014 2013 2012 2011 2009 2006 2005
  
• LACL 1995 1996 1997 1998 2001 2005 2011 2012 2014 2016
  
• FG 2017 2016 2015 2014 2013 2012 2011 2005
  
• Recital 2012
  
• Tools for Teaching Logic 2015,
  
• Type Theory and Natural Language Semantics Workshop at EACL 2014 April 2014 Göthenburg
• 7th International Workshop on Constraint Solving and Language Processing 2012 (Orléans)
  
• Formal semantics week in Nancy march 22—26 2010
  
• Journées de Sémantique et Modélisation 2009 (Paris) ,
  
• Workshop on Symmetric calculi and Ludics for the semantic interpretation Hamburg, 2008
• Atelier de sémantique formelle Toulouse 2008,
  
• JSM 2006 2007 2008 2009 2010
  
•  IJCNLP 2008 (Hyderabad) ,
  
• Semantics beyond set-theory (Paris),
  
• NDTTG 2007 (Dublin) ,
  
• MOL 2005 2007 (Los Angeles) ,
  
• HLT-NAACL 2006 (New-York) ,TALN 2006 (Leuven), TALN2005/DEFT`05,
  
• HLT/EMNLP 2005
  
• FG-MOL2005,
  
• ESSLLI2005,
  
• CG2004,
  
• LREC2004-RPSL,
  
• 15th Logics in artificial intelligence Cyprus, November 2016 (PC member)
  
• 7th Indian Conference on Logics and Applications Kanpur January 2017 (PC member)