AFSEC

Mardi 11 avril de 9h30 à 16h à l'ENSAM de Paris se tiendra une journée commune au GT AFSEC et au CT SED du GDR MACS.

L'inscription est gratuite mais obligatoire et peut se faire à l'adresse suivante : https://forms.gle/P6uH3Zz5Kjr4a1H17

Cinq exposés seront proposés.

La prochaine journée de notre groupe de travail aura lieu le mercredi 6 avril à Nantes.

Cela sera une journée particulière puisqu'elle sera commune aux GT AFSEC (Approches Formelles des Systèmes Embarqués Communicants) et IE. Les exposés seront donc plutôt centrés sur des travaux relevant à la fois des thématiques des deux GT.

Les groupes de travail  AFSEC et IE s’associent pour proposer le 6 avril à Nantes une journée d’étude commune sur ces thématiques. Les exposés seront donc plutôt centrés sur des travaux relevant à la fois des thématiques des deux GT. 

Quand: Le 21 juin 2017
Lieu: ECE Paris — Ecole d’ingénieurs
Campus Eiffel 1   10 rue Sextius Michel – 75015 Paris
Métro ligne 6 (stations Bir-hakeim ou Duplex), RER C (station Champ de Mars)

Journée commune AFSEC/PACS (ANR PACS : Parametric Analyses of Concurrent Systems)

Pour définir la taille de la salle et prévoir les autorisations d'accès au bâtiment , une inscription (gratuite) au plus tard le 10 mai 2016 est nécessaire en envoyant un email à olivier-h.roux@irccyn.ec-nantes.fr ; objet : "Inscription AFSEC 26 mai" (cliquer sur le lien) - préciser : Nom et Affiliation.

Journée AFSEC

Quand: Le 29 mars 2016
Lieu: Université Paris Diderot amphi Turing du bâtiment Sophie Germain map

ETR 2015 - inscriptions ouvertes

L'édition 2015 d'ETR, école d'été temps-réel (http://etr2015.irisa.fr/) se tiendra à Rennes du 24 au 28 août à Rennes.
Le programme est en ligne, et les inscriptions sont ouvertes.

Le GdR GPL finance deux bourses pour l'inscription de doctorants dont les thématiques de thèse relèvent du génie logiciel et/ou de la programmation. Les modalités pour bénéficier d'une bourse sont données sur le site d'ETR2015.

Une journée sur le thème “méthodes formelles et processus métier” (workflow, services Web, contrats QoS, …) se tiendra le 16 octobre 2014 à Paris.
Organisée avec le soutien du GDR GPL.

Lieu : LIP6, Paris 6 (Jussieu) - salle 203-205 bâtiment 41 .

Programme de 6 exposés d’environ 1h (incluant les questions) :

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