Journées annuelles 2013

Les 17 et 18 juin 2013
ENS Cachan

Télécharger l’affiche : A4, A3.Les premières journées annuelles du GT Vérification ont lieu les 17 et 18 juin 2013, au LSV, à Cachan.

Les journées du GT-Vérif visent à rassembler la communauté française en vérification formelle, et en particulier les chercheurs juniors, doctorants et post-doctorants, avec pour objectif de favoriser les collaborations, l’ouverture sur des thématiques liées à la vérification, et pourquoi pas préparer de futures visites de doctorant(e)s.

Elles ont pour ambition de couvrir tous les domaines de la vérification formelle, incluant (entre autres !) :

• la vérification informatique de systèmes, modélisant des systèmes de freinage aux protocoles de communications en passant par les programmes,
• l’emploi de techniques de preuve automatiques ou interactives (model-checking, déduction automatique, assistants de preuve, solveurs SMT, etc. ainsi que leurs combinaisons),
• l’utilisation de logiques pour raisonner sur les propriétés des systèmes (par exemple les logiques temporelles, spatiales, probabilistes ou avec données),
• les techniques d’abstraction pour la vérification.

EXPOSÉS INVITÉS

• Gilles Barthe (IMDEA Software, Madrid)
• Nathalie Bertrand (INRIA Rennes Bretagne-Atlantique)

APPEL À EXPOSÉS

Toute personne souhaitant donner un exposé lors de ces journées est invitée à envoyer un titre et un résumé (d’une page maximum, au format PDF ou en texte simple) de sa présentation avant le 3 mai 2013. Il n’y aura pas de relecture formelle des propositions, l’objectif de ces journées informelles étant bien sûr d’avoir un maximum d’exposés. Les propositions doivent simplement porter sur la vérification et être déposées sur le site de soumission dédié pour faciliter l’organisation.

Dates importantes

• Date limite de proposition d’un exposé : 3 mai 2013
• Notification : 17 mai 2013
• Demande de subvention pour les doctorants : 23 mai 2013
• Inscription : 31 mai 2013
• Journées : 17 et 18 juin 2013

PROGRAMME

• Programme
• Informations locales
• Photographies du dîner

Organisation

• Patricia Bouyer (LSV, Cachan)
• Véronique Cortier (Loria, Nancy)
• Nicolas Markey (LSV, Cachan)
• Sylvain Schmitz (LSV, Cachan)

Sponsors

Les journées du Groupe de Travail sur la Vérification bénéficient du soutien financier ou matériel de l’ENS de Cachan et du LSV, du GdR-IM, et du pôle de compétitivité Systematic via une contribution du projet ANR ReacHard.