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 the field. 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. Antonis Stampoulis 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, 307 AKW

Adam Chlipala:
Cost-Effective and Foundational Verification of Low-Level Code
(Host: Zhong Shao)

Monday, February 14, 2011, 4:00pm - 5:00pm, 200 AKW

Thorsten Altenkirch:
ΠΣ: a core language for dependently typed programming
(Host: Zhong Shao)