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

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

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

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

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

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

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