CSAIL Calendar: CSAIL Event Calendar

« SeptemberOctober 2013 (Go to This Month)November »
Sunday	Monday	Tuesday	Wednesday	Thursday	Friday	Saturday
29	30 PL/SE Seminar: An algebraic theory of type and effect systems (3:00 PM)	1 PL/SE Seminar: Mtac: A Monad for Typed Tactic Programming in Coq (2:00 PM) An Almost-Linear-Time Algorithm for Approximate Max Flow in Undirected Graphs, and its Multicommodity Generalizations (4:00 PM)	2 Smart Cities and their Research Progress in China (11:30 AM) Private Analysis of Graphs (4:00 PM) Towards Optimization-Safe Systems: Analyzing the Impact of Undefined Behavior (4:00 PM)	3 Google App Engine and Cloud Overview (12:00 PM) Energy-Efficient Design of Domain-Specific Compute Fabrics (3:00 PM) The design and implementation of the Meteor platform (4:00 PM)	4 Computational Research in Boston and Beyond Seminar (12:00 PM) Talk: Franz Hover: Designing Fast Robot Teams Underwater (4:00 PM)	5
6	7 Thesis Defense: Enabling dedicated single-cycle connections over a shared Network-on-Chip (10:00 AM) 3D Virtual Worlds and Simulation: The Human-Computer Interface (7:00 PM) 3D Virtual Worlds and Simulation: The Human-Computer Interface (7:00 PM)	8 JPL Technical Talk (4:00 PM) Thesis Defense: Learning from other perspectives: Benefits of In-place Annotation Systems (4:00 PM) Theory of Computation Colloquium - 2013: The world is flat: algorithms for classical optimization problems restricted to planar graphs (4:15 PM)	9 Genetic causes of gene expression variation in Arabidopsis thaliana (9:00 AM) Capturing and visualizing high order statistics with counting grids: From extreme image reconstruction to viral load regression to text skimming (11:00 AM) Cutting corners cheaply, or how to remove Steiner points (4:00 PM) Biomedical Imaging and Analysis 2013/2014: Matched Signal Detection on Graphs: Theory and Application to Brain Network Classification using PIB-PET data (4:00 PM) Biomedical Imaging and Analysis 2013/2014: Leveraging Bing's Data Assets for Enterprise Applications (4:00 PM) CSAIL Security Seminar 2013/2014: Secure Data Deletion from Persistent Media (4:00 PM)	10 Design principles for controlling gene expression in bacteria (9:00 AM) Computational Graphic Design: Colors, Fonts, and Layout (11:00 AM) Brains, Minds and Machines Seminar Series 2013/2014: Understanding the building blocks of neural computation: Insights from connectomics and theory (11:30 AM) JPL Technical Talk (2:00 PM) Dertouzos Lecturer Series 2013/2014: Dertouzos Distinguished Lecture: The Three R's of Computer Vision: Recognition, Reconstruction and Reorganization (4:00 PM)	11 What a CSAIL grad student moonlighting as a newspaper reporter learned about statistics (12:00 PM) Dealing With Your Digital Stuff: From Personal Collections to Information Visualization (1:00 PM)	12
13	14	15	16 And the Bayesians and the frequentists shall lie down together... (3:00 PM) Approximate Constraint Satisfaction Requires Large LP Relaxations (4:00 PM)	17 Big Data Lecture Series 2013/2014: On the Computational and Statistical Interface and "Big Data" (3:00 PM) PLUG-AND-PLAY IP SECURITY: ANONYMITY INFRASTRUCTURE INSTEAD OF PKI (3:00 PM) RECURSION IN RATIONAL AGENTS: FOUNDATIONS FOR SELF-MODIFYING AI (4:00 PM) VMware Tech Talk: Virtualization Anyware (6:00 PM)	18 Cryptography and Information Security Seminar Seminars Fall 2013 / Spring 2014: DISSECTION: A NEW PARADIGM FOR SOLVING BICOMPOSITE SEARCH PROBLEMS (10:30 AM)	19
20	21 Wireless@MIT Seminar Series 2013/2014: MARVEL: Multiple Antenna based Relative Vehicle Localizer (4:00 PM)	22 PL/SE Seminar Series 2013/2014: Refactoring with Synthesis from Examples (12:30 PM) Theory of Computation Colloquium - 2013: 1-ROUND DELEGATION FOR DETERMINISTIC COMPUTATIONS* (4:15 PM)	23 CSAIL Security Seminar 2013/2014: PrivExec: Private Execution as an Operating System Service (4:00 PM)	24 Crowd-Detective or mob investigation? Understanding Human Flesh Search and rumor spreading with epidemic models (12:00 PM)	25 From Crash-and-Recover to Sense-and-Adapt: Building Machines with Variability-Resistant Software (3:00 PM)	26
27	28 Big Data Lecture Series 2013/2014: NSA Mass Surveillance: Turning the Fourth (and First) Amendment on It's Head (2:00 PM) Fast and Guaranteed Learning of Overlapping Communities via Tensor Decomposition (2:30 PM) Human Language Technology Distinguished Lecture Series 2013/2014: Towards Open-domain Spoken Dialogue Systems (4:30 PM)	29	30 Switching Linear Dynamical Systems for Condition Monitoring in the Intensive Care Unit (11:00 AM) PL/SE Seminar Series 2013/2014: A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis (2:30 PM) CANCELLED: Pseudorandomness for Multilinear Read-Once Algebraic Branching Programs, in any Order (4:00 PM) Tom Leighton - CEO and Co-Founder of Akamai Technologies will speak Wednesday, October 30! (4:30 PM)	31 CANCELLED: Dual-Use Technology: Starting OkCupid and Pursuing a PhD in Parallel (12:00 PM) Starting OkCupid and Pursuing a PhD in Parallel (3:00 PM) TALK: Algs. & Complexity Seminar/ Pseudorandomness for Multilinear Read-Once Algebraic Branching Programs, in any Order Speaker: Michael Forbes (4:00 PM)	1 Cryptography and Information Security Seminar Seminars Fall 2013 / Spring 2014: PRIVATE APPROXIMATIONS AND BIG DATA (10:30 AM) MIT SuperCloud: HPC, Clouds, and Databases for Diverse Rapid Prototyping (12:00 PM) CRIBB Seminar: MIT SuperCloud: HPC, Clouds, and Databases for Diverse Rapid Prototyping (12:00 PM) Theory of Computation Colloquium - 2013: NAVIGATING CENTRAL PATH WITH ELECTRICAL FLOWS: FROM FLOWS TO MATCHINGS, AND BACK (4:00 PM)	2

29

30

PL/SE Seminar: An algebraic theory of type and effect systems (3:00 PM)

1

PL/SE Seminar: Mtac: A Monad for Typed Tactic Programming in Coq (2:00 PM)

An Almost-Linear-Time Algorithm for Approximate Max Flow in Undirected Graphs, and its Multicommodity Generalizations (4:00 PM)

2

Smart Cities and their Research Progress in China (11:30 AM)

Private Analysis of Graphs (4:00 PM)

Towards Optimization-Safe Systems: Analyzing the Impact of Undefined Behavior (4:00 PM)

3

Google App Engine and Cloud Overview (12:00 PM)

Energy-Efficient Design of Domain-Specific Compute Fabrics (3:00 PM)

The design and implementation of the Meteor platform (4:00 PM)

4

Computational Research in Boston and Beyond Seminar (12:00 PM)

Talk: Franz Hover: Designing Fast Robot Teams Underwater (4:00 PM)

5

6

7

Thesis Defense: Enabling dedicated single-cycle connections over a shared Network-on-Chip (10:00 AM)

3D Virtual Worlds and Simulation: The Human-Computer Interface (7:00 PM)

8

JPL Technical Talk (4:00 PM)

Thesis Defense: Learning from other perspectives: Benefits of In-place Annotation Systems (4:00 PM)

Theory of Computation Colloquium - 2013:
The world is flat: algorithms for classical optimization problems restricted to planar graphs (4:15 PM)

9

Genetic causes of gene expression variation in Arabidopsis thaliana (9:00 AM)

Capturing and visualizing high order statistics with counting grids: From extreme image reconstruction to viral load regression to text skimming (11:00 AM)

Cutting corners cheaply, or how to remove Steiner points (4:00 PM)

Biomedical Imaging and Analysis 2013/2014:
Matched Signal Detection on Graphs: Theory and Application to Brain Network Classification using PIB-PET data (4:00 PM)

Biomedical Imaging and Analysis 2013/2014:
Leveraging Bing's Data Assets for Enterprise Applications (4:00 PM)

CSAIL Security Seminar 2013/2014:
Secure Data Deletion from Persistent Media (4:00 PM)

10

Design principles for controlling gene expression in bacteria (9:00 AM)

Computational Graphic Design: Colors, Fonts, and Layout (11:00 AM)

Brains, Minds and Machines Seminar Series 2013/2014:
Understanding the building blocks of neural computation: Insights from connectomics and theory (11:30 AM)

JPL Technical Talk (2:00 PM)

Dertouzos Lecturer Series 2013/2014:
Dertouzos Distinguished Lecture: The Three R's of Computer Vision: Recognition, Reconstruction and Reorganization (4:00 PM)

11

What a CSAIL grad student moonlighting as a newspaper reporter learned about statistics (12:00 PM)

Dealing With Your Digital Stuff: From Personal Collections to Information Visualization (1:00 PM)

12

13

14

15

16

And the Bayesians and the frequentists shall lie down together... (3:00 PM)

Approximate Constraint Satisfaction Requires Large LP Relaxations (4:00 PM)

17

Big Data Lecture Series 2013/2014:
On the Computational and Statistical Interface and "Big Data" (3:00 PM)

PLUG-AND-PLAY IP SECURITY: ANONYMITY INFRASTRUCTURE INSTEAD OF PKI (3:00 PM)

RECURSION IN RATIONAL AGENTS: FOUNDATIONS FOR SELF-MODIFYING AI (4:00 PM)

VMware Tech Talk: Virtualization Anyware (6:00 PM)

18

Cryptography and Information Security Seminar Seminars Fall 2013 / Spring 2014:
DISSECTION: A NEW PARADIGM FOR SOLVING BICOMPOSITE SEARCH PROBLEMS (10:30 AM)

19

20

21

Wireless@MIT Seminar Series 2013/2014:
MARVEL: Multiple Antenna based Relative Vehicle Localizer (4:00 PM)

22

PL/SE Seminar Series 2013/2014:
Refactoring with Synthesis from Examples (12:30 PM)

Theory of Computation Colloquium - 2013:
1-ROUND DELEGATION FOR DETERMINISTIC COMPUTATIONS* (4:15 PM)

23

CSAIL Security Seminar 2013/2014:
PrivExec: Private Execution as an Operating System Service (4:00 PM)

24

Crowd-Detective or mob investigation? Understanding Human Flesh Search and rumor spreading with epidemic models (12:00 PM)

25

From Crash-and-Recover to Sense-and-Adapt: Building Machines with Variability-Resistant Software (3:00 PM)

26

27

28

Big Data Lecture Series 2013/2014:
NSA Mass Surveillance: Turning the Fourth (and First) Amendment on It's Head (2:00 PM)

Fast and Guaranteed Learning of Overlapping Communities via Tensor Decomposition (2:30 PM)

Human Language Technology Distinguished Lecture Series 2013/2014:
Towards Open-domain Spoken Dialogue Systems (4:30 PM)

29

30

Switching Linear Dynamical Systems for Condition Monitoring in the Intensive Care Unit (11:00 AM)

PL/SE Seminar Series 2013/2014:
A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis (2:30 PM)

CANCELLED: Pseudorandomness for Multilinear Read-Once Algebraic Branching Programs, in any Order (4:00 PM)

Tom Leighton - CEO and Co-Founder of Akamai Technologies will speak Wednesday, October 30! (4:30 PM)

31

CANCELLED: Dual-Use Technology: Starting OkCupid and Pursuing a PhD in Parallel (12:00 PM)

Starting OkCupid and Pursuing a PhD in Parallel (3:00 PM)

TALK: Algs. & Complexity Seminar/ Pseudorandomness for Multilinear Read-Once Algebraic Branching Programs, in any Order Speaker: Michael Forbes (4:00 PM)

1

Cryptography and Information Security Seminar Seminars Fall 2013 / Spring 2014:
PRIVATE APPROXIMATIONS AND BIG DATA (10:30 AM)

MIT SuperCloud: HPC, Clouds, and Databases for Diverse Rapid Prototyping (12:00 PM)

CRIBB Seminar: MIT SuperCloud: HPC, Clouds, and Databases for Diverse Rapid Prototyping (12:00 PM)

Theory of Computation Colloquium - 2013:
NAVIGATING CENTRAL PATH WITH ELECTRICAL FLOWS: FROM FLOWS TO MATCHINGS, AND BACK (4:00 PM)

2

Sunday	Monday	Tuesday	Wednesday	Thursday	Friday	Saturday
29	30 PL/SE Seminar: An algebraic theory of type and effect systems (3:00 PM)	1 PL/SE Seminar: Mtac: A Monad for Typed Tactic Programming in Coq (2:00 PM) An Almost-Linear-Time Algorithm for Approximate Max Flow in Undirected Graphs, and its Multicommodity Generalizations (4:00 PM)	2 Smart Cities and their Research Progress in China (11:30 AM) Private Analysis of Graphs (4:00 PM) Towards Optimization-Safe Systems: Analyzing the Impact of Undefined Behavior (4:00 PM)	3 Google App Engine and Cloud Overview (12:00 PM) Energy-Efficient Design of Domain-Specific Compute Fabrics (3:00 PM) The design and implementation of the Meteor platform (4:00 PM)	4 Computational Research in Boston and Beyond Seminar (12:00 PM) Talk: Franz Hover: Designing Fast Robot Teams Underwater (4:00 PM)	5
6	7 Thesis Defense: Enabling dedicated single-cycle connections over a shared Network-on-Chip (10:00 AM) 3D Virtual Worlds and Simulation: The Human-Computer Interface (7:00 PM) 3D Virtual Worlds and Simulation: The Human-Computer Interface (7:00 PM)	8 JPL Technical Talk (4:00 PM) Thesis Defense: Learning from other perspectives: Benefits of In-place Annotation Systems (4:00 PM) Theory of Computation Colloquium - 2013: The world is flat: algorithms for classical optimization problems restricted to planar graphs (4:15 PM)	9 Genetic causes of gene expression variation in Arabidopsis thaliana (9:00 AM) Capturing and visualizing high order statistics with counting grids: From extreme image reconstruction to viral load regression to text skimming (11:00 AM) Cutting corners cheaply, or how to remove Steiner points (4:00 PM) Biomedical Imaging and Analysis 2013/2014: Matched Signal Detection on Graphs: Theory and Application to Brain Network Classification using PIB-PET data (4:00 PM) Biomedical Imaging and Analysis 2013/2014: Leveraging Bing's Data Assets for Enterprise Applications (4:00 PM) CSAIL Security Seminar 2013/2014: Secure Data Deletion from Persistent Media (4:00 PM)	10 Design principles for controlling gene expression in bacteria (9:00 AM) Computational Graphic Design: Colors, Fonts, and Layout (11:00 AM) Brains, Minds and Machines Seminar Series 2013/2014: Understanding the building blocks of neural computation: Insights from connectomics and theory (11:30 AM) JPL Technical Talk (2:00 PM) Dertouzos Lecturer Series 2013/2014: Dertouzos Distinguished Lecture: The Three R's of Computer Vision: Recognition, Reconstruction and Reorganization (4:00 PM)	11 What a CSAIL grad student moonlighting as a newspaper reporter learned about statistics (12:00 PM) Dealing With Your Digital Stuff: From Personal Collections to Information Visualization (1:00 PM)	12
13	14	15	16 And the Bayesians and the frequentists shall lie down together... (3:00 PM) Approximate Constraint Satisfaction Requires Large LP Relaxations (4:00 PM)	17 Big Data Lecture Series 2013/2014: On the Computational and Statistical Interface and "Big Data" (3:00 PM) PLUG-AND-PLAY IP SECURITY: ANONYMITY INFRASTRUCTURE INSTEAD OF PKI (3:00 PM) RECURSION IN RATIONAL AGENTS: FOUNDATIONS FOR SELF-MODIFYING AI (4:00 PM) VMware Tech Talk: Virtualization Anyware (6:00 PM)	18 Cryptography and Information Security Seminar Seminars Fall 2013 / Spring 2014: DISSECTION: A NEW PARADIGM FOR SOLVING BICOMPOSITE SEARCH PROBLEMS (10:30 AM)	19
20	21 Wireless@MIT Seminar Series 2013/2014: MARVEL: Multiple Antenna based Relative Vehicle Localizer (4:00 PM)	22 PL/SE Seminar Series 2013/2014: Refactoring with Synthesis from Examples (12:30 PM) Theory of Computation Colloquium - 2013: 1-ROUND DELEGATION FOR DETERMINISTIC COMPUTATIONS* (4:15 PM)	23 CSAIL Security Seminar 2013/2014: PrivExec: Private Execution as an Operating System Service (4:00 PM)	24 Crowd-Detective or mob investigation? Understanding Human Flesh Search and rumor spreading with epidemic models (12:00 PM)	25 From Crash-and-Recover to Sense-and-Adapt: Building Machines with Variability-Resistant Software (3:00 PM)	26
27	28 Big Data Lecture Series 2013/2014: NSA Mass Surveillance: Turning the Fourth (and First) Amendment on It's Head (2:00 PM) Fast and Guaranteed Learning of Overlapping Communities via Tensor Decomposition (2:30 PM) Human Language Technology Distinguished Lecture Series 2013/2014: Towards Open-domain Spoken Dialogue Systems (4:30 PM)	29	30 Switching Linear Dynamical Systems for Condition Monitoring in the Intensive Care Unit (11:00 AM) PL/SE Seminar Series 2013/2014: A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis (2:30 PM) CANCELLED: Pseudorandomness for Multilinear Read-Once Algebraic Branching Programs, in any Order (4:00 PM) Tom Leighton - CEO and Co-Founder of Akamai Technologies will speak Wednesday, October 30! (4:30 PM)	31 CANCELLED: Dual-Use Technology: Starting OkCupid and Pursuing a PhD in Parallel (12:00 PM) Starting OkCupid and Pursuing a PhD in Parallel (3:00 PM) TALK: Algs. & Complexity Seminar/ Pseudorandomness for Multilinear Read-Once Algebraic Branching Programs, in any Order Speaker: Michael Forbes (4:00 PM)	1 Cryptography and Information Security Seminar Seminars Fall 2013 / Spring 2014: PRIVATE APPROXIMATIONS AND BIG DATA (10:30 AM) MIT SuperCloud: HPC, Clouds, and Databases for Diverse Rapid Prototyping (12:00 PM) CRIBB Seminar: MIT SuperCloud: HPC, Clouds, and Databases for Diverse Rapid Prototyping (12:00 PM) Theory of Computation Colloquium - 2013: NAVIGATING CENTRAL PATH WITH ELECTRICAL FLOWS: FROM FLOWS TO MATCHINGS, AND BACK (4:00 PM)	2