Filter
Dates
Rooms
Tracks
Badges
Your Program
Mon 15 Jul
09:00 - 10:30: 26th International SPIN Symposium on Model Checking of Software - Session 1 - Invited Talk at Meeting Room 4 | ||||||||||||||||||||||||||||||||||||||||||
09:00 - 10:30 Day opening | Kuldeep S. MeelNational University of Singapore |
11:00 - 12:30: 26th International SPIN Symposium on Model Checking of Software - Session 2 - Stochastic Model Checking at Meeting Room 4 | ||||||||||||||||||||||||||||||||||||||||||
11:00 - 11:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
11:30 - 12:00 Talk |
14:00 - 15:30: 26th International SPIN Symposium on Model Checking of Software - Session 3 - Model Checking at Meeting Room 4 | ||||||||||||||||||||||||||||||||||||||||||
14:00 - 14:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
14:30 - 15:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
15:00 - 15:30 Talk | Omar BatainehNTU, David RosenblumNational University of Singapore, Mark ReynoldsThe Univeristy of Western Australia |
16:00 - 17:30: 26th International SPIN Symposium on Model Checking of Software - Session 4 - Software Model Checking (Tools Sessions) at Meeting Room 4 | ||||||||||||||||||||||||||||||||||||||||||
16:00 - 16:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
16:30 - 17:00 Talk |
Tue 16 Jul
09:00 - 10:00: 26th International SPIN Symposium on Model Checking of Software - Session 1 - Invited Talk at Meeting Room 4 | ||||||||||||||||||||||||||||||||||||||||||
09:00 - 10:00 Talk |
10:00 - 10:30: 26th International SPIN Symposium on Model Checking of Software - Session 1.5 - Conformance Testing at Meeting Room 4 | ||||||||||||||||||||||||||||||||||||||||||
10:00 - 10:30 Talk |
11:00 - 12:30: 26th International SPIN Symposium on Model Checking of Software - Session 2 - Synthesis and Learning at Meeting Room 4 | ||||||||||||||||||||||||||||||||||||||||||
11:00 - 11:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
11:30 - 12:00 Talk | Shikhar Singh, Mengshi ZhangUniversity of Texas at Austin, USA, Sarfraz KhurshidUniversity of Texas at Austin | |||||||||||||||||||||||||||||||||||||||||
12: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 |
14:00 - 15:30: 26th International SPIN Symposium on Model Checking of Software - Session 3 - Invited Talk at Meeting Room 4 | ||||||||||||||||||||||||||||||||||||||||||
14:00 - 15:00 Talk | Maxime CordySnT, University of Luxembourg |
16:00 - 17:30: 26th International SPIN Symposium on Model Checking of Software - Session 4 - Broader Approaches at Meeting Room 4 | ||||||||||||||||||||||||||||||||||||||||||
16:00 - 16:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
16:30 - 17:00 Talk |
Mon 15 Jul 2019
Room | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | 17:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Meeting Room 4 | 09:00 - 10:30 | 11:00 - 12:30 | 14:00 - 15:30 |
Tue 16 Jul 2019
Room | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | 17:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Meeting Room 4 | 09:00 - 10:00 | 10:00 - 10:30 | 11:00 - 12:30 | 14:00 - 15:30 | 16:00 - 17:30 |
Mon 15 Jul 2019
Room | 9:00 | 15 | 30 | 45 | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 | 12:00 | 15 | 30 | 45 | 13:00 | 15 | 30 | 45 | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 | 17:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Meeting Room 4 | 14:30 - 15:00 |
Tue 16 Jul 2019
Room | 9:00 | 15 | 30 | 45 | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 | 12:00 | 15 | 30 | 45 | 13:00 | 15 | 30 | 45 | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 | 17:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Meeting Room 4 | 09:00 - 10:00 | 16:00 - 16:30 |
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