Soumis par Jacques.Malenfant le 4 Mars, 2015 - 10:42
APPEL À CONTRIBUTIONS ET À PARTICIPATION
Secondes Journées sur les Architectures Logicielles
pour la Robotique Autonome, les Systèmes Cyber-Physiques
et les Systèmes Auto-Adaptables
sur le thème
Modélisation, Contrôle et Simulation :
de la conception à la validation et à la vérification
co-localisée et en coopération avec la conférence
Control Architectures of Robots, CAR 2015
La prochaine édition de l'EJCP (Ecole des Jeunes Chercheurs en Programmation) aura lieu à Nancy :
Deux parcours seront proposés :
- parcours "Ingénierie Logicielle"
- parcours "Programmation et Vérification"
Le programme est en cours de finalisation mais vous pouvez dès à présent
- bloquer ces dates
- et inciter les doctorants de vos équipes à participer
Soumis par Frederic.Dadeau le 10 Décembre, 2014 - 08:59
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 :
Soumis par Jacques.Malenfant le 27 Octobre, 2014 - 10:16
Soumis par Catherine.Dubois le 14 Juillet, 2014 - 19:42
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/
Soumis par Laurence.Duchien le 10 Juillet, 2014 - 21:42
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 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/).
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
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.
Pages
