Page de Raphaël Carroy - Conférences

Avertissement: Les fichiers mis à disposition sur cette page sont pour la plupart en anglais.

Exposés avec projection

Joint meeting of the Italian Mathematical Union, the Italian Society of Industrial and Applied Mathematics and the Polish Mathematical Society Session: Set theory and topology, Wroclaw, Pologne.
18 Septembre 2018 (length 35 min): The Open Graph Dichotomy and the second level of the Borel hierarchy (slides)
Measuring the Complexity of Computational Content: From Combinatorial Problems to Analysis Leibniz Zentrum für Informatik, Allemagne.
7 Septembre 2018 (length 25 min): Around finite basis results for topological embeddability between functions (slides)
UCLA Logic Colloquium University of California in Los Angeles, United States of America.
2 Février 2018 (length 50 min): Projective homogeneous spaces and Wadge theory (slides)
XXVI Incontro dell'AILA Orto Botanico di Padova, Italie.
25 Septembre 2017 (durée 25 min): Topological embeddability between functions (slides)
SGSLPS Spring Meeting Université de Lausanne, Suisse.
29 Mai 2017 (durée 50 min): Topological embeddability between functions (slides)
Young Set Theory Workshop Université de Copenhage, Danemarc.
14 Juin 2016 (durée 50 min): Comparing functions (slides)
Well-Quasi-Orders in Computer Science Leibniz Zentum für Informatik, Schloss Dagstuhl, Allemagne.
19 Janvier 2016 (durée 25 min): Ordering functions (slides)
Rencontre Annuelle de la Societé Suisse de Logique et Philosophie des Sciences (SSLPS) Université de Lausanne, Suisse
20 Novembre 2015 (durée 50 min): Classifying functions between 0-dimensional Polish spaces (slides)
XX Congresso dell'Unione Matematica Italiana Siena, Italie
8 Septembre 2015 (durée 15 min): Ordering functions (slides)
Oberseminar. Institut für Mathematische Logik und Grundlagenforschung, Fachbereich Mathematik und Informatik, Universität Münster, Allemagne
26 Mai 2014 (durée 90 min): From well to better: the space of ideals (slides)
Séminaire général de logique. Université Paris 7 - Denis Diderot, France
10 Mars 2014 (durée 1 h): Classification de fonctions continues entre espaces polonais 0-dimensionels (slides)
Winter school in abstract analysis. Hejnice, République Tchèque
26 Janvier 2014 (durée 30 min): Ordonner des fonctions (slides)
Rencontre de logique et cosmologie. Centre de Physique des Particules de Marseille (CPPM), Université Aix-Marseille, France
16 Octobre 2013 (durée 1 h): Introduction à la logique du premier ordre (slides)
Soutenance de thèse. Université de Lausanne (UNIL), Suisse
25 Juillet 2013 (durée 30 min): Fonctions de première classe de Baire (slides)
Seminario di logica. Dipartimento di Matematica e Informatica, Università di Udine, Italia.
16 Avril 2013 (durée 2 h): Quelques questions autour des fonctions continues entre espaces 0-dimensionels (slides).
PhD's in Logic III. Bruxelles, Belgique
27 Février 2011 (durée 20 min): Décomposer les fonctions classe de Baire 1 (slides).
Graduate seminar: Logic and information. Institut für Informatik und angewandte Mathematik, Universität Bern, Suisse.
(durée 20 min)
  • 27 Novembre 2008: Voir les fonctions comme des stratégies dans des jeux adaptés (slides)
  • 27 Avril 2010: Décomposer les fonctions classe de Baire 1 (slides)

Interventions en séminaire, au tableau noir

Séminaire des doctorants de logique. Groupe de logique mathématique, Institut des systèmes d'information (ISI), UNIL, Suisse.
(durée 2 h)
  • Septembre 2010: Décomposer les fonctions classe de Baire 1.
  • Octobre 2010: Une preuve ineffective du Théorème de Silver, sans forcer ni utiliser l'axiome des parties, d'après Ben Miller.
  • Novembre 2010: Un ordre à la Wadge pour les fonctions boréliennes? Le cas continu.
Groupe de travail en théorie descriptive des ensembles. Equipe d'analyse fonctionnelle, IMJ-PRG, Université Paris 6 - UPMC, France.
(durée >2 h)
  • 5 Avril 2011: Fonctions de première classe et discontinuités, en lien avec le travail de B.Semmes et le Théorème de Jayne-Rogers.
  • 3 et 17 Mai 2011: Etude d'une notion de réduction pour les fonctions - le cas des fonctions continues à domaine compact.
  • Novembre 2011: Série sur L'ordre de plongement entre fermés.
    • 15 Novembre 2011: Introduction aux meilleurs quasi-ordres (bqo).
    • 22 Novembre 2011: La conjecture de Fraïssé et le Théorème de Laver.
    • 29 Novembre 2011: L'ordre de plongement entre fermés.
  • 25 juin 2013: Jouer dans la première classe de Baire.
  • 18 mars 2014: Epimorphismes d'ordres totaux (travail commun avec R.Camerlo et A. Marcone)
  • 3 Novembre 2015: Ordres totaux fortement surjectifs (Travail commun avec R.Camerlo et A.Marcone)
  • 31 Janvier 2017: Une dichotomie pour l'ordre de plongement topologique entre fonctions continues sur des espaces Polonais 0-dimensionels
Groupe de travail "Philosophie et Mathématiques XIX-XXèmes siècles". Laboratoire SHERE, Université Paris 7 - Denis Diderot, France.
18 Octobre 2013 (durée 3h): Introduction à la théorie descriptive des ensembles
Seminari di teoria descrittiva degli insiemi. Dipartimento di Matematica "Giuseppe Peano", Università degli studi di Torino, Italia.
(durée 2h)
  • Janvier 2013: Série sur A quasi-order for continuous functions.
    • 11 Janvier: Introduction et définitions.
    • 16 Janvier: Premières propriétés, le rang de Cantor-Bendixson d'une fonction.
    • 23 Janvier: Le Lemme de Décomposition, Opérations sur les ensembles.
    • 29 Janvier: Opérations sur les fonctions, le Lemme de Réduction, analyse complète des fonctions à domaine compact.
    • 7 Février; Un théorème général de structure et quelques conséquences.
  • Février-Mars 2013: Série sur From well to better, the space of ideal.
    • 14 Février: BQO: la version de Simpson, le Minimal Bad Array Lemma, ON préserve les bqo.
    • 21 Février: BQO: la version de Nash-Williams, fronts, barrières et supersuites, le Théorème de Ramsey pour les fronts.
    • 28 Février: Clôture d'un front dans Cantor, Uniformités sur les espaces compacts Hausdorff 0-dimensionnels.
    • 7 Mars: Toute supersuite dans Cantor contient une sous-supersuite de Cauchy.
    • 15 Mars: L'espace des idéaux d'un wqo, l'astuce de Rado, un wqo dont les idéaux sont bqo est lui-même bqo.
    • 22 Mars: Introduction au Théorème de Louveau - Saint-Raymond sur les C-arbres et la préservation des bqos.
    • 5 Avril: Preuve du Théorème de Louveau - Saint-Raymond sur les C-arbres et la préservation des bqos.
  • Avril-Mai 2013: Série sur Playing in the first Baire class.
    • 12 Avril: Introduction au jeux de réduction et à la première classe de Baire, analyse complète du jeu de Wadge pour les fonctions.
    • 19 Avril: Le jeu avec effaceurs caratérise la première classe de Baire, définition des discontinuités.
    • 24 Avril: Etude des discontinuités, détermination du jeu avec effaceurs en nombre borné. (double séance)
    • 3 Mai: Détermination du jeu avec effaceurs.
    • 15 Mai: Détermination du jeu avec effaceurs en nombre fini.
    • 24 Mai: Stratégies fiables.
    • 29 Mai: Le Théorème de Jayne-Rogers.
  • 15 et 22 Février 2017: A dichotomy for topological embeddability of continuous functions between 0-dimensional Polish spaces
  • 5 Avril 2018: Wadge theory and an application to homogeneous spaces
Oberseminar. Institut für Mathematische Logik und Grundlagenforschung, Fachbereich Mathematik und Informatik, Universität Münster, Allemagne
26 Avril 2014 (durée 90 min): Introduction à la théorie des bqo: la preuve de la conjecture de Fraïssé selon Laver.
Workshop on Wadge theory and Automata. Dipartimento di Matematica "Giuseppe Peano", Università degli studi di Torino, Italia.
27 Janvier 2015 (durée 3 h): Sur la théorie des automates. (Quelques notes manuscrites, en anglais)
P.O.I. Workshop in Pure and Descriptive Set Theory Università di Torino, Italie
25 Septembre 2015 (duré 60 min): Epimorphisms between linear orders
Séminaire de Mécanique Céleste Università di Torino, Italie
17 Novembre 2015 (durée 2 h): Logique & Mécanique Céleste
Oberseminar Universität Bonn, Allemagne
12 Juillet 2016 (durée 1 h 30): When embeddings meet epimorphisms
Prag-Vienna Set Theory Workshop 2016 Université de Prague, Tchéquie.
17 Octobre 2016 (durée 30 min): Topological embeddability between functions
Séminaire de recherche de Logique Kurt Gödel Research Center, Universität Wien, Autriche.
3 Novembre 2016 (durée 2 h): Linear orders: when embeddings and epimorphisms coincide
Séminaire de recherche de Logique Université de Barcelone, Espagne.
4 Novembre 2016 (durée 2 h): Linear orders: when embeddings and epimorphisms coincide
Descriptive Set Theory in Turin Université de Turin, Italie.
6 Septembre 2017 (durée 25 min): Projective homogeneous spaces and Wadge theory