[TYPES/announce] FOOL '08: Call for Participation
Christopher A. Stone
stone at cs.hmc.edu
Mon Dec 3 11:50:56 EST 2007
CALL FOR PARTICIPATION
2008 International Workshop
on
Foundations of Object-Oriented Languages
FOOL '08
http://fool08.kuis.kyoto-u.ac.jp/
Sponsored by ACM SIGPLAN
January 13, 2008
San Francisco, California, USA
Following POPL '08
The search for sound principles for object-oriented languages has
given rise
to much work during the past two decades, leading to a better
understanding of
the key concepts of object-oriented languages and to important
developments in
type theory, semantics, program verification, and program
development. The
FOOL workshops bring together researchers to share new ideas and
results in
these areas.
The next workshop, FOOL '08, will be held in San Francisco,
California, on
Saturday January 13, 2008, the day after POPL '08. Eight contributed
papers
will be presented, along with invited talks.
To register for the workshop, use the standard POPL registration form,
available through:
http://www.regmaster.com/conf/popl2008.html
The POPL early registration deadline ends ****December 13th****.
Please make
your hotel arrangements as soon as possible.
To keep down the cost of registration, we will not be providing printed
proceedings. All papers will be available online before the workshop,
so you
may print the papers you wish to have on hand.
------------------------------------------------------------------------
--
Program:
OOMatch: Pattern Matching as Dispatch in Java
Adam Richard and Ondrej Lhotak
Type Safe Nondeterminism - A Formal Semantics of Java Threads
Andreas Lochbihler
A Unified Framework for Verification Techniques for Object Invariants
Sophia Drossopoulou, Adrian Francalanza and Peter Mueller
Safe Type-level Abstraction in Scala
Adriaan Moors, Frank Piessens and Martin Odersky
A Step-indexed Semantics of Imperative Objects
Catalin Hritcu and Jan Schwinghammer
Computational Soundness and Adequacy for Typed Object Calculus
Johan Glimming
Ownership Type Systems and Dependent Classes
Werner Dietl and Peter Mueller
A Theory of Linear Objects
Matthew Kehrt and Jonathan Aldrich
PLUS invited speakers (TBA)
------------------------------------------------------------------------
--
Program Committee:
Jonathan Aldrich (Carnegie Mellon University)
Susan Eisenbach (Imperial College)
Manuel Fahndrich (Microsoft Research)
Cormac Flanagan (University of California, Santa Cruz)
Matthew Flatt (University of Utah)
Jacques Garrigue (Nagoya University)
Atsushi Igarashi (Kyoto University) [Chair]
Matthew Parkinson (University of Cambridge)
Julian Rathke (University of Southampton)
Frank Tip (IBM)
Tobias Wrigstad (Stockholm University)
------------------------------------------------------------------------
---
More information about the Types-announce
mailing list