From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.7 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 2A492BBC1 for ; Tue, 11 Mar 2008 22:10:40 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuoBALuS1kfAXQInh2dsb2JhbACQbwEBAQgKKYENmVI X-IronPort-AV: E=Sophos;i="4.25,482,1199660400"; d="scan'208";a="23646448" Received: from concorde.inria.fr ([192.93.2.39]) by mail4-smtp-sop.national.inria.fr with ESMTP; 11 Mar 2008 22:10:39 +0100 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m2BLAcKX013453 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Tue, 11 Mar 2008 22:10:39 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuoBAH+S1keA3wQTh2dsb2JhbACQbwEBAQgKKYENmVs X-IronPort-AV: E=Sophos;i="4.25,482,1199660400"; d="scan'208";a="9300467" Received: from vitalstatistix.cs.uoregon.edu ([128.223.4.19]) by mail1-smtp-roc.national.inria.fr with ESMTP; 11 Mar 2008 22:10:37 +0100 Received: from [128.223.6.166] (dyna6-166.cs.uoregon.edu [128.223.6.166]) (authenticated bits=0) by vitalstatistix.cs.uoregon.edu (8.14.2/8.14.2) with ESMTP id m2BLAKql024290 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Tue, 11 Mar 2008 14:10:21 -0700 (PDT) Message-ID: <47D6F5B1.5070404@cs.uoregon.edu> Date: Tue, 11 Mar 2008 14:12:17 -0700 From: Yannis Smaragdakis User-Agent: Thunderbird 2.0.0.12 (Windows/20080213) MIME-Version: 1.0 To: caml-list@inria.fr Subject: Oregon Programming Languages Summer School Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Virus-Scanned: ClamAV 0.92.1/6201/Tue Mar 11 09:44:55 2008 on vitalstatistix X-Virus-Status: Clean X-Greylist: Sender succeeded SMTP AUTH, not delayed by milter-greylist-4.0 (vitalstatistix.cs.uoregon.edu [128.223.4.19]); Tue, 11 Mar 2008 14:10:21 -0700 (PDT) X-Miltered: at concorde with ID 47D6F54E.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; sigplan:01 smt:01 solvers:01 compiler:01 pointers:01 rustan:01 leino:01 lerner:01 isomorphism:01 sheard:01 coq:01 weirich:01 sigplan:01 uoregon:98 eugene:98 The Oregon PL Summer School will run July 22-30, 2008 with the topic "Logic and Theorem Proving in Programming Languages". This is a very exciting topic, and we've put together a great collection of speakers. The school has a long tradition and is sponsored by the NSF, ACM SIGPLAN, and Microsoft Research. The full "Call for Participation" may be found below. Thanks, Matthew Fluet & Yannis Smaragdakis (OPLSS'08 Organizers) =========================================================================== =========================================================================== Call for Participation: Summer School on Logic and Theorem Proving in Programming Languages July 22-30, 2008 University of Oregon (Eugene, Oregon) http://www.cs.uoregon.edu/research/summerschool/summer08/ summerschool@cs.uoregon.edu This Summer School will cover current research focused on integrating expressive logical systems and powerful theorem-proving assistants into the design, definition, and implementation of programming languages. Speakers will present material covering foundational theory, advanced techniques, and applications. Material will be presented at a tutorial level that will help graduate students and researchers from academia or industry understand the critical issues and open problems confronting the field. The course is open to anyone interested. Prerequisites are an elementary knowledge of logic and mathematics that is usually covered in undergraduate classes on discrete mathematics. Some knowledge of programming languages at the level provided by an undergraduate survey course will also be expected. Our primary target group is PhD students. We also expect attendance by faculty members who would like to conduct research on this topic or introduce new courses at their universities. The program consists of more than twenty-five, 80 minute lectures presented by internationally recognized leaders in programming languages and formal reasoning research. Topics include: SMT Solvers - Theory, Implementation and Applications Leonardo de Moura, Microsoft Research Mechanization of Metatheory using LF and Twelf Robert Harper, Carnegie Mellon University Compiler Construction in Formal Logical Frameworks Jason Hickey, California Institute of Technology Specification and Verification of Programs with Pointers Rustan Leino, Microsoft Research Leveraging Domain-Specific Languages for Reasoning Sorin Lerner, University of California - San Diego Reasoning About Programs with ACL2 Pete Manolios, Northeastern University Putting the Curry-Howard Isomorphism to Work Tim Sheard, Portland State University Nominal Techniques Christian Urban, TU Munich Coq for Programming Language Metatheory Stephanie Weirich, University of Pennsylvania Venue ~~~~~ The summer school will be held at the University of Oregon, located in the southern Willamette Valley city of Eugene, close to some of the world's most spectacular beaches, mountains, lakes and forests. On Sunday, July 27, students will have the option of participating in a group activity in Oregon's countryside. Registration ~~~~~~~~~~~~ The cost for registration is $175.00 (USD) for graduate students, and $275.00 (USD) for other participants. Registration must be paid upon acceptance to the summer school, and is non-refundable. There are a limited number of grants available to fund part of the cost of student participation. If you are a graduate student and want to apply for grant money to cover your expenses, please also include a statement of your needs with your registration. Additional information about the program, registration, venue, and housing options is available on the web site. Or, you may request more information by email. To register for the Summer School, send a CV that includes a short description of your educational background and one letter of reference, unless you have already been granted a Ph.D. Please include your name, address and current academic status. Send all registration materials to summerschool@cs.uoregon.edu. All registration materials should be delivered to the program by April 11, 2008. Materials received after the closing date will be evaluated on a space available basis. Non U.S. citizens should begin immediately to obtain travel documents. Housing ~~~~~~~ The school will provide on-campus housing and meals. To share a room with another student attending the school, the cost is $495 (USD) per person. Housing rates are based on check-in Tuesday, July 22 and check-out before noon on Thursday, July 31. Some single rooms may be available for an additional fee of $150 (USD). If you'd like a single room, please indicate your choice and we will try to accommodate you on a first-come/first-served basis. Organizers ~~~~~~~~~~ Organizing committee: Matthew Fluet and Yannis Smaragdakis Sponsors: National Science Foundation, ACM SIGPLAN, Microsoft Research