Activités

NASA Formal Methods Symposium
Ortiz Vega, J. J. (Orateur)
2017 → …

Activité: Présentation orale

NASA Formal Methods Symposium
Ortiz Vega, J. J. (Orateur)
2017 → …

Activité: Participation à une conférence, un congrès

21st International Systems and Software Product Line Conference (SPLC '17)
Devroey, X. (Orateur)
26 sept. 201729 sept. 2017

Activité: Participation à une conférence, un congrès

PAAMS 2017
Libert, C. (Orateur)
21 juin 201723 juin 2017

Activité: Participation à un atelier/workshop, un séminaire, un cours

13th Workshop on Advances in Model Based Testing (A-MOST '17)
Devroey, X. (Membre du Comité d'Organisation)
17 mars 2017

Activité: Participation à un atelier/workshop, un séminaire, un cours

12th International Workshop on Mutation Analysis (Mutation 2017)
Devroey, X. (Orateur)
13 mars 2017

Activité: Participation à une conférence, un congrès

10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017)
Devroey, X. (Orateur)
13 mars 201718 mars 2017

Activité: Participation à une conférence, un congrès

11th International Workshop on Variability Modelling of Software-intensive Systems
Devroey, X. (Orateur)
1 févr. 20173 févr. 2017

Activité: Participation à une conférence, un congrès

Informatiesystemen
Vanhoof, W. (Orateur)
14 déc. 2016

Activité: Présentation orale

Databases en het drie lagen model
Vanhoof, W. (Orateur)
13 déc. 2016

Activité: Présentation orale

Université de la Réunion
Vanhoof, W. (Chercheur visiteur)
20 nov. 201625 nov. 2016

Activité: Visite à une institution académique externe

Scade Academic Community Conference
Ortiz Vega, J. J. (Participant)
8 sept. 20169 sept. 2016

Activité: Participation à une conférence, un congrès

Principles and Practice of Declarative Programming
Vanhoof, W. (Conférencier)
7 sept. 2016

Activité: Participation à une conférence, un congrès

The International Symposium on Software Testing and Analysis (ISSTA'16)
Devroey, X. (Participant)
18 juil. 201620 juil. 2016

Activité: Participation à une conférence, un congrès

38th International Conference on Software Engineering
Devroey, X. (Conférencier)
18 mai 201620 mai 2016

Activité: Participation à une conférence, un congrès

9th International Workshop on Search-Based Software Testing
Devroey, X. (Participant)
16 mai 201617 mai 2016

Activité: Participation à un atelier/workshop, un séminaire, un cours

Formal Aspects of Computing (journal)
Vanhoof, W. (Membre d'un comité de revue par les pairs)
1 avr. 20161 juin 2016

Activité: Révision de publication en tant que pair

Clone detection in logic programs: awards a semantical approach
Vanhoof, W. (Orateur)
28 janv. 2016

Activité: Discours invité

Didapro 6
Libert, C. (Orateur)
27 janv. 2016

Activité: Participation à une conférence, un congrès

Université de la Réunion
Vanhoof, W. (Chercheur visiteur)
25 janv. 201629 janv. 2016

Activité: Visite à une institution académique externe

Grascomp Doctoral Day
Devroey, X. (Poster)
10 déc. 2015

Activité: Participation à un Colloque, une journée d'étude

Formal Aspects of Computing (journal)
Vanhoof, W. (Membre d'un comité de revue par les pairs)
1 nov. 201531 déc. 2015

Activité: Révision de publication en tant que pair

Journée des Doctorants en Informatique 2015
Devroey, X. (Organisateur)
26 juin 2015

Activité: Participation à un Colloque, une journée d'étude

Journée des Doctorants en Informatique 2015
Devroey, X. (Conférencier)
26 juin 2015

Activité: Participation à un Colloque, une journée d'étude

Journée des Doctorants en Informatique 2015
Devroey, X. (Poster)
26 juin 2015

Activité: Participation à un Colloque, une journée d'étude

37th International Conference on Software Engineering (ICSE 2015)
Devroey, X. (Poster)
20 mai 201522 mai 2015

Activité: Participation à une conférence, un congrès

4th International Workshop on Games and Software Engineering (GAS'15)
Devroey, X. (Participant)
18 mai 2015

Activité: Participation à un atelier/workshop, un séminaire, un cours

11th Workshop on Advances in Model Based Testing (A-MOST '15)
Devroey, X. (Conférencier)
17 avr. 2015

Activité: Participation à un atelier/workshop, un séminaire, un cours

8th IEEE International Conference on Software Testing, Verification and Validation (ICST '15)
Devroey, X. (Participant)
14 avr. 201516 avr. 2015

Activité: Participation à une conférence, un congrès

10th International Workshop on Mutation Analysis (Mutation '15)
Devroey, X. (Participant)
13 avr. 2015

Activité: Participation à un atelier/workshop, un séminaire, un cours

Information & Software Technology (journal)
Marcozzi, M. (Membre d'un comité de revue par les pairs)
30 janv. 2015

Activité: Activité éditoriale

9th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS '15)
Devroey, X. (Conférencier)
21 janv. 201523 janv. 2015

Activité: Participation à une conférence, un congrès

Journée Ligne de Produits '14
Devroey, X. (Conférencier)
9 déc. 2014

Activité: Participation à un Colloque, une journée d'étude

22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE '14)
Devroey, X. (Conférencier)
18 nov. 201421 nov. 2014

Activité: Participation à une conférence, un congrès

6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
Devroey, X. (Conférencier)
8 oct. 201411 oct. 2014

Activité: Participation à une conférence, un congrès

18th International Software Product Lines Conference (SPLC'14)
Devroey, X. (Conférencier)
16 sept. 201419 sept. 2014

Activité: Participation à une conférence, un congrès

1st Workshop on Software Product Line Analysis Tools (SPLat'14)
Devroey, X. (Conférencier)
16 sept. 2014

Activité: Participation à une conférence, un congrès

Logic-based Program Synthesis and Transformation (LOPSTR) (Evénement)
Vanhoof, W. (Membre)
10 sept. 201411 sept. 2014

Activité: Adhésion/appartenance à un groupeMembre d'un comité

20th Conference of the International Federation Of Operational Research Societies - IFORS 2014
Linden, I. (Organisateur)
13 juil. 2014

Activité: Participation à une conférence, un congrès

20th Conference of the International Federation Of Operational Research Societies - IFORS 2014
Linden, I. (Orateur)
13 juil. 201418 juil. 2014

Activité: Participation à une conférence, un congrès

SAT/SMT Summer School 2014
Marcozzi, M. (Poster)
10 juil. 201412 juil. 2014

Activité: Participation à un atelier/workshop, un séminaire, un cours

Group Decision and Negotiation 2014
Linden, I. (Orateur)
10 juin 201413 juin 2014

Activité: Participation à une conférence, un congrès

36th International Conference on Software Engineering (ICSE 2014)
Marcozzi, M. (Orateur)
31 mai 2014

Activité: Participation à une conférence, un congrès

Séminaire Pro-Doc "Projets et Financements"
Marcozzi, M. (Participant)
25 avr. 2014

Activité: Participation à un atelier/workshop, un séminaire, un cours

Open problems in real-time computing
Ortiz Vega, J. J. (Conférencier)
4 avr. 2014

Activité: Participation à un atelier/workshop, un séminaire, un cours

Séminaire Pro-Doc "Networking"
Marcozzi, M. (Participant)
6 févr. 2014

Activité: Participation à un atelier/workshop, un séminaire, un cours

The 8th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS '14)
Devroey, X. (Conférencier)
22 janv. 201424 janv. 2014

Activité: Participation à une conférence, un congrès

Séminaire Pro-Doc "Découvrir et développer son style de leadership"
Marcozzi, M. (Participant)
3 déc. 2013

Activité: 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. 2013

Activité: Participation à une conférence, un congrès

Les nouvelles technologies et la création artistique
Marcozzi, M. (Participant)
17 oct. 2013

Activité: Participation à un Colloque, une journée d'étude