2003 Archives by date

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

Starting: Mon Jan 6 02:09:39 EST 2003
Ending: Mon Dec 1 18:02:37 EST 2003
Messages: 104

• [Pl-seminar] Call for Papers: 10th Static Analysis Symposium   Radhia Cousot
• [Pl-seminar] Semantics Seminar Schedule   Mitchell Wand
• [Pl-seminar] Setting a date for the next NEPLS meeting at UConn   dqg at engr.uconn.edu
• [Pl-seminar] Semantics Seminar Schedule   Mitchell Wand
• [Pl-seminar] NEPLS Meeting Announcement and Call for Submissions   dqg at engr.uconn.edu
• [Pl-seminar] CFP: DALT'03 - 1st Int. Workshop on Declarative Agent Languages and Technologies   João Alexandre Leite
• [Pl-seminar] No pl-seminar this Wednesday 1/29   Mitchell Wand
• [Pl-seminar] Talk @ Harvard: Thursday, February 13, 2003   Mitchell Wand
• [Pl-seminar] Semantics Seminar Schedule   Mitchell Wand
• [Pl-seminar] TALK @ MIT: Alfred Spector, February 6: 3:30pm   Mitchell Wand
• [Pl-seminar] Semantics Seminar Schedule   Mitchell Wand
• [Pl-seminar] ICFP 2003 Call for Papers -- deadline extended   shivers at ai.mit.edu
• [Pl-seminar] Call for participation: AOSD 2003   Karl Lieberherr
• [Pl-seminar] ICFP 2003 CFP -- minor but critical correction   Olin Shivers
• [Pl-seminar] CHARME 2003   Tronci Enrico
• [Pl-seminar] Test message, please ignore   Mitchell Wand
• [Pl-seminar] NEPLS 2/28/03: call for participation   dqg at engr.uconn.edu
• [Pl-seminar] 8th NEPLS Symposium 2/28/02 - RSVP by MONDAY!   dqg at engr.uconn.edu
• [Pl-seminar] IBM PL Day (joint with NEPLS and NJPLS) announcement   Shriram Krishnamurthi
• [Pl-seminar] One-month alert to ICFP submission deadline   Olin Shivers
• [Pl-seminar] [Fwd: Carol Harlow] CANCELLED - Talk Wed., March 5   Mitchell Wand
• [Pl-seminar] AOSD 2003 student special   Karl Lieberherr
• [Pl-seminar] [Fwd: Jeremy Gibbons] Postdoc & PhD positions in Datatype-Generic programming   Mitchell Wand
• [Pl-seminar] CHARME 2003   Tronci Enrico
• [Pl-seminar] [Fwd: Jake Beal] ** DANGEROUS IDEAS SEMINAR ** Wednesday, March 12th, 1pm, 8th floor playroom (NE43)   Mitchell Wand
• [Pl-seminar] TALK: Reconciling Software Extensibility with Modular Program Reasoning   Mitchell Wand
• [Pl-seminar] [Fwd: EventNotification] TALK: Atomicity Analysis for Multithreaded Programs   Mitchell Wand
• [Pl-seminar] IBM PL Day   Shriram Krishnamurthi
• [Pl-seminar] FINAL CALL for papers: ICFP 2003 deadline is Saturday   Olin Shivers
• [Pl-seminar] WFLP'03: Deadline extension --> April 2   German Vidal
• [Pl-seminar] CFP: DALT'03 - 1st Workshop on Declarative Agent Languages and Technologies   João Alexandre Leite
• [Pl-seminar] Today's hottest new language   Mitchell Wand
• [Pl-seminar] Today's hottest new language   Paul Steckler
• [Pl-seminar] Foclasa: 1st Call for Papers   Jean-Marie JACQUET
• [Pl-seminar] Demeter Seminar: XAspects   Karl Lieberherr
• [Pl-seminar] CFP: DALT'03 - 1st Workshop on Declarative Agent Languages and Technologies   João Alexandre Leite
• [Pl-seminar] CHARME03 new sbm deadline   Tronci Enrico
• [Pl-seminar] Setting a date for the ninth NEPLS meeting (UMass Amherst, firstweek of June)   Jack C. Wileden
• [Pl-seminar] Talk April 21: Kathleen Fisher, Hancock   Norman Ramsey
• [Pl-seminar] [Fwd: Carol Harlow] Lennart Augustsson @ Harvard: May 1   Mitchell Wand
• [Pl-seminar] IBM PL Day   Shriram Krishnamurthi
• [Pl-seminar] IBM PL Day schedule   Shriram Krishnamurthi
• [Pl-seminar] Second NJITES Cybersecurity Symposium, April 28 2003   Dominic Duggan
• [Pl-seminar] NEPLS Meeting Announcement and Call for Submissions   Jack C. Wileden
• [Pl-seminar] Semantics Seminar Schedule   Mitchell Wand
• [Pl-seminar] talk by Lennart Augustsson, May 1, Harvard (Bluespec H/W Desc. Lang.)   Norman Ramsey
• [Pl-seminar] NEPLS Meeting Announcement and (Second) Call for Submissions   Jack C. Wileden
• [Pl-seminar] NEPLS Meeting Announcement and (Revised) Call for Submissions   Jack C. Wileden
• [Pl-seminar] [Fwd: Shireen Yadollahpour] TALK TODAY 3:00 Ken Kahn: ToonTalk, Playground, WebLabs, and more   Mitchell Wand
• [Pl-seminar] Research Job: Compositional Reasoning & Analysis for Software Systems @ Heriot-Watt U., Scotland, UK   Joe Wells
• [Pl-seminar] NEPLS Meeting Announcement and FINAL Call for Submissions   Jack C. Wileden
• [Pl-seminar] Postdoc positions   Conseil de la Recherche de l'Institut
• [Pl-seminar] [Andrew A Lamb <aalamb@alum.mit.edu>] FCRC East, "Final Program"   Gregory T. Sullivan
• [Pl-seminar] Semantics Seminar Schedule   Mitchell Wand
• [Pl-seminar]   Stefano Bistarelli
• [Pl-seminar] 9th NEPLS Symposium, Friday June 6, UMass Amherst (please RSVP)   Jack C. Wileden
• [Pl-seminar] ITCLS 2003 Call for Papers and Participation   colognet-ws at clip.dia.fi.upm.es
• [Pl-seminar] CFP: Soft-2003 - WS on Soft Constraints   Stefano Bistarelli
• [Pl-seminar] CHARME 2003   Tronci Enrico
• [Pl-seminar] CFP: ICEIS'2004: Workshop on Ubiquitous Computing IWUC'2004   KOUADRI MOSTEFAOUI Soraya
• [Pl-seminar] ITCLS 2003 CfP - Deadline extended to July 14th, 2003   Jesus Correas Fernandez
• [Pl-seminar] CFP: CLIMA IV - 4th Intl. Workshop on Computational Logic in Multi-Agent Systems   João Alexandre Leite
• [Pl-seminar] ICFP 2003 -- Call for Participation   Olin Shivers
• [Pl-seminar] ICFP 2003 / PLI 2003 -- early registration ends tomorrow (July 30)!   Mitchell Wand
• [Pl-seminar] [Fwd: Hayo Thielecke] Call for Papers: Continuations Workshop (CW'04)   Mitchell Wand
• [Pl-seminar] CFP: CLIMA IV - 4th Intl. Workshop on Computational Logic in Multi-Agent Systems   João Alexandre Leite
• [Pl-seminar] Schedule for pl-seminar for 2003-2004   Mitchell Wand
• [Pl-seminar] ICFP 2003 / PLI 2003 -- final call for participation   Olin Shivers
• [Pl-seminar] Re: Re: My details   sk at cs.brown.edu
• [Pl-seminar] Semantics Seminar Schedule   Mitchell Wand
• [Pl-seminar] Setting a date for the tenth NEPLS meeting (Brandeis, mid-October)   Timothy John Hickey
• [Pl-seminar] CFP: CLIMA IV - Deadline Extended   João Alexandre Leite
• [Pl-seminar] Continuations reading group   Ken Shan
• [Pl-seminar] NEPLS announcement and CFP   Timothy John Hickey
• [Pl-seminar] FLAIRS Constraint track CFP   Stefano Bistarelli
• [Pl-seminar] Semantics Seminar Schedule   Mitchell Wand
• [Pl-seminar] Semantics Seminar Schedule   Mitchell Wand
• [Pl-seminar] CHAIRS, READERS AND LECTURERS   Susan Bates
• [Pl-seminar] SPACE 2004   Colin Runciman
• [Pl-seminar] Talk today: Continuations and natural language   Ken Shan
• [Pl-seminar] Demeter Seminar   Karl Lieberherr
• [Pl-seminar] NEPLS submission extended to 10/10/03   Timothy John Hickey
• [Pl-seminar] Robot talk at Wellesley 10/9/2003   Mitchell Wand
• [Pl-seminar] Semantics Seminar Schedule   Mitchell Wand
• [Pl-seminar] Domain-specific aspect languages   Karl Lieberherr
• [Pl-seminar] Semantics Seminar Schedule   Mitchell Wand
• [Pl-seminar] Semantics Seminar Schedule   Mitchell Wand
• [Pl-seminar] NEPLS in four days!   Timothy John Hickey
• [Pl-seminar] Dont' forget to RSVP to NEPLS   Timothy John Hickey
• [Pl-seminar] NEPLS in four days! (fwd)   John Clements
• [Pl-seminar] Semantics Seminar Schedule   Mitchell Wand
• [Pl-seminar] LL3, Nov. 8, 2003, Call for participation   Jeremy Hylton
• [Pl-seminar] Semantics Seminar Schedule   Mitchell Wand
• [Pl-seminar] Semantics Seminar Schedule   Mitchell Wand
• [Pl-seminar] Semantics Seminar Schedule   Mitchell Wand
• [Pl-seminar] 10/20: Ehud Shapiro, Biomolecular Computers   Ken Shan
• [Pl-seminar] FW: [gpce-pc] Preliminary CFP: GPCE'04 -- Generative Programming and Component Engineering   Karl Lieberherr
• [Pl-seminar] Semantics Seminar Schedule   Mitchell Wand
• [Pl-seminar] pl-seminar schedule changes   Mitchell Wand
• [Pl-seminar] TCS 2004   Jean-Jacques Levy
• [Pl-seminar] [JFPLC'04]First Call for Papers   jfplc2004
• [Pl-seminar] Albert Meyer at BU, Mon 12/1/03   Mitchell Wand
• [Pl-seminar] Semantics Seminar Schedule   Mitchell Wand
• [Pl-seminar] Separation Logic talk Wed 12/3/03   Mitchell Wand

Last message date: Mon Dec 1 18:02:37 EST 2003
Archived on: Mon Dec 1 18:02:39 EST 2003

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