# POPL 2007 Call for Participation

**URL:** <https://www.ruby-forum.com/t/popl-2007-call-for-participation/79322>\
**Category:** Ruby\
**Created:** [December 14, 2006, 8:47am UTC](https://www.ruby-forum.com/t/popl-2007-call-for-participation/79322 "2006-12-14T08:47:06Z")\
**Posts on this page:** 4\
**Page:** 1

<div class="post-metadata">

**Author:** ![unknown](https://www.ruby-forum.com/letter_avatar_proxy/v4/letter/u/4bbf92/32.png) [@unknown](https://www.ruby-forum.com/u/unknown)\
**Post date:** [December 14, 2006, 8:47am UTC](https://www.ruby-forum.com/t/popl-2007-call-for-participation/79322/1 "2006-12-14T08:47:06Z")

</div>

* * *

- 

```
             ACM SIGPLAN-SIGACT Symposium *

```

- 

```
                        on *

```

- 

```
          Principles of Programming Languages *

```

- 

```
                                                              *

```

- 

```
                January 17-19, 2007 *

```

- 

```
                   Nice, France *

```

- 

```
                                                              *

```

- 

```
               Call for Participation *

```

- 

```
                                                              *

```

- 

```
           http://www.cs.ucsd.edu/popl/07 *

```

* * *

Important dates

- Early registration deadline: December 15, 2006
- Conference: January 17-19, 2007

Scope

The annual Symposium on Principles of Programming Languages is a forum  
for the discussion of fundamental principles and important innovations  
in the design, definition, analysis, transformation, implementation  
and verification of programming languages, programming systems, and  
programming abstractions. Both experimental and theoretical papers are  
welcome.

Student Attendees

Students who have a paper accepted for the conference are offered  
SIGPLAN student membership free for one year. As members of SIGPLAN  
they may apply for travel fellowships from the PAC fund  
([http://www.acm.org/sigs/sigplan/PAC.htm](http://www.acm.org/sigs/sigplan/PAC.htm)).

Conference Chair

Martin Hoffmann  
Ludwig-Maximilians-Universitat  
Oettingenstr 67,  
80538, Munich, GERMANY

Program Committee Chair

Matthias Felleisen  
College of Computer Science  
Northeastern University  
Boston, MA 02115  
USA

Program Committee

Hans Boehm HP Laboratories  
Craig Chambers U Washington  
Patrick Cousot ENS, Paris  
Benjamin Goldberg NYU, New York  
Andy Gordon Microsoft Research, Cambridge  
Dan Grossman U Washington  
John Hatcliff Kansas State U  
Tom Henzinger EPFL, Lausanne  
Paul Hudak Yale  
Mark Jones Portland State University, Portland  
Gabriele Keller University of New South Wales  
Oege de Moor Oxford  
Eliot Moss U Massachusetts, Amherst  
Benjamin Pierce U Pennsylvania  
Jakob Rehof Universitat Dortmund  
Olin Shivers Georgia Tech, Atlanta  
Scott Smith Johns Hopkins, Baltimore  
Kevin Sullivan U Virginia  
Carolyn Talcott SRI International  
David Walker Princeton

Affiliated Events

- Declarative Aspects of Multicore Programming (DAMP)

- Foundations and Developments of Object-Oriented Languages (FOOL/WOOD)

- Partial Evaluation and Semantics-Based Program Manipulation (PEPM)

- Practical Applications of Declarative Languages (PADL)

- Programming Language Technologies for XML (PLAN-X)

- Types in Language Design and Implementation (TLDI)

- Verification, Model Checking and Abstract Interpretation (VMCAI)

Preliminary Program

- Wednesday, 17 January 2007

- Thursday, 18 January 2007

- Friday, 19 January 2007

---

<div class="post-metadata">

**Author:** ![unknown](https://www.ruby-forum.com/letter_avatar_proxy/v4/letter/u/4bbf92/32.png) [@unknown](https://www.ruby-forum.com/u/unknown)\
**Post date:** [December 14, 2006, 5:32pm UTC](https://www.ruby-forum.com/t/popl-2007-call-for-participation/79322/2 "2006-12-14T17:32:16Z")

</div>

On 12/14/06, removed\_email\_address@domain.invalid [removed\_email\_address@domain.invalid](mailto:removed_email_address@domain.invalid) wrote:

> - 
> 
> ```
> *
> 
> ```
> 
> - 
> 
> ```
> http://www.cs.ucsd.edu/popl/07 *
> 
> ```
> 
> * * *

That looks like an incredible lineup. Now I really want to attend.

“Advanced Programming Languages in Enterprise Software: A  
lambda-calculus theorist wanders into an enterprise datacenter” has to  
be one of the all-time great conference talk titles.

---

<div class="post-metadata">

**Author:** ![unknown](https://www.ruby-forum.com/letter_avatar_proxy/v4/letter/u/4bbf92/32.png) [@unknown](https://www.ruby-forum.com/u/unknown)\
**Post date:** [December 14, 2006, 5:42pm UTC](https://www.ruby-forum.com/t/popl-2007-call-for-participation/79322/3 "2006-12-14T17:42:18Z")

</div>

Wilson B. wrote:

> > - 
> > 
> > ```
> > Call for Participation *
> > 
> > ```
> > 
> > - 
> > 
> > ```
> > *
> > 
> > ```
> > 
> > - 
> > 
> > ```
> > http://www.cs.ucsd.edu/popl/07 *
> > 
> > ```
> > 
> > * * *
> 
> That looks like an incredible lineup. Now I really want to attend.

Hey, where’s Matz? 🙂

- Dan

---

<div class="post-metadata">

**Author:** ![unknown](https://www.ruby-forum.com/letter_avatar_proxy/v4/letter/u/4bbf92/32.png) [@unknown](https://www.ruby-forum.com/u/unknown)\
**Post date:** [December 14, 2006, 5:56pm UTC](https://www.ruby-forum.com/t/popl-2007-call-for-participation/79322/4 "2006-12-14T17:56:21Z")

</div>

In message “Re: POPL 2007 Call for Participation”  
on Fri, 15 Dec 2006 01:40:06 +0900, “Daniel B.”  
[removed\_email\_address@domain.invalid](mailto:removed_email_address@domain.invalid) writes:

|\> \> \* Principles of Programming Languages \*  
|\> \> \* \*  
|\> \> \* January 17-19, 2007 \*  
|\> \> \* Nice, France \*

|Hey, where’s Matz? 🙂

HE will be in Tokyo at the date. I am looking forward to get the  
proceeding.

```
						matz.

```
