Actualité AFSEC

Journée commune AFSEC-SED

Soumis par Loig.Jezequel le 29 Mars, 2023 - 15:32

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)

Soumis par Mireille.Blay le 4 Février, 2022 - 06:52

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

Soumis par Regine.Laleau le 3 Février, 2022 - 22:38

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

Soumis par Claire.Pagetti le 24 Avril, 2017 - 17:07

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

Soumis par Olivier.Roux le 28 Avril, 2016 - 11:53

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

Soumis par Claire.Pagetti le 7 Mars, 2016 - 10:17

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

Soumis par Laurence.Duchien le 13 Avril, 2015 - 09:48

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”

Soumis par Olivier.Roux le 10 Septembre, 2014 - 17:32

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

Soumis par Laurence.Duchien le 19 Juillet, 2013 - 14:09

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