🚀 go-pugleaf

Notices for meetings and lectures within the next 14 days
Events recently publicized are excluded.
We have no other information about these events; some, however,
have a phone number or address for additional details or confirmation.

  Mon 11 Jan  6:30 pm
Bldg E51 Room 140, MIT, 70 Memorial Dr (enter Amherst St), Cambridge
Speaker: Brian Kahin, Harvard University  "The National Research and Education
Network (NREN): A Lab for New Alliances of Interests"
Host: IEEE Society for Social Implications of Technology
For Info: Alex Brown 508-435-5765

  Thu 14 Jan  1:30 pm  MIT Building NE43, Sixth Floor Playroom, 545 Technology
Square, Cambridge (On Main Street near intersection of Albany Street, @
Polaroid Building) Refreshments at 1.15.  Speaker: Per Stenstrom, Department of
Computer Engineering, Lund University, Sweden
"An Adaptive Cache Coherence Protocol Optimized for Migratory Sharing"
Host: MIT LCS and Anant Agarwal
For Info: anne@hing.lcs.mit.edu (Anne McCarthy)

  Thu 14 Jan  4:15 pm
MIT Building NE43, Room 518, 545 Technology Square, Cambridge (On Main Street
near intersection of Albany Street, @ Polaroid Building) Refreshments at 4.00.
Speaker: Tobias Nipkow, TU Munchen  "Isabelle - A Generic Theorem Prover"
Host: MIT Theory of Computation Seminar and Professors Albert Meyer and David
McAllester  For Info: theory-seminars-request@theory.lcs.mit.edu

  Thu 21 Jan  7:00 pm
Newman Auditorium, BBN, Inc., 70 Fawcett Street, Cambridge
Speaker: Nathan Goodman
"MAPBASE: A Database for Large Scale Genome Mapping Projects"
Host: Greater Boston Chapters of the ACM, IEEE Computer Society, and SIGMOD
For Info: Ken Baclawski (617) 437-4631