Activities per year
Activities
- 21 results
Search results
-
FOCUS Research Seminar
Vanhoof, W. (Organiser), Jacquet, J.-M. (Organiser), Barkallah, M. (Member of Organizing Committee), Yernaux, G. (Member of Organizing Committee), Schobbens, P.-Y. (Member of Organizing Committee), Ortiz Vega, J. J. (Member of Organizing Committee), Amrani, M. (Member of Organizing Committee), Linden, I. (Member of Organizing Committee) & Colot, C. (Member of Organizing Committee)
6 Dec 2019Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
NASA Formal Methodos 2019
Ortiz Vega, J. J. (Speaker)
7 May 2019 → 9 May 2019Activity: Talk or presentation types › Oral presentation
-
International Conference on Quality, Reliability, and Security
Ortiz Vega, J. J. (Speaker)
16 Jul 2018 → 20 Jul 2018Activity: Talk or presentation types › Oral presentation
-
NASA Formal Methods Symposium
Ortiz Vega, J. J. (Contributor)
2017 → …Activity: Participating in or organising an event types › Participation in conference
-
NASA Formal Methods Symposium
Ortiz Vega, J. J. (Speaker)
2017 → …Activity: Talk or presentation types › Oral presentation
-
Scade Academic Community Conference
Ortiz Vega, J. J. (Participant)
8 Sept 2016 → 9 Sept 2016Activity: Participating in or organising an event types › Participation in conference
-
Open problems in real-time computing
Ortiz Vega, J. J. (Speaker)
4 Apr 2014Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
Mobile and Information Technologies in Medicine and Health 2013
Ortiz Vega, J. J. (Speaker)
20 Nov 2013Activity: Participating in or organising an event types › Participation in conference
-
Inforsid 2013 31ème édition à Paris
Ortiz Vega, J. J. (Speaker)
29 May 2013 → 31 May 2013Activity: Participating in or organising an event types › Participation in conference
-
Modelling and Verifying Parallel processes (MOVEP) PhD School
Ortiz Vega, J. J. (Participant)
3 Dec 2012 → 7 Dec 2012Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
2nd PReCISE Day
Ortiz Vega, J. J. (Poster)
30 Apr 2012Activity: Participating in or organising an event types › Participation in conference
-
Inauguration du groupe de recherche FoCuS
Ortiz Vega, J. J. (Participant)
10 Feb 2012Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
Inauguration du groupe de recherche FoCuS
Ortiz Vega, J. J. (Participant)
9 Feb 2012Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
INGI Fall 2011 Doctoral School Day
Ortiz Vega, J. J. (Participant)
29 Nov 2011Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
16th International Conference on Implementation and Application of Automata (CIAA-2011)
Ortiz Vega, J. J. (Speaker)
12 Jul 2011 → 16 Jul 2011Activity: Participating in or organising an event types › Participation in conference
-
Centre Fédéré en Vérification
Ortiz Vega, J. J. (Speaker)
10 Jun 2011Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
The 8th International Conference on Formal Modeling and Analysis of Timed Systems
Ortiz Vega, J. J. (Speaker)
8 Sept 2010 → 10 Sept 2010Activity: Participating in or organising an event types › Participation in conference
-
Annual Workshop of the ESF Networking Programme on Games for Design and Verification
Ortiz Vega, J. J. (Participant)
20 Sept 2010 → 23 Sept 2010Activity: Participating in or organising an event types › Participation in conference
-
Modelling and Verifying Parallel processes (MOVEP) Summer School
Ortiz Vega, J. J. (Participant)
28 Jun 2010 → 2 Jul 2010Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
Journée des doctorants
Ortiz Vega, J. J. (Participant)
11 Mar 2010Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
Design Research Methodology : Princenples and Practice (University of Twente)
Ortiz Vega, J. J. (Participant)
23 Nov 2009Activity: Participating in or organising an event types › Participation in workshop, seminar, course