22-28 Jul 2017
Heidelberg, Germany
******************************************************************
CALL FOR PARTICIPATION
Computer-Aided Verification, 29th International Conference
CAV 2017
Heidelberg, Germany, 22-28 July 2017
http://www.cavconference.org/2017
******************************************************************
TL;DR Early registration: June 14, 2017; Hotel booking deadlines: early
June, 2017
We hope to welcome you at CAV -- we have an exciting program!
-- ABOUT CAV --
CAV 2017 is the 29th in a series dedicated to the advancement of the
theory and practice of computer-aided formal analysis methods for hardware
and
software systems. The conference covers the spectrum from theoretical
results to
concrete applications, with an emphasis on practical verification tools and
the algorithms
and techniques that are needed for their implementation. Along with the main
conference, CAV will feature eight workshops (including a special workshop
in honor
of David Dill) and tutorials.
Highlights:
-- WORKSHOPS (22-23 July)
-- VERIFICATION MENTORING WORKSHOP (23 July)
-- SPECIAL WORKSHOP Dill@60 in Honor of David Dill (24 July)
-- MAIN CONFERENCE (24-28 July)
-- INVITED SPEAKERS --
* Chris Hawblitzel, Microsoft Research
* Marta Kwiatkowska, Oxford
* Viktor Vafeiadis, MPI-SWS
* Winner of the CAV award (to be announced at the conference)
-- INVITED TUTORIALS
* Loris D?Antoni, University of Wisconsin-Madison: The power of symbolic
automata and transducers
* Mayur Naik, University of Pennsylvania: Maximum Satisfiability in
Software Analysis: Applications and Techniques
-- PUBLIC LECTURE ``Logic Lounge'' in memory of Helmut Veith
* Fabiana Zollo: Social Dynamics in the Post-Truth Society: How the
Confirmation Bias is Changing the Public Discourse
-- CONTRIBUTED PAPERS --
See the list of accepted papers at the conference website.
-- SATELLITE EVENTS (22-23 July) --
7 satellite workshops will take place before CAV 2017.
Check their calls for papers and consider contributing!
? SYNT ? Sixth Workshop on Synthesis (July 22)
? DARS ? Design and Analysis of Robust Systems (July 22)
? NSV/Rise4CPS ? Numerical Software Verification and Formal Methods
for Rigorous Systems Engineering of Cyber-Physical Systems (July 22-23)
? SMT ? Satisfiability Modulo Theories (July 22-23)
? VSTTE ? Verified Software: Theories, Tools, and Experiment (July
22-23)
? VMW ? Verification Mentoring Workshop (July 23)
? FEVER ? Formal Approaches to Explainable VERification (July 23)
-- REGISTRATION --
Early registration is until
Wednesday, June 14, 2017 (AOE).
http://cavconference.org/2017/registration/
-- VENUE --
Workshops will be organized at the Crowne Plaza hotel in Heidelberg City
Center.
The conference will be organized at the beautiful Heidelberg Stadthalle by
the River Neckar.
-- ACCOMMODATION --
The organizers have negotiated special rates from several hotels in
Heidelberg.
To benefit from those, follow the instructions on the conference
website. The offers expire on different dates on or before the early
registration
deadline.
Heidelberg is a busy tourist destination in July. It is important to book
your
hotel as soon as possible!
-- HOST CITY --
Heidelberg is a picturesque city one the river Neckar at the heart of the
'Rhine-Neckar Triangle' in western Germany.
It is renowned for its medieval castle, its old university (founded in
1386) and "Philosopher's Walk,"
and its historic old town. It is a cosmopolitan and vibrant college town
with a rich academic and cultural tradition
(including a 16th century Student Jail for mischievous students :-o).
https://en.wikipedia.org/wiki/Heidelberg
July is warm and sunny for the most part. It is also high tourist season.
-- ORGANIZERS --
We hope to welcome you to CAV 2017!
Viktor Kuncak (EPFL)
Rupak Majumdar (MPI-SWS)
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam