ISSTA 2019
Mon 15 - Fri 19 July 2019 Beijing, China
VenueCrowne Plaza Beijing Zhongguancun
Room nameMeeting Room 4
Floor4
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Mon 15 Jul

issta-2019-TAV-CPS-IoT-2019
09:00 - 10:30: Workshop – TAV-CPS/IoT - SPIN Keynote at Meeting Room 4
issta-2019-TAV-CPS-IoT-201909:00 - 10:30
Talk
spin-2019-papers
spin-2019-papers09:00 - 10:30
Day opening
Kuldeep S. MeelNational University of Singapore
issta-2019-catering
10:30 - 11:00: Catering - Mini Break at Meeting Room 4
issta-2019-catering10:30 - 11:00
Break
issta-2019-catering
15:30 - 16:00: Catering - Mini Break at Meeting Room 4
issta-2019-catering15:30 - 16:00
Break
spin-2019-papers
16:00 - 17:30: 26th International SPIN Symposium on Model Checking of Software - Session 4 - Software Model Checking (Tools Sessions) at Meeting Room 4
spin-2019-papers16:00 - 16:30
Talk
spin-2019-papers16:30 - 17:00
Talk
Sergey StaroletovPolzunov Altai State Technical University, Nikolay ShilovInnopolis University

Tue 16 Jul

spin-2019-papers
spin-2019-papers09:00 - 10:00
Talk
spin-2019-papers
10:00 - 10:30: 26th International SPIN Symposium on Model Checking of Software - Session 1.5 - Conformance Testing at Meeting Room 4
spin-2019-papers10:00 - 10:30
Talk
issta-2019-catering
10:30 - 11:00: Catering - Mini Break at Meeting Room 4
issta-2019-catering10:30 - 11:00
Break
spin-2019-papers
11:00 - 12:30: 26th International SPIN Symposium on Model Checking of Software - Session 2 - Synthesis and Learning at Meeting Room 4
spin-2019-papers11:00 - 11:30
Talk
Yuan Liu, Xi WangYale University, USA, Lintao Xian, Zhongwen Guo
spin-2019-papers11:30 - 12:00
Talk
Shikhar Singh, Mengshi ZhangUniversity of Texas at Austin, USA, Sarfraz KhurshidUniversity of Texas at Austin
spin-2019-papers12:00 - 12:30
Talk
Muhammad Usman, Wenxi WangThe University of Texas at Austin, Texas, USA, Kaiyuan WangGoogle Inc., Cagdas Yelen, Nima DiniUniversity of Texas at Austin, Sarfraz KhurshidUniversity of Texas at Austin
spin-2019-papers
spin-2019-papers14:00 - 15:00
Talk
Maxime CordySnT, University of Luxembourg
issta-2019-catering
15:30 - 16:00: Catering - Mini Break at Meeting Room 4
issta-2019-catering15:30 - 16:00
Break

Tue 16 Jul 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Meeting Room 4