If you made any changes in Pure these will be visible here soon.

Activities 2009 2019

  • 9 Participation in workshop, seminar, course
  • 8 Participation in conference
  • 3 Oral presentation

NASA Formal Methodos 2019

James Jerson Ortiz Vega (Speaker)
7 May 20199 May 2019

Activity: Talk or presentation typesOral presentation

International Conference on Quality, Reliability, and Security

James Jerson Ortiz Vega (Speaker)
16 Jul 201820 Jul 2018

Activity: Talk or presentation typesOral presentation

NASA Formal Methods Symposium

James Jerson Ortiz Vega (Contributor)
2017 → …

Activity: Participating in or organising an event typesParticipation in conference

NASA Formal Methods Symposium

James Jerson Ortiz Vega (Speaker)
2017 → …

Activity: Talk or presentation typesOral presentation

Scade Academic Community Conference

James Jerson Ortiz Vega (Participant)
8 Sep 20169 Sep 2016

Activity: Participating in or organising an event typesParticipation in conference

Open problems in real-time computing

James Jerson Ortiz Vega (Speaker)
4 Apr 2014

Activity: Participating in or organising an event typesParticipation in workshop, seminar, course

Mobile and Information Technologies in Medicine and Health 2013

James Jerson Ortiz Vega (Speaker)
20 Nov 2013

Activity: Participating in or organising an event typesParticipation in conference

Inforsid 2013 31ème édition à Paris

James Jerson Ortiz Vega (Speaker)
29 May 201331 May 2013

Activity: Participating in or organising an event typesParticipation in conference

Modelling and Verifying Parallel processes (MOVEP) PhD School

James Jerson Ortiz Vega (Participant)
3 Dec 20127 Dec 2012

Activity: Participating in or organising an event typesParticipation in workshop, seminar, course

2nd PReCISE Day

James Jerson Ortiz Vega (Poster)
30 Apr 2012

Activity: Participating in or organising an event typesParticipation in conference

Inauguration du groupe de recherche FoCuS

James Jerson Ortiz Vega (Participant)
10 Feb 2012

Activity: Participating in or organising an event typesParticipation in workshop, seminar, course

Inauguration du groupe de recherche FoCuS

James Jerson Ortiz Vega (Participant)
9 Feb 2012

Activity: Participating in or organising an event typesParticipation in workshop, seminar, course

INGI Fall 2011 Doctoral School Day

James Jerson Ortiz Vega (Participant)
29 Nov 2011

Activity: Participating in or organising an event typesParticipation in workshop, seminar, course

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

James Jerson Ortiz Vega (Speaker)
12 Jul 201116 Jul 2011

Activity: Participating in or organising an event typesParticipation in conference

Centre Fédéré en Vérification

James Jerson Ortiz Vega (Speaker)
10 Jun 2011

Activity: Participating in or organising an event typesParticipation in workshop, seminar, course

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

James Jerson Ortiz Vega (Participant)
20 Sep 201023 Sep 2010

Activity: Participating in or organising an event typesParticipation in conference

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

James Jerson Ortiz Vega (Speaker)
8 Sep 201010 Sep 2010

Activity: Participating in or organising an event typesParticipation in conference

Modelling and Verifying Parallel processes (MOVEP) Summer School

James Jerson Ortiz Vega (Participant)
28 Jun 20102 Jul 2010

Activity: Participating in or organising an event typesParticipation in workshop, seminar, course

Journée des doctorants

James Jerson Ortiz Vega (Participant)
11 Mar 2010

Activity: Participating in or organising an event typesParticipation in workshop, seminar, course

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

James Jerson Ortiz Vega (Participant)
23 Nov 2009

Activity: Participating in or organising an event typesParticipation in workshop, seminar, course