Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Activités 2009 2019

  • 9 Participation à un atelier/workshop, un séminaire, un cours
  • 8 Participation à une conférence, un congrès
  • 3 Présentation orale

NASA Formal Methodos 2019

James Jerson Ortiz Vega (Orateur)
7 mai 20199 mai 2019

Activité: Types de discours ou de présentationPrésentation orale

International Conference on Quality, Reliability, and Security

James Jerson Ortiz Vega (Orateur)
16 juil. 201820 juil. 2018

Activité: Types de discours ou de présentationPrésentation orale

NASA Formal Methods Symposium

James Jerson Ortiz Vega (Orateur)
2017 → …

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

NASA Formal Methods Symposium

James Jerson Ortiz Vega (Orateur)
2017 → …

Activité: Types de discours ou de présentationPrésentation orale

Scade Academic Community Conference

James Jerson Ortiz Vega (Participant)
8 sept. 20169 sept. 2016

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

Open problems in real-time computing

James Jerson Ortiz Vega (Conférencier)
4 avr. 2014

Activité: Types de Participation ou d'organisation d'un événementParticipation à un atelier/workshop, un séminaire, un cours

Mobile and Information Technologies in Medicine and Health 2013

James Jerson Ortiz Vega (Conférencier)
20 nov. 2013

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

Inforsid 2013 31ème édition à Paris

James Jerson Ortiz Vega (Conférencier)
29 mai 201331 mai 2013

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

Modelling and Verifying Parallel processes (MOVEP) PhD School

James Jerson Ortiz Vega (Participant)
3 déc. 20127 déc. 2012

Activité: Types de Participation ou d'organisation d'un événementParticipation à un atelier/workshop, un séminaire, un cours

2nd PReCISE Day

James Jerson Ortiz Vega (Poster)
30 avr. 2012

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

Inauguration du groupe de recherche FoCuS

James Jerson Ortiz Vega (Participant)
9 févr. 2012

Activité: Types de Participation ou d'organisation d'un événementParticipation à un atelier/workshop, un séminaire, un cours

Inauguration du groupe de recherche FoCuS

James Jerson Ortiz Vega (Participant)
10 févr. 2012

Activité: Types de Participation ou d'organisation d'un événementParticipation à un atelier/workshop, un séminaire, un cours

INGI Fall 2011 Doctoral School Day

James Jerson Ortiz Vega (Participant)
29 nov. 2011

Activité: Types de Participation ou d'organisation d'un événementParticipation à un atelier/workshop, un séminaire, un cours

16th International Conference on Implementation and Application of Automata (CIAA-2011)

James Jerson Ortiz Vega (Conférencier)
12 juil. 201116 juil. 2011

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

Centre Fédéré en Vérification

James Jerson Ortiz Vega (Conférencier)
10 juin 2011

Activité: Types de Participation ou d'organisation d'un événementParticipation à un atelier/workshop, un séminaire, un cours

The 8th International Conference on Formal Modeling and Analysis of Timed Systems

James Jerson Ortiz Vega (Conférencier)
8 sept. 201010 sept. 2010

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

Annual Workshop of the ESF Networking Programme on Games for Design and Verification

James Jerson Ortiz Vega (Participant)
20 sept. 201023 sept. 2010

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

Modelling and Verifying Parallel processes (MOVEP) Summer School

James Jerson Ortiz Vega (Participant)
28 juin 20102 juil. 2010

Activité: Types de Participation ou d'organisation d'un événementParticipation à un atelier/workshop, un séminaire, un cours

Journée des doctorants

James Jerson Ortiz Vega (Participant)
11 mars 2010

Activité: Types de Participation ou d'organisation d'un événementParticipation à un atelier/workshop, un séminaire, un cours

Design Research Methodology : Princenples and Practice (University of Twente)

James Jerson Ortiz Vega (Participant)
23 nov. 2009

Activité: Types de Participation ou d'organisation d'un événementParticipation à un atelier/workshop, un séminaire, un cours