Appel à Défis 2025

Appel à Défis pour le Génie de la Programmation et du Logiciel à échéance de 2025
Organisé dans le cadre des journées du GDR GPL du CNRS
12 juin 2014 - Paris

L'omniprésence de l'informatique dans notre quotidien à l'échelle de l'embarqué et de l'intelligence ambiante, l'extension de l’Internet à la planète tout entière, mais également à toutes formes d’objet du quotidien,  le développement de grandes infrastructures de calcul ou des centres de traitement de grandes masses de données soulèvent de nombreuses questions pour le Génie de la Programmation et du Logiciel. Parmi ces questions, quelles sont celles qui correspondent à des défis que devront relever les chercheurs dans ce domaine à l’échéance de l’année 2025 ? Cet appel vise à proposer une vision prospective de notre domaine, ainsi qu’à souligner et structurer les points qui nous paraissent particulièrement cruciaux.

Ainsi, de nouveaux paradigmes, de nouveaux langages, de nouvelles approches de modélisation, de vérification, de tests et de nouveaux outils dans le domaine de la programmation et du logiciel devraient voir le jour dans les 10 ans à venir, que ce soit pour faciliter la vie des concepteurs et mainteneurs de systèmes informatiques, pour modéliser et fiabiliser les logiciels ou encore pour devancer l'évolution technologique. Pour arriver à dégager de nouvelles visions pertinentes dans notre domaine, des défis doivent être identifiés. L'objectif de cet appel est d'encourager tous les groupes du GDR Génie de la Programmation et du Logiciel, mais aussi les équipes des laboratoires, des groupes informels ou des individus à faire le point sur les avancées des défis proposés en 2010 et à proposer de nouveaux défis dans leur domaine.

Une réponse à cet appel pourra prendre deux formes :
- un texte rappelant le défi posé en 2010, faisant état des avancées proposées depuis 4 ans, l’évolution des verrous identifiés et un nouvel ensemble de jalons,
- un texte proposant un nouveau défi. Idéalement, un défi proposera une rupture. Il pourra contenir une description du défi, les fondements scientifiques sur lesquels il repose, les verrous scientifiques et techniques à lever, les usages et impacts sociétaux qu'il aborde, ainsi qu'un ensemble de jalons qui correspondra aux étapes pour le réaliser et le valider et qui pourra servir d'agenda. Des domaines applicatifs particuliers pourront accompagner le défi.

La soumission prendra la forme d'un texte de deux à quatre pages.

Les soumissions se font via le site https://www.easychair.org/conferences/?conf=gpl2014. Les défis seront sélectionnés par le comité de programme en vue d'être inclus dans les actes des journées du GDR GPL et présentés au cours d'un panel le 12 juin 2014, lors des journées du GDR qui auront lieu du 10 au 13 juin à Paris.

Suite à ce panel, il est envisagé de publier ces défis sous la forme d'un livre ou d'un numéro spécial de revue. Des discussions sont en cours avec des éditeurs.

Dates importantes
------------------------
10 mars 2014 16 mars 2014 : soumission en ligne (2 à 4 pages)
25 mars 2014 2 avril 2014 : notification aux auteurs
15 avril 2014 : réception de la version à inclure dans les actes du GDR GPL
12 juin 2014 : panel  lors des journées du GDR GPL à Paris
26 septembre 2014 : réunion de synthèse à Paris et rédaction d’un texte commun
fin 2014 : publication

Comité de programme (à confirmer)
-----------------------------

Philippe Collet (I3S, Nice-Sophia-Antipolis) (co-président du comité)
Lydie du Bousquet (LIG, Grenoble) (co-présidente du comité)
Laurence Duchien (LIFL, Lille) (co-présidente du comité)

Yamine Ait Ameur (IRIT, Toulouse)
Franck Barbier (LIUPPA, Pau)
Mireille Blay-Fornarino (I3S, Nice-Sophia Antipolis)
Yohan Boichut ( LIFO, Orléans)
Isabelle Borne (IRISA, Bretagne-Sud)
Pierre Castéran (LABRI, Bordeaux)
Pierre Cointe (LINA, Nantes)
Charles Consel (LABRI, Bordeaux)
Frédéric Dadeau (LIFC, Franche-Comté)
Roberto Di Cosmo (PPS, Paris VII)
Christophe Dony (LIRMM, Montpellier)
Catherine Dubois (CEDRIC/ENSIIE, Evry)
Stéphane Ducasse (INRIA, Lille)
Marie-Claude Gaudel (LRI, Orsay)
Frédéric Gava (LACL, Paris-Est)
Jean-Louis Giavitto (IRCAM, Paris)
Laure Gonnord (LIP, Lyon)
Gaétan Hains (LACL, Paris-Est)
Nicolas Halbwachs (Verimag, Grenoble)
Pierre-Cyrille Heam, (LIFC, Franche-Comté)
Valérie Issarny (INRIA, Paris-Rocquencourt)
Claude Jard (LINA, Nantes)
Thomas Jensen (IRISA, Rennes)
Jean-Marc Jézéquel (IRISA, Rennes)
Yves Ledru (LIG, Grenoble)
Frédéric Loulergue  (LIFO, Université d'Orléans)
Dominique Méry (LORIA, Nancy)
Pierre-Etienne Moreau (LORIA, Nancy)
Christine Paulin (LRI, Orsay)
Pascal Poizat (LIP6, Paris)
Marc Pouzet (ENS, Paris)
Romain Rouvoy (LIFL, Lille)
Olivier H. Roux (IRCCyN, Nantes)
Fabrice Rastello (LIP, ENS Lyon)
Salah Sadou (IRISA, Université Bretagne-Sud)
Christel Seguin (ONERA, Toulouse)
Chouki Tibermacine (LIRMM, Montpellier)
Sara Tucci (CEA-LIST, Saclay)
Virgine Wiels (Onera, Toulouse)