Groupe de travail Geocal
Responsable : Laurent Regnier,
Institut de Mathématiques de Luminy
Annonces du groupe
- 24, 25 novembre,
Rencontre
Geocal-Lac à l'X (Palaiseau)
- 12-13 mai 2011,
Rencontre
Geocal-LAC au LORIA (Nancy)
- 20-21 janvier 2011, journées
nationales du GDR IM à Paris 6 Jussieu (Bâtiment Esclangon, amphi
Durand)
- 15-16-17 mars 2010,
Rencontre Geocal-LAC à
Nice
- 21-22 janvier 2010, rencontre nationale du GDR IM, à
Paris 6 (programme)
- 16 et 17 mars 2009,
rencontre
commune
Geocal-LAC
au LIP
- 31 mars au 4 avril 2008,
l'EJCIM
aura lieu à Marseille
- 6, 7 et 8 mars 2008,
rencontre commune
Geocal-LAC
au LIPN.
- 24 et 25 janvier 2008, journées
du GDR IM sur le nouveau campus Paris Rive-Gauche de Paris 7
- Mars 2007 : les listes de
mail du GDR sont en place.
- Jeudi 1 et vendredi 2 février 2007, journées du GDR IM, demandez le
programme
- Première rencontre :
Lyon, lundi 30
et mardi 31 octobre 2006
Présentation
Le groupe Géométrie du calcul s'inscrit dans la continuation du
projet Geocal (ACI Nouvelles interfaces des
mathématiques) qui a existé de 2003 à 2006, et dont il prolonge les
principales thématiques. La problématique générale est de trouver au sein de la
logique et des mathématiques des outils permettant la modélisation abstraite
des programmes. Un exemple spectaculaire du succès de cette approche est
l'invention de la logique linéaire issue d'une part de l'isomorphisme de
Curry-Howard établissant la correspondance entre les déductions formelles en
logique intuitionniste et le lambda-calcul typé, et d'autre part de la
modélisation du lambda-calcul par des espaces présentant des analogies fortes
avec les espaces vectoriels.
Dans ce cadre général le groupe poursuivra notamment mais non exclusivement
les objectifs suivants :
- poursuivre les travaux sur la correspondance preuve/programme, avec deux
sous-objectifs majeurs : étudier les sémantiques de réalisabilité qui
posent le problème profond de comprendre le sens opérationnel des énoncés
mathématiques, et étendre les systèmes logiques de typage à des langage plus
expressifs que le simple lambda-calcul, typiquement les calculs
parallèles ;
- poursuivre les travaux en complexité implicite visant à représenter des
classes de complexité algorithmique par des contraintes logiques (logique
linéaire légère, Bellantoni-Cook) ;
- développer le cadre topologique pour la concurrence et la géométrie de la
réécriture dans la lignée des travaux sur l'homotopie dirigée qui fournissent
un cadre très élégant pour raisonner sur les problèmes de synchronisation
entre processus ;
- explorer certaines pistes particulièrement prometteuses et récemment
apparues donnant à penser qu'une unification conceptuelle est possible entre
les paradigmes de calcul séquentiel (lambda-calcul) et parallèle
(pi-calcul) : citons en particulier les rapprochements entre la
sémantique des jeux et les systèmes de transitions vus comme jeux
positionnels, et les analogies entre le lambda-calcul différentiel et le
calcul avec resources.
Participants
- IML (Marseille)
- Emmanuel Beffara
- Yves Lafont
- Myriam Quatrini
- Laurent Regnier
- Lionel Vaux
- doctorants
- Marc Bagnol
- Jean-Baptiste midez
- Pierre Rannou
- Thomas Seiller
- LIF (Marseille)
- Luigi Santocanale
- I3M (Montpellier)
- postdoc
- Julianna Zsido
- UNSA (Sophia-Antipolis)
- André Hirschowitz
- doctorants
- Benedikt Ahrens
- Pierre Abbrugiati
- Mimosa (Sophia-Antipolis)
- Gérard Boudol
- LogNet (Sophia-Antipolis)
- Luigi Liquori
- IRIT (Toulouse)
- Serguei Soloviev
- LIP (Lyon)
- Philippe Audebaud
- Patrick Baillot
- Filippo Bonchi
- Daniel Hirschkoff
- Olivier Laurent
- Pierre Lescanne
- Alexandre Miquel
- Colin Riba
- doctorants
- Valentin Blot
- Marc Lasson
- Jean-Marie Madiot
- Lionel Rieg
- Matthieu Perrinel
- Athanasios Tsouanas
- ICJ (Lyon)
- Philippe Malbos
- LIG (Grenoble)
- Pablo Arrighi
- Rachid Echahed
- Simon Perdrix
- Frédéric Prost
- LAMA (Chambery)
- Noël Bernard
- René David
- Tom Hirschowitz
- Pierre Hyvernat
- Karim Nour
- Christophe Raffalli
- Krzysztof Worytkiewicz
- doctorants
- Florian Hatat
- Muhammad Humayoun
- Calligramme (Nancy)
- Philippe de Groote
- François Lamarche
- Carte (Nancy)
- Jean-Yves Marion
- Protheo (Nancy)
- Yves Guiraud
- Types (Nancy)
- Didier Galmiche
- Dominique Larchey-Wendling
- Daniel Mery
- PPS (Paris)
- Antonio Bucciarelli
- Albert Burroni
- Pierre-Louis Curien
- Thomas Ehrhard
- Philippe Gaucher
- Hugo Herbelin
- Delia Kesner
- Jean-Louis Krivine
- Paul-André Melliès
- François Métayer
- Christine Tasson
- doctorants
- Pierre Boutillier
- Pierre Clairambault
- Mehdi Dogguy
- Jonas Frey
- Alexis Goyet
- Guillaume Munch Maccagnoni
- Pierre-Marie Pédrot
- Stéphane Zimmermann
- postdocs
- Federico Aschieri
- Arnaud Spiwack
- LIPN (Villetaneuse)
- Pierre Boudes
- Christophe Fouqueré
- Stefano Guerrini
- Paulin Jacobé de Naurois
- Giulio Manzonetto
- Damiano Mazza
- Virgile Mogbil
- Jean-Yves Moyen
- Michele Pagani
- Jacqueline Vauzeilles
- doctorants
- Clément Aubert
- Aloïs Brunel
- Lucien Capdevielle
- Andrei Dorman
- Marco Solieri
- postdocs
- Daniel de Carvalho
- Alejandro Díaz-Caro
- Étienne Duchesne
- Margherita Zorzi
- LSV (Cachan)
- Jean Goubault-Larrecq
- Étienne Lozes
- CEA (Saclay)
- Eric Goubault
- Emmanuel Haucourt
- Michel Hirschowitz
- postdocs
- Tobias Heindel
- Samuel Mimram
- LIX (Palaiseau)
- postdoc
- Beniamino Accattoli
- SARDES (Saint-Ismier)
- Damien Pous
- EMN (Nantes)
- Nicolas Tabareau
- LaBRI (Bordeaux)
- Christian Retoré
- doctorants
- Ivano Ciardelli
- Pierre Bourreau
- Queen Mary (Londres)
- postdoc
- Romain Demangeon
- Bologne
- postdocs
- Barbara Petit
- Paolo Tranquili