ECOOP 2010

June 22, Maribor (Slovenia)

12th Workshop on
Formal Techniques for Java-like Programs

Overview

Formal techniques can help analyze programs, precisely describe program behavior, and verify program properties. Newer languages such as Java and C# 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:

The call for papers deadline has passed, but you can still download the call-for-papers in HTML or in plain text format.

Draft workshop programme

Tue, June 22, 2010

8:30 - 9:00 Registration

9:00 - 10:30 Session 1: Types (Chair: Adriaan Moors)

10:30 - 11:00 Coffee break

11:00 - 12:30 Session 2: Verification (Chair: Frank Piessens)

12:30 - 14:00 Lunch

14:00 - 15:30 Session 3: Aliasing control (chair: Lars Birkedal)

15:30 - 16:00 Coffee break

16:00 - 17:00 Invited talk

Important dates

abstract submission   April 12, 2010 (optional) 
full paper submission   April 19, 2010  
notification May 5, 2010
camera-ready paper May 19, 2010
workshop June 22, 2010

Program Committee

Bernhard Beckert Karlsruhe Institute of Technology, Germany
Lars Birkedal IT University of Copenhagen, Denmark
Dino Distefano Queen Mary University of London, UK
Clément Hurlin INRIA Bordeaux, France
Bart Jacobs Katholieke Universiteit Leuven, Belgium (co-chair)
Adriaan Moors EPFL Lausanne, Switzerland
Peter Müller ETH Zurich, Switzerland
Frank Piessens Katholieke Universiteit Leuven, Belgium (chair)
Erik Poll Radboud University Nijmegen, The Netherlands
Robby Kansas State University, US
Wolfram Schulte Microsoft Research, US
Isabelle Simplot-Ryl INRIA Lille, France
Jan Smans Katholieke Universiteit Leuven, Belgium
Nikhil Swamy Microsoft Research, US
Viktor Vafeiadis University of Cambridge, UK

Organization

Sophia Drossopoulou Imperial College, London, Great Britain
Susan Eisenbach Imperial College, London, Great Britain
Bart Jacobs Katholieke Universiteit Leuven, Belgium(co-chair)
Gary T. Leavens University of Central Florida, Orlando, US
Peter Müller ETH Zurich, Switzerland
Frank Piessens Katholieke Universiteit Leuven, Belgium(chair)
Arnd Poetzsch-Heffter Universität Kaiserlautern, Germany
Erik Poll Radboud University Nijmegen, The Netherlands