[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

[Apologies for cross-postings]

CALL FOR PAPERS: 2011 International Workshop on Foundations of Object-Oriented 
Languages (FOOL'11)

Portland, Oregon, USA, 23 October 2011
During the workshop days of SPLASH/OOPSLA
http://www.disi.unige.it/person/ZuccaE/FOOL2011

IMPORTANT DATES 

     Abstract submission: Friday, 5 August 2011
     Paper submission: Friday, 12 August 2011
     Notification: Monday, 5 September 2011
     Final version: Friday, 7 October 2011

WORKSHOP DESCRIPTON

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'11, will be held in Portland, Oregon, USA on 
Sunday, 23 October 2011, during the workshop days at the beginning of SPLASH. 
      Submissions for this event are invited in the general area of foundations 
of object-oriented languages, including integration with other paradigms and 
extensions, such as aspects, components, meta-programming. Topics of interest 
include language semantics, type systems, program analysis and verification, 
formal calculi, concurrent and distributed languages, databases, software 
adaptation, 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. 
      A web page will be created and made available as an informal electronic 
proceedings. Historically, 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.

SUBMISSION INSTRUCTIONS

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 
(http://www.acm.org/sigs/sigplan/republicationpolicy.htm).  Submissions should 
be PDF or PostScript in standard SIGPLAN 9pt conference format for a US-letter 
size page. Templates are available at 
http://www.acm.org/sigs/sigplan/authorInformation.htm
      While submissions can be up to 12 pages, shorter papers describing 
promising preliminary work are also encouraged.  More detailed submission 
instructions will be announced on the workshop web site at 
http://www.disi.unige.it/person/ZuccaE/FOOL2011/

Program Chair: Elena Zucca (University of Genova, Italy)        e-mail: 
zu...@disi.unige.it

Program Committee: Wei Ngan Chin (University of Singapore, Singapore), 
Ferruccio Damiani (University of Torino, Italy), Werner M. Dietl (University of 
Washington, USA), Dino Distefano (Queen Mary University of London and Monoidics 
Ltd, UK), Sophia Drossopoulou (Imperial College London, UK), Erik Ernst (Aarhus 
University, Denmark), Atsushi Igarashi (Kyoto University, Japan), Donna 
Malayeri (EPFL, Switzerland),  Jan Smans (Katholieke Universiteit Leuven, 
Belgium)

Steering Committee: Jonathan Aldrich (Carnegie Mellon University) [Chair], 
Viviana Bono (University of Torino, Italy), Atsushi Igarashi (Kyoto University, 
Japan), James Noble (University of Wellington, New Zealand), John Reppy 
(University of Chicago, USA), Jeremy Siek (University of Colorado, USA)

Reply via email to