Call for Papers
Horn Clauses for Verification and Synthesis (HCVS)
July 19, 2015 · San Francisco, USA
Submission deadlines:
- paper submission: May 22, 2015
- EXTENDED paper submission: May 28, 2015
- paper notification: June 10, 2015
Most Program Verification and Synthesis problems of interest can be
modeled directly using Horn clauses and many recent advances in the
CLP and CAV communities have centered around efficiently solving
problems presented as Horn clauses.
This workshop aims to bring together researchers working in the two
communities of Constraint/Logic Programming (e.g., ICLP and CP) and
Program Verification community (e.g., CAV, TACAS, and VMCAI) on the
topic of Horn clause based analysis, verification and synthesis.
Horn clauses for verification and synthesis have been advocated by
these two communities in different times and from different
perspectives and this workshop is organized to stimulate interaction
and a fruitful exchange and integration of experiences.
Topics of interest include, but are not limited to the use of Horn
clauses, constraints, and related formalisms in the following areas:
- Analysis and verification of programs in various programming
paradigms (e.g., imperative, object-oriented, functional, logic,
higher-order, concurrent)
- Program synthesis
- Program testing
- Program transformation
- Constraint solving
- Type systems
- Case studies and tools
- Challenging problems
We solicit regular papers describing theory and implementation of
Horn-clause based analysis and tool descriptions. We also solicit
extended abstracts describing work-in-progress and presentations
covering previously published results that are of interest to the
workshop.
Invited speakers:
- Ranjit Jhala, University of California at San Diego
- Joxan Jaffar, National University of Singapore
Program Committee:
Elvira Albert (Complutense University of Madrid)
Nikolaj Bjorner (Microsoft Research)
Gregory J. Duck (National University of Singapore)
Fabio Fioravanti (University of Chieti-Pescara)
John Gallagher (Roskilde University and IMDEA-Software Madrid)
Arie Gurfinkel (Software Engineering Institute, Carnegie Mellon
University) - chair
Radu Grigore (University of Oxford)
Konstantin Korovin (Manchester University)
Viktor Kuncak (EPFL)
David Monniaux (CNRS/Verimag)
Jorge A. Navas (NASA) - chair
Corneliu Popeea (CQSE)
Maurizio Proietti (IASI-CNR, Italy)
Philipp Ruemmer (Uppsala University, Department of Information Technology)
Andrey Rybalchenko (Microsoft Research)
Valerio Senni (ALES srl)
Peter Stuckey (University of Melbourne)
Yakir Vizel (Princeton University)
The submission format is up to 12 pages plus bibliography for regular
papers and 1 to 3 pages (for work-in-progress), both in EPTCS format.
Original accepted papers will be published electronically as a volume
in the Electronic Proceedings in Theoretical Computer Science (EPTCS)
series, see http://www.eptcs.org/
Authors of accepted papers are required to ensure that at least one of
them will be present at the workshop. Papers must be submitted
through the EasyChair system using the web page:
https://easychair.org/conferences/?conf=hcvs2015.
CALL for PARTICIPATION
==================
17th International Symposium on
Practical Aspects of Declarative Languages (PADL 2015)
http://www.cs.nmsu.edu/padl15 <http://www.cs.nmsu.edu/padl15>
Portland, Oregon, June 18-19, 2015
Part of ACM Federated Computing Research Conference
Preliminary Schedule
===============
The preliminary program of PADL 2015 is now available at
http://www.cs.nmsu.edu/padl15 <http://www.cs.nmsu.edu/padl15>. The accepted papers for the
symposium are:
* Reactive Single-Page Applications with Dynamic Dataflow
Simon Fowler, Loic Denuziere and Adam Granicz.
* On Compiling Linear Logic Programs with Comprehensions,
Aggregates and Rule Priorities
Flavio Cruz and Ricardo Rocha.
* Declaratively solving Google Code Jam problems with Picat
Sergii Dymchenko and Mariia Mykhailova.
* Programming Microcontrollers in OCaml: the OCaPIC Project
Benoit Vaugon, Philippe Wang and Emmanuel Chailloux.
* On logic programming representations of lambda terms: de
Bruijn indices, compression, type inference, combinatorial
generation, normalization
Paul Tarau.
* Implementation and Performance of Probabilistic Inference
Pipelines
Dimitar Shterionov and Gerda Janssens.
* CHR(Curry): Interpretation and Compilation of Constraint
Handling Rules in Curry
Michael Hanus.
* Ontology-Driven Data Semantics Discovery for Cyber-Security
Marcello Balduccini, Sarah Kushner and Jacquelin Speck.
* A Haskell Implementation of a Rule-Based Program
Transformation for C Programs
Salvador Tamarit, Guillermo Vigueras, Manuel Carro and
Julio Mariño.
* State Space Planning Using Transaction Logic
Reza Basseda.
The Symposium will feature two invited speakers - please visit
the web site for updates.
Conference Description
=================
PADL is a forum for researchers and practitioners to present
original work emphasizing novel applications and implementation
techniques for all forms of declarative concepts, including,
functional, logic, constraints, etc. Topics of interest include, but
are not limited to:
* Innovative applications of declarative languages
* Declarative domain-specific languages and applications
* Practical applications of theoretical results
* New language developments and their impact on applications
* Declarative languages and software engineering
* Evaluation of implementation techniques on practical applications
* Practical experiences and industrial applications
* Novel uses of declarative languages in the classroom
* Practical extensions such as constraint-based, probabilistic, and
reactive languages.
PADL 2015 welcomes new ideas and approaches pertaining to
applications and implementation of declarative languages. PADL 2015 will
be co-located with the ACM Federated Computing Research Conferences, in
Portland, Oregon.
CONFERENCE REGISTRATION
=====================
Please visit the conference web site for information about
registration and travel accommodations.
--------------------
College of Arts & Sciences
New Mexico State University
Las Cruces, NM 88003