Activities

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

Activity: Talk or presentationOral presentation

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

Activity: Participation in conference

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

Activity: Participation in conference

PAAMS 2017
Libert, C. (Contributor)
21 Jun 201723 Jun 2017

Activity: Participation in workshop, seminar, course

13th Workshop on Advances in Model Based Testing (A-MOST '17)
Devroey, X. (Member of Organizing Committee)
17 Mar 2017

Activity: Participation in workshop, seminar, course

12th International Workshop on Mutation Analysis (Mutation 2017)
Devroey, X. (Contributor)
13 Mar 2017

Activity: Participation in conference

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

Activity: Participation in conference

11th International Workshop on Variability Modelling of Software-intensive Systems
Devroey, X. (Contributor)
1 Feb 20173 Feb 2017

Activity: Participation in conference

Informatiesystemen
Vanhoof, W. (Speaker)
14 Dec 2016

Activity: Talk or presentationOral presentation

Databases en het drie lagen model
Vanhoof, W. (Speaker)
13 Dec 2016

Activity: Talk or presentationOral presentation

Université de la Réunion
Vanhoof, W. (Visiting researcher)
20 Nov 201625 Nov 2016

Activity: Visiting an external institutionVisiting an external academic institution

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

Activity: Participation in conference

Principles and Practice of Declarative Programming
Vanhoof, W. (Speaker)
7 Sep 2016

Activity: Participation in conference

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

Activity: Participation in conference

38th International Conference on Software Engineering
Devroey, X. (Speaker)
18 May 201620 May 2016

Activity: Participation in conference

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

Activity: Participation in workshop, seminar, course

Formal Aspects of Computing (Journal)
Vanhoof, W. (Peer reviewer)
1 Apr 20161 Jun 2016

Activity: Publication peer-review

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

Activity: Talk or presentationInvited talk

Didapro 6
Libert, C. (Contributor)
27 Jan 2016

Activity: Participation in conference

Université de la Réunion
Vanhoof, W. (Visiting researcher)
25 Jan 201629 Jan 2016

Activity: Visiting an external institutionVisiting an external academic institution

GRASCOMP Doctoral Day
Devroey, X. (Poster)
10 Dec 2015

Activity: Participation to a Symposium, a study Day

Formal Aspects of Computing (Journal)
Vanhoof, W. (Peer reviewer)
1 Nov 201531 Dec 2015

Activity: Publication peer-review

Journée des Doctorants en Informatique 2015
Devroey, X. (Organiser)
26 Jun 2015

Activity: Participation to a Symposium, a study Day

Journée des Doctorants en Informatique 2015
Devroey, X. (Speaker)
26 Jun 2015

Activity: Participation to a Symposium, a study Day

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

Activity: Participation to a Symposium, a study Day

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

Activity: Participation in conference

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

Activity: Participation in workshop, seminar, course

11th Workshop on Advances in Model Based Testing (A-MOST '15)
Devroey, X. (Speaker)
17 Apr 2015

Activity: Participation in workshop, seminar, course

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

Activity: Participation in conference

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

Activity: Participation in workshop, seminar, course

Information & Software Technology (Journal)
Marcozzi, M. (Peer reviewer)
30 Jan 2015

Activity: Editorial activity

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

Activity: Participation in conference

Journée Ligne de Produits '14
Devroey, X. (Speaker)
9 Dec 2014

Activity: Participation to a Symposium, a study Day

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

Activity: Participation in conference

18th International Software Product Lines Conference (SPLC'14)
Devroey, X. (Speaker)
16 Sep 201419 Sep 2014

Activity: Participation in conference

1st Workshop on Software Product Line Analysis Tools (SPLat'14)
Devroey, X. (Speaker)
16 Sep 2014

Activity: Participation in conference

Logic-based Program Synthesis and Transformation (LOPSTR) (Event)
Vanhoof, W. (Member)
10 Sep 201411 Sep 2014

Activity: MembershipMembership of committee

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

Activity: Participation in conference

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

Activity: Participation in workshop, seminar, course

Group Decision and Negotiation 2014
Linden, I. (Contributor)
10 Jun 201413 Jun 2014

Activity: Participation in conference

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

Activity: Participation in conference

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

Activity: Participation in workshop, seminar, course

Open problems in real-time computing
Ortiz Vega, J. J. (Speaker)
4 Apr 2014

Activity: Participation in workshop, seminar, course

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

Activity: Participation in workshop, seminar, course

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

Activity: Participation in conference

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

Activity: Participation in workshop, seminar, course

Mobile and Information Technologies in Medicine and Health 2013
Ortiz Vega, J. J. (Speaker)
20 Nov 2013

Activity: Participation in conference

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

Activity: Participation to a Symposium, a study Day