Write a Blog >>
SEAMS 2018
Mon 28 - Tue 29 May 2018 Gothenburg, Sweden
co-located with * ICSE 2018 *
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-papers09: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-papers10: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-papers11:00 - 11:30
Research paper
Formalise-2018-papers11:30 - 12:00
Research paper
Formalise-2018-papers12: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-papers14:15 - 14:40
Research paper
Formalise-2018-papers14:40 - 15:05
Research paper
Formalise-2018-papers15: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-papers16:00 - 16:25
Research paper
Formalise-2018-papers16:25 - 16:50
Research paper
Formalise-2018-papers16: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

Sat 2 Jun 2018

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
R22+23
08:45 - 09:00
09:00 - 10:00