Toutes les annonces

Journée “méthodes formelles et processus métier”

Une journée sur le thème “méthodes formelles et processus métier” (workflow, services Web, contrats QoS, …) se tiendra le 16 octobre 2014 à Paris.
Organisée avec le soutien du GDR GPL.

Lieu : LIP6, Paris 6 (Jussieu) - salle 203-205 bâtiment 41 .

Programme de 6 exposés d’environ 1h (incluant les questions) :

Journée Annuelle du Groupe de Travail LTP (Langages, Types et Preuves)

La journée annuelle du Groupe de Travail LTP (Langages, Types et Preuves) aura lieu le 20 octobre 2014 dans les locaux du LRI à Saclay.

Elle est organisée par Marc Pouzet et Sylvain Conchon.

Plus d'informations sur http://www.ensiie.fr/~dubois/LTP.html

 

Journées Francophones des Langages Applicatifs (JFLA 2015) du 7 au 10 janvier 2015, Val d'Ajol

Les vingt-sixièmes Journées Francophones des Langages Applicatifs se tiendront à l'hôtel la Résidence au Val d'Ajol, dans les Vosges.

Pour tout renseignement complémentaire : consulter le site http://jfla.inria.fr/2015/

 

Compte-rendu de la conférence ABZ - Toulouse - 2014

La 4ème édition de la conférence internationale ABZ s’est tenue à Toulouse du 2 au 6 Juin 2014 dans les locaux de l’ENSEEIHT puis dans le grand amphithéâtre de l’IAS. Cette conférence présente les derniers développement dans le domaine de la preuve et du raffinement de systèmes et de logiciels. Elle fait suite au succès des conférences de Londres (2008), Orford (2010) et Pise (2012).

Cette édition Toulousaine a été marquée par deux évènements majeurs.

Compte-rendu de l'Ecole Jeunes Chercheurs en Programmation 2014

L'édition 2014 de l'École Jeunes Chercheurs en Programmation (EJCP) a eu
lieu du 16 au 20 juin. Trente étudiants ont participé à cette nouvelle
mouture de l'école proposant sur une semaine deux parcours, l'un portant
sur l'ingénierie logicielle et l'autre sur la programmation et la
vérification de programmes. Chaque cours durait une journée et
comportait pour moitié des cours magistraux et pour moitié des travaux
pratiques. Des problèmes de transport ont malheureusement provoqué
l'annulation d'un cours dans chaque parcours.

2nd appel à défis 2025 pour le Génie de la Programmation et du Logiciel - 25 sept 2014

Suite à la table ronde sur les défis 2025 organisée lors des journées du GDR GPL 2014 à Paris (http://gdr-gpl.cnrs.fr/node/137), nous proposons de nous réunir à nouveau autour de ce thème le 25 septembre 2014 à l’Université Pierre et Marie Curie (salle 25-26/105 au LIP6).

Bourses de Mobilité 2014

Le GdR Génie de la Programmation et du Logiciel propose trois bourses de mobilité en vue de coopération entre équipes pour le second semestre 2014.

Ces bourses d’un montant forfaitaire de 500€ sont destinées à couvrir des frais de déplacement et de logement d’un doctorant, d’un chercheur ou enseignant-chercheur pour un séjour de courte durée (typiquement, une semaine) dans une autre équipe, géographiquement distante (située dans un autre département). Ce séjour doit avoir lieu avant décembre 2014.

Rapport de conjoncture 2014

A la demande du CNRS, le GDR GPL a préparé un rapport de conjoncture. Ce rapport concis (trois pages) est une étape dans notre processus de réflexion sur l'identification des défis à l'horizon 2025:

Retour sur les Journées Nationales GPL 2014

Les 6es Journées Nationales du GDR GPL 2014 se sont tenues à Paris, dans les locaux du CNAM du 11 au 13 juin 2014. Elles ont réuni près de 180 personnes et étaient colocalisées avec AFADL, CAL et CIEL.

Cloture des journées nationales 2014

Les journées nationales 2014 ont pris fin ce vendredi. Avec les événements colocalisés, elles ont réuni près de 180 personnes, et ce malgré les mouvements sociaux de la SNCF.

Laurence Duchien, Catherine Dubois et Nicole Lévy, organisatrices de ces journées ont cloturé ces journées, et ont donné rendez-vous l'année prochaine à Bordeaux.

Un grand merci à tous les organisateurs et tous les participants qui ont fait le succès de ces 6e journées nationales du GDR GPL!

Pages

S'abonner à RSS - blogs