[TYPES/announce] FOOL2014 Call For Papers, deadline approaching:9 days from now

[Marco Servetto]

Final Call For Papers

                      21th International Workshop on
                  Foundations of Object-Oriented Languages
                               (FOOL 2014)
                    A Workshop of SPLASH (OOPSLA) 2014
                    Portland, Oregon, United States.

                   http://2014.splashcon.org/track/fool2014

Important dates:
- August 15, 2014 Abstract submission **9 days from now**
- August 23, 2014 Full paper submission
- September 26, 2014 Notification
- October 10, 2014 Paper due for informal proceedings
- October 20, 2014 Workshop


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.

Submissions for this event are invited in the general area of
foundations of object-oriented languages. Topics of interest include
language semantics, type systems, type modifiers, memory models,
program verification, object capabilities, formal calculi, concurrent
and distributed languages, database languages, and language-based
security issues.

Papers are welcome to include formal descriptions and proofs, but
these are not required; the key consideration is that papers should
present novel and valuable ideas or experiences. The main focus in
selecting workshop contributions will be the intrinsic interest and
timeliness of the work, so authors are encouraged to submit polished
descriptions of work in progress as well as papers describing
completed projects.

We solicit submissions on original research not previously published
or currently submitted for publication elsewhere. The program chair
should be informed of any related submissions; see the ACM SIGPLAN
Republication Policy. Submissions should be PDF in standard SIGPLAN
10pt conference format for a US-letter size page. While submissions
can be up to 12 pages, shorter papers describing promising preliminary
work are also encouraged. Papers must be submitted electronically via
EasyChair (www.easychair.org/conferences/?conf=fool2014).


***NEW: Future of Object-Oriented Foundations session at FOOL 2014***

Over the past 20 years, research presented at FOOL has lead to a more
solid understanding of the foundations of today's object-oriented
programming languages.  At the same time, new object-oriented
languages and concepts are constantly being proposed, and there remain
core topics that have not yet been fully explored.  This year at FOOL
2014, we will hold a special session on the Future of Object-Oriented
Foundations (FOOF).  For this session, we solicit short papers as well
as brief position statements regarding future research in
object-oriented foundations:
 - A short paper will have the same format as regular submissions to
FOOL, and will be reviewed in a similar way, but will be limited to 4
pages.
 - A position statement includes a title, authors, and 2-3 paragraphs
of text summarizing the position.  These will be lightly evaluated to
ensure the position is of interest to the community.

Authors of short papers will be given short presentation slots to
present them in the FOOF session.  One author of each position
statement will be invited to participate in an panel related to the
position statement's topic.  Possible topics include, but are not
limited to: brands, tags, and pattern matching; module systems and
modularity; protocols, typestate, and sessions; ownership,
permissions, and immutability; concurrent and distributed object
models; OO logics and reasoning; and gradual/hybrid types and
verification.

An informal proceedings will be made publicly available on the web
page. However, presentation at FOOL does not count as prior
publication, and many of the results presented at FOOL have later been
published at ECOOP, OOPSLA, POPL, and other main conferences.

Program Committee

Ferruccio Damiani
  (University of Turin)
Sophia Drossopoulou
  (Imperial College London)
Truong Anh Hoang
  (VNU University of Engineering and Technology)
Hidehiko Masuhara
  (Tokyo Institute of Technology)
Rosemary Monahan
  (National University of Ireland, Maynooth)
Alex Potanin
  (Victoria University of Wellington)
Sukyoung Ryu
  (Korea Advanced Institute of Science and Technology)
Marco Servetto
  (Victoria University of Wellington)
Thomas Wies
  (New York Univeristy)
Tobias Wrigstad
  (Uppsala University)
 Elena Zucca
  (University of Genova,)

--------------
Organizers
Marco Servetto
    (Victoria University of Wellington)
James Noble
  (Victoria University of Wellington)
Jonathan Aldrich
  (Carnegie Mellon University )

-------------------------
Steering Committee
Jeremy Siek
  (Indiana University Bloomington)
John Boyland
  (University of Wisconsin-Milwaukee)
Atsushi Igarashi
  (Kyoto University)
Shriram Krishnamurthi
  (Brown University)
James Noble
  (Victoria University of Wellington)
Elena Zucca
  (University of Genoa)
-------------- next part --------------
A non-text attachment was scrubbed...
Name: fool-2014-cfp.pdf
Type: application/pdf
Size: 63882 bytes
Desc: not available
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20140807/4b98a381/attachment-0001.pdf>