pl-seminar mail archive
By Thread
New Message
120 messages sorted by:
[ author ]
[ date ]
[ subject ]
Starting: Tue Sep 26 2000 - 16:44:34 EDT
Ending: Fri Dec 28 2001 - 15:23:52 EST
- 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)
- More on SrPersist buffers Paul Steckler (Wed Dec 05 2001 - 13:31:04 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)
- 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/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)
- PLI 2002-Second call for workshop proposals Carsten Schuermann (Tue Nov 06 2001 - 11:32:52 EST)
- 5th NEPLS Symposium will be held Friday February 22 at MIT Michael Ernst (Wed Oct 31 2001 - 15:28:50 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)
- 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)
- [Fwd: rinard@cag.lcs.mit.edu] Talk Mitchell Wand (Fri Sep 28 2001 - 08:42:04 EDT)
- Fourth NEPLS meeting -- October 5th at Sun alex.garthwaite@sun.com (Tue Sep 18 2001 - 13:41:53 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)
- 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 (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 - 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)
- 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)
- 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
120 messages sorted by:
[ author ]
[ date ]
[ subject ]
This archive was generated by hypermail 2b28
: Fri Dec 28 2001 - 15:24:16 EST