Groupe de travail "Espèces et sémantique"

Le groupe de travail, au sens "workshop", est un groupe de chercheurs en combinatoire, topologie et sémantique se réunissant mensuellement autour d'exposés transverses autour du thèmes "Espèces et sémantiques". Ce groupe de travail est soutenu par les GT CombAlg et LHC du GDR IFM.

Pour en savoir plus, voici les transparents de présentation du groupe de travail.

Pour être ajouté à la liste de diffusion, merci de contacter les organisatrices.

Organisatrices

• Bérénice Delcroix-Oger, IMAG - Université de Montpellier
• Christine Tasson, ISAE-Supaero

• Jeudi 10 avril : Dualité de Koszul pour les opérades par Joan Millès, IMT
• Jeudi 22 mai : TBA par Marcelo Fiore, Université de Cambridge
• Jeudi 5 juin : thème à fixer

• Jeudi 20 mars : Generalized species in denotational semantics par Zeinab Galal, Université de Bologne

  I will present an overview of the model of generalized species of structures developed by Fiore, Gambino, Hyland and Winskel. Generalized species encompass Joyal's combinatorial species and provide a connection between the generating series used in combinatorics and the power series used in quantitative semantics where programs are represented as analytic maps with the monomial exponents providing information on the number of times a program uses its argument. Generalized species further play an important role in the recent developments of two-dimensional and proof-relevant semantics for λ-calculus and linear logic.

  slides
• Jeudi 13 février : "Espèces de structure" par François Bergeron, UQAM
vidéo de l'exposé

Exposé 1

• Bergeron, Labelle, Leroux, "Introduction to the Theory of Species of Structures" (premiers chapitres)
• Bergeron, Flajolet, Salvy, “Varieties of increasing trees”
• Maia, Mendez, “On the arithmetic product of combinatorial species” (poru un produit arithmétique entre espèces, notamment le lien entre espèces et séries de Dirichlet)

Exposé 2

• Fiore, Gambino, Hyland, Winskel, "The Cartesian closed bicategory of generalised species of structures"
• Gambino, Joyal, "On operads, bimodules and analytic functors"
• Olimpieri, "Intersection Type Distributors"
• Ong, "Quantitative semantics of the lambda calculus: Some generalisations of the relational model"
• Tsukada, Asada, Ong, "Species, Profunctors and Taylor Expansion Weighted by SMCC: A Unified Framework for Modelling Nondeterministic, Probabilistic and Quantum Programs"