2002 Archives by Subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Thu Jan 3 16:26:41 2002
Ending: Thu Dec 19 06:03:01 2002
Messages: 109

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

Last message date: Thu Dec 19 06:03:01 2002
Archived on: Sat Dec 21 17:31:08 2002

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...