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.
Pour les journées 2018, les orateurs invités du GT-Scalp sont:
Pour vous inscrire ou proposer un exposé, merci de remplir le formulaire suivant.
Quelques informations pour vous organiser:
La réunion du GT débutera le lundi à 13H et s'achèvera mardi en fin d'après-midi.
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
Le dîner aura lieu lundi soir au Gramophone, à Orsay.
À 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!
13h-13h30: Accueil
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
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)
8h30-9h: Accueil (informel)
9h-10h: Claudia Faggian : Probabilistic Lambda Calculus: Beyond Deterministic Evaluation 10h-10h30: Paul-André Melliès : Template games
10h30-10h50: Pause
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
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
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
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)