Toutes les annonces

Prix de thèse GPL 2014

décerné par le GDR GPL
Date limite de candidature : 1er février  2015

Le prix Génie de la Programmation et du Logiciel a été créé en 2013 et en 2014 pour récompenser chaque année une excellente thèse préparée au sein  du  Groupement de Recherche   Génie  de la  Programmation et du Logiciel (GDR GPL).

Atelier AFADL 2015

La 14e édition des journées Approches Formelles dans l'Assistance au Développement Logiciel (AFADL) aura lieu à Bordeaux les 9 et 10 juin 2015, en prélude aux journées du GDR GPL.
 

L'atelier AFADL rassemble de nombreux acteurs académiques et industriels intéressés par la mise en œuvre des techniques formelles aux divers stades du développement des logiciels et/ou des systèmes. Il a pour objectif de mettre en valeur les travaux récents effectués autour de thèmes comme :

Journée du groupe MTV2 le 3 décembre 2014 à Supélec

Le groupe de travail Méthodes de Test pour la Vérification et la Validation (MTV2) organisera une journée de rencontre le 3 décembre 2014 à Supélec (sur le plateau de Saclay).

La journée sera composée d'exposés scientifiques (travaux en cours, articles acceptés, projets de recherche, etc.).

Pour vous inscrire, remplir le Doodle ci dessous, avant le lundi 24 novembre
http://doodle.com/hpbb3u6gq92n5bwp

Journée du GT RIMEL 2014

La journée de travail du GT RIMEL a lieu le vendredi 12 décembre 2014 à Nîmes.

Programme de la journée :

8h30-9h00 : Accueil

9h00-10h30 : Evolution

  • Une approche formelle pour gérer l'évolution des architectures logicielles à trois niveaux.
    Abderrahman Mokni, EMA(LGI2P)/ISOE, Nîmes.

  • Processing the Evolution of Quality Requirements of Web service Orchestrations: a Pattern-based Approach.
    Tarek Zernadji, LIRMM/MAREL, Montpellier.

9èmes journées de la Compilation - du 12 au 14 janvier 2015 - Paris

Les 9èmes journées de la Compilation auront lieu du lundi 12 au mercredi 14 janvier au Centre International de Séjour - Maurice Ravel à Paris.

Comme les dernières réunions, ces journées sont l'occasion pour les membres du groupe Compilation de partager leurs derniers résultats et leurs nouvelles idées. C'est aussi une opportunité de monter des collaborations et même de préparer des projets communs.

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.

Pages

S'abonner à RSS - blogs