pl-seminar mail archive
By Subject

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

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

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

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 ] [ thread ]

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

pl-seminar mail archiveBy Subject

pl-seminar mail archive
By Subject