******************************
ISSTA & SPIN 2017 CALL FOR PARTICIPATION
26th ACM SIGSOFT International Symposium on Software Testing and Analysis
http://conf.researchr.org/
24th International SPIN Symposium on Model Checking of Software
http://conf.researchr.org/
July 10-14, 2017, Santa Barbara, California, USA
******************************
ISSTA is the leading research symposium on software testing and analysis, bringing together academics, industrial researchers, and practitioners to exchange new ideas, problems, and experiences on how to analyze and test software systems.
The SPIN symposium brings together researchers and practitioners interested in automated, tool-based techniques to analyze software systems and models of software systems for verification and validation purposes.
******************************
*** VENUE ***
University of California, Santa Barbara (www.ucsb.edu)
*** REGISTRATION ***
Registration is open! Early registration until June 9.
http://conf.researchr.org/
*** RESEARCH PROGRAM ***
ISSTA list of accepted papers:
http://conf.researchr.org/
SPIN list of accepted papers:
http://conf.researchr.org/
*** KEYNOTE SPEAKERS ***
ISSTA
Christopher Kruegel, UCSB
Armando Solar-Lezama, MIT
SPIN
Domagoj Babic, Google
Byron Cook, Amazon Web Services
Gerard Holzmann, Nimble Research
*** CO-LOCATED EVENTS ***
ISSTA Doctoral Symposium
http://conf.researchr.org/
ISSTA Demonstrations track
http://conf.researchr.org/
TECPS 2017: Workshop on Testing Embedded and Cyber-Physical Systems
http://conf.researchr.org/
RERS Challenge 2017: Rigorous Examination of Reactive Systems
http://www.rers-challenge.org/