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
Pierre Clairambault (CNRS, Aix-Marseille Université)
Lionel Vaux auclair (Aix-Marseille Université)
Marcelo Fiore (University of Cambridge)
Federico Olimpieri (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.
The theme of two and higher dimensional structure runs throughout the research programme. The main conference will cover a variety of research topics featuring them. Specifically, the following:
• concurrency theory
• differential structure
• fixpoints equations
• game semantics
• graphical calculi and string diagrams
• homotopical algebra
• higher categories
• inductive and recursive types
• proof-relevant semantics
• rewriting theory
• type theory
Le thème des structures à deux dimensions et plus, est présent tout au long du programme de recherche. La conférence principale couvrira divers sujets de recherche les mettant en avant. Plus précisément, les suivants :
• théorie de la concurrence
• structure différentielle
• équations à points fixes
• sémantique des jeux
• calculs graphiques et diagrammes de cordes
• algèbre homotopique
• catégories supérieures
• types inductifs et récursifs
• sémantique pertinente pour la preuve
• théorie de la réécriture
• théorie des types
SPEAKERS
To be announced
SPONSORS
