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

Activities 2009 2017

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

NASA Formal Methods Symposium

James Jerson Ortiz Vega (Contributor)
2017 → …

Activity: Participating in or organising an event typesParticipation in conference

Scade Academic Community Conference

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

Activity: Participating in or organising an event typesParticipation in conference

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

2nd PReCISE Day

James Jerson Ortiz Vega (Poster)
30 Apr 2012

Activity: Participating in or organising an event typesParticipation in conference

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

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