26 et 27 novembre 2018 au LRI

Les premières journées du GT Scalp se dérouleront au LRI (Orsay) dans l'amphi Shannon (bâtiment 660), les 26 et 27 novembre 2018.

Orateurs invités

Pour les journées 2018, les orateurs invités du GT-Scalp sont:

  • Claudia Faggian (IRIF)
  • Rodolphe Lepigre (LSV)
  • Guillaume Munch-Maccagnoni (INRIA Bretagne, Gallinette)

Inscriptions et propositions d'exposé

Pour vous inscrire ou proposer un exposé, merci de remplir le formulaire suivant.

Informations pratiques

Quelques informations pour vous organiser:

Horaires

La réunion du GT débutera le lundi à 13H et s'achèvera mardi en fin d'après-midi.

Accès

Les journées se dérouleront au LRI, dans l'amphi Shannon (bâtiment 660)

Accès au campus et transports en commun:

Pour venir, pensez à regarder les horaires d'arrivée à la gare TGV de Massy-palaiseau

Événement social

Le dîner aura lieu lundi soir au Gramophone, à Orsay.

Hébergement

À proximité immédiate du lieu du GT Scalp :

Un peu plus loin (10 minutes en bus ou 25 minutes à pied) :

Du côté de Massy-Palaiseau (25 minutes en bus) :

Note : la présence sur cette page d'un hôtel ne préjuge en rien de sa qualité. Ils ont été choisis uniquement sur un critère d'accessibilité au lieu des journées du GT Scalp… nous ne les avons pas testés!

Programme

Voici un version préliminaire du programme, encore suscptible de subir de quelques ajustements:

Lundi 26 novembre:

13h-13h30: Accueil
Session 1
13h30-14h30: Guillaume Munch : From systems programming to linear logic, and back
14h30-15h: Kenji Maillard : Computational monads
15h-15h30: Hugo Herbelin : Trees with only finite branches vs inductively well-founded tree:
                           investigations into Dependent Choice, Bar Induction, König's Lemma,
                           and the Fan Theorem
15h30-15h50: Pause
Session 2
15h50-16h20: Quentin Garchery : Une tactique pour SMTCoq
16h20-16h50: Olivier Laurent : Formalizing quantifiers
16h50-17h20: Rémi Nollet : Toward local validity for circular proofs in linear logic with fixed points 
17h20-18h: Business meeting
20h-...: Dîner au Gramophone à Orsay (proche RER Orsay)

Mardi 27 novembre:

8h30-9h: Accueil (informel)
Session 3
9h-10h: Claudia Faggian : Probabilistic Lambda Calculus: Beyond Deterministic Evaluation
10h-10h30: Paul-André Melliès : Template games
10h30-10h50: Pause
Session 4
10h50-11h20: Khalil Ghorbal : Symbolic methods for automated checking and generation of invariant sets
11h20-11h50: Pierre Pradic : Linear MSO and Church synthesis
11h50-12h20: Lê Thành Dũng Nguyễn : Implicit complexity in the simply typed lambda-calculus
12h20-13h50: Déjeuner
Session 5
13h50-14h50: Rodolphe Lepigre : Une vue d'ensemble de PML₂ : réalisabilité, sous-typage et preuves cycliques
14h50-15h20: Delia Kesner : Refined quantitative types systems
15h20-15h40: Pause
Session 6
15h40-16h10: Adrien Durier : Open call-by-value and the pi-calculus
16h10-16h40: Federico Olimpieri : Characterizing normalization properties of the lambda-calculus through Taylor expansion
16h40-17h10: Véronique Benzaken et Évelyne Contejean : Une sémantique formelle pour SQL mécanisée en Coq

Participants

Voici la liste des participants inscrits :

Aurore Alcolei (LIP, ENS Lyon)
David Baelde (LSV)
Thibaut Balabonski (LRI, Univ. Paris-Sud)
Davide Barbarossa (LIPN, Univ. Paris 13)
Véronique Benzaken (Univ. Paris-Sud — Paris Saclay)
Valentin Blot (LSV, Inria)
Sylvie Boldo (Inria)
Flavien Breuvart (LIPN, Univ. Paris 13)
Guillaume Burel (ENSIIE - Inria)
Jules Chouquet (IRIF)
Évelyne Contejean (CNRS)
Abhishek De (Univ. Paris-Diderot)
Adrien Durier (ENS Lyon)
Claudia Faggian (IRIF)
Jean-Christophe Filliâtre (CNRS)
Quentin Garchery (LRI, Univ. Paris-Sud)
Guillaume Genestier (ENS Paris-Saclay, Inria, Mines ParisTech)
Khalil Ghorbal (Inria)
Alexis Ghyselen (ENS Lyon)
Stéphane Graham-Lengrand (CNRS, LIX)
Stefano Guerrini (LIPN, Univ. Paris 13)
Hugo Herbelin (Inria, IRIF)
Olivier Hermant (CRI, Mines ParisTech - PSL)
Chantal Keller (LRI, Univ. Paris-Sud)
Delia Kesner (IRIF, Univ. Paris-Diderot)
Olivier Laurent (CNRS, ENS Lyon)
Maico Leberle (Parsifal - LIX/Inria)
Dongho Lee (LRI, Univ. Paris-Sud)
Rodolphe Lepigre (Inria)
Kenji Maillard (ENS, Inria Paris)
Matteo Manighetti (Parsifal - LIX/Inria)
Guido Martínez (Inria Paris)
Micaela Mayero (LIPN, Univ. Paris 13)
Damiano Mazza (CNRS, LIPN, Univ. Paris 13)
Paul-André Melliès (IRIF)
Samuel Mimram (École Polytechnique)
Guillaume Munch-Maccagnoni (Inria)
Nicolas Nalpon (LRI, Univ. Paris-Sud)
Lê Thành Dũng Nguyễn (LIPN, Univ. Paris 13)
Rémi Nollet (IRIF)
Carlos Olarte (Universidade Federal do Rio Grande do Norte)
Federico Olimpieri (Aix-Marseille Université)
Michele Pagani (IRIF)
Robin Pelle (LRI, Univ. Paris-Sud)
Luc Pellissier (Universidad de la República, Montevideo)
Elaine Pimentel (UFRN Brésil)
Pierre Pradic (ENS Lyon, MIMUW)
Colin Riba (LIP, ENS de Lyon)
Alexis Saurin (IRIF)
Gabriel Scherer (Inria)
Christine Tasson (IRIF)
François Thiré (LSV, Deducteam)
Benoît Valiron (LRI)
Andres Viso (Universidad Buenos Aires)