[TYPES/announce] FOOL'11: CALL FOR PARTICIPATION

Elena Zucca zucca at disi.unige.it
Mon Sep 19 08:53:54 EDT 2011


[Apologies for cross-postings]

CALL FOR PARTICIPATION: 2011 International Workshop on Foundations of Object-Oriented Languages (FOOL'11)
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. 

Portland, Oregon, USA, 23 October 2011
During the workshop days of SPLASH/OOPSLA

The list of invited talks and accepted papers is now available on the workshop website:
http://www.disi.unige.it/person/ZuccaE/FOOL2011

Registration is now open:
http://splashcon.org/2011/attending/registering
(early registration ends September, 23).



======================================================== 
  Elena Zucca                    | tel.:  +39-010-353 6730
  DISI                                   | fax:   +39-010-353 6699
  Univ. di Genova              | email: zucca at disi.unige.it
  via Dodecaneso 35        | ftp:   ftp.disi.unige.it/person/ZuccaE
  16146 Genova, ITALY   | http://www.disi.unige.it/person/ZuccaE
========================================================



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20110919/b8bc0cb7/attachment.html>


More information about the Types-announce mailing list