[TYPES/announce] FOOL'11: CALL FOR PARTICIPATION
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:
Registration is now open:
(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...
More information about the Types-announce