Scientific Committee
Comité scientifique
Jeremy Avigad (Carnegie Mellon University)
Eugenia Cheng (School of the Art Institute of Chicago)
Pierre-Louis Curien (IRIF, Université Paris Cité)
Peter Dybjer (Chalmers University of Technology)
Muriel Livernet (IMJ, Université Paris Cité)
David Spivak (Topos Institute)
Glynn Winskel (Queen Mary University of London)
Organizing Committee
Comité d’organisation
Bérénice Delcroix-Oger (IMAG)
Marcelo Fiore (University of Cambridge)
Christine Tasson (ISAE SUPAERO)
Lionel Vaux auclair (Aix-Marseille Université)
IMPORTANT WARNING: Scam / Phishing / SMiShing ! Note that ill-intentioned people may be trying to contact some of participants by email or phone to get money and personal details, by pretending to be part of the staff of our conference center (CIRM). CIRM and the organizers will NEVER contact you by phone on this issue and will NEVER ask you to pay for accommodation/ board / possible registration fee in advance. Any due payment will be taken onsite at CIRM during your stay.
Joyal’s combinatorial species of structures were conceived in the context of and developed for the purpose of enumerative combinatorics, where they became a mathematical tool giving rise to a rich research strand. On the other hand, a different line of research on generalizations of species has been investigating them as semantic models of computation and logic.
In view of the above dichotomy, recent efforts have been made to get these two, largely disjoint, research communities to interact. Specifically, two online seminar series for the purpose have been organized:
• Species and Operads in Combinatorics and Semantics (SOCS 2020, https://www.irif.fr/~socs2020/en/index.html), and
• Groupe de travail : Espèces et sémantique (2025, https://gtespece.pages.math.cnrs.fr/).
The proposed workshop, aims at getting researchers from combinatorics and semantics physically together to learn from each other and identify research questions, problems, directions, etc of common interest to pursue.
Les espèces combinatoires de structures de Joyal ont été conçues dans le contexte et développées à des fins de combinatoire énumérative, où elles sont devenues un outil mathématique donnant lieu à un riche courant de recherche. D’autre part, un autre courant de recherche sur les généralisations des espèces les a étudiées comme modèles sémantiques de calcul et de logique.
Compte tenu de cette dichotomie, des efforts ont récemment été déployés pour faire interagir ces deux communautés de recherche largement disjointes. Plus précisément, deux séries de séminaires en ligne ont été organisées à cette fin :
• Species and Operads in Combinatorics and Semantics (SOCS 2020, https://www.irif.fr/~socs2020/en/index.html), et
• Groupe de travail : Espèces et sémantique (2025, https://gtespece.pages.math.cnrs.fr/).
L’atelier proposé, vise à réunir physiquement des chercheurs en combinatoire et en sémantique afin qu’ils puissent apprendre les uns des autres et identifier des questions de recherche, des problèmes, des orientations, etc. d’intérêt commun à poursuivre.
SPEAKERS
To be annouced
SPONSORS
