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

Mon 28 May

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

Tue 29 May

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

Sat 2 Jun

Formalise-2018-papers
08:45 - 09:00: FormaliSE 2018 - Welcome at R22+23
Chair(s): Patrizio PelliccioneUniversity of Gothenburg & Chalmers University of Technology, Paola SpoletiniKennesaw State University
Formalise-2018-papers
09:00 - 10:00: FormaliSE 2018 - Keynote at R22+23
Chair(s): Stefania GnesiIstituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"
Formalise-2018-papers152792280000009:00 - 10:00
Talk
Marielle StoelingaUniversity of Twente
Formalise-2018-papers
10:00 - 10:30: FormaliSE 2018 - Formal Methods for Autonomous Systems 1 at R22+23
Chair(s): Claudio MenghiUniversity of Gothenburg, Sweden
Formalise-2018-papers152792640000010:00 - 10:30
Full-paper
Formalise-2018-papers
11:00 - 12:30: FormaliSE 2018 - Runtime verification at R22+23
Chair(s): Domenico BianculliUniversity of Luxembourg
Formalise-2018-papers152793000000011:00 - 11:30
Research paper
Formalise-2018-papers152793180000011:30 - 12:00
Research paper
Formalise-2018-papers152793360000012:00 - 12:30
Research paper
Formalise-2018-papers
13:45 - 14:15: FormaliSE 2018 - Student presentations at R22+23
Chair(s): Nico PlatThanos
Formalise-2018-papers
14:15 - 15:30: FormaliSE 2018 - Program Verification and Application at R22+23
Chair(s): Wolfgang AhrendtChalmers University of Technology
Formalise-2018-papers152794170000014:15 - 14:40
Research paper
Formalise-2018-papers152794320000014:40 - 15:05
Research paper
Formalise-2018-papers152794470000015:05 - 15:30
Talk
Alexander WickertUniversity of Potsdam, Anna-Lena LamprechtUtrecht University, Tiziana MargariaUniversity of Limerick and Lero - The Irish Software Research Centre
Formalise-2018-papers
16:00 - 17:15: FormaliSE 2018 - Formal Methods for Autonomous Systems 2 at R22+23
Chair(s): Michael WhalenUniversity of Minnesota
Formalise-2018-papers152794800000016:00 - 16:25
Research paper
Formalise-2018-papers152794950000016:25 - 16:50
Research paper
Formalise-2018-papers152795100000016:50 - 17:15
Short-paper
Formalise-2018-papers
17:15 - 17:30: FormaliSE 2018 - Closing remarks at R22+23
Chair(s): Stefania GnesiIstituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" , Nico PlatThanos

Mon 28 May 2018

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

Tue 29 May 2018

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