CSAIL Calendar: CSAIL Event Calendar

« AprilMay 2015 (Go to This Month)June »
Sunday	Monday	Tuesday	Wednesday	Thursday	Friday	Saturday
26	27 Wireless@MIT Seminar Series 2014/2015: The MIT Wireless Center 5G Day (9:00 AM) Towards Universal Syntactic Processing of Natural Language (1:00 PM) CyberSecurity@CSAIL Lecture Series- Israels Triangular Cyber Eco-system: Academia, Government and Industry (2:00 PM)	28 Robotics@MIT Seminar Series 2015: Legged Robots Across Scales: Integrating Motion Planning and Control through Canonical Locomotion Models (11:00 AM) Brains, Minds and Machines Seminar Series September 2015-June 2016: Building Newborn Minds in Virtual Worlds (4:00 PM) Deep Unfolding: Deriving Novel Deep Network Architectures from Model-based Inference Methods (4:00 PM) Theory of Computation (TOC) Seminar Series 2015: Constantinos Daskalakis: Mechanism Design via Optimal Transport (4:15 PM)	29 PL/SE Seminar Series 2014/2015: A Predictable Unification Algorithm for Coq Featuring Universe Polymorphism and Overloading (11:00 AM) Bioinformatics Seminar Series 2015: Interactions in genes and ecosystems (11:30 AM) CSAIL Security Seminar 2014/2015: How to Use Bitcoin to Incentivize Correct Computations (4:00 PM) CSAIL Colloquium: Social Inclusion via Augmented Senses: from academia to society (4:00 PM) Algorithms and Complexity Series Fall 2014 / Spring 2015: Geometry and the Complexity of Matrix Multiplication (4:00 PM)	30 Thesis Defense: Touching is Believing: Sensing and Analyzing Touch Information with GelSight (10:00 AM) Thesis Defense: Intelligent Network Selection and Energy Reduction for Mobile Devices (2:00 PM) PL/SE Seminar Series 2014/2015: Utilisation of formal methods for cyber security at FireEye (4:00 PM) Biomedical Imaging and Analysis 2014/2015: Bayesian Analysis of Diffeomorphic Shape Variability (4:00 PM) Boston IEEE/ACM Joint Seminar Series 2014/2015: Computing on Encrypted Data (7:00 PM)	1 Cryptography and Information Security (CIS) Seminar Series 2015: Justin Holmgren: Succinctly Garbling and Obfuscating RAM programs (10:30 AM) COMPUTATIONAL RESEARCH in BOSTON and BEYOND SEMINAR: Bridging the Gap Between Data and Insight Using Open-Source Tools (12:00 PM) 2015 Thesis Defense: Thesis Defense, Alan Guo: New Error Correcting Codes from Lifting (4:00 PM)	2
3	4 Thesis Defense: Latent Source Models for Nonparametric Inference (4:00 PM)	5 CANCELLED: Robotics@MIT Seminar Series 2015: DARPA Robotics Challenge Preview (11:00 AM) Robotics@MIT Seminar Series 2015: MIT's Entry in the DARPA Robotics Challenge: Real-world, Interactive-rate Optimization for Humanoid Robots (11:00 AM) Thesis Defense: Visualization and Analysis of Large Medical Image Collections Using Pipelines (2:00 PM) Spectral Word Embeddings (4:00 PM)	6 3D Model-Based Pose Estimation of Rigid Objects From A Single Image For Robotics (10:00 AM) Bioinformatics Seminar Series 2015: Biophysics and Bioinformatics of Influenza Virus Reassortment (11:30 AM) CSAIL Security Seminar 2014/2015: Decentralizing Authorities into Scalable Strongest-Link Cothorities (4:00 PM) Algorithms and Complexity Series Fall 2014 / Spring 2015: Siu On Chan: Sum of Squares Lower Bounds from Pairwise Independence (4:00 PM)	7 Thesis Defense Advancing Declarative Programming (2:00 PM) Algorithms and Complexity Series Fall 2014 / Spring 2015: Shay Solomon: Dynamic Maximum Matching and Related Problems (4:00 PM)	8 Cryptography and Information Security (CIS) Seminar Series 2015: Mark Zhandry: Order-Revealing Encryption and the Hardness of Private Learning (10:30 AM)	9
10	11 2015 Thesis Defense: Thesis Defense: Parallel Execution for Conflicting Transactions (1:00 PM) Role of Physiology-based Mathematical Models in Critical Care Medicine (4:00 PM)	12 Humans in an adaptive world: genetic and epigenetic responses to environmental challenges (9:00 AM) 2015 Thesis Defense: Thesis Defense, Sergey Gorbunov: Cryptographic Tools for the Cloud (10:15 AM) Robotics@MIT Seminar Series 2015: RGB-D Perception in Robotics (11:00 AM) 2015 Thesis Defense: Thesis Defense: Iterative Methods, Combinatorial Optimization, and Linear Programming Beyond the Universal Barrier (2:00 PM) The End of Slow Networks: Its Time for a Redesign (2:00 PM) Theory of Computation (TOC) Seminar Series 2015: Elad Hazan: Is Optimization Computationally Equivalent to Online Learning? (4:15 PM)	13 Thesis Defense: Interactive Bayesian Identification of Kinematic Mechanisms (11:00 AM) Bioinformatics Seminar Series 2015: Linear Mixed Models for Genome and Epigenome-Wide Association Studies (11:30 AM) Exploiting Compressed Block Size as an Indicator of Future Reuse (3:30 PM) Theory of Computation (TOC) Seminar Series 2015: Shaddin Dughmi: Algorithmic Bayesian Persuasion (4:00 PM)	14 2015 Thesis Defense: Theoretical Guarantees and Complexity Reduction in Information Planning (9:30 AM) Thesis Defense Finding Security Bugs in Web Applications using Domain-Specific Static Analysis (10:30 AM) PENCIL: a Platform-Neutral Compute Intermediate Language for DSL Compilers and for Accelerator Programming (11:00 AM) At the Intersection of Data Science and Language (1:30 PM) Thesis defense: Interactive and Interpretable Machine Learning Models for Human Machine Collaboration (3:00 PM)	15 Cryptography and Information Security (CIS) Seminar Series 2015: Aloni Cohen: Publicly Verifiable Software Watermarking (10:30 AM)	16
17	18 Toward Practical Language and Runtime Support for Reliable, Scalable Parallelism (11:00 AM) CSAIL Research Highlights Competition Party (5:00 PM)	19 The State of Coreference Corpora and Evaluations Over the Past Two Decades (4:00 PM) Theory of Computation (TOC) Seminar Series 2015: David Steurer: Lower bounds on the size of semidefinite programming relaxations (4:15 PM)	20 Gains of Mobility for Sensing and Communication in Vehicular Networks (3:00 PM) CSAIL Security Seminar 2014/2015: On the Risk of Misbehaving RPKI Authorities (4:00 PM) Algorithms and Complexity Series Fall 2014 / Spring 2015: Rati Gelashvili: Polylogarithmic-Time Leader Election in Population Protocols Using Polylogarithmic States (4:00 PM)	21 Boston IEEE/ACM Joint Seminar Series 2014/2015: The End of Slow Networks: It's Time for a Redesign (7:00 PM)	22	23
24	25	26	27	28	29	30
31	1	2	3	4	5	6

26

27

Wireless@MIT Seminar Series 2014/2015:
The MIT Wireless Center 5G Day (9:00 AM)

Towards Universal Syntactic Processing of Natural Language (1:00 PM)

CyberSecurity@CSAIL Lecture Series- Israels Triangular Cyber Eco-system: Academia, Government and Industry (2:00 PM)

28

Robotics@MIT Seminar Series 2015:
Legged Robots Across Scales: Integrating Motion Planning and Control through Canonical Locomotion Models (11:00 AM)

Brains, Minds and Machines Seminar Series September 2015-June 2016:
Building Newborn Minds in Virtual Worlds (4:00 PM)

Deep Unfolding: Deriving Novel Deep Network Architectures from Model-based Inference Methods (4:00 PM)

Theory of Computation (TOC) Seminar Series 2015:
Constantinos Daskalakis: Mechanism Design via Optimal Transport (4:15 PM)

29

PL/SE Seminar Series 2014/2015:
A Predictable Unification Algorithm for Coq Featuring Universe Polymorphism and Overloading (11:00 AM)

Bioinformatics Seminar Series 2015:
Interactions in genes and ecosystems (11:30 AM)

CSAIL Security Seminar 2014/2015:
How to Use Bitcoin to Incentivize Correct Computations (4:00 PM)

CSAIL Colloquium: Social Inclusion via Augmented Senses: from academia to society (4:00 PM)

Algorithms and Complexity Series Fall 2014 / Spring 2015:
Geometry and the Complexity of Matrix Multiplication (4:00 PM)

30

Thesis Defense: Touching is Believing: Sensing and Analyzing Touch Information with GelSight (10:00 AM)

Thesis Defense: Intelligent Network Selection and Energy Reduction for Mobile Devices (2:00 PM)

PL/SE Seminar Series 2014/2015:
Utilisation of formal methods for cyber security at FireEye (4:00 PM)

Biomedical Imaging and Analysis 2014/2015:
Bayesian Analysis of Diffeomorphic Shape Variability (4:00 PM)

Boston IEEE/ACM Joint Seminar Series 2014/2015:
Computing on Encrypted Data (7:00 PM)

1

Cryptography and Information Security (CIS) Seminar Series 2015:
Justin Holmgren: Succinctly Garbling and Obfuscating RAM programs (10:30 AM)

COMPUTATIONAL RESEARCH in BOSTON and BEYOND SEMINAR: Bridging the Gap Between Data and Insight Using Open-Source Tools (12:00 PM)

2015 Thesis Defense:
Thesis Defense, Alan Guo: New Error Correcting Codes from Lifting (4:00 PM)

2

3

4

Thesis Defense: Latent Source Models for Nonparametric Inference (4:00 PM)

5

CANCELLED: Robotics@MIT Seminar Series 2015:
DARPA Robotics Challenge Preview (11:00 AM)

Robotics@MIT Seminar Series 2015:
MIT's Entry in the DARPA Robotics Challenge: Real-world, Interactive-rate Optimization for Humanoid Robots (11:00 AM)

Thesis Defense: Visualization and Analysis of Large Medical Image Collections Using Pipelines (2:00 PM)

Spectral Word Embeddings (4:00 PM)

6

3D Model-Based Pose Estimation of Rigid Objects From A Single Image For Robotics (10:00 AM)

Bioinformatics Seminar Series 2015:
Biophysics and Bioinformatics of Influenza Virus Reassortment (11:30 AM)

CSAIL Security Seminar 2014/2015:
Decentralizing Authorities into Scalable Strongest-Link Cothorities (4:00 PM)

Algorithms and Complexity Series Fall 2014 / Spring 2015:
Siu On Chan: Sum of Squares Lower Bounds from Pairwise Independence (4:00 PM)

7

Thesis Defense Advancing Declarative Programming (2:00 PM)

Algorithms and Complexity Series Fall 2014 / Spring 2015:
Shay Solomon: Dynamic Maximum Matching and Related Problems (4:00 PM)

8

Cryptography and Information Security (CIS) Seminar Series 2015:
Mark Zhandry: Order-Revealing Encryption and the Hardness of Private Learning (10:30 AM)

9

10

11

2015 Thesis Defense:
Thesis Defense: Parallel Execution for Conflicting Transactions (1:00 PM)

Role of Physiology-based Mathematical Models in Critical Care Medicine (4:00 PM)

12

Humans in an adaptive world: genetic and epigenetic responses to environmental challenges (9:00 AM)

2015 Thesis Defense:
Thesis Defense, Sergey Gorbunov: Cryptographic Tools for the Cloud (10:15 AM)

Robotics@MIT Seminar Series 2015:
RGB-D Perception in Robotics (11:00 AM)

2015 Thesis Defense:
Thesis Defense: Iterative Methods, Combinatorial Optimization, and Linear Programming Beyond the Universal Barrier (2:00 PM)

The End of Slow Networks: Its Time for a Redesign (2:00 PM)

Theory of Computation (TOC) Seminar Series 2015:
Elad Hazan: Is Optimization Computationally Equivalent to Online Learning? (4:15 PM)

13

Thesis Defense: Interactive Bayesian Identification of Kinematic Mechanisms (11:00 AM)

Bioinformatics Seminar Series 2015:
Linear Mixed Models for Genome and Epigenome-Wide Association Studies (11:30 AM)

Exploiting Compressed Block Size as an Indicator of Future Reuse (3:30 PM)

Theory of Computation (TOC) Seminar Series 2015:
Shaddin Dughmi: Algorithmic Bayesian Persuasion (4:00 PM)

14

2015 Thesis Defense:
Theoretical Guarantees and Complexity Reduction in Information Planning (9:30 AM)

Thesis Defense Finding Security Bugs in Web Applications using Domain-Specific Static Analysis (10:30 AM)

PENCIL: a Platform-Neutral Compute Intermediate Language for DSL Compilers and for Accelerator Programming (11:00 AM)

At the Intersection of Data Science and Language (1:30 PM)

Thesis defense: Interactive and Interpretable Machine Learning Models for Human Machine Collaboration (3:00 PM)

15

Cryptography and Information Security (CIS) Seminar Series 2015:
Aloni Cohen: Publicly Verifiable Software Watermarking (10:30 AM)

16

17

18

Toward Practical Language and Runtime Support for Reliable, Scalable Parallelism (11:00 AM)

CSAIL Research Highlights Competition Party (5:00 PM)

19

The State of Coreference Corpora and Evaluations Over the Past Two Decades (4:00 PM)

Theory of Computation (TOC) Seminar Series 2015:
David Steurer: Lower bounds on the size of semidefinite programming relaxations (4:15 PM)

20

Gains of Mobility for Sensing and Communication in Vehicular Networks (3:00 PM)

CSAIL Security Seminar 2014/2015:
On the Risk of Misbehaving RPKI Authorities (4:00 PM)

Algorithms and Complexity Series Fall 2014 / Spring 2015:
Rati Gelashvili: Polylogarithmic-Time Leader Election in Population Protocols Using Polylogarithmic States (4:00 PM)

21

Boston IEEE/ACM Joint Seminar Series 2014/2015:
The End of Slow Networks: It's Time for a Redesign (7:00 PM)

22

23

24

25

26

27

28

29

30

31

1

2

3

4

5

6

Sunday	Monday	Tuesday	Wednesday	Thursday	Friday	Saturday
26	27 Wireless@MIT Seminar Series 2014/2015: The MIT Wireless Center 5G Day (9:00 AM) Towards Universal Syntactic Processing of Natural Language (1:00 PM) CyberSecurity@CSAIL Lecture Series- Israels Triangular Cyber Eco-system: Academia, Government and Industry (2:00 PM)	28 Robotics@MIT Seminar Series 2015: Legged Robots Across Scales: Integrating Motion Planning and Control through Canonical Locomotion Models (11:00 AM) Brains, Minds and Machines Seminar Series September 2015-June 2016: Building Newborn Minds in Virtual Worlds (4:00 PM) Deep Unfolding: Deriving Novel Deep Network Architectures from Model-based Inference Methods (4:00 PM) Theory of Computation (TOC) Seminar Series 2015: Constantinos Daskalakis: Mechanism Design via Optimal Transport (4:15 PM)	29 PL/SE Seminar Series 2014/2015: A Predictable Unification Algorithm for Coq Featuring Universe Polymorphism and Overloading (11:00 AM) Bioinformatics Seminar Series 2015: Interactions in genes and ecosystems (11:30 AM) CSAIL Security Seminar 2014/2015: How to Use Bitcoin to Incentivize Correct Computations (4:00 PM) CSAIL Colloquium: Social Inclusion via Augmented Senses: from academia to society (4:00 PM) Algorithms and Complexity Series Fall 2014 / Spring 2015: Geometry and the Complexity of Matrix Multiplication (4:00 PM)	30 Thesis Defense: Touching is Believing: Sensing and Analyzing Touch Information with GelSight (10:00 AM) Thesis Defense: Intelligent Network Selection and Energy Reduction for Mobile Devices (2:00 PM) PL/SE Seminar Series 2014/2015: Utilisation of formal methods for cyber security at FireEye (4:00 PM) Biomedical Imaging and Analysis 2014/2015: Bayesian Analysis of Diffeomorphic Shape Variability (4:00 PM) Boston IEEE/ACM Joint Seminar Series 2014/2015: Computing on Encrypted Data (7:00 PM)	1 Cryptography and Information Security (CIS) Seminar Series 2015: Justin Holmgren: Succinctly Garbling and Obfuscating RAM programs (10:30 AM) COMPUTATIONAL RESEARCH in BOSTON and BEYOND SEMINAR: Bridging the Gap Between Data and Insight Using Open-Source Tools (12:00 PM) 2015 Thesis Defense: Thesis Defense, Alan Guo: New Error Correcting Codes from Lifting (4:00 PM)	2
3	4 Thesis Defense: Latent Source Models for Nonparametric Inference (4:00 PM)	5 CANCELLED: Robotics@MIT Seminar Series 2015: DARPA Robotics Challenge Preview (11:00 AM) Robotics@MIT Seminar Series 2015: MIT's Entry in the DARPA Robotics Challenge: Real-world, Interactive-rate Optimization for Humanoid Robots (11:00 AM) Thesis Defense: Visualization and Analysis of Large Medical Image Collections Using Pipelines (2:00 PM) Spectral Word Embeddings (4:00 PM)	6 3D Model-Based Pose Estimation of Rigid Objects From A Single Image For Robotics (10:00 AM) Bioinformatics Seminar Series 2015: Biophysics and Bioinformatics of Influenza Virus Reassortment (11:30 AM) CSAIL Security Seminar 2014/2015: Decentralizing Authorities into Scalable Strongest-Link Cothorities (4:00 PM) Algorithms and Complexity Series Fall 2014 / Spring 2015: Siu On Chan: Sum of Squares Lower Bounds from Pairwise Independence (4:00 PM)	7 Thesis Defense Advancing Declarative Programming (2:00 PM) Algorithms and Complexity Series Fall 2014 / Spring 2015: Shay Solomon: Dynamic Maximum Matching and Related Problems (4:00 PM)	8 Cryptography and Information Security (CIS) Seminar Series 2015: Mark Zhandry: Order-Revealing Encryption and the Hardness of Private Learning (10:30 AM)	9
10	11 2015 Thesis Defense: Thesis Defense: Parallel Execution for Conflicting Transactions (1:00 PM) Role of Physiology-based Mathematical Models in Critical Care Medicine (4:00 PM)	12 Humans in an adaptive world: genetic and epigenetic responses to environmental challenges (9:00 AM) 2015 Thesis Defense: Thesis Defense, Sergey Gorbunov: Cryptographic Tools for the Cloud (10:15 AM) Robotics@MIT Seminar Series 2015: RGB-D Perception in Robotics (11:00 AM) 2015 Thesis Defense: Thesis Defense: Iterative Methods, Combinatorial Optimization, and Linear Programming Beyond the Universal Barrier (2:00 PM) The End of Slow Networks: Its Time for a Redesign (2:00 PM) Theory of Computation (TOC) Seminar Series 2015: Elad Hazan: Is Optimization Computationally Equivalent to Online Learning? (4:15 PM)	13 Thesis Defense: Interactive Bayesian Identification of Kinematic Mechanisms (11:00 AM) Bioinformatics Seminar Series 2015: Linear Mixed Models for Genome and Epigenome-Wide Association Studies (11:30 AM) Exploiting Compressed Block Size as an Indicator of Future Reuse (3:30 PM) Theory of Computation (TOC) Seminar Series 2015: Shaddin Dughmi: Algorithmic Bayesian Persuasion (4:00 PM)	14 2015 Thesis Defense: Theoretical Guarantees and Complexity Reduction in Information Planning (9:30 AM) Thesis Defense Finding Security Bugs in Web Applications using Domain-Specific Static Analysis (10:30 AM) PENCIL: a Platform-Neutral Compute Intermediate Language for DSL Compilers and for Accelerator Programming (11:00 AM) At the Intersection of Data Science and Language (1:30 PM) Thesis defense: Interactive and Interpretable Machine Learning Models for Human Machine Collaboration (3:00 PM)	15 Cryptography and Information Security (CIS) Seminar Series 2015: Aloni Cohen: Publicly Verifiable Software Watermarking (10:30 AM)	16
17	18 Toward Practical Language and Runtime Support for Reliable, Scalable Parallelism (11:00 AM) CSAIL Research Highlights Competition Party (5:00 PM)	19 The State of Coreference Corpora and Evaluations Over the Past Two Decades (4:00 PM) Theory of Computation (TOC) Seminar Series 2015: David Steurer: Lower bounds on the size of semidefinite programming relaxations (4:15 PM)	20 Gains of Mobility for Sensing and Communication in Vehicular Networks (3:00 PM) CSAIL Security Seminar 2014/2015: On the Risk of Misbehaving RPKI Authorities (4:00 PM) Algorithms and Complexity Series Fall 2014 / Spring 2015: Rati Gelashvili: Polylogarithmic-Time Leader Election in Population Protocols Using Polylogarithmic States (4:00 PM)	21 Boston IEEE/ACM Joint Seminar Series 2014/2015: The End of Slow Networks: It's Time for a Redesign (7:00 PM)	22	23
24	25	26	27	28	29	30
31	1	2	3	4	5	6