pl-seminar mail archive
By Date

• Conversion to new mailing list software Mitchell Wand (Fri Dec 28 2001 - 15:23:51 EST)
• ICFP (Functional Programming) 2002: Call for Papers Shriram Krishnamurthi (Fri Dec 21 2001 - 01:36:16 EST)
• logic faculty position Foundations of Computing (Thu Dec 20 2001 - 14:31:04 EST)
• TooCloseTo -> t2 in t1.tooCloseTo } inv Jeanne Dennis (Tue Dec 18 2001 - 13:19:43 EST)
• Thesis defense: Igor Siveroni, Friday 12/14, 10am. Mitchell Wand (Mon Dec 10 2001 - 16:33:12 EST)
• ISMM '02 Call for Papers David Detlefs - Sun Microsystems Labs BOS (Fri Dec 07 2001 - 15:17:22 EST)
• Re: More on SrPersist buffers Matthias Felleisen (Thu Dec 06 2001 - 09:50:36 EST)
• RE: More on SrPersist buffers Paul Steckler (Wed Dec 05 2001 - 19:07:52 EST)
• Re: More on SrPersist buffers Jonathan Edwards (Wed Dec 05 2001 - 17:43:31 EST)
• RE: More on SrPersist buffers Paul Steckler (Wed Dec 05 2001 - 16:23:42 EST)
• RE: More on SrPersist buffers Paul Steckler (Wed Dec 05 2001 - 13:45:43 EST)
• More on SrPersist buffers Paul Steckler (Wed Dec 05 2001 - 13:31:04 EST)
• Semantics Seminar Schedule wand@ccs.neu.edu (Mon Dec 03 2001 - 00:05:01 EST)
• Your fortune of the week Anne Collins (Fri Nov 30 2001 - 01:22:56 EST)
• ***TODAY - SUSAN L. GRAHAM LECTURE **** Peter Arvidson (Thu Nov 29 2001 - 09:11:25 EST)
• No pl-seminar W 11/28 Mitchell Wand (Tue Nov 27 2001 - 10:42:43 EST)
• Semantics Seminar Schedule wand@ccs.neu.edu (Mon Nov 26 2001 - 13:24:50 EST)
• perl.com Lightweight Languages [Nov. 21, 2001] Paul Steckler (Mon Nov 26 2001 - 12:59:28 EST)
• SUSAN L. GRAHAM LECTURE, Thursday 11/29/01, 4:00pm Peter Arvidson (Mon Nov 26 2001 - 09:42:23 EST)
• PL day at NU, Wednesday, 2/6/2002 Mitchell Wand (Sun Nov 25 2001 - 15:21:02 EST)
• First Kanellakis Lecture: Mihalis Yannakakis, 11/29, 4pm, Brown Shriram Krishnamurthi (Wed Nov 21 2001 - 20:10:19 EST)
• First Kanellakis Lecture: Mihalis Yannakakis, 11/30, 4pm, Brown Shriram Krishnamurthi (Wed Nov 21 2001 - 20:07:51 EST)
• ***November 29: Special Event Lecture*** Peter Arvidson (Fri Nov 16 2001 - 11:05:45 EST)
• Semantics Seminar Schedule wand@ccs.neu.edu (Mon Nov 12 2001 - 00:05:01 EST)
• PLI 2002-Second call for workshop proposals Carsten Schuermann (Tue Nov 06 2001 - 11:32:52 EST)
• Semantics Seminar Schedule wand@ccs.neu.edu (Sat Nov 03 2001 - 00:05:02 EST)
• 5th NEPLS Symposium will be held Friday February 22 at MIT Michael Ernst (Wed Oct 31 2001 - 15:28:50 EST)
• Semantics Seminar Schedule wand@ccs.neu.edu (Mon Oct 29 2001 - 13:33:44 EST)
• Luddy Harrison talk at MIT W 10/31 Mitchell Wand (Sat Oct 27 2001 - 11:05:49 EDT)
• Colloquium 11/8/01 Carol Harlow (Fri Oct 26 2001 - 14:36:45 EDT)
• Setting a date for the fifth NEPLS meeting (MIT, late February) Michael Ernst (Wed Oct 24 2001 - 09:33:23 EDT)
• final test: Research Job in Compositional Reasoning and Analysis @ Heriot-Watt Univ., Scotland, UK Joe Wells (Thu Oct 18 2001 - 13:08:18 EDT)
• [lyall@larch.lcs.mit.edu: Seminar by J Strother Moore] Be Blackburn (Thu Oct 11 2001 - 14:59:35 EDT)
• Semantics Seminar Schedule wand@ccs.neu.edu (Thu Oct 11 2001 - 06:24:59 EDT)
• Semantics Seminar Schedule wand@ccs.neu.edu (Thu Oct 11 2001 - 00:05:02 EDT)
• apologies Mitchell Wand (Wed Oct 10 2001 - 20:01:03 EDT)
• DynLangSem, Fri. 10/12/01, 2-3pm, 8ai, Anderson & Hickey, Jscheme Gregory T. Sullivan (Tue Oct 09 2001 - 09:21:38 EDT)
• PLI 2002-Call for workshop proposals Carsten Schuermann (Fri Oct 05 2001 - 09:05:04 EDT)
• RE: [Fwd: rinard@cag.lcs.mit.edu] Talk Paul Steckler (Fri Sep 28 2001 - 10:44:50 EDT)
• [Fwd: rinard@cag.lcs.mit.edu] Talk Mitchell Wand (Fri Sep 28 2001 - 08:42:04 EDT)
• NEPLS -- Please Remember to Register! alex.garthwaite@sun.com (Mon Sep 24 2001 - 11:55:55 EDT)
• Fourth NEPLS meeting -- October 5th at Sun alex.garthwaite@sun.com (Tue Sep 18 2001 - 13:41:53 EDT)
• Semantics Seminar Schedule Mitchell Wand (Tue Aug 21 2001 - 12:05:44 EDT)
• Second call for submissions: fourth NEPLS meeting alex.garthwaite@sun.com (Sat Aug 18 2001 - 13:16:33 EDT)
• Raw processor seminar, MIT, 8/17 Mitchell Wand (Thu Aug 16 2001 - 13:24:41 EDT)
• Gregor Kiczales at BBN, Tue 8/14/01 Rick Schantz (Thu Aug 02 2001 - 17:40:16 EDT)
• Rescheduled: DynLangSem, Fri. *** Aug. 17 ***, 2-3pm, 8ai, Eric Kidd Gregory T. Sullivan (Mon Jul 30 2001 - 15:16:26 EDT)
• fourth NEPLS meeting alex.garthwaite@sun.com (Mon Jul 30 2001 - 14:48:35 EDT)
• DynLangSem, Fri. Aug. 3, 2-3pm, 8ai, Eric Kidd Gregory T. Sullivan (Mon Jul 30 2001 - 10:05:39 EDT)
• Interesting Talk at HARVARD next Thursday. Shafi Goldwasser (Fri Jul 20 2001 - 20:29:24 EDT)
• next NEPLS meeting Alexander Garthwaite - Sun Labs (Thu Jul 19 2001 - 11:21:12 EDT)
• Re: Symposium in Honor of Albert Meyer Peter Wegner (Sun May 27 2001 - 15:11:11 EDT)
• Symposium in Honor of Albert Meyer Michael Loui (Fri May 25 2001 - 11:34:44 EDT)
• NEPLS -- Please Remember to Register! Shriram Krishnamurthi (Mon May 21 2001 - 09:57:26 EDT)
• Third New **England** PLS Event Shriram Krishnamurthi (Thu May 10 2001 - 14:27:30 EDT)
• schedule for next New *Jersey* PLS Shriram Krishnamurthi (Wed May 09 2001 - 14:40:52 EDT)
• RA position @ Heriot-Watt Univ. in program analysis Joe Wells (Wed May 09 2001 - 08:28:30 EDT)
• Final Dynamic Languages Wizards Panel, Thurs. 5/10, 1-2:30pm, 8ai Gregory T. Sullivan (Tue May 08 2001 - 15:52:18 EDT)
• Mechanical Verification of a Context Lemma ian a. mason (Mon Apr 30 2001 - 21:25:01 EDT)
• Polytypic Programming talk at BU Karl Lieberherr (Fri Apr 20 2001 - 15:44:43 EDT)
• Registration Deadline for MASPLAS is THIS FRIDAY Shriram Krishnamurthi (Wed Apr 18 2001 - 23:25:35 EDT)
• Dynamic Languages Wizards Panel, Tues. 4/24, 1-2:30pm, 8ai Gregory T. Sullivan (Wed Apr 18 2001 - 15:56:37 EDT)
• New Room for Polytypic Programming Karl Lieberherr (Wed Apr 18 2001 - 15:43:13 EDT)
• Functional Polytypic Programming Karl Lieberherr (Tue Apr 17 2001 - 15:52:20 EDT)
• IEEE *Software* Special Issue on Building Software Securely Mitchell Wand (Sun Apr 15 2001 - 16:27:56 EDT)
• PL Day at Watson Shriram Krishnamurthi (Tue Apr 10 2001 - 14:30:37 EDT)
• 13 vacant positions at the IT University of Copenhagen Mads Tofte (Thu Apr 05 2001 - 16:03:28 EDT)
• List of online PL theory texts Frank Atanassow (Fri Mar 23 2001 - 11:19:01 EST)
• BU Colloquium this Monday: Radu Rugina Torben Amtoft (Fri Mar 30 2001 - 16:29:25 EST)
• Owen Holland Talk - 3/30/01 Sally J. Persing (Mon Mar 26 2001 - 11:32:01 EST)
• Owen Holland Talk - 3/30/01 Sally J. Persing (Fri Mar 23 2001 - 15:51:21 EST)
• manuscript on domain theory available Michael Bukatin (Mon Mar 26 2001 - 14:35:37 EST)
• third NEPLS meeting - correction Kim (Wed Mar 21 2001 - 15:32:55 EST)
• third NEPLS meeting Kim (Wed Mar 21 2001 - 15:11:07 EST)
• Some Harvard colloquia of interest: Mar 19, Apr 2 Allyn Dimock (Fri Mar 16 2001 - 13:27:28 EST)
• Dynamic Languages Wizards Series 3/20, 4/24, 5/10, 1-2:30pm Gregory T. Sullivan (Thu Mar 15 2001 - 16:52:14 EST)
• next NEPLS meeting -- Typo fix Kim (Wed Mar 14 2001 - 15:32:22 EST)
• next NEPLS meeting Kim (Wed Mar 14 2001 - 14:40:49 EST)
• Semantics Seminar Schedule Mitchell Wand (Fri Mar 09 2001 - 10:09:28 EST)
• Semantics Seminar Schedule Mitchell Wand (Fri Mar 09 2001 - 09:54:52 EST)
• QAPL'01 Workshop - 1st Call for Papers Herbert Wiklicky (Tue Mar 06 2001 - 12:04:51 EST)
• pincus talk rescheduled Daniel Jackson (Tue Mar 06 2001 - 11:49:55 EST)
• POCS Seminar--Tuesday, March 6, 2001 Kincade Dunn (Thu Mar 01 2001 - 13:29:36 EST)
• IBM Programming Languages Day David F. Bacon (Thu Mar 01 2001 - 00:12:54 EST)
• NEPLS meeting -- call for participation tamtoft@cs.bu.edu (Thu Feb 15 2001 - 15:20:19 EST)
• Re: ANN: Release of "Knit" component composition toolset Norman Ramsey (Thu Feb 15 2001 - 14:07:42 EST)
• Re: Speaker at Brown: Don Batory Michael Bukatin (Thu Feb 15 2001 - 12:27:48 EST)
• Speaker at Brown: Don Batory Shriram Krishnamurthi (Thu Feb 15 2001 - 11:25:12 EST)
• ANN: Release of "Knit" component composition toolset Jay Lepreau (Thu Feb 15 2001 - 10:50:21 EST)
• Second NEPLS Meeting tamtoft@cs.bu.edu (Wed Feb 14 2001 - 16:43:46 EST)
• Marktoberdorf Intl. summer school Alexander Pretschner (Thu Feb 01 2001 - 10:12:19 EST)
• NEPLS event -- call for speakers Shriram Krishnamurthi (Sat Jan 27 2001 - 15:52:08 EST)
• Talk - THURSDAY, Feb. 15 Carol Harlow (Thu Jan 25 2001 - 15:34:18 EST)
• Stephanie Weirich will be talking at Harvard, Feb 5, 4:00PM Allyn Dimock (Thu Jan 25 2001 - 12:05:25 EST)
• Lipari Summer School 2001 Vladimiro Sassone (Mon Jan 08 2001 - 07:39:37 EST)
• test Mitchell Wand (Tue Jan 02 2001 - 16:32:03 EST)
• second NEPLS meet Shriram Krishnamurthi (Mon Dec 25 2000 - 11:31:20 EST)
• on reliable software Michael Bukatin (Mon Dec 11 2000 - 18:34:20 EST)
• meeting follow-up Shriram Krishnamurthi (Mon Dec 11 2000 - 16:11:50 EST)
• arrangements for tomorrow Shriram Krishnamurthi (Wed Dec 06 2000 - 14:18:36 EST)
• Post-Docs at OGI Andy Moran (Fri Dec 01 2000 - 14:24:28 EST)
• schedule and abstracts are on-line Shriram Krishnamurthi (Thu Nov 30 2000 - 01:59:51 EST)
• schedule for meet Shriram Krishnamurthi (Tue Nov 28 2000 - 11:57:59 EST)
• [Fwd: Rick Reis] TP Msg. #273 THE POSTDOC NETWORK: PRACTICAL PATHS FOR PROMISING PROFESSORS Mitchell Wand (Fri Nov 24 2000 - 08:57:34 EST)
• Re: G'day from Down Under Ken_Dickey (Tue Nov 21 2000 - 18:00:13 EST)
• Semantics of Traversals and Aspectual Collaborations Karl Lieberherr (Tue Nov 14 2000 - 18:33:19 EST)
• call for demos, and tentative NEPLS meet schedule Shriram Krishnamurthi (Thu Nov 09 2000 - 14:35:07 EST)
• NEPLS: last call for participation Shriram Krishnamurthi (Thu Nov 09 2000 - 12:25:40 EST)
• travel arrangements for NEPLS Shriram Krishnamurthi (Tue Nov 07 2000 - 11:21:20 EST)
• speakers at NEPLS Shriram Krishnamurthi (Fri Nov 03 2000 - 12:10:11 EST)
• Re: Minesweeper game is NP-complete, CNN says Johan Ovlinger (Fri Nov 03 2000 - 09:39:06 EST)
• Re: Minesweeper game is NP-complete, CNN says John D. Ramsdell (Fri Nov 03 2000 - 08:56:05 EST)
• Re: Minesweeper game is NP-complete, CNN says Michael Bukatin (Fri Nov 03 2000 - 08:18:08 EST)
• Minesweeper game is NP-complete, CNN says Michael Bukatin (Fri Nov 03 2000 - 08:14:09 EST)
• Research Associateship in Metaprogramming Languages Andrew Pitts (Wed Nov 01 2000 - 06:51:08 EST)
• NEPLS on December 7, 2000 Shriram Krishnamurthi (Sat Oct 28 2000 - 12:33:53 EDT)
• Colloquium 10/25: Pericas-Geertsen Mitchell Wand (Tue Oct 24 2000 - 22:44:34 EDT)
• Reminder: CCS colloquium today on configurable and adaptive frameworks Karl Lieberherr (Mon Oct 23 2000 - 13:26:11 EDT)
• NEPLS announcement Shriram Krishnamurthi (Thu Oct 12 2000 - 14:03:20 EDT)
• [Fwd: Mitchell Wand] test message, please ignore #2 Mitchell Wand (Tue Sep 26 2000 - 16:44:34 EDT)

Last message date: Fri Dec 28 2001 - 15:23:52 EST
Archived on: Fri Dec 28 2001 - 15:24:16 EST

This archive was generated by hypermail 2b28 : Fri Dec 28 2001 - 15:24:16 EST