Toutes les annonces

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/

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.

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

Contact: herve.verjus@univ-savoie.fr

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/

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.

Allistene et les Pôles de compétitivité du numérique à la stratégie nationale de recherche publient une synthèse qui présente les enjeux stratégiques de la recherche en sciences et technologies du numérique et