[Prev][Index][Thread]

FOOL 2004 - Call for Participation



[----- The Types Forum, http://www.cis.upenn.edu/~bcpierce/types -----]

                    Call for Participation
                         FOOL 2004
           Foundations of Object-Oriented Languages
              A workshop co-located with POPL 2004
                       17 January 2004
                        Venice, Italy

The FOOL workshops bring together researchers who work on the
sound principles for object-oriented languages, leading to a
better understanding of the key concepts of object-oriented
languages, and to important developments in type theory,
semantics, and program verification.

Invited Speakers:
    Martin Odersky:
            Title to be announced
    Alan Schmitt:
            Native XML Processing in Object Oriented Languages

Accepted papers:
    Kathleen Fisher and John Reppy:
             A typed calculus of traits

    Tetsuo Kamina and Tetsuo Tamai:  
            A Core Calculus for Mixin-Types 

    Lorenzo Bettini, Viviana Bono, Silvia Likavec:
            A Calculus of Mixin-Based Incomplete Objects
      
    Thomas VanDrunen and Jens Palsberg:
            Visitor-Oriented Programming 

    Alex Potanin, James Noble, Dave Clarke, Robert Biddle:
           Featherweight Generic Confinement

    Paritosh Shroff and Scott Smith:
             Type Inference for First_Class Messages with Match-Functions

    Barry Jay:
            Methods for Pattern Matching Functions

Registration jointly with POPL'04:
    <URL:http://www.cs.princeton.edu/~dpw/popl/04/>.
Further information at
<URL:http://www.cis.upenn.edu/~bcpierce/FOOL/FOOL11.html>