|
CONFERENCE
Discrete mathematics and logic: between mathematics and the computer science Les mathématiques discrètes et la logique: des mathématiques à l'informatique 16 - 20 January, 2023 |
|
|
Scientific Committee
Comité scientifique Mikołaj Bojańczyk (University of Warsaw) Maryanthe Malliaris (University of Chicago) Claire Mathieu (CNRS) Nicole Schweikardt (Humboldt University Berlin) Saharon Shelah (Hebrew University Jerusalem) |
Organizing Committee
Comité d'organisation Mirna Dzamonja (Université de Paris) Sylvain Schmitz (ENS Paris-Saclay) Philippe Schnoebelen (ENS Paris-Saclay) Jouko Vaananen (University of Helsinki) |
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.
Description
|
Mathematics and theoretical computer science are closely connected by their interest in discrete phenomena, either the structural aspects that one can express through combinatorial properties, or algorithmic aspects, or finally, the numerous logical aspects. We concentrate on a specific part of this interaction, which is the study of the structural passage from the finite to the infinite structures. Traditionally, in combinatorics, this passage has been studied ever since the 1930s through the work of pioneers such as Paul Erdös, who compared the combinatorics of a single finite with a single infinite structure, for example through the Ramsey properties. In the last fifteen years or so, the emphasis has been on studying the infinite families of finite structures and the manner in which they are arranged to form an infinite one. This can be done either through the classical notion of the Fraïssé limit, through the Lovász’s notion of a graphon and connected notions of combinatorial limits studied by an ever-growing community of researchers, and finally, the set-theoretic limits such as the ones obtained by un ultraproduct or a morass. This type of question is what our school attempts to address. The school is the first, to our knowledge, to address this very timely topic from the point of view of both mathematics and theoretical computer science, with a half of the participants and speakers coming from each subject.
|
L’informatique théorique et les mathématiques s’approchent par leur intérêt dans les phénomènes discrètes, soit par d’aspects structurels exprimés par la combinatoire, soit par d’aspects algorithmiques, ou, finalement, par de nombreux aspects logiques. L’aspect spécifique de cette approche interdisciplinaire que nous adressons dans l’École est le passage des structures finies aux structures infinies. Ce passage est étudié classiquement depuis les années 30s du XXe siècle, par les mathématiciens tels que Paul Erdös, qui se concentrait, par exemple, sur les propriétés de Ramsey, en comparant une structure finie à une structure infinie. Dernièrement, disons dans les quinze ans précédents, il y a une tendance différente, ce qui est d’étudier une famille infinie de structures finies et la manière dont on peut les arranger pour former une structure infinie. Cela peut se faire par la notion classique de la limite de Fraïssé, par la notion de graphon par Lovász, aussi bien que par d’autres notions de limites combinatorielles - étudiées par un nombre important de chercheurs- ou éventuellement par des limites ensemblistes telles que les ultraproduits ou les morasses. La conférence s’intéresse par ce type de recherche. À notre connaissance, c’est la première fois qu’une école de recherche soit consacrée à ces questions par une approche interdisciplinaire entre les mathématiques et l’informatique. Une moitié de participants et de conférenciers provient des mathématiques et l’autre d’informatique théorique.
|
Speakers
Patricia Bouyer-Decitre (Université Paris-Saclay, LMF)
Thomas Colcombet (CNRS, IRIF)
Arnaud Durand (Université de Paris, IMJ)
Peter Komjath (Hungarian Academy of Sciences)
Patrice Ossona de Mendez (CNRS, EHESS)
Nicole Schweikardt (Humbolt University, Berlin)
Saharon Shelah (Hebrew University, Jerusalem)
Jouko Väänänen (University of Helsinki)
Patricia Bouyer-Decitre (Université Paris-Saclay, LMF)
Thomas Colcombet (CNRS, IRIF)
Arnaud Durand (Université de Paris, IMJ)
Peter Komjath (Hungarian Academy of Sciences)
Patrice Ossona de Mendez (CNRS, EHESS)
Nicole Schweikardt (Humbolt University, Berlin)
Saharon Shelah (Hebrew University, Jerusalem)
Jouko Väänänen (University of Helsinki)
SPONSORS
