Activités par an
Activités
- 21 résultats
Résultats de recherche
-
FOCUS Research Seminar
Vanhoof, W. (Organisateur), Jacquet, J.-M. (Organisateur), Barkallah, M. (Membre du Comité d'Organisation), Yernaux, G. (Membre du Comité d'Organisation), Schobbens, P.-Y. (Membre du Comité d'Organisation), Ortiz Vega, J. J. (Membre du Comité d'Organisation), Amrani, M. (Membre du Comité d'Organisation), Linden, I. (Membre du Comité d'Organisation) & Colot, C. (Membre du Comité d'Organisation)
6 déc. 2019Activité: Participation ou organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours
-
NASA Formal Methodos 2019
Ortiz Vega, J. J. (Orateur)
7 mai 2019 → 9 mai 2019Activité: Discours ou présentation › Présentation orale
-
International Conference on Quality, Reliability, and Security
Ortiz Vega, J. J. (Orateur)
16 juil. 2018 → 20 juil. 2018Activité: Discours ou présentation › Présentation orale
-
NASA Formal Methods Symposium
Ortiz Vega, J. J. (Orateur)
2017 → …Activité: Discours ou présentation › Présentation orale
-
NASA Formal Methods Symposium
Ortiz Vega, J. J. (Orateur)
2017 → …Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Scade Academic Community Conference
Ortiz Vega, J. J. (Participant)
8 sept. 2016 → 9 sept. 2016Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Open problems in real-time computing
Ortiz Vega, J. J. (Conférencier)
4 avr. 2014Activité: 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
Ortiz Vega, J. J. (Conférencier)
20 nov. 2013Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Inforsid 2013 31ème édition à Paris
Ortiz Vega, J. J. (Conférencier)
29 mai 2013 → 31 mai 2013Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Modelling and Verifying Parallel processes (MOVEP) PhD School
Ortiz Vega, J. J. (Participant)
3 déc. 2012 → 7 déc. 2012Activité: Participation ou organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours
-
2nd PReCISE Day
Ortiz Vega, J. J. (Poster)
30 avr. 2012Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Inauguration du groupe de recherche FoCuS
Ortiz Vega, J. J. (Participant)
9 févr. 2012Activité: Participation ou organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours
-
Inauguration du groupe de recherche FoCuS
Ortiz Vega, J. J. (Participant)
10 févr. 2012Activité: Participation ou organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours
-
INGI Fall 2011 Doctoral School Day
Ortiz Vega, J. J. (Participant)
29 nov. 2011Activité: 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)
Ortiz Vega, J. J. (Conférencier)
12 juil. 2011 → 16 juil. 2011Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Centre Fédéré en Vérification
Ortiz Vega, J. J. (Conférencier)
10 juin 2011Activité: 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
Ortiz Vega, J. J. (Conférencier)
8 sept. 2010 → 10 sept. 2010Activité: 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
Ortiz Vega, J. J. (Participant)
20 sept. 2010 → 23 sept. 2010Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Modelling and Verifying Parallel processes (MOVEP) Summer School
Ortiz Vega, J. J. (Participant)
28 juin 2010 → 2 juil. 2010Activité: Participation ou organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours
-
Journée des doctorants
Ortiz Vega, J. J. (Participant)
11 mars 2010Activité: 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)
Ortiz Vega, J. J. (Participant)
23 nov. 2009Activité: Participation ou organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours