Toutes les annonces

4ème Conférence Internationale ABZ 2014 - ASM, Alloy, B, TLA, VDM, Z - June 2 - 6 2014 Toulouse - France

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.

Démarrage de l'action PING

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.

Journée du GT RIMEL 2013

AnnecyLa prochaine journée de travail du GT RIMEL aura lieu le vendredi 29 novembre 2013 à Annecy.

Contact: herve.verjus@univ-savoie.fr

Essai de contribution au blog PING

Essai de billet de blog PING

Journées Francophones des Langages Applicatifs (JFLA 2014) du 8 au 11 janvier 2014, Fréjus

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/

Section 6 du CoNRS - CR session de printemps 2013

Les informations qui suivent sont disponibles sur la page web de la section 6:
http://cn6.fr/

Le compte rendu de la session de printemps 2013, consacrée en
particulier aux renouvellements d'associations d'UMR et de GDR, ainsi
qu'aux évaluations de chercheurs est disponible :
http://cn6.fr/compte%20rendu%20-%20section%206%20-%20printemps%202013.pdf

La session d'automne 2013 aura lieu du 12 au 14 novembre 2013.

 

 

Création du compte twitter @GdrGPL

Un compte twitter https://twitter.com/GdrGPL a été créé pour relayer les informations majeures du GDR Génie de la Programmation et du Logiciel.

Abonnez-vous et signalez-nous les informations à relayer en nous envoyant un messsage @GdrGPL

Journées nationales GPL 2014 à Paris

(Attention, changement de date!!!)

Les journées nationales du GDR GPL auront lieu à Paris (CNAM) du 10 au 13 juin 2014.

Réservez dès à présent ces dates! Et consultez la page GPL 2014 pour les dernières informations sur ces journées.

Groupe de conférences COMPARCH à Lille - 30 juin au 4 juillet 2014

Le groupe de conférences COMPARCH (Federated Events on Component-Based Software Engineering and Software Architecture) aura lieu du 30 juin au 4 juillet 2014 à Lille. Les événements associés  sont :

Pages

S'abonner à RSS - blogs