Soumis par Dominique.Mery le 16 Octobre, 2013 - 12:10
Date limite de candidature : 31 décembre 2013
Le prix Génie de la Programmation et du Logiciel a été créé en 2013 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).
Le GDR GPL souhaite, par ce prix, promouvoir tous les travaux du GDR GPL, y compris des travaux fondamentaux aux travaux appliqués ayant donné lieu à transfert industriel, à des logiciels, à des brevets, réalisés au sein d'une équipe ou de plusieurs équipes du GDR.
Le département informatique de l'ENS Lyon organise trois "écoles de recherche", qui sont des cours intensifs de master (24 heures sur 5 jours) autour d'un thème d'actualité, cette année
- Algorithmic Game Theory (dec 2013)
- Synchronous approaches for Embedded Systems (jan 2014)
- Logic of dynamical Systems (jan 2014)
Plus d'infos ici http://www.ens-lyon.fr/DI/?cat=53&lang=en
APPEL à CONTRIBUTION et à PARTICIPATION
Journée annuelle du groupe LTP du GDR GPL LaBRI, Université Bordeaux 1, le 18 novembre 2013
Cette réunion permettra aux différents participants du groupe de travail de partager des idées et de présenter des travaux aboutis ou en cours.
Le programme est disponible sous http://www.labri.fr/perso/casteran/LTP2013
Il n'y aura pas de frais d'inscription, mais les frais de voyage et d'hébergement éventuel seront à la charge des participants.
La journée Lignes de Produits est organisée le 29 novembre 2013 par l'Université de Paris 1 Panthéon – Sorbonne avec le soutien du GDR-GPL CNRS. Pour tous renseignements:
http://www.jldp.org/2013/
Soumis par Laurence.Duchien le 7 Septembre, 2013 - 15:41
4ème Conférence Internationale- ABZ 2014 - ASM, Alloy, B, TLA, VDM, Z - June 2 - 6 2014 - Toulouse - France http://www.irit.fr/ABZ2014/
Après Londres, Orford et Pise, la 4ème édition de la conférence ABZ se tiendra à Toulouse du 2 au 6 juin 2014
Cette conférence a pour objectif de réunir les communautés travaillant autour de la définition et de l'utilisation de méthodes, techniques et outils intégrant des approches de modélisation formelles et de développements formels fondées sur la preuve et le raffinement.
L'action émergente PING vise à regrouper les initiatives d'enseignements en génie logiciel. Pour participer à la discussion, n'hésitez pas a rejoindre la liste de diffusion associée.
Essai de billet de blog PING
Les 25es journées francophones des langages applicatifs se tiendront à Fréjus du 8 au 11 janvier 2014.
Pour tous renseignements:
http://jfla.inria.fr/2014/
Soumis par Laurence.Duchien le 19 Juillet, 2013 - 14:09
Pages