[Haskell] 7th ECOOP Workshop on Formal Techniques for Java-like Programs

logozzo francesco logozzo at kelen.polytechnique.fr
Thu Mar 31 11:23:07 EST 2005

		[ We apologize for multiple copies ]

                    CALL FOR CONTRIBUTIONS 

    7th ECOOP Workshop on Formal Techniques for Java-like Programs


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

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:

  - specification techniques and interface specification languages
  - specification of software components and library packages
  - automated checking and verification of program properties,
  - verification logics,
  - language semantics,
  - type systems,
  - dynamic linking and loading,
  - security.

Contributions (of up to 10 pages) 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 suggest good topics for discussion at the
workshop, or raise issues that you feel deserve the attention of the
research community.

Contributions will be formally reviewed, for originality, relevance, focus
of the workshop, and the potential to generate interesting discussions.

The workshop is intended for around 20 participants.  The workshop will be
organized into four or more sessions, each initiated by a presentation of
few related position papers by the respective participants, or the
introduction of a topic by a single speaker, and followed by discussions.

A special journal issue is planned to collect selected contributions as has
been done for the previous FTfJP workshops.

Contributions *must* be pdf format and must be accompanied by a plain-text
abstract. They should be sent to Francesco Logozzo
(Francesco.Logozzo at polytechnique.edu) by May 10, 2005.

Important dates: 

  submission of contributions  May  10, 2005
  notification                 June 10, 2005
  workshop                     July 25 or 26, 2005

Program Committee: 

John Boyland,                  University of Winsconsin, USA
Silvia Crafa,                  University of Padua, Italy
Susan Eisenbach,               Imperial College, UK 
Cormac Flanagan,               University of California at Santa Cruz, USA
John Hatcliff,                 Kansas State University, USA
Joseph Kiniry,                 University College Dublin, Ireland
Luigi Liquori,                 INRIA Sophia-Antipolis, France
Francesco Logozzo, (co-chair)  Ecole Polytechnique, France
David Naumann,                 Stevens Institute of Technology, USA
Jan Vitek, (co-chair)          Purdue University, USA

More information about the Haskell mailing list