[TYPES/announce] Call for Participation: PrePost 2016

Adrian Francalanza adrian.francalanza at um.edu.mt
Thu Apr 14 03:31:14 EDT 2016

Call for Participation 

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

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

Early registration deadline	
April 22, 2016
Conference iFM 2016	
June 1-3, 2016
Workshop PrePost 2016	
June 4, 2016

Topics of Interest

PrePost considers work 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 
Program Logics
Monitoring, Enforcement and Adaptation
Deductive Verification

Workshop Programme

9:00 - 10:00    Invited talk: Kim G. Larsen (Aalborg University). TBA
10:00 - 10:30  Coffee break 
10:30 - 10:55  Vignir Gudmundsson, Mikael Lindvall, Luca Aceto, Johann Bergthorsson and Dharmalingam Ganesan. Model-based testing of mobile systems -- an empirical study on QuizUp Android App.
10:55 - 11:20  Nafi Diallo, Wided Ghardallou and Ali Mili. Program Repair by Stepwise Correctness Enhancement. 
11:20 - 11:45  Sönke Holthusen, Sophie Quinton, Ina Schaefer, Johannes Schlatow and Martin Wegner. Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates.

12:00 - 13:30  Lunch 

13:30 - 14:30  Invited talk: Dino Distefano (Facebook and Queen Mary, University of London, UK). TBA
14:30 - 14:50  Annalizz Vella and Adrian Francalanza. Preliminary Results Towards Contract Monitorability.
14:50 - 15:10  Oleg Sokolsky, Teng Zhang, Insup Lee and Michael McDougall. Monitoring Assumptions in Assume-Guarantee Contracts.

15:10 - 15:30 Coffee break

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/20160414/38fe87d9/attachment-0001.html>

More information about the Types-announce mailing list