pl-seminar mail archive
By Author

New Message 120 messages sorted by: [ date ] [ thread ] [ subject ]

Starting: Tue Sep 26 2000 - 16:44:34 EDT
Ending: Fri Dec 28 2001 - 15:23:52 EST

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

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

pl-seminar mail archiveBy Author

pl-seminar mail archive
By Author