From: Amal Ahmed <amal@ccs.neu.edu>
To: caml-list@yquem.inria.fr
Subject: [Caml-list] Oregon PL Summer School: register by April 30th
Date: Wed, 17 Apr 2013 10:03:38 -0400 [thread overview]
Message-ID: <318E0CB0-A1A0-42CE-BDA8-58FF372EBFB0@ccs.neu.edu> (raw)
[-- Attachment #1: Type: text/plain, Size: 2253 bytes --]
*** The registration deadline for this year's Oregon PL Summer School has been extended to April 30th.
This year's Oregon Programming Languages Summer School will take place from July 22nd to August 3rd. Full information on registration and scholarships an be found here:
http://www.cs.uoregon.edu/Activities/summerschool
The school has a long and successful tradition (sponsored by the NSF, ACM SIGPLAN, and industry). It covers current research in the theory and practice of programming languages. Material is 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. Prerequisites are an elementary knowledge of logic and mathematics, as covered in undergraduate classes on discrete mathematics, and some knowledge of programming languages at the level of an undergraduate survey course.
A new feature this year is a Coq boot camp session, to be held on July 21st -- one day before the summer school officially begins. The boot camp will provide a one-day, intensive, hands-on introduction to the practical mechanics of the Coq proof assistant. More information is available at the summer school website.
This year's program is titled Types, Logic, and Verification. The speakers and topics include:
Amal Ahmed -- Logical Relations
Northeastern University
Robert Harper -- Type Theory Foundations
Carnegie Mellon University
Dan Licata -- Dependently-Typed Programming in Agda
Carnegie Mellon University and Institute for Advanced Study
Greg Morrisett -- Coq as a Programming Language
Harvard University
Simon Peyton-Jones -- Adventures with Types in Haskell
Microsoft Research
Frank Pfenning -- Linear Logic and Session-based Concurrency
Carnegie Mellon University
Andrew Tolmach -- Software Foundations in Coq
Portland State University
Stephanie Weirich -- Designing Dependently-Typed Programming Languages
University of Pennsylvania
Steve Zdancewic -- Verifying LLVM Optimizations in Coq
University of Pennsylvania
We hope you can join us for this excellent program!
Amal Ahmed
Zena Ariola
Bob Constable
Frank Pfenning
Benjamin Pierce
OPLSS 2013 organizers
[-- Attachment #2: Type: text/html, Size: 8463 bytes --]
reply other threads:[~2013-04-17 14:03 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=318E0CB0-A1A0-42CE-BDA8-58FF372EBFB0@ccs.neu.edu \
--to=amal@ccs.neu.edu \
--cc=caml-list@yquem.inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).