AFSEC

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.

 

 

Création du compte twitter @GdrGPL

Un compte twitter https://twitter.com/GdrGPL a été créé pour relayer les informations majeures du GDR Génie de la Programmation et du Logiciel.

Abonnez-vous et signalez-nous les informations à relayer en nous envoyant un messsage @GdrGPL

S'abonner à RSS - AFSEC