Profile cover photo
Profile photo
Werner Dietl
About
Posts

Post has shared content
Add a comment...

Post has shared content

Post has shared content
FTfJP 2016 - Call for papers

18th Workshop on Formal Techniques for Java-like Programs
Co-located with ECOOP 2016 - 19 July 2016, Rome, Italy

http://2016.ecoop.org/track/FTfJP-2016

***************************************************************


IMPORTANT DATES

Submission deadline: April 15, 2016 (AoE)
Notification of acceptance: May 13
Workshop: July 19


OVERVIEW

Formal techniques can help analyze programs, precisely describe program behavior, and verify program properties.  Languages such as Java, C#, and Scala are interesting targets for formal techniques due to their ubiquity and large installed base, stable and well-defined interfaces and platforms, powerful (but also complex) libraries. The rising deployment in smart cards and mobile computing raises concerns about security and demands new methods to counter new possibilities for abuse.

Work on formal techniques and tools and work on the formal underpinnings of programming languages themselves naturally complement each other.
This workshop aims to bring together people working in both 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
* Security

The workshop welcomes a wide range of submissions (see below), such as technical contributions, case studies, challenge proposals, and position papers. Just as the number and the feature set of Java-like languages is expanding, the term "Java-like" is also to be understood broadly.


SUBMISSIONS AND PROCEEDINGS

Contributions are sought on open questions, new developments, or interesting new applications of formal techniques in the context of Java or similar languages. Contributions are possible in two formats:

* full  papers (up to 6 pages in the ACM 2-column style)
* short papers (up to 2 pages in the ACM 2-column style)

Submissions should strive not merely to present completely finished work, but also raise challenging open problems or propose speculative new approaches. Case studies, reports from competitions, and other experience reports  should identify lessons learned, reflect on the state of the art, or clearly motivate further research.

We particularly welcome (clearly marked) position and discussion papers that may 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 specific well-motivated challenges within the workshop scope.

Contributions will be formally reviewed for originality, relevance, and the potential to generate interesting discussions. 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 be organizing a special journal issue as a follow-up to the workshop, as has been done for some of the previous FTfJP workshops. Contributions must be in English, in PDF format, and follow the format outlined above.
Authors of accepted papers are required to ensure that at least one of them will be present at the workshop. 

Instructions for submitting can be found on the workshop site:

http://2016.ecoop.org/track/FTfJP-2016


PROGRAM COMMITTEE

Davide Ancona, Università degli studi di Genova, IT
Richard Bubel, Darmstadt Technical University, DE
Delphine Demange, University of Rennes 1, FR
Pietro Ferrara, Julia Srl, IT
Carlo Furia, Chalmers Techincal University, SE
Vladimir Klebanov (chair), Karlsruhe Institute of Technology, DE
Andrzej Murawski, University of Warwick, UK
Gustavo Petri, Université Paris Diderot-Paris 7, FR
Nadia Polikarpova, MIT, US
Alex Potanin, Victoria University of Wellington, NZ
Bent Thomsen, Aalborg Universitet, DK
Oksana Tkachuk, NASA Ames, US


CONTACT

klebanov@kit.edu
Add a comment...

Post has shared content
The 18th Workshop on Formal Techniques for Java-like Programs (FTfJP) will be co-located with ECOOP 2016. Submission deadline is on 15 Apr 2016. More info at http://2016.ecoop.org/track/FTfJP-2016
Add a comment...

Post has shared content
Congratulations to the recipients of the Fall 2015 Google Research Awards!  After expert reviews and committee discussions, we decided to fund 151 projects from the 950 proposals we received from across the world. Learn more about the program, and the recipients, on the Google Research blog.
Add a comment...

Post has shared content
The ECOOP submission deadline is approaching. This year we have a young, energetic PC, and in keeping with ECOOP tradition, we believe in thoughtful and careful reviewing. So, your paper will get a fair hearing and fair shake. I'm very much looking forward to working with this PC.
Add a comment...

Post has shared content

Post has shared content
Add a comment...

Post has shared content

Post has attachment
Add a comment...
Wait while more posts are being loaded