L'édition 2015 de l'EJCP (Ecole des Jeunes Chercheurs en Programmation) a eu lieu à Nancy du 22 au 26 juin 2015.
L'école proposait deux parcours sur une semaine, l'un portant sur l'ingénierie logicielle et l'autre sur la programmation et la vérification de programmes. Chaque cours durait une journée et comportait une bonne part de travaux pratiques. Tous les supports de cours sont en ligne. Trente cinq étudiants ont participé à l'école.
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/
Pages
