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

Activités

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

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

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

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

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

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

FOCUS Research Seminar

Wim Vanhoof (Organisateur), Jean-Marie Jacquet (Organisateur), Manel Barkallah (Membre du Comité d'Organisation), Gonzague Yernaux (Membre du Comité d'Organisation), Pierre-Yves Schobbens (Membre du Comité d'Organisation), James Jerson Ortiz Vega (Membre du Comité d'Organisation), Moussa Amrani (Membre du Comité d'Organisation), Isabelle Linden (Membre du Comité d'Organisation), Christian Colot (Membre du Comité d'Organisation)
6 déc. 2019

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

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

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

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

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

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

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

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

NASA Formal Methodos 2019

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

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

NASA Formal Methods Symposium

James Jerson Ortiz Vega (Orateur)
2017 → …

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

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

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

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