HCVS Call for Papers
HCVS 2014 – Workshop on Horn Clauses for Verification and Synthesis
July 17, 2014 · Vienna, Austria
Also available as PDF.
Important Dates
| Abstract submission: | TBA |
| Paper submission: | TBA |
| Notification: | TBA |
| Camera ready: | TBA |
| Workshop: | July 17, 2014 |
Aims and Scope
Paper Submissions
Program Committee
- Elvira Albert (Complutense University of Madrid)
- Roberto Bagnara (University of Parma and BUGSENG)
- Nikolaj Bjorner (Microsoft Research) - chair
- Swarat Chaudhuri (Rice University)
- Gregory J. Duck (National University of Singapore)
- Fabio Fioravanti (University of Chieti-Pescara) - chair
- John Gallagher (Roskilde University)
- Arnaud Gotlieb (SIMULA Research Laboratory)
- Arie Gurfinkel (Software Engineering Institute, Carnegie Mellon University)
- Konstantin Korovin (Manchester University)
- Viktor Kuncak (EPFL)
- Ken Mcmillan (Microsoft Research)
- Jorge Navas (NASA Ames Research Center)
- Corneliu Popeea (CQSE GmbH)
- Maurizio Proietti (IASI-CNR, Rome, Italy)
- C. R. Ramakrishnan (University at Stony Brook)
- Grigore Rosu (University of Illinois at Urbana-Champaign)
- Philipp Ruemmer (Uppsala University, Department of Information Technology)
- Andrey Rybalchenko (Microsoft Research) - chair
- Valerio Senni (ALES Srl) - chair