Write a Blog >>
SPIN 2019
Mon 15 - Fri 19 July 2019 Beijing, China
co-located with ISSTA 2019
Tue 16 Jul 2019 11:00 - 11:30 at Meeting Room 4 - Session 2 - Synthesis and Learning

Tue 16 Jul

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