* ICSE 2018 *
Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden
VenueCongress center Gothia Towers
Room nameR22+23
Floor2
Capacity50
Additional informationThere is no additional information of this room available.
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 28 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 17:30: AST - 13th IEEE/ACM International Workshop on Automation of Software TestWorkshops at R22+23

Tue 29 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 17:30: AST - 13th IEEE/ACM International Workshop on Automation of Software TestWorkshops at R22+23

Sat 2 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:45 - 09:00: WelcomeFormaliSE at R22+23
Chair(s): Patrizio PelliccioneUniversity of Gothenburg & Chalmers University of Technology, Paola SpoletiniKennesaw State University
09:00 - 10:00: KeynoteFormaliSE at R22+23
Chair(s): Stefania GnesiIstituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"
09:00 - 10:00
Talk
FormaliSE
Marielle StoelingaUniversity of Twente
10:00 - 10:30: Formal Methods for Autonomous Systems 1FormaliSE at R22+23
Chair(s): Claudio MenghiUniversity of Gothenburg, Sweden
10:00 - 10:30
Full-paper
FormaliSE
11:00 - 12:30: Runtime verificationFormaliSE at R22+23
Chair(s): Domenico BianculliUniversity of Luxembourg
11:00 - 11:30
Research paper
FormaliSE
11:30 - 12:00
Research paper
FormaliSE
12:00 - 12:30
Research paper
FormaliSE
13:45 - 14:15: Student presentationsFormaliSE at R22+23
Chair(s): Nico PlatThanos
14:15 - 15:30: Program Verification and ApplicationFormaliSE at R22+23
Chair(s): Wolfgang AhrendtChalmers University of Technology
14:15 - 14:40
Research paper
FormaliSE
14:40 - 15:05
Research paper
FormaliSE
15:05 - 15:30
Talk
FormaliSE
Alexander WickertUniversity of Potsdam, Anna-Lena LamprechtUtrecht University, Tiziana MargariaUniversity of Limerick and Lero - The Irish Software Research Centre
16:00 - 17:15: Formal Methods for Autonomous Systems 2FormaliSE at R22+23
Chair(s): Michael WhalenUniversity of Minnesota
16:00 - 16:25
Research paper
FormaliSE
16:25 - 16:50
Research paper
FormaliSE
16:50 - 17:15
Short-paper
FormaliSE
17:15 - 17:30: Closing remarksFormaliSE at R22+23
Chair(s): Stefania GnesiIstituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" , Nico PlatThanos

Mon 28 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
R22+23

Tue 29 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
R22+23