Actualité AFSEC

Journée commune AFSEC-SED

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.

Réunion commune GT AFSEC (Approches Formelles des Systèmes Embarqués Communicants) et IE (Ingénierie des Exigences)

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.

Journée commune des GT AFSEC et IE le 6 avril 2022 à Nantes

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

Journée: AFSEC "méthodes formelles pour la sécurité" 21 juin 2017

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 “Parametric Analyses of Concurrent Systems” le 26 mai 2016

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 “solveurs SMT dans le contexte des systèmes embarqués critiques”. 29 Mars 2016

Journée AFSEC

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

Bourses pour participer à l'école d'été Temps-Réel

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.

 

Journée “méthodes formelles et processus métier”

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) :

Section 6 du CoNRS - CR session de printemps 2013

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.

 

 

Pages