Events

  • Distinguished Colloquium Series Speaker
    11-13
    What are the Right Roles for Formal Methods in High Assurance Cloud Computing?
    4:30 PM - 5:30 PM
    Computer Science Small Auditorium (Room 105)
  • Talk
    11-12
    Broadband Internet Performance: A View From the Gateway
    10:00 AM - 11:00 AM
    Computer Science 402
  • CITP
    11-08
    Election 2012: What Does It Mean for the Internet?
    3:30 PM - 4:30 PM
    Sherrerd Hall 101
  • CS Department Colloquium Series
    11-07
    "To the first machine that can appreciate the gesture:" Nicholas Negroponte and the MIT Architecture Machine Group
    4:30 PM - 5:30 PM
    Computer Science Small Auditorium (Room 105)
  • CITP
    11-01
    E-Voting: Risk and Opportunity
    1:30 PM - 5:00 PM
  • CS Department Colloquium Series
    10-26
    Making proof-based verified computation almost practical
    3:30 PM - 4:30 PM
    Computer Science Small Auditorium (Room 105)
  • Grad Event
    10-18
    Evolution of Software Architecture at Facebook
    4:30 PM - 5:30 PM
    Computer Science Small Auditorium (Room 105)
  • CS Department Colloquium Series
    10-12
    Full Duplex Wireless
    3:30 PM - 4:30 PM
    Computer Science Small Auditorium (Room 105)
  • CS Department Colloquium Series
    10-11
    The Power of Examples
    4:30 PM - 5:30 PM
    Computer Science Small Auditorium (Room 105)
  • Talk
    10-10
    Tractable market making in combinatorial prediction markets
    12:30 PM - 1:30 PM
    Computer Science 402
  • CS Department Colloquium Series
    10-03
    When GPUs meet CPUs: opportunities, challenges and solutions in heterogeneous architectures
    4:30 PM - 5:30 PM
    Computer Science Small Auditorium (Room 105)
  • Talk
    09-27
    Jane Street Tech Talk: NILE
    5:30 PM - 6:30 PM
    Computer Science Tea Room