2002 Archives by Author
Starting: Thu Jan 3 16:26:41 2002
Ending: Thu Dec 19 06:03:01 2002
Messages: 109
- [Pl-seminar] CFP: CLIMA'02 - Computational Logic in Multi-Agent Systems
=?Windows-1252?Q?Jo=E3o_Alexandre_Leite?=
- [Pl-seminar] CFP: AMAI Special Issue on Computational Logic in Multi-Agent Systems
=?iso-8859-1?Q?Jo=E3o_Alexandre_Leite?=
- [Pl-seminar] CFP: **deadline extension** AMAI Special Issue on Computational Logic in MAS
=?iso-8859-1?Q?Jo=E3o_Alexandre_Leite?=
- [Pl-seminar] cfp: constraint solving and programming (FLAIR2003)
Stefano Bistarelli
- [Pl-seminar] FLAIR 2003 Last CFP: track on Constraint solving and programming
Stefano Bistarelli
- [Pl-seminar] constraints@FLAIR 2003 - deadline extension: november 8th
Stefano Bistarelli
- [Pl-seminar] Book announcement: Foundations of OO Languages
Kim Bruce
- [Pl-seminar] INVESTMENT
MR RAYMOUND CLARK
- [Pl-seminar] INVESTMENT
MR RAYMOUND CLARK
- [Pl-seminar] Steve Zdancewic at Harvard, March 7 2002, 4:00PM
Allyn Dimock
- [Pl-seminar] Benjamin Pierce talk at Harvard: April 19, 10:00AM
Allyn Dimock
- [Pl-seminar] Cyber Security Symposium, March 15
Dominic Duggan
- [Pl-seminar] Reminder: Cybersecurity Symposium Mar 15, registration deadline Mar 11
Dominic Duggan
- [Pl-seminar] Talk Announcement
Hetchen Ehrenfeld
- [Pl-seminar] 5th NEPLS Symposium, Friday February 22, MIT (please RSVP)
Michael Ernst
- [Pl-seminar] Reminder: NEPLS 5 is tomorrow, Friday February 22 at MIT
Michael Ernst
- [Pl-seminar] summer school on types at Oregon
Matthias Felleisen
- [Pl-seminar] Setting a date for the seventh NEPLS meeting (WPI, mid-October)
Michael A. Gennert
- [Pl-seminar] Setting a date for the seventh NEPLS meeting (WPI, mid-October), Rev 2
Michael A. Gennert
- [Pl-seminar] 7th NEPLS Symposium, Tuesday October 15, WPI (please RSVP)
Michael A. Gennert
- [Pl-seminar] 7th NEPLS Symposium, Tuesday October 15, WPI, RSVP by FRIDAY
Michael A. Gennert
- [Pl-seminar] Functional and Declarative Programming in Education (FDPE02)
Michael Hanus
- [Pl-seminar] TODAY TODAY TODAY
Carol Harlow
- [Pl-seminar] SAS'02 Call for Participation -- Early Registration: * August 15 *
Manuel Hermenegildo
- [Pl-seminar] Final CFP: JFP Special Issue on Functional Pearls
Ralf Hinze
- [Pl-seminar] WAAAPL 2002, final call for papers
Ralf Hinze
- [Pl-seminar] Final CFP: JFP Special Issue on Functional Pearls
Ralf Hinze
- [Pl-seminar] Multiparadigm Constraint Programming Languages (MultiCPL02)
Petra Hofstedt
- [Pl-seminar] Flocasa: 1st Call for Paper
Jean-Marie JACQUET
- [Pl-seminar] Flocasa: 2nd Call for Paper
Jean-Marie JACQUET
- [Pl-seminar] PPDP 2002 - Call for papers --> March 21
Claude Kirchner
- [Pl-seminar] PPDP 2002 - Last call for papers --> March 21
Claude Kirchner
- [Pl-seminar] PPDP 2002 - early registration deadline approaching
Claude Kirchner
- [Pl-seminar] Call for Presentations: IBM Watson PL Day: May 7, 2002
Shriram Krishnamurthi
- [Pl-seminar] speak at IBM Watson PL Day!
Shriram Krishnamurthi
- [Pl-seminar] PLAN-X: Programming Language Technologies for XML
Shriram Krishnamurthi
- [Pl-seminar] IBM Watson PL Day: Call for Participation
Shriram Krishnamurthi
- [Pl-seminar] IBM Watson PL Day schedule
Shriram Krishnamurthi
- [Pl-seminar] IBM PL Day: Final Reminder
Shriram Krishnamurthi
- [Pl-seminar] PLAN-X: new deadline (May 31)
Shriram Krishnamurthi
- [Pl-seminar] Yale NEPLS event schedule on-line
Shriram Krishnamurthi
- [Pl-seminar] Volunteers for NEPLS 8 (Spring 2003)
Shriram Krishnamurthi
- [Pl-seminar] future NEPLS meetings
Shriram Krishnamurthi
- [Pl-seminar] PLI 2002 early registration deadline approaching
Shriram Krishnamurthi
- [Pl-seminar] IBM PL Day/NEPLS/NJPLS on April 25
Shriram Krishnamurthi
- [Pl-seminar] CFP: CLIMA'02 - Computational Logic in Multi-Agent Systems
Joćo Alexandre Leite
- [Pl-seminar] Postdoc positions at CENTRIA
Luis Moniz Pereira
- [Pl-seminar] ICFP 2002: write now!
Simon Peyton-Jones
- [Pl-seminar] ICFP'02: 6 days to go.
Simon Peyton-Jones
- [Pl-seminar] Carsten Schuermann to speak at Harvard this Thursday at 4pm
Norman Ramsey
- [Pl-seminar] SoSyM - New Intl. Journal on Software & System Modeling
Bernhard Rumpe
- [Pl-seminar] Call for submissions: sixth NEPLS meeting
Zhong Shao
- [Pl-seminar] Second Call-for-submissions: NEPLS meeting at Yale
Zhong Shao
- [Pl-seminar] Call for Participation: Sixth NEPLS meeting -- August 7th at Yale
Zhong Shao
- [Pl-seminar] Yale NEPLS Meeting: Final Reminder
Zhong Shao
- [Pl-seminar] Subject: Scheme Workshop 2002 -- submission deadline extended
Olin Shivers
- [Pl-seminar] FW: English O'Reilly OCaml Book Now Online!
Paul Steckler
- [Pl-seminar] FW: Church Seminar on Monday, May 13 Chris Okasaki
Paul Steckler
- [Pl-seminar] LL2, Nov. 9, 2002, Call For Participation
Paul Steckler
- [Pl-seminar] NU PL Day Wed 2/6/02
Mitchell Wand
- [Pl-seminar] Semantics Seminar Schedule
Mitchell Wand
- [Pl-seminar] Semantics Seminar Schedule
Mitchell Wand
- [Pl-seminar] Semantics Seminar Schedule
Mitchell Wand
- [Pl-seminar] Semantics Seminar Schedule
Mitchell Wand
- [Pl-seminar] Semantics Seminar Schedule
Mitchell Wand
- [Pl-seminar] Semantics Seminar Schedule
Mitchell Wand
- [Pl-seminar] Semantics Seminar Schedule
Mitchell Wand
- [Pl-seminar] Semantics Seminar Schedule
Mitchell Wand
- [Pl-seminar] Aviv Regev/CGR Special Seminar: Thursday 11 April at 10:00 am
Mitchell Wand
- [Pl-seminar] Semantics Seminar Schedule
Mitchell Wand
- [Pl-seminar] Jonathan Bowen @ COE 4/17: Talk on formal semantics of Verilog
Mitchell Wand
- [Pl-seminar] [Fwd: Karen K. Zee] links to paper
Mitchell Wand
- [Pl-seminar] [Fwd: Mitchell Wand] Jonathan Bowen @ COE 4/17: Talk on formal semantics of Verilog
Mitchell Wand
- [Pl-seminar] Semantics Seminar Schedule
Mitchell Wand
- [Pl-seminar] Kristen Nygaard (Turing Award), Thu 4/18, at Northeastern
Mitchell Wand
- [Pl-seminar] Semantics Seminar Schedule
Mitchell Wand
- [Pl-seminar] Semantics Seminar Schedule
Mitchell Wand
- [Pl-seminar] Semantics Seminar Schedule
Mitchell Wand
- [Pl-seminar] Semantics Seminar Schedule
Mitchell Wand
- [Pl-seminar] secure execution via program shepherding
Mitchell Wand
- [Pl-seminar] Semantics Seminar Schedule
Mitchell Wand
- [Pl-seminar] Semantics Seminar Schedule
Mitchell Wand
- [Pl-seminar] Semantics Seminar Schedule
Mitchell Wand
- [Pl-seminar] Semantics Seminar Schedule
Mitchell Wand
- [Pl-seminar] Dijkstra
Mitchell Wand
- [Pl-seminar] Kristin Nygaard
Mitchell Wand
- [Pl-seminar] ICFP 2002 early registration deadline approaching
Mitchell Wand
- [Pl-seminar] Spam on this list
Mitchell Wand
- [Pl-seminar] Semantics Seminar Schedule
Mitchell Wand
- [Pl-seminar] Manuvir Das, Microsoft Research @ MIT *TUES 9/17*
Mitchell Wand
- [Pl-seminar] Semantics Seminar Schedule
Mitchell Wand
- [Pl-seminar] Semantics Seminar Schedule
Mitchell Wand
- [Pl-seminar] Semantics Seminar Schedule
Mitchell Wand
- [Pl-seminar] Semantics Seminar Schedule
Mitchell Wand
- [Fwd: Richard Kelsey] Re: [Pl-seminar] Semantics Seminar Schedule
Mitchell Wand
- [Pl-seminar] Semantics Seminar Schedule
Mitchell Wand
- [Pl-seminar] Semantics Seminar Schedule
Mitchell Wand
- [Pl-seminar] Web-based Interface for Experimenting with System I
Geoff Washburn
- [Pl-seminar] Research Job: Compositional Analysis & Reasoning for Software Systems @ Heriot-Watt U., Scotland, UK
Joe Wells
- [Pl-seminar] CfP: Workshop on Security Issues in Coordination Models, Languages
and Systems
Gianluigi Zavattaro
- [Pl-seminar] Setting a date for the next NEPLS meeting (UConn, mid-February)
dqg@engr.uconn.edu
- [Pl-seminar] SREIS 2002, CFP
palsberg@cs.purdue.edu
- [Pl-seminar] Call for submissions: fifth NEPLS meeting
talks@nepls.org
- [Pl-seminar] Last call for submissions: fifth NEPLS meeting
talks@nepls.org
- [Pl-seminar] NEPLS Meeting Announcement and Call for Submissions
talks@nepls.org
- [Pl-seminar] NEPLS Meeting Announcement and Final Call for Submissions
talks@nepls.org
- [Pl-seminar] Semantics Seminar Schedule
wand@ccs.neu.edu
- [Pl-seminar] Semantics Seminar Schedule
wand@ccs.neu.edu
- [Pl-seminar] Semantics Seminar Schedule
wand@ccs.neu.edu
Last message date:
Thu Dec 19 06:03:01 2002
Archived on: Sat Dec 21 17:31:08 2002
This archive was generated by
Pipermail 0.05 (Mailman edition).