Closing A-MOST 23 and Welcoming A-MOST 24! (A-MOST 2023) - ICST 2023

Sun 16 - Thu 20 April 2023 Dublin, Ireland

Who

Florian Lorber, Cristina Seceleanu, Uraz Cengiz Türker

Track

Time Zone

The program is currently displayed in (GMT+01:00) Dublin.

Use conference time zone: (GMT+01:00) DublinSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Thu 20 Apr 2023 17:00 - 17:15 at Hanover - Afternoon Session 2 Chair(s): Florian Lorber

Florian Lorber

Aalborg University

Denmark

Cristina Seceleanu

Mälardalen University

Sweden

Uraz Cengiz Türker

Lancaster University (UK)

United Kingdom

Time Zone

The program is currently displayed in (GMT+01:00) Dublin.

Use conference time zone: (GMT+01:00) DublinSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

Thu 20 Apr
Displayed time zone: Dublin change

	16:00 - 17:30	Afternoon Session 2A-MOST at Hanover Chair(s): Florian Lorber Aalborg University

	16:00 30m Talk		Improving Model Learning by Inferring Separating Sequences from Traces A-MOST Rafael Braz ICMC/USP, Adenilso Simão University of São Paulo, Roland Groz LIG/UGA, Catherine Oriat LIG/UGA
	16:30 30m Talk		MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL A-MOST Jaime Cuartas Universidad del Valle, Jesus Aranda Universidad del Valle, Maxime Cordy University of Luxembourg, Luxembourg, James Ortiz Université de Namur, Gilles Perrouin Fonds de la Recherche Scientifique - FNRS & University of Namur, Pierre Yves Schobbens University of Namur
	17:00 15m Day closing		Closing A-MOST 23 and Welcoming A-MOST 24! A-MOST Florian Lorber Aalborg University, Cristina Seceleanu Mälardalen University, Uraz Cengiz Türker Lancaster University (UK)