Activités

Activités par an 2009 2010 2011 2012 2013 2017 2019 2019

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

Activités par an

Résultats de recherche

• 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é: Participation ou organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours

• NASA Formal Methodos 2019

  James Jerson Ortiz Vega (Orateur)

  7 mai 2019 → 9 mai 2019

  Activité: Discours ou présentation › Présentation orale

• International Conference on Quality, Reliability, and Security

  James Jerson Ortiz Vega (Orateur)

  16 juil. 2018 → 20 juil. 2018

  Activité: Discours ou présentation › Présentation orale

• NASA Formal Methods Symposium

  James Jerson Ortiz Vega (Orateur)

  2017 → …

  Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès

• NASA Formal Methods Symposium

  James Jerson Ortiz Vega (Orateur)

  2017 → …

  Activité: Discours ou présentation › Présentation orale

• Scade Academic Community Conference

  James Jerson Ortiz Vega (Participant)

  8 sept. 2016 → 9 sept. 2016

  Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès

• Open problems in real-time computing

  James Jerson Ortiz Vega (Conférencier)

  4 avr. 2014

  Activité: Participation ou organisation d'un événement › Participation à 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é: Participation ou organisation d'un événement › Participation à une conférence, un congrès

• Inforsid 2013 31ème édition à Paris

  James Jerson Ortiz Vega (Conférencier)

  29 mai 2013 → 31 mai 2013

  Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès

• Modelling and Verifying Parallel processes (MOVEP) PhD School

  James Jerson Ortiz Vega (Participant)

  3 déc. 2012 → 7 déc. 2012

  Activité: Participation ou organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours

• 2nd PReCISE Day

  James Jerson Ortiz Vega (Poster)

  30 avr. 2012

  Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès

• Inauguration du groupe de recherche FoCuS

  James Jerson Ortiz Vega (Participant)

  10 févr. 2012

  Activité: Participation ou organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours

• Inauguration du groupe de recherche FoCuS

  James Jerson Ortiz Vega (Participant)

  9 févr. 2012

  Activité: Participation ou organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours

• INGI Fall 2011 Doctoral School Day

  James Jerson Ortiz Vega (Participant)

  29 nov. 2011

  Activité: Participation ou organisation d'un événement › Participation à 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. 2011 → 16 juil. 2011

  Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès

• Centre Fédéré en Vérification

  James Jerson Ortiz Vega (Conférencier)

  10 juin 2011

  Activité: Participation ou organisation d'un événement › Participation à 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. 2010 → 10 sept. 2010

  Activité: Participation ou organisation d'un événement › Participation à 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. 2010 → 23 sept. 2010

  Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès

• Modelling and Verifying Parallel processes (MOVEP) Summer School

  James Jerson Ortiz Vega (Participant)

  28 juin 2010 → 2 juil. 2010

  Activité: Participation ou organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours

• Journée des doctorants

  James Jerson Ortiz Vega (Participant)

  11 mars 2010

  Activité: Participation ou organisation d'un événement › Participation à 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é: Participation ou organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours