Write a Blog >>
SPIN 2019
Mon 15 - Fri 19 July 2019 Beijing, China
co-located with ISSTA 2019
Filter
Conference Dates
Conference Dates are in time zone (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 15 Jul
Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change

spin-2019-papers
spin-2019-papers09:00 - 10:30
Day opening
Kuldeep S. MeelNational University of Singapore
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
Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change

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
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

Mon 15 Jul
Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change

Tue 16 Jul
Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change

iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)