[TYPES/announce] CAV 2013 - Call for Participation

[Hana Chockler]

CALL FOR PARTICIPATION

25th International Conference on Computer Aided Verification (CAV 2013)
July 13–19, 2013

Sokos Hotel Palace Bridge, St. Petersburg, Russia

URL: http://cav2013.forsyte.at

HIGHLIGHTS OF CAV
. 53 regular papers, 16 tool papers, 3 invited talks, 4 invited tutorials
. 25th Anniversary Panel on the Future of CAV
. Special tracks on Hardware Verification, Security, SAT/SMT, and Biology
. Details at http://cav2013.forsyte.at

REGISTRATION FOR CAV AND WORKSHOPS
. Early Registration Deadline: May 20, 2013
. Regular Registration Deadline: July 1, 2013

HOTEL REGISTRATION
. Hotel Registration Deadline: June 1, 2013
. http://cav2013.forsyte.at/accommodation/#booking
*** Please note that due to the famous White Nights, July is touristic
high season in St. Petersburg, and hotels may be expensive after the
deadline.

VISAS TO RUSSIA
. Information at http://cav2013.forsyte.at/visa/
*** Please start the visa application process EARLY!!!
*** For some countries including the US, the visa processing
*** may take several weeks and requires substantial paper work.

CAV INVITED SPEAKERS

. Jennifer Welch (Texas A&M University)
Challenges for Formal Methods in Distributed Computing

. Jeannette Wing (Microsoft Research International)
Formal Methods from an Industrial Perspective

. Maria Vozhegova (Sberbank)
Information Technology in Russia


CAV INVITED TUTORIAL SPEAKERS

. Cristian Cadar (Imperial College London)
Dynamic Symbolic Execution

. David Harel (The Weizmann Institute of Science)
Can we Computerize an Elephant? On the Grand Challenge of Modeling a
Complete Multi-Cellular Organism

. Andreas Podelski (University of Freiburg)
Software Model Checking for People who Love Automata

. Andrei Voronkov (The University of Manchester)
First-Order Theorem Proving and Vampire


ASSOCIATED WORKSHOPS AND ORGANIZERS

6th International Workshop on Exploiting Concurrency Efficiently and
Correctly
Zvonimir Rakamaric (Univ. of Utah)

Fun with Formal Methods
Nikolay V. Shilov (A.P. Ershov Institute of Informatics Systems)

Interpolation: From Proofs to Applications
Laura Kovács (TU Vienna)
Georg Weissenbacher (TU Vienna)

Second International Workshop on Memory Consistency Models
Jade Alglave (Univ. College London)
Michael Tautschnig (Univ. of Oxford)

Second CAV Workshop on Synthesis
Bernd Finkbeiner (Universität des Saarlandes)
Armando Solar-Lezama (MIT)

Verification and Assurance
Sam Owre (SRI)
John Rushby (SRI)
Natarajan Shankar (SRI)

Verification of Embedded Systems
Alexander Petrenko (Moscow State University)
Yuri Karpov (Saint-Petersburg State Polytechnic University)

Verification and Program Transformation
Alexei Lisitsa (Univ. of Liverpool)
Andrei Nemytykh (Program Systems Institute RAS)

WORKSHOP INVITED SPEAKERS

Amir M. Ben-Amram (Academic Colledge of Tel-Aviv-Yaffo)
Robin Bloomfield (City University London, Adelard)
Rastislav Bodík (University of California, Berkeley)
Bernd Finkbeiner (Universität des Saarlandes)
Malay Ganai (NEC Laboratories America)
Pavel Hrubeš (University of Washington)
Yuri Karpov (Saint-Petersburg State Polytechnic University)
Jérôme Leroux (ICNRS, LaBRI, Bordeaux)
Ken McMillan (Microsoft Research)
Satish Narayanasamy (University of Michigan)
Alberto Pettorossi (Università di Roma Tor Vergata,
    Istituto di Analisi dei Sistemi ed Informatica "A. Ruberti")
Shaz Qadeer (Microsoft Research, Redmond)
John Rushby (SRI International, California)
Koushik Sen (University of California, Berkeley)
Marc Shapiro (INRIA Paris-Rocquencourt)
Simon Thompson (University of Kent)
Andrei Voronkov (University of Manchester, EasyChair)

PROGRAM CO-CHAIRS
. Natasha Sharygina (Univ. of Lugano)
. Helmut Veith (TU Wien)

TRACK CHAIRS
. Armin Biere (Hardware Verification)
. Somesh Jha (Computer Security)
. Nikolaj Bjoerner (SAT/SMT)
. Jasmin Fisher (Biology)
. Roderick Bloem (Tools)

WORKSHOP CHAIR
. Igor Konnov, TU Vienna

PROCEEDINGS CHAIR
. Georg Weissenbacher, TU Vienna

PUBLICITY CHAIR
. Hana Chockler, IBM Research

PRESS AND PUBLIC RELATIONS
. Katarina Jurik, TU Vienna

ORGANIZATION COMMITTEE
. Irina Shoshmina, St. Petersburg State Polytechnical University (chair)
. Yuri Karpov, St. Petersburg State Polytechnical University
. Dmitry Koznov, St. Petersburg State University
. Yuri Matiyasevich, St.Petersburg Department of V.A.Steklov Institute of
Mathematics
. Boris Sokolov, St. Petersburg Institute for Informatics and Automation
SPII RAS
. Tatiana Vinogradova, the Euler International Mathematical Institute
. Nadezhda Zalesskaya, the Euler International Mathematical Institute
. Thomas Pani, TU Vienna
. Yulia Demyanova, TU Vienna
. Francesco Alberti, Univ. of Lugano
. Antti Hyvärinen, Univ. of Lugano
. Simone Fulvio Rollini, Univ. of Lugano
. Grigory Fedyukovich, Univ. of Lugano

STEERING COMMITTEE
. Michael J.C. Gordon, Cambridge
. Orna Grumberg, Technion
. Robert Kurshan, Cadence Inc
. Kenneth L. McMillan, Microsoft Research

INDUSTRIAL SPONSORS
. Microsoft Research
. Facebook
. Coverity
. IBM
. Jasper
. NEC
. Cadence
. Intel
. Monoidics
. Springer

ACADEMIC SPONSORS
. University of Lugano
. Vienna University of Technology
. St. Petersburg State Polytechnical University
. Russian Academy of Science, St. Petersburg Department of
the Steklov Institute for Mathematics, Euler International
Mathematical Institute
. The Kurt Gödel Society