[TYPES/announce] CfP: 17th Workshop on Formal Techniques for Java-like Programs (FTfJP at ECOOP 2015)

[Rosemary.Monahan at nuim.ie]

******************************************************************************
 CALL FOR PAPERS
17th Workshop on Formal Techniques for Java-like Programs
  Co-located with  2015
7 July 2015, Prague, Czech Republic
http://2015.ecoop.org/track/FTfJP-2015-papers
  ******************************************************************************
 Formal        techniques can help analyse programs, precisely describe  program        behaviour, and verify program properties. Languages such as   Java,    C#,    and Scala provide good platforms to bridge the gap  between    formal     techniques and practical program development,  because of   their      reasonably clear semantics and standardized  libraries.   Moreover, these      languages are interesting targets for  formal   techniques, because the      novel paradigm for program  deployment   introduced with Java, with its      improved portability  and mobility,   opens up new possibilities for   abuse    and causes  concern about   security.  
 Work        on formal techniques and tools for programs and work on the  formal       underpinnings of programming languages themselves naturally    complement     each other. This workshop aims to bring together  people   working in  both    these fields, on topics such as:
   - Language 	Semantics
 	
 - Specification 	techniques and languages
 	
 - Verification 	of program properties
 	
 - Verification 	logics
 	
 - Dynamic 	program analysis
 	
 - Static 	program analysis
 	
 - Type 	systems
 	
 - Challenge 	problems and solutions
 	
 - Security
 	 

 For details of previous workshops, visit http://www.cs.ru.nl/ftfjp/
  --------------------------
Call for contributions
-------------------------- Contributions        (of up to 6 pages in the ACM 2-column style) are sought on open        questions, new developments, or interesting new applications of   formal      techniques in the context of Java or similar languages.    Contributions     should not merely present completely finished work,    but also raise     challenging open problems or propose speculative new    approaches.  
  We        particularly welcome contributions that simply present suitable      topics   for discussion at the workshop, or raise issues that you  feel     deserve   the attention of the research community. Examples  include     future work   identified from existing research, potential  PhD     proposals, and   experience reports from case  studies/competitions.     Contributions will be   formally reviewed for  originality, relevance,     and the potential to   generate interesting  discussions.
  The        workshop will be organized into sessions, each focused on a    specific     topic. These sessions will be initiated by a presentation    of related   position papers by   the respective participants, or the    introduction  of  the specific topic   by a single speaker, and  followed   by  discussion.  These discussions aim   to share common  experiences,    provide  constructive feedback, and build   potential  research    collaborations.
  Accepted        papers will have the option of being published in the ACM Digital        Library. In addition, depending on the nature of the  contributions,   we   may organize a special journal issue as a  follow-up to the     workshop,   as has been done for some of the  previous  workshops.
  Contributions       must be in English, in   format, and are limited to 6 pages in ACM       2-column style. Papers must  be submitted electronically via Easy    Chair.    All deadlines are at 23:59  American Samoa time (that is,    -11).
  Any        PC member, other than the chair, may be an author or co-author on     any    paper submitted for consideration but will be excluded from  any       evaluation or discussion of the paper.
 Submission site: https://easychair.org/conferences/?conf=ftfjp2015
------------------------
Important Dates
------------------------ Paper submission: 2 April, 2015  
 Notification: 1 May, 2015
 Camera-ready: 22 May, 2015
 Workshop: 7  July, 2015
 ------------------------
Program Committee
------------------------ - Rosemary Monahan, Maynooth University, Ireland (chair)
- Truong Anh Hoang, Vietnam National University, Vietnam
- David Clarke, Uppsala University, Sweden and KU Leuven, Belg
- Jean-Christophe Filliatre, CNRS, Paris, France
- Reiner Hähnle, Technical University of Darmstadt, Germany
- Marieke Huisman, University of Twente, The Netherlands
- Atsushi Igarashi, Kyoto University, Japan
- Ruzica Piskac, Yale University, USA
- Nadia Polikarpova, MIT CSAIL, USA
- Alexander J. Summers, ETH Zurich, Switzerland
- Elena Zucca, University of Genova, Italy ---------------------------
Steering Committee
-------------------------- 
- Werner Dietl, University of Waterloo, Canada
- Sophia Drossopoulou, Imperial College, London, Great Britain
- Gary T. Leavens, University of Central Florida, Orlando, USA
- K. Rustan M. Leino, Microsoft Research, Redmond, USA
- Peter Mueller, ETH Zurich, Switzerland
- Erik Poll, Radboud University Nijmegen, The Netherlands


Further Information: http://2015.ecoop.org/track/FTfJP-2015-papers
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20150311/dea9e9b7/attachment.html>