SoutienGPL

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 du workshop VaMoS'2014

Compte-rendu préparé par Philippe Collet

Les 22, 23 et 24 janvier 2014 a eu lieu au théâtre de Valrose le 8ème workshop international VaMoS'2014 (Variability Modelling of Software-intensive Systems, http://vamos2014.unice.fr/).

Atelier : Les challenges de la qualification d'outils pour l'IDM

Journée Action IDM :
Les challenges de la qualification d'outils pour l'IDM
10 Janvier 2014, Université Paris VI, Jussieu, Paris, France
Laboratoire d’Informatique de Paris 6 (LIP6) Tour 25-26, 1er étage, salle 25-26/105
Organisée par
J.C Bach*, P-E Moreau*, M. Pantel✵, L. Rioux✲
*LORIA, Nancy - ✵IRIT, ToulouseI - ✲THALES R&T, Palaiseau

Journée Lignes de Produits 2013 à Paris

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/

 

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.

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/

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 :

Journée MDDay au LIP6/UPMC le mardi 25 Juin

Le LIP6 profite du passage de Richard Paige en tant que professeur invité pour organiser une journée de présentations invitées sur des travaux en cours dans le domaine de l'IDM (Ingénierie Dirigée par les Modèles).
Cette journée est ouverte et la participation est gratuite cependant les places sont limitées.

Conférences ECOOP, ECMFA et ECSA à Montpellier du 1er au 5 juillet 2013 (Compte-rendu)

Compte-Rendu des conférences ECMFA-ECOOP-ECSA

Du lundi 1er au vendredi 5 juillet 2013, Montpellier a accueilli les conférences européennes de génie logiciel ECMFA (European Conference on Modelling Foundations and Application, 9ième édition), ECOOP (European Conference on Object-Oriented Programming, 27ième édition) et ECSA (European Conference on Software Architecture, 7ième édition).

Journées Francophones des Langages Applicatifs (JFLA 2013) du 3 au 6 février 2013, Aussois

Les Journées Françaises des Langages Applicatifs (JFLA 2013) ont eu lieu du 3 au 6 février 2013 à Aussois.

Toutes les informations sont disponibles à l'URL suivant :

http://jfla.inria.fr/2013/

Pages

S'abonner à RSS - SoutienGPL