PLClub Summer 2008 Lunch Schedule
|
Date
|
Speaker | Topic | Other |
| May 16 | Benjamin | Types Considered Harmful | |
| May 23 | MFPS @ Penn | ||
| May 30 | Social | ||
| Jun 06 | Brian | Gordon Plotkin. Call-by-Name, Call-by-Value, and the Lambda Calculus. TCS 1(2):125-159, 1975. | |
| Jun 13 | Social | ||
| Jun 20 | Alan Schmitt (INRIA) | On the Expressiveness and Decidability of Higher-Order Process Calculi | |
| Jun 27 | No meeting (almost everyone in Pittsburgh). | ||
| Jul 04 | No meeting (celebrate casting off of monarchy). | ||
| Jul 11 | Jeff | P. J. Landin. The Next 700 Programming Languages. Communications of the ACM. 9(3):157-166, 1966. | |
| Jul 18 | Andrew Tolmach | Proof Technology for High-Assurance Run-Time Systems | Peng's defense |
| Jul 25 | Limin | Robin Milner. A Theory of Type Polymorphism in Programming. Journal of Computer and System Sciences. 17(3):348-375, 1978. | UOregon Summer School |
| Aug 01 | Aaron | ||
| Aug 08 | Stephanie | ||
| Aug 15 | Mike | ||
| Aug 22 | Chris | ||
| Aug 29 | Jianzhou |
| Computer & Information Science School of Engineering and Science University of Pennsylvania |
 |