Jean Goubault-Larrecq
Professeur
- Quelques
publications
- Membre du comité éditorial du journal LMCS.
- Evénements à venir:
-
The 49th International Conference on Mathematical Foundations of
Computer Science (MFCS'23), Bordeaux, 28-31 août 2023,
France. Membre du comité de programme.
- Ma clé publique GPG (mais attention au spoofing...)
- Le blog de
topologie générale, servant de supplément
à mon livre, "Non-Hausdorff Topology and Domain Theory -
Selected Topics in Point-Set Topology", paru chez Cambridge University
Press.
- Quelques problèmes
ouverts. Je cherche de très bons étudiants:
si certains de ces problèmes vous intéressent, et vous
pensez pouvoir les résoudre, contactez-moi!
- Quelques cours courants:
- Le
cours de programmation 1.1.
- Le cours
d'algorithmique 1.2: algorithmique de graphes.
- Le cours de
calculabilité.
- Logique
et informatique: le lambda-calcul.
Le devoir
à la maison, à rendre pour le mercredi 06 mai
2020, et le corrigé.
L'examen
2020, son patron LaTeX,
et son corrigé.
- Complexité avancée, première année du MPRI. Les deux moitiés du poly: Classes de complexité en espace, alternance et tutti quanti, et classes de complexité randomisées.
L'examen aura lieu le mercredi 15 janvier 2020 en salle C321 (salle
usuelle) de 9h à 12h. Tous documents écrits autorisés (le poly est
recommandé), pas de téléphone, d'ordinateur, de tablette.
Le sujet avec corrigé de l'examen 2020.
- Aspects
algorithmiques de la théorie des beaux
préordres, M2 MPRI.
- Le cours de
bases de données de la préparation à l'agrégation de
mathématiques option D.
- Le cours de
lambda-calcul pour l'agrégation d'informatique.
- English, by a real Frenchman
- Quelques projets en cours. Attention: j'ai une tendance à vouloir
écrire deux ou trois pages sur un sujet pour me fixer les idées, et ça
termine en livre...
- Le Pavé: Une magnifique théorie des jeux, crédibilités, plausibilités, et prévisions dans un cadre topologique: en pdf.
J'ai comme plan de tout réécrire et compléter, sous forme de livre (en anglais). Mon livre de topologie servira de base mathématique au projet.
- ORCHIDS
un logiciel de détection d'intrusions temps réel, multi-événements, multi-sources,
fondé sur une approche efficace de model-checking de logique temporelle. Contactez-moi si vous êtes intéressés.
- le langage GimML
- La
suite H1:
une bibliothèque d'automates d'arbres finis, de contraintes
ensemblistes, de démonstration automatique pour la classe
décidable H1. Ecrit dans sa quasi-totalité en GimML.
- Quelques exposés récents, ou moins récents:
- A
journey through the semantics of higher-order probabilistic
languages,domain theory, and topology, exposé au
séminaire annuel du LMF, 13 juin 2023.
- Topological
functors and Cartesian-closed categories, exposé
(en visio) au séminaire de topologie
catégorique, Benemérita
Universidad Autónoma de Puebla, Puebla, México, 24 mai 2023.
- On
completeness for Kantorovich Rubinstein quasi-metrics,
exposé
invité à la 9ème symposium
international sur la théorie des domaines
(ISDT'22),
online, 4-6 juillet 2022, Singapore.
- Continuous R-valuations,
exposé
à la 9ème symposium
international sur la théorie des domaines
(ISDT'22),
online, 4-6 juillet 2022, Singapore.
- Noetherian
spaces, wqos, and their statures, exposé
invité à la 10ème Conference on Topology, Algebra, Categories in
Logic
(TACL'22),
20-24 juin 2022, Coimbra, Portugal.
- Is
there a Fubini-Tonelli-type theorem for continuous valuations
on Dcpo?, séminaire à
l'université du Hunan, Changsha, Hunan, Chine, 14 avril 2022.
- A probabilistic and non-deterministic
call-by-push-value language, exposé à la
conférence internationale LICS 2019, Vancouver, BC,
Canada; voir aussi la version longue de la
même présentation.
Une video de ma
présentation au séminaire 68NQRT (merci à
Khalil Ghorbal! au fait,
il paraît que ça ne fonctionne pas sous Safari, pour
une raison mystérieuse et inexpliquée, mais Chrome
ou Firefox sont contents.)
- Domain-complete and LCS-complete
spaces, exposé invité à la conférence
internationale ISDT (International Symposium on Domain Theory),
Yangzhou, Jiangsu, Chine, 2019
- Previsions=powercones,
exposé invité à la conférence
internationale ISDT (International Symposium on Domain Theory)
ShiJiaZhuang, Hebei, Chine, 2017
- A semantics for ∇,
Festschrift Dale Miller, Paris, France, 2016
- On the complexity of monitoring Orchids
signatures, conférence Runtime Verification, Madrid,
Espagne, 2016
- A few things on Noetherian
spaces, exposé invité plénier à la
31ème
Summer Topology Conference, Leicester, UK, 2016
- An introduction to asymmetric
topology and domain theory: why, what and how, exposé
invité au
Galway
Colloquium, Leicester, UK, 2016
- Formal balls, exposé
invité, Domains
XII, Cork, Irlande, 2015
- The VJGL lemma, exposé
invité, mini-workshop 38 "Well-quasi orders: from theory to
applications" de la Jahrestagung der deutschen
Mathematiker-Vereinigung, Hambourg, Allemagne, 2015
- Tâches et responsabilités diverses:
responsable
du groupe
topologie (interactions) du LMF (2020-), du
cursus M2
MPRI à l'université Paris-Saclay (2021-),
du M2
MPRI lui-même (2024-);
membre de la
commission formation
du labex Digicosme (2016-2022),
du comité de mention informatique des masters de
l'université Paris-Saclay (2021-);
membre du comité
du prix de
thèse Ackermann de l'EACSL (2019-);
membre du comité de pilotage de l'EACSL (2021-).
- Plus anciennement: responsable de la préparation à
l'option D (informatique) du concours de l'agrégation en
mathématiques, à l'ENS Paris-Saclay (2017-2021);
coprésident du comité de
programme de FOSSACS'2020 et coéditeur du numéro
spécial du
journal LMCS pour
cette conférence (avec Barbara König); coprésident du comité de
programme de CSL'2021
(avec Christel
Baier).