[TYPES/announce] Second call for papers: PrePost (Pre- and Post-Deployment Verification Techniques)

Adrian Francalanza adrian.francalanza at um.edu.mt
Mon Feb 22 23:26:01 EST 2016


Second call for papers 

PrePost (Pre- and Post-Deployment Verification Techniques)

First International Workshop 
(Affiliated with iFM 2016)
http://icetcs.ru.is/prepost/ <http://icetcs.ru.is/prepost/>
Reykjavik, 4 June 2016

Scope
The workshop aims to bring together researchers working in the field of computer-aided validation and verification to discuss the connections and interplay between pre- and post-deployment verification techniques. Examples of the topics covered by the workshop are the relationships between classic model checking and testing on the one hand and runtime verification and statistical model checking on the other, and between type systems that may be checked either statically or dynamically through techniques such as runtime monitoring. Relevant topics also include the synthesis of runtime adaptation and enforcement mechanisms from correctness specifications, as well as combining deductive verification with runtime verification. Contributions related to tools and applications of pre- and post-deployment verification will also be welcome.

Important Dates

Paper submission 	
March 4, 2016
Notification of acceptance	
April 1, 2016
Camera ready version	
April 15, 2016
Conference iFM 2016	
June 1-3, 2016
Workshop PrePost 2016	
June 4, 2016

Topics of Interest

PrePost welcomes papers of either theoretical or applied interest, including case studies or experience reports dealing with the interplay between any of the pre- and post-verification techniques mentioned below:
Model Checking 
Runtime Verification 
Type Systems 
Testing 
Program Logics
Monitoring, Enforcement and Adaptation
Deductive Verification
Submission
We solicit the submission of original and unpublished contributions not under review for publication elsewhere. Contributions are expected to comprise research papers (with novel, previously unpublished results), experience reports of real-world applications, tool descriptions, as well as work-in-progress or exploratory ideas. All papers must be prepared in LaTeX using the EPTCS style <http://style.eptcs.org/>.

Full papers should not exceed 15 pages (typeset 11 points).
Short papers should not exceed 8 pages.
Additional details omitted due to space limitations may be included in a clearly marked appendix. Submissions must describe work unpublished in refereed venues, not submitted elsewhere. Contributions should be submitted in PDF format through the 

>>> EasyChair online submission system <<< <https://easychair.org/conferences/?conf=pepodevete2016>
https://easychair.org/conferences/?conf=pepodevete2016
 <https://easychair.org/conferences/?conf=pepodevete2016>Submission of a paper involves a firm commitment that at least one of the authors will attend and participate in the workshop in case the paper is accepted.

Publication
All contributions will be evaluated by at least three reviewers, chosen by the Program Committee. The PC will select the best papers based on their quality, relevance to the workshop, and potential to instigate discussion. All accepted papers will be included in the workshop proceedings, which will be published as a volume of the EPTCS <http://www.eptcs.org/> series.

Invited Speakers
Dino Distefano <http://www.eecs.qmul.ac.uk/%7Eddino/ddino_homepage/About_me.html> (Facebook and Queen Mary, University of London, UK) 
Kim G. Larsen <http://people.cs.aau.dk/%7Ekgl/> (Aalborg University, Denmark) 
Program Chairs
Luca Aceto (Reykjavik University, Iceland)
Adrian Francalanza (University of Malta, Malta)
Anna Ingolfsdottir (Reykjavik University, Iceland)
Program Committee
Wolfgang	Ahrendt (Chalmers University of Technology, Sweden)
Maria	Christakis (Microsoft Research Redmond, USA)
Matteo	Cimini (Indiana University Bloomington, USA)
Rance Cleaveland (University of Maryland, USA)
Christoph	Csallner (University of Texas at Arlington, USA)
Ylies	Falcone (Univ. Grenoble Alpes, Inria, Laboratoire d'Informatique de Grenoble, France)
Klaus	Havelund (Jet Propulsion Laboratory, California Institute of Technology, USA)
Ivan	Lanese (University of Bologna, Italy)
Julien Lange (Imperial College, UK)
Martin	Leucker (University of Lübeck, Germany)
Mohammadreza	Mousavi (Halmstad University, Sweden)
Jorge A.	Pérez (University of Groningen, The Netherlands)

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20160223/243d2c84/attachment.html>


More information about the Types-announce mailing list