CSAIL Calendar: CSAIL Event Calendar

« OctoberNovember 2013 (Go to This Month)December »
Sunday	Monday	Tuesday	Wednesday	Thursday	Friday	Saturday
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
3	4 Integrating Theoretical Algorithmic Ideas in Empirical Biological Study (4:00 PM) Good Vibrations: Designing Effective Tactile Displays (4:00 PM)	5 PL/SE Seminar Series 2013/2014: Charge! A framework for higher-order separation logic in Coq (12:30 PM) Theory of Computation Colloquium - 2013: INTERACTIVE CHANNEL CAPACITY (4:15 PM)	6 Precimonious: Tuning Assistant for Floating-Point Precision (11:00 AM) MERL intern recruiting and cupcakes (1:00 PM) Biomedical Imaging and Analysis 2013/2014: Geometric modeling and statistical analysis of anatomical trees (4:00 PM) Algorithms and Complexity Series Fall 2013 / Spring 2014: (Essentially) Resolving the Complexity of Constant Rank Bimatrix Games (4:00 PM)	7 Brains, Minds and Machines Seminar Series 2013/2014: What is the information content of an algorithm? (3:00 PM) Author Talk - No Better Time: The Brief, Remarkable Life of Danny Lewin (6:00 PM)	8 Cryptography and Information Security Seminar Seminars Fall 2013 / Spring 2014: AN EQUATIONAL APPROACH TO SECURE MULTIPARTY COMPUTATION (11:00 AM) Everything you always wanted to know about synchronization, but were afraid to ask (1:00 PM)	9
10	11	12 Pursuit of Low-dimensional Structures in High-dimensional Data (11:00 AM) Big Data Lecture Series 2013/2014: Very Small Arrays: Data Graphics at the New York Times (1:00 PM) Firmament: heterogeneity-aware task scheduling for warehouse-scale computers (4:00 PM) Theory of Computation Colloquium - 2013: INSTANCE-BY-INSTANCE OPTIMAL IDENTITY TESTING (4:15 PM)	13 Algorithms and Complexity Series Fall 2013 / Spring 2014: Ludwig Schmidt: Approximation-Tolerant Model-Based Compressive Sensing (4:00 PM) Ping An Group (China) Summer 2014 Internship Opportunities for MIT Undergrad and Grad Students Info Session (6:00 PM)	14 CSAIL Security Seminar 2013/2014: Experiences and Challenges in Automated Malware Analysis: Quo Vadis Sandboxes? (4:00 PM) Cambridge Area Julia Users Network Meeting (7:00 PM)	15 CANCELLED: RATIONAL ARGUMENTS: SINGLE ROUND DELEGATION WITH SUBLINEAR VERIFICATION (10:30 AM) Regulation of Apoptotic Cascades by the N-end Rule Proteolytic Pathway (11:00 AM) Recursive Deep Learning for Modeling Semantic Compositionality (12:15 PM) Distributed Algorithms in a Wireless World (1:00 PM)	16
17	18 The Practice of Network Security Monitoring (3:30 PM) Modeling Human Communication Dynamics (4:00 PM) Algorithms and Complexity Series Fall 2013 / Spring 2014: Pseudorandom Generators for Polynomial Threshold Functions (4:00 PM) Wearable Robots: A Grand Challenge in Robotics (4:00 PM)	19 CORRECTION LOCATION IS 34-101 - 6.172 Performance Engineering of Software Systems - Guest Lecture HOW TO MAKE PROGRAMS GO FAST: WAR STORIES FROM THE TRENCHES (2:30 PM) Theory of Computation Colloquium - 2013: Methods for Adaptive Seeding and their Applications (4:15 PM)	20 Algorithms and Complexity Series Fall 2013 / Spring 2014: Beyond Locality-Sensitive Hashing (4:00 PM) CSAIL Security Seminar 2013/2014: Shill: A Secure Shell Scripting Language (4:00 PM)	21 Making Cellular Networks Scalable and Flexible (3:00 PM) Score Normalization and System Combination for Keyword Spotting in Speech (4:00 PM)	22 Cryptography and Information Security Seminar Seminars Fall 2013 / Spring 2014: SNARKS FOR C: VERIFYING PROGRAM EXECUTIONS SUCCINCTLY AND IN ZERO KNOWLEDGE (10:30 AM) HCI Seminar Series 2013/2014: Charting the space of wellbeing design for HCI Research and Evaluation in Four movements (1:00 PM) Computing Motions for Medical and Assistive Robots (3:00 PM)	23
24	25 Thesis Defense: Analysis and Visualization of Temporal Variations in Video (1:00 PM) Multi-view Learning of Speech Features with Linear and Non-linear Canonical Correlation Analysis (4:00 PM) Algorithms and Complexity Series Fall 2013 / Spring 2014: Ankit Sharma TALK (4:00 PM) Thesis Defense: Robustness Analysis for Identification and Control of Nonlinear Systems (4:00 PM)	26 Panel on Challenges of Linked Data (1:00 PM) Theory of Computation Colloquium - 2013: Information Complexity and Applications (4:15 PM)	27	28	29	30

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

3

4

Integrating Theoretical Algorithmic Ideas in Empirical Biological Study (4:00 PM)

Good Vibrations: Designing Effective Tactile Displays (4:00 PM)

5

PL/SE Seminar Series 2013/2014:
Charge! A framework for higher-order separation logic in Coq (12:30 PM)

Theory of Computation Colloquium - 2013:
INTERACTIVE CHANNEL CAPACITY (4:15 PM)

6

Precimonious: Tuning Assistant for Floating-Point Precision (11:00 AM)

MERL intern recruiting and cupcakes (1:00 PM)

Biomedical Imaging and Analysis 2013/2014:
Geometric modeling and statistical analysis of anatomical trees (4:00 PM)

Algorithms and Complexity Series Fall 2013 / Spring 2014:
(Essentially) Resolving the Complexity of Constant Rank Bimatrix Games (4:00 PM)

7

Brains, Minds and Machines Seminar Series 2013/2014:
What is the information content of an algorithm? (3:00 PM)

Author Talk - No Better Time: The Brief, Remarkable Life of Danny Lewin (6:00 PM)

8

Cryptography and Information Security Seminar Seminars Fall 2013 / Spring 2014:
AN EQUATIONAL APPROACH TO SECURE MULTIPARTY COMPUTATION (11:00 AM)

Everything you always wanted to know about synchronization, but were afraid to ask (1:00 PM)

9

10

11

12

Pursuit of Low-dimensional Structures in High-dimensional Data (11:00 AM)

Big Data Lecture Series 2013/2014:
Very Small Arrays: Data Graphics at the New York Times (1:00 PM)

Firmament: heterogeneity-aware task scheduling for warehouse-scale computers (4:00 PM)

Theory of Computation Colloquium - 2013:
INSTANCE-BY-INSTANCE OPTIMAL IDENTITY TESTING (4:15 PM)

13

Algorithms and Complexity Series Fall 2013 / Spring 2014:
Ludwig Schmidt: Approximation-Tolerant Model-Based Compressive Sensing (4:00 PM)

Ping An Group (China) Summer 2014 Internship Opportunities for MIT Undergrad and Grad Students Info Session (6:00 PM)

14

CSAIL Security Seminar 2013/2014:
Experiences and Challenges in Automated Malware Analysis: Quo Vadis Sandboxes? (4:00 PM)

Cambridge Area Julia Users Network Meeting (7:00 PM)

15

CANCELLED: RATIONAL ARGUMENTS: SINGLE ROUND DELEGATION WITH SUBLINEAR VERIFICATION (10:30 AM)

Regulation of Apoptotic Cascades by the N-end Rule Proteolytic Pathway (11:00 AM)

Recursive Deep Learning for Modeling Semantic Compositionality (12:15 PM)

Distributed Algorithms in a Wireless World (1:00 PM)

16

17

18

The Practice of Network Security Monitoring (3:30 PM)

Modeling Human Communication Dynamics (4:00 PM)

Algorithms and Complexity Series Fall 2013 / Spring 2014:
Pseudorandom Generators for Polynomial Threshold Functions (4:00 PM)

Wearable Robots: A Grand Challenge in Robotics (4:00 PM)

19

CORRECTION LOCATION IS 34-101 - 6.172 Performance Engineering of Software Systems - Guest Lecture HOW TO MAKE PROGRAMS GO FAST: WAR STORIES FROM THE TRENCHES (2:30 PM)

Theory of Computation Colloquium - 2013:
Methods for Adaptive Seeding and their Applications (4:15 PM)

20

Algorithms and Complexity Series Fall 2013 / Spring 2014:
Beyond Locality-Sensitive Hashing (4:00 PM)

CSAIL Security Seminar 2013/2014:
Shill: A Secure Shell Scripting Language (4:00 PM)

21

Making Cellular Networks Scalable and Flexible (3:00 PM)

Score Normalization and System Combination for Keyword Spotting in Speech (4:00 PM)

22

Cryptography and Information Security Seminar Seminars Fall 2013 / Spring 2014:
SNARKS FOR C: VERIFYING PROGRAM EXECUTIONS SUCCINCTLY AND IN ZERO KNOWLEDGE (10:30 AM)

HCI Seminar Series 2013/2014:
Charting the space of wellbeing design for HCI Research and Evaluation in Four movements (1:00 PM)

Computing Motions for Medical and Assistive Robots (3:00 PM)

23

24

25

Thesis Defense: Analysis and Visualization of Temporal Variations in Video (1:00 PM)

Multi-view Learning of Speech Features with Linear and Non-linear Canonical Correlation Analysis (4:00 PM)

Algorithms and Complexity Series Fall 2013 / Spring 2014:
Ankit Sharma TALK (4:00 PM)

Thesis Defense: Robustness Analysis for Identification and Control of Nonlinear Systems (4:00 PM)

26

Panel on Challenges of Linked Data (1:00 PM)

Theory of Computation Colloquium - 2013:
Information Complexity and Applications (4:15 PM)

27

28

29

30

Sunday	Monday	Tuesday	Wednesday	Thursday	Friday	Saturday
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
3	4 Integrating Theoretical Algorithmic Ideas in Empirical Biological Study (4:00 PM) Good Vibrations: Designing Effective Tactile Displays (4:00 PM)	5 PL/SE Seminar Series 2013/2014: Charge! A framework for higher-order separation logic in Coq (12:30 PM) Theory of Computation Colloquium - 2013: INTERACTIVE CHANNEL CAPACITY (4:15 PM)	6 Precimonious: Tuning Assistant for Floating-Point Precision (11:00 AM) MERL intern recruiting and cupcakes (1:00 PM) Biomedical Imaging and Analysis 2013/2014: Geometric modeling and statistical analysis of anatomical trees (4:00 PM) Algorithms and Complexity Series Fall 2013 / Spring 2014: (Essentially) Resolving the Complexity of Constant Rank Bimatrix Games (4:00 PM)	7 Brains, Minds and Machines Seminar Series 2013/2014: What is the information content of an algorithm? (3:00 PM) Author Talk - No Better Time: The Brief, Remarkable Life of Danny Lewin (6:00 PM)	8 Cryptography and Information Security Seminar Seminars Fall 2013 / Spring 2014: AN EQUATIONAL APPROACH TO SECURE MULTIPARTY COMPUTATION (11:00 AM) Everything you always wanted to know about synchronization, but were afraid to ask (1:00 PM)	9
10	11	12 Pursuit of Low-dimensional Structures in High-dimensional Data (11:00 AM) Big Data Lecture Series 2013/2014: Very Small Arrays: Data Graphics at the New York Times (1:00 PM) Firmament: heterogeneity-aware task scheduling for warehouse-scale computers (4:00 PM) Theory of Computation Colloquium - 2013: INSTANCE-BY-INSTANCE OPTIMAL IDENTITY TESTING (4:15 PM)	13 Algorithms and Complexity Series Fall 2013 / Spring 2014: Ludwig Schmidt: Approximation-Tolerant Model-Based Compressive Sensing (4:00 PM) Ping An Group (China) Summer 2014 Internship Opportunities for MIT Undergrad and Grad Students Info Session (6:00 PM)	14 CSAIL Security Seminar 2013/2014: Experiences and Challenges in Automated Malware Analysis: Quo Vadis Sandboxes? (4:00 PM) Cambridge Area Julia Users Network Meeting (7:00 PM)	15 CANCELLED: RATIONAL ARGUMENTS: SINGLE ROUND DELEGATION WITH SUBLINEAR VERIFICATION (10:30 AM) Regulation of Apoptotic Cascades by the N-end Rule Proteolytic Pathway (11:00 AM) Recursive Deep Learning for Modeling Semantic Compositionality (12:15 PM) Distributed Algorithms in a Wireless World (1:00 PM)	16
17	18 The Practice of Network Security Monitoring (3:30 PM) Modeling Human Communication Dynamics (4:00 PM) Algorithms and Complexity Series Fall 2013 / Spring 2014: Pseudorandom Generators for Polynomial Threshold Functions (4:00 PM) Wearable Robots: A Grand Challenge in Robotics (4:00 PM)	19 CORRECTION LOCATION IS 34-101 - 6.172 Performance Engineering of Software Systems - Guest Lecture HOW TO MAKE PROGRAMS GO FAST: WAR STORIES FROM THE TRENCHES (2:30 PM) Theory of Computation Colloquium - 2013: Methods for Adaptive Seeding and their Applications (4:15 PM)	20 Algorithms and Complexity Series Fall 2013 / Spring 2014: Beyond Locality-Sensitive Hashing (4:00 PM) CSAIL Security Seminar 2013/2014: Shill: A Secure Shell Scripting Language (4:00 PM)	21 Making Cellular Networks Scalable and Flexible (3:00 PM) Score Normalization and System Combination for Keyword Spotting in Speech (4:00 PM)	22 Cryptography and Information Security Seminar Seminars Fall 2013 / Spring 2014: SNARKS FOR C: VERIFYING PROGRAM EXECUTIONS SUCCINCTLY AND IN ZERO KNOWLEDGE (10:30 AM) HCI Seminar Series 2013/2014: Charting the space of wellbeing design for HCI Research and Evaluation in Four movements (1:00 PM) Computing Motions for Medical and Assistive Robots (3:00 PM)	23
24	25 Thesis Defense: Analysis and Visualization of Temporal Variations in Video (1:00 PM) Multi-view Learning of Speech Features with Linear and Non-linear Canonical Correlation Analysis (4:00 PM) Algorithms and Complexity Series Fall 2013 / Spring 2014: Ankit Sharma TALK (4:00 PM) Thesis Defense: Robustness Analysis for Identification and Control of Nonlinear Systems (4:00 PM)	26 Panel on Challenges of Linked Data (1:00 PM) Theory of Computation Colloquium - 2013: Information Complexity and Applications (4:15 PM)	27	28	29	30