Write a Blog >>
SPIN 2019
Mon 15 - Fri 19 July 2019 Beijing, China
co-located with ISSTA 2019
Filter
Dates
Rooms
Tracks
Badges
Your Program

Mon 15 Jul

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

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 2019

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

Tue 16 Jul 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Meeting Room 4
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)