Yale CS SPAM
Yale CS SPAM is a forum created for faculty, staff, and students who are
interested in systems to get together and talk in an informal setting about
research problems, interesting results, neat new papers, and anything else
of interest to the group. SPAM---Systems Personnel Activity Meeting---
will allow everyone, both students and faculty, to present their latest crazy
ideas, hear what's going on, ponder current research problems, share
information, and generally have a good time.
SPAM talks will be aimed at the systems folks. Any topic even remotely
connected to systems is fair game. We also hope to get together with other
local research groups to discuss areas of common interest. SPAM talks will
be much less formal than colloquia or grad student talks - we won't ask
"what's the major contribution of this research" or "how many theorems have
you proved". We will also try to keep the talks accessible to those outside
We expect SPAM talks to have some "meat" in them, though it is
sometimes hard to figure out exactly what or where the meat is!
In Fall 2010 SPAM meets on Fridays at 12:00pm in 307 AKW, except when
noted otherwise. These meetings will be less than an hour. SPAM meetings will
be announced on the SPAM mailing
list, in this WWW page, and sometimes also in the yale.cs.department newsgroup.
will be scheduling the meetings.
Please email him if you are interested in giving a talk at SPAM.
You can add or remove yourself from the
SPAM mailing list via the
list web page.
Previous SPAM schedules are here.
Schedule for Fall 2010-Spring 2011
- Friday, September 17, 2011, 12:00pm - 1:30pm,
Cost-Effective and Foundational Verification of Low-Level Code
(Host: Zhong Shao)
- Monday, February 14, 2011, 4:00pm - 5:00pm, 200 AKW
ΠΣ: a core language for dependently typed programming
(Host: Zhong Shao)