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

This is a brief reminder of the PLOS 2007 workshop and its upcoming deadline.

If you apply type-based or other advanced language ideas in the implementation
of operating systems, we hope you will consider submitting a paper to PLOS '07.
See the CFP below, or visit the Web site at http://plosworkshop.org/2007/

Latest news:
               Jun 4: The PLOS 2007 submission site is now open!
               May 15: PLOS 2007 is now sponsored by ACM SIGOPS!

Best wishes ---

Eric, Marc, Robert, and Olaf
The PLOS 2007 Organizing Committee


                         (ABBREVIATED) CALL FOR PAPERS

        Fourth Workshop on Programming Languages and Operating Systems
                                  (PLOS 2007)

                               October 18, 2007
                      Skamania Lodge / Stevenson, WA, USA


                            Sponsored by ACM SIGOPS

                   Paper submission deadline: June 29, 2007

    Historically, operating system development and programming language
    development went hand-in-hand.  Today, although the systems community
    at large retains an iron grip on C, many people continue to explore
    novel approaches to OS construction based on new programming language
    ideas.  This workshop will bring together researchers and developers
    from the programming language and operating system domains to discuss
    recent work at the intersection of these fields.  It will be a platform
    for discussing new visions, challenges, experiences, problems, and
    solutions arising from the application of advanced programming and
    software engineering concepts to operating systems construction, and
    vice versa.

    Please visit the Web site for more info: http://plosworkshop.org/2007/

Reply via email to