Toutes les annonces

Prix de thèse GPL 2018

Les lauréats du prix de thèse GPL 2018 ont reçu leur prix à l'occasion des journées nationales GPL 2019.

Ouverture d'AFADL'19

Les conférences AFADL et CIEL sont colocalisées avec les Journées Nationales du GDR GPL.
Ainsi AFADL a été ouvert ce mercredi matin par David Chemouil et Thomas Lambolais.

Conférence invitée : Alan Schmitt

La conférence invitée de ce mercredi était donnée par Alan Schmitt (INRIA Rennes) et était intitulée "Sémantiques Formelles de JavaScript". Ses transparents sont disponibles ici.

Visite de Airbus et Session posters

L'après-midi de cette première journée a notamment été consacrée à une visite du site d'assemblage des Airbus 380 et à une session posters autour d'un cocktail.

Conférence invitée : Romain Rouvoy

La première conférence invitée de ces journées 2018 était donnée par Romain Rouvoy (Université de Lille) et s'intitulait "Quels défis pour le développement durable des logiciels?". Ses transparents sont disponibles ici.

Ouverture des Journées Nationales 2019

Les Journées Nationales 2019 du GDR GPL ont été ouvertes ce mardi 11 juin par Pierre-Etienne Moreau, accompagné des organisateurs toulousains : Aurélie Hurault et Yamine Ait Ameur. 120 personnes sont attendues cette semaine.

EJCP 2019 - il reste des places

Il reste encore des places à l'EJCP et quelques jours pour s'inscrire :

  http://ejcp2019.icube.unistra.fr/

N'hésitez pas à faire circuler l'information.

 

Les lauréats du Prix de thèse GDR GPL 2018

Le jury du Prix GDR GPL, présidé par Pascale Le Gall, a décidé d’attribuer le Prix de thèse GDR GPL 2018 à Martin Clochard pour sa thèse intitulée "Méthodes et outils pour la spécification et la preuve de propriétés difficiles de programmes séquentiels"  réalisée à l'Université Paris-Saclay, sous la direction scientifique de Claude Marché et Andrei Paskevich.

Appel à contribution - posters et démos journées du GDR GPL 2019

Les prochaines journées nationales du GDR GPL se dérouleront du 11 au 14 juin 2019 à Toulouse. Elles seront co-localisées avec AFADL, CAL et CIEL :

http://gdr-gpl-2019.enseeiht.fr

Pour encourager chacun à participer activement à ces journées, nous lançons un premier appel à posters et à démos.

SHARC 2019 : Appel à contributions (20/06/2019)

SHARC2019, 14th National Conference on Software and Hardware Architectures for Robots Control
July 9th - 10th 2019
LIRMM, Montpellier, France
https://sharc2019.sciencesconf.org


DESCRIPTION

Pages

S'abonner à RSS - blogs