Actes & programme

Téléchargement des actes :

AFADL_Procs_2018.pdf

Programme :

Mardi 12 juin
11h-12h30 Conférence invitée
Marc Frappier (Université de Sherbrooke)

 

Mercredi 13 juin
9h-10h30 Conférence invitée
Houari Sahraoui (Université de Montréal)
10h30-11h Pause
11h-12h30 Antoine Rollet et Arnaud Lanoix, Ouverture des journées AFADL
Session 1 : LTP / AFADL

  • Thomas Williams, Didier Rémy,
    Une approche structurée de l’ornementation pour ML
  • Pierre-Marie Pédrot, Nicolas Tabareau,
    Une dépendance qui fait de l’effet
  • Yann Regis-Gianas, Paul Laforgue,
    Etendre OCaml avec du filtrage par comotifs, avec une simple macro
12h30-14h Pause déjeuner
14h-15h30 Session 2 : MFDL / AFADL

  • Benjamin Farinier, Sébastien Bardin, Richard Bonichon, Marie-Laure Potet,
    Génération de modèles pour les formules quantifiées : une approche basée sur la teinte
  • Yoann Blein, Yves Ledru, Lydie Du Bousquet, Roland Groz,
    Extension des patrons de spécification pour la vérification de traces paramétriques
  • Akram Idani,
    Mise en oeuvre d’une approche formelle en ingénierie des modèles
  • Sarah Benyagoub, Yamine Ait Ameur, Meriem Ouederni,
    Construction incrémentale de chorégraphies réalisables
15h30-16h Pause
16h-17h30 Prix de thèse GDR GPL
17h30-18h30 AG du GDR

 

Jeudi 14 juin
9h-10h30 Conférence invitée
David Monniaux (Vérimag)
10h30-11h Pause
11h-12h30 Session 3 : MTV2 / AFADL

  • César Augusto Ochoa Escudero, Rémi Delmas, Thomas Bochot, Matthieu David, Virginie Wiels,
    Génération automatique des procédures de test
  • Fadi Obeid, Philippe Dhaussy,
    Validation formelle d’architecture logicielle basée sur des patrons de sécurité
  • Antoine El-Hokayem, Yliès Falcone,
    THEMIS: A Tool for the Design, Development, Analysis of Decentralized Monitoring Algorithms
  • Raphaël Jakse, Yliès Falcone, Jean-François Mehaut,
    An Overview of Interactive Runtime Verification
12h30-14h Pause déjeuner
14h-15h30 Session 4 : AFADL

  • Thomas Genet, Timothée Haudebourg, Thomas Jensen,
    Vérifier des fonctions d’ordre supérieur à l’aide d’automates d’arbre
  • Alain Giorgetti, Rémi Lazarini,
    Preuve de programmes d’énumération avec Why3
  • Pascal Beger, Sébastien Leriche, Daniel Prun,
    Vers la certification de programmes interactifs Djnn
  • Valentin Touzeau, Claire Maiza, David Monniaux,
    Une analyse précise de caches LRU
15h30-16h Réunion du CP AFADL
+
Pause
16h-18h Session 5 : AFADL

  • David Sferruzza, Rocheteau Jérôme, Christian Attiogbe, Arnaud Lanoix,
    Une méthode dirigée par les modèles pour la construction rapide de services web
  • Elliott Blot, Patrice Laurençot, Sébastien Salva,
    COnfECt: Une Méthode Pour Inférer Les Modèles De Composants D’un Système
  • Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall,
    Algorithme rapide de calcul des dépendances de contrôle sur des graphes arbitraires
  • Allan Blanchard, Nikolai Kosmatov, Frederic Loulergue,
    Des listes et leurs fantômes : vérification d’un module critique de Contiki avec Frama-C
  • Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall,
    RPP : Preuve automatique de propriétés relationnelles par Self-Composition

Dates importantes

Soumission (de 2 à 6 pages) : 02 mars 2018  étendue au 16 mars 2018

Notification aux auteurs : 06 avril 2018  étendue au 13 avril 2018

Soumission version finale : 27 avril 2018  étendue au 4 mai 2018

Déroulement des journées : du 13 au 15 juin (simultanément aux journées nationales du GDR GPL)

Actes & programme

Téléchargement des actes :

AFADL_Procs_2018.pdf

Programme :

Mardi 12 juin
11h-12h30 Conférence invitée
Marc Frappier (Université de Sherbrooke)

 

Mercredi 13 juin
9h-10h30 Conférence invitée
Houari Sahraoui (Université de Montréal)
10h30-11h Pause
11h-12h30 Antoine Rollet et Arnaud Lanoix, Ouverture des journées AFADL
Session 1 : LTP / AFADL

  • Thomas Williams, Didier Rémy,
    Une approche structurée de l’ornementation pour ML
  • Pierre-Marie Pédrot, Nicolas Tabareau,
    Une dépendance qui fait de l’effet
  • Yann Regis-Gianas, Paul Laforgue,
    Etendre OCaml avec du filtrage par comotifs, avec une simple macro
12h30-14h Pause déjeuner
14h-15h30 Session 2 : MFDL / AFADL

  • Benjamin Farinier, Sébastien Bardin, Richard Bonichon, Marie-Laure Potet,
    Génération de modèles pour les formules quantifiées : une approche basée sur la teinte
  • Yoann Blein, Yves Ledru, Lydie Du Bousquet, Roland Groz,
    Extension des patrons de spécification pour la vérification de traces paramétriques
  • Akram Idani,
    Mise en oeuvre d’une approche formelle en ingénierie des modèles
  • Sarah Benyagoub, Yamine Ait Ameur, Meriem Ouederni,
    Construction incrémentale de chorégraphies réalisables
15h30-16h Pause
16h-17h30 Prix de thèse GDR GPL
17h30-18h30 AG du GDR

 

Jeudi 14 juin
9h-10h30 Conférence invitée
David Monniaux (Vérimag)
10h30-11h Pause
11h-12h30 Session 3 : MTV2 / AFADL

  • César Augusto Ochoa Escudero, Rémi Delmas, Thomas Bochot, Matthieu David, Virginie Wiels,
    Génération automatique des procédures de test
  • Fadi Obeid, Philippe Dhaussy,
    Validation formelle d’architecture logicielle basée sur des patrons de sécurité
  • Antoine El-Hokayem, Yliès Falcone,
    THEMIS: A Tool for the Design, Development, Analysis of Decentralized Monitoring Algorithms
  • Raphaël Jakse, Yliès Falcone, Jean-François Mehaut,
    An Overview of Interactive Runtime Verification
12h30-14h Pause déjeuner
14h-15h30 Session 4 : AFADL

  • Thomas Genet, Timothée Haudebourg, Thomas Jensen,
    Vérifier des fonctions d’ordre supérieur à l’aide d’automates d’arbre
  • Alain Giorgetti, Rémi Lazarini,
    Preuve de programmes d’énumération avec Why3
  • Pascal Beger, Sébastien Leriche, Daniel Prun,
    Vers la certification de programmes interactifs Djnn
  • Valentin Touzeau, Claire Maiza, David Monniaux,
    Une analyse précise de caches LRU
15h30-16h Réunion du CP AFADL
+
Pause
16h-18h Session 5 : AFADL

  • David Sferruzza, Rocheteau Jérôme, Christian Attiogbe, Arnaud Lanoix,
    Une méthode dirigée par les modèles pour la construction rapide de services web
  • Elliott Blot, Patrice Laurençot, Sébastien Salva,
    COnfECt: Une Méthode Pour Inférer Les Modèles De Composants D’un Système
  • Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall,
    Algorithme rapide de calcul des dépendances de contrôle sur des graphes arbitraires
  • Allan Blanchard, Nikolai Kosmatov, Frederic Loulergue,
    Des listes et leurs fantômes : vérification d’un module critique de Contiki avec Frama-C
  • Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall,
    RPP : Preuve automatique de propriétés relationnelles par Self-Composition

Comité de programme

Présidents du comité de programme
  • Antoine Rollet (LaBRI, Bordeaux INP)
  • Arnaud Lanoix (LS2N, Nantes)
Organisateurs locaux
  • Yves Ledru (LIG, Grenoble)
  • Sophie Dupuy-Chessa (LIG, Grenoble)
Comité de programme
  • Yamine Ait Ameur (IRIT – INPT-ENSEEIHT)
  • Sandrine Blazy (University of Rennes 1 – IRISA)
  • Pierre Casteran (Université de Bordeaux)
  • Frederic Dadeau (FEMTO-ST)
  • David Deharbe (ClearSy System Engineering)
  • Lydie Du Bousquet (LIG – Grenoble)
  • Catherine Dubois (ENSIIE-Samovar)
  • Christele Faure (SafeRiver)
  • Alain Giorgetti (LIFC, University of Franche-Comte)
  • Aurélie Hurault (IRIT – ENSEEIHT)
  • Akram Idani (LIG – Grenoble)
  • Florent Kirchner (CEA LIST)
  • Nikolai Kosmatov (CEA List)
  • Regine Laleau (Paris Est Creteil University)
  • Pascale Le Gall (CentraleSupelec)
  • Yves Ledru (LIG – Université Grenoble Alpes)
  • Nicole Levy (Cedric, CNAM)
  • Delphine Longuet (Univ. Paris-Sud, LRI)
  • Ioannis Parissis (Univ. Grenoble Alpes – Grenoble INP)
  • Pascal Poizat (Université Paris Nanterre and LIP6)
  • Marie-Laure Potet (Laboratoire Vérimag)
  • Marc Pouzet (LIENS)
  • Vlad Rusu (INRIA)
  • Nicolas Stouls (INSA Lyon, CITI)
  • Safouan Taha (CentraleSupelec)
  • Sylvie Vignes (ENST)
  • Laurent Voisin (Systerel)
  • Virginie Wiels (ONERA / DTIM)
  • Fatiha Zaidi (Univ. Paris-Sud)

 

Contact

Co-chairs
  • Antoine Rollet (antoine.rollet AT labri DOT fr)
  • Arnaud Lanoix (Arnaud.Lanoix AT univ-nantes DOT fr)
Localisation
eyJtYXBfb3B0aW9ucyI6eyJjZW50ZXJfbGF0IjoiNDUuMTk4NzM0IiwiY2VudGVyX2xuZyI6IjUuNzI4Mjg4Iiwiem9vbSI6MTQsIm1hcF90eXBlX2lkIjoiUk9BRE1BUCIsImZpdF9ib3VuZHMiOmZhbHNlLCJkcmFnZ2FibGUiOnRydWUsInNjcm9sbF93aGVlbCI6dHJ1ZSwiZGlzcGxheV80NV9pbWFnZXJ5IjoiIiwibWFya2VyX2RlZmF1bHRfaWNvbiI6Imh0dHBzOlwvXC9hZmFkbDIwMTgubHMybi5mclwvd3AtY29udGVudFwvcGx1Z2luc1wvd3AtZ29vZ2xlLW1hcC1wbHVnaW5cL2Fzc2V0c1wvaW1hZ2VzXC9cL2RlZmF1bHRfbWFya2VyLnBuZyIsImluZm93aW5kb3dfc2V0dGluZyI6IiIsImluZm93aW5kb3dfYm91bmNlX2FuaW1hdGlvbiI6IiIsImluZm93aW5kb3dfZHJvcF9hbmltYXRpb24iOmZhbHNlLCJjbG9zZV9pbmZvd2luZG93X29uX21hcF9jbGljayI6ZmFsc2UsImluZm93aW5kb3dfc2tpbiI6IiIsImRlZmF1bHRfaW5mb3dpbmRvd19vcGVuIjpmYWxzZSwiaW5mb3dpbmRvd19vcGVuX2V2ZW50IjoiY2xpY2siLCJmdWxsX3NjcmVlbl9jb250cm9sIjp0cnVlLCJzZWFyY2hfY29udHJvbCI6dHJ1ZSwiem9vbV9jb250cm9sIjp0cnVlLCJtYXBfdHlwZV9jb250cm9sIjp0cnVlLCJzdHJlZXRfdmlld19jb250cm9sIjp0cnVlLCJmdWxsX3NjcmVlbl9jb250cm9sX3Bvc2l0aW9uIjoiVE9QX1JJR0hUIiwic2VhcmNoX2NvbnRyb2xfcG9zaXRpb24iOiJUT1BfTEVGVCIsInpvb21fY29udHJvbF9wb3NpdGlvbiI6IlRPUF9MRUZUIiwibWFwX3R5cGVfY29udHJvbF9wb3NpdGlvbiI6IlRPUF9SSUdIVCIsIm1hcF90eXBlX2NvbnRyb2xfc3R5bGUiOiJIT1JJWk9OVEFMX0JBUiIsInN0cmVldF92aWV3X2NvbnRyb2xfcG9zaXRpb24iOiJUT1BfTEVGVCIsIm1hcF9jb250cm9sIjp0cnVlLCJtYXBfY29udHJvbF9zZXR0aW5ncyI6ZmFsc2UsIm1hcF96b29tX2FmdGVyX3NlYXJjaCI6Niwid2lkdGgiOiIiLCJoZWlnaHQiOiIzMDAifSwicGxhY2VzIjpbXSwic3R5bGVzIjoiIiwibGlzdGluZyI6IiIsIm1hcmtlcl9jbHVzdGVyIjoiIiwibWFwX3Byb3BlcnR5Ijp7Im1hcF9pZCI6IjIiLCJkZWJ1Z19tb2RlIjpmYWxzZX19
Organisation locale et inscription

http://gpl2018.imag.fr