Activities per year
Activities
- 8 results
Search results
-
NASA Formal Methods Symposium
James Jerson Ortiz Vega (Contributor)
2017 → …Activity: Participating in or organising an event types › Participation in conference
-
Scade Academic Community Conference
James Jerson Ortiz Vega (Participant)
8 Sept 2016 → 9 Sept 2016Activity: Participating in or organising an event types › Participation in conference
-
Mobile and Information Technologies in Medicine and Health 2013
James Jerson Ortiz Vega (Speaker)
20 Nov 2013Activity: Participating in or organising an event types › Participation in conference
-
Inforsid 2013 31ème édition à Paris
James Jerson Ortiz Vega (Speaker)
29 May 2013 → 31 May 2013Activity: Participating in or organising an event types › Participation in conference
-
2nd PReCISE Day
James Jerson Ortiz Vega (Poster)
30 Apr 2012Activity: Participating in or organising an event types › Participation in conference
-
16th International Conference on Implementation and Application of Automata (CIAA-2011)
James Jerson Ortiz Vega (Speaker)
12 Jul 2011 → 16 Jul 2011Activity: Participating in or organising an event types › Participation in conference
-
Annual Workshop of the ESF Networking Programme on Games for Design and Verification
James Jerson Ortiz Vega (Participant)
20 Sep 2010 → 23 Sep 2010Activity: Participating in or organising an event types › Participation in conference
-
The 8th International Conference on Formal Modeling and Analysis of Timed Systems
James Jerson Ortiz Vega (Speaker)
8 Sep 2010 → 10 Sep 2010Activity: Participating in or organising an event types › Participation in conference