Logo GDR IM Groupe de travail Geocal

Responsable : Olivier Laurent.

Annonces du groupe

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 ressources.

Participants

I2M (Marseille)
Dimitri Ara
Emmanuel Beffara
Yves Lafont
Myriam Quatrini
Laurent Regnier
Lionel Vaux
postdocs
Michele Basaldella
Fabio Pasquali
doctorants
Matteo Acclavio
Michele Alberti
Marc Bagnol
Francesca Ferrante
Thomas Leventis
Jean-Baptiste Midez
Eugenia Sironi
LIF (Marseille)
Pablo Arrighi
Luigi Santocanale
UNSA (Sophia-Antipolis)
émérite
André Hirschowitz
doctorant
Anthony Bordg
Indes (Sophia-Antipolis)
émérite
Gérard Boudol
LogNet (Sophia-Antipolis)
Luigi Liquori
IRIT (Toulouse)
Serguei Soloviev
postdoc
Benedikt Ahrens
LIP (Lyon)
Philippe Audebaud
Patrick Baillot
Filippo Bonchi
Pierre Clairambault
Russell Harmer
Daniel Hirschkoff
Olivier Laurent
Matteo Mio
Damien Pous
Colin Riba
émérite
Pierre Lescanne
doctorants
Erika De Benedetti
Paul Brunet
Simon Castellan
Jean-Marie Madiot
Matthieu Perrinel
Athanasios Tsouanas
Fabio Zanasi
postdocs
Anupam Das
Daniela Petrisan
ICJ (Lyon)
Philippe Malbos
doctorant
Nohra Hage
LIG (Grenoble)
Rachid Echahed
Frédéric Prost
doctorant
Jon Haël Brenas
LAMA (Chambery)
Tom Hirschowitz
Pierre Hyvernat
Karim Nour
Christophe Raffalli
Krzysztof Worytkiewicz
doctorants
Clovis Eberhart
Rodolphe Lepigre
Calligramme (Nancy)
Philippe de Groote
François Lamarche
Carte (Nancy)
Jean-Yves Marion
Simon Perdrix
doctorant
Hubert Godfroy
Types (Nancy)
Didier Galmiche
Dominique Larchey-Wendling
Daniel Mery
PPS (Paris)
Antonio Bucciarelli
Pierre-Louis Curien
Thomas Ehrhard
Claudia Faggian
Philippe Gaucher
Yves Guiraud
Hugo Herbelin
Delia Kesner
Paul-André Melliès
François Métayer
Michele Pagani
Alexis Saurin
Christine Tasson
émérites
Albert Burroni
Jean-Louis Krivine
doctorants
Shahin Amini
Hadrien Batmalle
Flavien Breuvart
Cyrille Chenavier
Amina Doumane
Giordano Favro
Lourdes Del Carmen Gonzalez Huesca
Charles Grellois
Yann Hamdaoui
Clément Jacq
Marie Kerjean
Maxime Lucas
Étienne Miquey
Jovana Obradovic
Ludovic Patey
Pierre-Marie Pédrot
Pierre Vial
postdocs
Pierre Boutillier
Giulio Guerrieri
Marc Lasson
Arnaud Spiwack
Benoît Valiron
LIPN (Villetaneuse)
Pierre Boudes
Christophe Fouqueré
Stefano Guerrini
Paulin Jacobé de Naurois
Giulio Manzonetto
Damiano Mazza
Virgile Mogbil
Jean-Yves Moyen
Jacqueline Vauzeilles
doctorants
Alice Pavaux
Luc Pellissier
Thomas Rubiano
Domenico Ruoppolo
Marco Solieri
postdoc
Andrew Polonsky
LSV (Cachan)
David Baelde
Jean Goubault-Larrecq
Étienne Lozes
LIX (Palaiseau)
Olivier Bournez
Éric Goubault
Emmanuel Haucourt
Samuel Mimram
doctorant
Florence Clerc
EMN (Nantes)
Nicolas Tabareau
doctorant
Kevin Quirin
LaBRI (Bordeaux)
Pierre Castéran
Richard Moot
Sylvain Salvati
doctorant
Noémie-Fleur Sandillon-Rezer
LMPA (Calais)
Isar Stubbe
LIRMM (Montpeller)
Christian Retoré
Queen Mary (Londres)
postdoc
Guilhem Jaber
Lyon III
Jean-Baptiste Joinet
LIP6
Romain Demangeon
Paris VIII
Alain Lecomte
ENIB
Anne-Gwenn Bosser
Bologne
Ugo Dal Lago
postdoc
Beniamino Accattoli
Montevideo
Alexandre Miquel
Caire
émérite
Michel Hébert
LACL
postdoc
Clément Aubert
IHES
postdoc
Thomas Seiller
Collège de France
postdoc
Lionel Rieg
Paris X
postdoc
Alejandro Díaz-Caro
Bath
postdocs
Valentin Blot
Étienne Duchesne
Cambridge
postdoc
Jonas Frey
Innsbruck
postdoc
Stéphane Gimenez
DIKU
postdoc
Daniel de Carvalho
Cagliari
postdoc
Paolo Di Giamberardino
Vienne
postdoc
Federico Aschieri
LFCS
postdoc
Tobias Heindel