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

Rosemary.Monahan at nuim.ie Rosemary.Monahan at nuim.ie
Thu Mar 5 13:08:40 CET 2015

17th Workshop on Formal Techniques for Java-like Programs
  Co-located with  2015
7 July 2015, Prague, Czech Republic
 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
- 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://web.satd.uma.es/pipermail/ecoop-info/attachments/20150305/46c005db/attachment.html>

More information about the ecoop-info mailing list