Ciao-users May 2015

ciao-users@cliplab.org

2 participants
2 discussions

EXTENDED DEADLINE: Horn Clauses for Verification and Synthesis (HCVS)
by Jorge A Navas 24 May '15

24 May '15

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.

1 0

PADL 2015 - Call for Participation
by Enrico Pontelli 07 May '15

07 May '15

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

1 0

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

Ciao-users May 2015