|
|
|
*** The program now carries links to slides for most of the presentations.
|
Scope
The annual Symposium on Principles of Programming Languages is a forum
for
the discussion of all aspects of programming languages and systems,
with
emphasis on how principles underpin practice. Both theoretical and
experimental papers are welcome, on topics ranging from formal
frameworks to
experience reports.
|
Program
The conference program is now out; a
list of accepted papers is also separately available. This year's program consists of 49 research presentations and three invited talk sessions. More information on the invited talks is available here.
In addition to showcasing some of the best research on Programming Languages, POPL 2011 will offer some "extra-curricular" attractions, including a Games and Jazz Dinner and an Xbox Raffle.
|
Conference hotel
The conference will be held at the Omni Austin Hotel in downtown Austin, TX.
To make reservations at the special conference rate of $169/night, go to
http://www.omnihotels.com/FindAHotel/AustinDowntown/MeetingFacilities/ACMPOPL2011.aspx.
Alternately, call the hotel directly at +1-512-476-3700 and mention the group ACM/POPL 2011. You can also call the Omni 800 number 1-800-THE-OMNI (+1-800-843-6664); however, because there are two Omnis in Austin, you should specify the Omni Austin Hotel Downtown in this case.
We realize that you may want to consider other hotels. Before you decide, please read why you should try to stay at the conference hotel.
To be eligible for the special conference rate, bookings must be made by December 21, 2010. However, as
the conference rate applies only to a limited number of rooms,
attendees are encouraged to make their hotel reservations at the earliest opportunity.
Pre-POPL 2011 trip report from the general chair
Your general chair, Tom Ball, recently visited Austin, TX to scope out the conference hotel. Here is his trip report.
|
Registration
To register for POPL, visit the URL
https://regmaster3.com/2011conf/POPL11/register.php. The early registration deadline is December 31, 2010.
*** Important note: This year, we are capping the registration for POPL at 300 in order to provide an optimal conference experience at the Omni Hotel. Therefore, please register early!
The registration fees of POPL and associated events are as follows:
| |
Price on or before
31 December 2010 |
Price after 31 December
and On-site |
Notice:
All prices are in U.S. dollars |
ACM &
SIG |
ACM | SIG |
Non-
member |
Student |
ACM &
SIG |
ACM | SIG |
Non-
member |
Student |
| POPL |
$480 |
$520 |
$560 |
$240 |
$600 |
$640 |
$680 |
$270 |
| TPTPA |
$80 |
$80 |
$100 |
$50 |
$120 |
$120 |
$140 |
$80 |
| Nominal |
$80 |
$80 |
$110 |
$50 |
$120 |
$120 |
$150 |
$80 |
| DAMP |
$80 |
$80 |
$110 |
$50 |
$120 |
$120 |
$150 |
$80 |
| PEPM |
$240 |
$240 |
$290 |
$90 |
$280 |
$280 |
$330 |
$120 |
| TLDI |
$60 |
$60 |
$80 |
$40 |
$100 |
$100 |
$120 |
$70 |
| STOP |
$80 |
$80 |
$100 |
$60 |
$120 |
$120 |
$140 |
$90 |
| VERICO |
$50 |
$50 |
$50 |
$50 |
$90 |
$90 |
$90 |
$80 |
| PLPV |
$80 |
$80 |
$80 |
$60 |
$120 |
$120 |
$120 |
$90 |
| PADL Symposium |
$275 |
$275 |
$300 |
$225 |
$325 |
$325 |
$350 |
$275 |
| VMCAI Conference |
$450 |
$450 |
$450 |
$350 |
$500 |
$500 |
$500 |
$400 |
|
Visa support letters
Requests for visa support letters for purposes of attending or presenting at POPL 2011 are handled by ACM.
For more information, go here. The same page also contains archived information for authors, and about student travel awards.
|
|
This year, POPL has ten co-located events!
|
Jan 23 (Su)
|
Jan 24 (M)
|
Jan 25 (Tu)
|
Jan
26 (W)
|
Jan
27 (Th)
|
Jan 28 (F)
|
Jan 29 (Sat)
|
|
Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2011)
|
|
Workshop on Script to Program Evolution (STOP 2011)
|
|
Tutorial on Using Nominal Isabelle for PL Research
(Nominal 2011)
|
Tutorial on Theorem Proving Tools for Program Analysis (TPTPA 2011)
|
|
|
Declarative Aspects of Multicore Programming (DAMP 2011)
|
Workshop on Partial Evaluation and Program Manipulation (PEPM 2011)
|
Verification of Concurrent Data Structures (Verico 2011)
[Now merged with
COMMUTE 2011]
|
|
|
Symposium on Practical Aspects of Declarative Languages (PADL 2011)
|
POPL!
|
Programming Languages meets Program Verification (PLPV 2011)
|
|
|
Types in Language Design and Implementation (TLDI 2011)
|
|
|
|
| General Chair: |
Thomas Ball
Microsoft Research
One Microsoft Way, Redmond, WA 98052, USA.
tball@microsoft.com |
|
Program Chair:
|
Mooly Sagiv
Schreiber 317, School of Computer Science
Tel-Aviv University,
Tel-Aviv 69978, Israel
msagiv@post.tau.ac.il
|
|
Program
Committee:
|
|
Workshops Chair:
|
Matthew Might
University of Utah
|
Treasurer:
|
Bor-Yuh Evan Chang
University of Colorado, Boulder
|
Publicity:
|
Swarat Chaudhuri
Pennsylvania State University
|
POPL Logo:
|
Jan Christiansen
Christian-Albrechts University, Kiel
|
Sponsors
|
|