CSAIL Calendar: CSAIL Event Calendar

« MarchApril 2014 (Go to This Month)May »
Sunday	Monday	Tuesday	Wednesday	Thursday	Friday	Saturday
30	31 CS Special Seminar Series 2014: Building Embedded Sensor Systems to Bring Ubicomp to Life (4:00 PM)	1 Boston IEEE/ACM Joint Seminar Series 2013/2014: The Cloud meets Bluetooth Smart (7:00 PM)	2 Bayesian RL for Multiagent Systems under State Uncertainty (3:00 PM) CSAIL Summer UROP Information Meeting (3:30 PM) Algorithms and Complexity Series Fall 2013 / Spring 2014: Optimal Cuts in Surface Imbedded Graphs (4:30 PM)	3 Learning from Demonstrations for Robotic Manipulation (11:00 AM) Technology Driving Global Media and Finance Talk (1:00 PM) CS Special Seminar Series 2014: Recursive Deep Learning for Modeling Compositional Meaning in Language (4:00 PM)	4 Cryptography and Information Security Seminar Seminars Fall 2013 / Spring 2014: Regularity of Lossy Exponentiation and Applications (10:30 AM) COMPUTATIONAL RESEARCH in BOSTON and BEYOND SEMINAR:Map-D: A GPU Database for Interactive Big Data Analytics (12:00 PM) HCI Seminar Series 2013/2014: Design Thinking Tools for the Individual, Group and Community (2:00 PM) Legion: Programming Distributed Heterogeneous Architectures with Logical Regions (2:15 PM)	5
6	7 CS Special Seminar Series 2014: Reasoning about Approximate Computing (4:00 PM)	8 Reformulating planning as probabilistic inference---where it helps and where not (11:00 AM) PL/SE Seminar Series 2013/2014: Parametricity and refinements for effective algebra in Coq (2:00 PM) Theory of Computation Colloquium - 2014: FOUNDATIONS FOR LEARNING IN THE AGE OF BIG DATA (4:15 PM)	9 PL/SE Seminar Series 2013/2014: Object Propositions (2:30 PM) Biomedical Imaging and Analysis 2013/2014: An Image-Based Analysis of the Mechanical Mediators of Osteoarthritis in the First Carpometacarpal Joint (3:00 PM) CSAIL Security Seminar 2013/2014: Bots, Bubbles, and Bottleneck: Safeguarding the User's Internet Experience (4:00 PM) Algorithms and Complexity Series Fall 2013 / Spring 2014: Explicit List-Decodable Subspace Codes with High Rate (4:00 PM) Ready to work Work with Watson? IBM Watson Group Recruiting Event (5:00 PM)	10 Towards Continual Topological Mapping with Introspection (10:00 AM) CS Special Seminar Series 2014: Efficient learning with combinatorial structure (3:00 PM) CS Special Seminar Series 2014: Computational challenges in large-scale social networks (4:00 PM)	11 Allele-specific DNA methylation across brain and blood (9:30 AM) Thesis Defense: Identifying chromatin interactions at high spatial resolution (1:00 PM) Thesis Defense: Application Workload Prediction and Placement in Cloud Computing Systems (2:00 PM) HCI Seminar Series 2013/2014: Towards Collaborative Learning At Scale (3:00 PM)	12
13	14 CS Special Seminar Series 2014: Packet Transport Mechanisms for Data Center Networks (4:00 PM) CANCELLED: Cryptography and Information Security Seminar Seminars Fall 2013 / Spring 2014: EMV: WHY PAYMENT SYSTEMS FAIL (4:00 PM) Big Data Lecture Series 2013/2014: Ewan Birney on Big Data in Biology (4:00 PM)	15 Using Algebraic Topology in Robotics/Sensing (11:00 AM) Theory of Computation Colloquium - 2014: Circuits with Medium Fan-In (4:15 PM) Indexing the Real World-HERE, Nokia's Mapping Division, Tech Talk (5:00 PM)	16 CSAIL Security Seminar 2013/2014: Integrating Safety and Security using Systems Theory (4:00 PM) Human Language Technology Distinguished Lecture Series 2013/2014: Language as Influence(d): Power and Memorability (4:00 PM)	17 Thesis Defense: Polynomial Identity Testing of Read-Once Oblivious Algebraic Branching Programs (10:30 AM) Brains, Minds and Machines Seminar Series 2013/2014: Making Collective Intelligence Work: Learning, Liquidity, and Manipulation in Markets (3:00 PM) CS Special Seminar Series 2014: From Graphs to Matrices, and Back: Bridging the Combinatorial and the Continuous (4:00 PM)	18 Cryptography and Information Security Seminar Seminars Fall 2013 / Spring 2014: Redrawing the boundaries of purchasing data from privacy-sensitive individuals (10:30 AM)	19
20	21	22 EECScon 2014 (12:00 PM) EECS Masterworks 2014 (3:30 PM) Brains, Minds and Machines Seminar Series 2013/2014: Computational diversity and the mesoscale organization of the neocortex (4:00 PM)	23 Insights into Human Brain Development and Evolution from Transcriptome Analyses (9:00 AM) The Holy Grail of Transactions: Scalability & Instruction Locality (3:00 PM) CSAIL Security Seminar 2013/2014: Proving the Security of a Simple Private Information Retrieval Protocol using EasyCrypt (4:00 PM) Big Data Lecture Series 2013/2014: Scuba: Diving into Data at Facebook (4:00 PM) Dragnet Nation - Evening Book Talk with Julia Angwin (4:00 PM) Algorithms and Complexity Series Fall 2013 / Spring 2014: Leader Election and Renaming with Optimal Message Complexity (5:00 PM)	24 Thesis Defense: Hare: A Scalable Filesystem for Multikernel OSes (10:30 AM) PL/SE Seminar Series 2013/2014: TouchDevelop: Scripting Mobile+Cloud Apps via Mobile+Cloud (3:00 PM) Thesis Defense: The Structure of Auctions: Optimality and Efficiency (4:00 PM)	25 Adaptation of influenza virus: identifying selective landscape in H1N1 based on time-sampled data (9:00 AM) Thesis Defense: Leveraging Data Across Time and Space to Build Predictive Models for Healthcare-Associated Infections (10:00 AM) Cryptography and Information Security Seminar Seminars Fall 2013 / Spring 2014: How to Avoid Obfuscation using Witness PRFs (10:30 AM)	26
27	28 PL/SE Seminar Series 2013/2014: Automatic Atomicity Verification for Clients of Concurrent Data Structures (10:30 AM) Understanding DNA Methylation and Nucleosome Organization In Cancer Cells (1:00 PM) Within-Class Covariance Correction (WCC) for Linear Discriminant Analysis (LDA) in Speaker Recognition (3:00 PM)	29 Thesis Defense: RFID as a Key Enabler of the Internet of Things: Localization and Communication (10:00 AM) How to be a successful member of the DARPA community (EECS post-docs lunch) (12:00 PM) Theory of Computation Colloquium - 2014: A CONVEX VIEW OF INVERSE PROBLEMS (4:15 PM)	30 Thesis Defense: Directoryless Shared Memory Architecture using Thread Migration and Remote Access (10:00 AM) Thesis Defense: Video Content Analysis: Learning Spatio-Temporal and Multimodal Structures (10:30 AM) Biomedical Imaging and Analysis 2013/2014: Multiparametric organ modeling for shape statistics and simulation procedures (3:00 PM) Algorithms and Complexity Series Fall 2013 / Spring 2014: Talk: Hardness of (2+eps)-SAT and Balanced Hypergraph Coloring (4:00 PM)	1 Reach Out and Touch Something (11:00 AM) CANCELLED: Tractability and Attention: Key Roles in Robotic Visual Search (3:00 PM) Big Data Lecture Series 2013/2014: Building Interactive Database Systems (3:00 PM) Dertouzos Lecturer Series 2013/2014: Dertouzos Distinguished Lecture: The Cryptographic Lens (4:00 PM)	2 Cryptography and Information Security Seminar Seminars Fall 2013 / Spring 2014: Fully Key-Homomorphic Encryption, Arithmetic Circuit ABE and Compact Garbled Circuits (10:30 AM) CRIBB Semainar: Programming in CnC for Parallel Execution (12:00 PM)	3

30

31

CS Special Seminar Series 2014:
Building Embedded Sensor Systems to Bring Ubicomp to Life (4:00 PM)

1

Boston IEEE/ACM Joint Seminar Series 2013/2014:
The Cloud meets Bluetooth Smart (7:00 PM)

2

Bayesian RL for Multiagent Systems under State Uncertainty (3:00 PM)

CSAIL Summer UROP Information Meeting (3:30 PM)

Algorithms and Complexity Series Fall 2013 / Spring 2014:
Optimal Cuts in Surface Imbedded Graphs (4:30 PM)

3

Learning from Demonstrations for Robotic Manipulation (11:00 AM)

Technology Driving Global Media and Finance Talk (1:00 PM)

CS Special Seminar Series 2014:
Recursive Deep Learning for Modeling Compositional Meaning in Language (4:00 PM)

4

Cryptography and Information Security Seminar Seminars Fall 2013 / Spring 2014:
Regularity of Lossy Exponentiation and Applications (10:30 AM)

COMPUTATIONAL RESEARCH in BOSTON and BEYOND SEMINAR:Map-D: A GPU Database for Interactive Big Data Analytics (12:00 PM)

HCI Seminar Series 2013/2014:
Design Thinking Tools for the Individual, Group and Community (2:00 PM)

Legion: Programming Distributed Heterogeneous Architectures with Logical Regions (2:15 PM)

5

6

7

CS Special Seminar Series 2014:
Reasoning about Approximate Computing (4:00 PM)

8

Reformulating planning as probabilistic inference---where it helps and where not (11:00 AM)

PL/SE Seminar Series 2013/2014:
Parametricity and refinements for effective algebra in Coq (2:00 PM)

Theory of Computation Colloquium - 2014:
FOUNDATIONS FOR LEARNING IN THE AGE OF BIG DATA (4:15 PM)

9

PL/SE Seminar Series 2013/2014:
Object Propositions (2:30 PM)

Biomedical Imaging and Analysis 2013/2014:
An Image-Based Analysis of the Mechanical Mediators of Osteoarthritis in the First Carpometacarpal Joint (3:00 PM)

CSAIL Security Seminar 2013/2014:
Bots, Bubbles, and Bottleneck: Safeguarding the User's Internet Experience (4:00 PM)

Algorithms and Complexity Series Fall 2013 / Spring 2014:
Explicit List-Decodable Subspace Codes with High Rate (4:00 PM)

Ready to work Work with Watson? IBM Watson Group Recruiting Event (5:00 PM)

10

Towards Continual Topological Mapping with Introspection (10:00 AM)

CS Special Seminar Series 2014:
Efficient learning with combinatorial structure (3:00 PM)

CS Special Seminar Series 2014:
Computational challenges in large-scale social networks (4:00 PM)

11

Allele-specific DNA methylation across brain and blood (9:30 AM)

Thesis Defense: Identifying chromatin interactions at high spatial resolution (1:00 PM)

Thesis Defense: Application Workload Prediction and Placement in Cloud Computing Systems (2:00 PM)

HCI Seminar Series 2013/2014:
Towards Collaborative Learning At Scale (3:00 PM)

12

13

14

CS Special Seminar Series 2014:
Packet Transport Mechanisms for Data Center Networks (4:00 PM)

CANCELLED: Cryptography and Information Security Seminar Seminars Fall 2013 / Spring 2014:
EMV: WHY PAYMENT SYSTEMS FAIL (4:00 PM)

Big Data Lecture Series 2013/2014:
Ewan Birney on Big Data in Biology (4:00 PM)

15

Using Algebraic Topology in Robotics/Sensing (11:00 AM)

Theory of Computation Colloquium - 2014:
Circuits with Medium Fan-In (4:15 PM)

Indexing the Real World-HERE, Nokia's Mapping Division, Tech Talk (5:00 PM)

16

CSAIL Security Seminar 2013/2014:
Integrating Safety and Security using Systems Theory (4:00 PM)

Human Language Technology Distinguished Lecture Series 2013/2014:
Language as Influence(d): Power and Memorability (4:00 PM)

17

Thesis Defense: Polynomial Identity Testing of Read-Once Oblivious Algebraic Branching Programs (10:30 AM)

Brains, Minds and Machines Seminar Series 2013/2014:
Making Collective Intelligence Work: Learning, Liquidity, and Manipulation in Markets (3:00 PM)

CS Special Seminar Series 2014:
From Graphs to Matrices, and Back: Bridging the Combinatorial and the Continuous (4:00 PM)

18

Cryptography and Information Security Seminar Seminars Fall 2013 / Spring 2014:
Redrawing the boundaries of purchasing data from privacy-sensitive individuals (10:30 AM)

19

20

21

22

EECScon 2014 (12:00 PM)

EECS Masterworks 2014 (3:30 PM)

Brains, Minds and Machines Seminar Series 2013/2014:
Computational diversity and the mesoscale organization of the neocortex (4:00 PM)

23

Insights into Human Brain Development and Evolution from Transcriptome Analyses (9:00 AM)

The Holy Grail of Transactions: Scalability & Instruction Locality (3:00 PM)

CSAIL Security Seminar 2013/2014:
Proving the Security of a Simple Private Information Retrieval Protocol using EasyCrypt (4:00 PM)

Big Data Lecture Series 2013/2014:
Scuba: Diving into Data at Facebook (4:00 PM)

Dragnet Nation - Evening Book Talk with Julia Angwin (4:00 PM)

Algorithms and Complexity Series Fall 2013 / Spring 2014:
Leader Election and Renaming with Optimal Message Complexity (5:00 PM)

24

Thesis Defense: Hare: A Scalable Filesystem for Multikernel OSes (10:30 AM)

PL/SE Seminar Series 2013/2014:
TouchDevelop: Scripting Mobile+Cloud Apps via Mobile+Cloud (3:00 PM)

Thesis Defense: The Structure of Auctions: Optimality and Efficiency (4:00 PM)

25

Adaptation of influenza virus: identifying selective landscape in H1N1 based on time-sampled data (9:00 AM)

Thesis Defense: Leveraging Data Across Time and Space to Build Predictive Models for Healthcare-Associated Infections (10:00 AM)

Cryptography and Information Security Seminar Seminars Fall 2013 / Spring 2014:
How to Avoid Obfuscation using Witness PRFs (10:30 AM)

26

27

28

PL/SE Seminar Series 2013/2014:
Automatic Atomicity Verification for Clients of Concurrent Data Structures (10:30 AM)

Understanding DNA Methylation and Nucleosome Organization In Cancer Cells (1:00 PM)

Within-Class Covariance Correction (WCC) for Linear Discriminant Analysis (LDA) in Speaker Recognition (3:00 PM)

29

Thesis Defense: RFID as a Key Enabler of the Internet of Things: Localization and Communication (10:00 AM)

How to be a successful member of the DARPA community (EECS post-docs lunch) (12:00 PM)

Theory of Computation Colloquium - 2014:
A CONVEX VIEW OF INVERSE PROBLEMS (4:15 PM)

30

Thesis Defense: Directoryless Shared Memory Architecture using Thread Migration and Remote Access (10:00 AM)

Thesis Defense: Video Content Analysis: Learning Spatio-Temporal and Multimodal Structures (10:30 AM)

Biomedical Imaging and Analysis 2013/2014:
Multiparametric organ modeling for shape statistics and simulation procedures (3:00 PM)

Algorithms and Complexity Series Fall 2013 / Spring 2014:
Talk: Hardness of (2+eps)-SAT and Balanced Hypergraph Coloring (4:00 PM)

1

Reach Out and Touch Something (11:00 AM)

CANCELLED: Tractability and Attention: Key Roles in Robotic Visual Search (3:00 PM)

Big Data Lecture Series 2013/2014:
Building Interactive Database Systems (3:00 PM)

Dertouzos Lecturer Series 2013/2014:
Dertouzos Distinguished Lecture: The Cryptographic Lens (4:00 PM)

2

Cryptography and Information Security Seminar Seminars Fall 2013 / Spring 2014:
Fully Key-Homomorphic Encryption, Arithmetic Circuit ABE and Compact Garbled Circuits (10:30 AM)

CRIBB Semainar: Programming in CnC for Parallel Execution (12:00 PM)

3

Sunday	Monday	Tuesday	Wednesday	Thursday	Friday	Saturday
30	31 CS Special Seminar Series 2014: Building Embedded Sensor Systems to Bring Ubicomp to Life (4:00 PM)	1 Boston IEEE/ACM Joint Seminar Series 2013/2014: The Cloud meets Bluetooth Smart (7:00 PM)	2 Bayesian RL for Multiagent Systems under State Uncertainty (3:00 PM) CSAIL Summer UROP Information Meeting (3:30 PM) Algorithms and Complexity Series Fall 2013 / Spring 2014: Optimal Cuts in Surface Imbedded Graphs (4:30 PM)	3 Learning from Demonstrations for Robotic Manipulation (11:00 AM) Technology Driving Global Media and Finance Talk (1:00 PM) CS Special Seminar Series 2014: Recursive Deep Learning for Modeling Compositional Meaning in Language (4:00 PM)	4 Cryptography and Information Security Seminar Seminars Fall 2013 / Spring 2014: Regularity of Lossy Exponentiation and Applications (10:30 AM) COMPUTATIONAL RESEARCH in BOSTON and BEYOND SEMINAR:Map-D: A GPU Database for Interactive Big Data Analytics (12:00 PM) HCI Seminar Series 2013/2014: Design Thinking Tools for the Individual, Group and Community (2:00 PM) Legion: Programming Distributed Heterogeneous Architectures with Logical Regions (2:15 PM)	5
6	7 CS Special Seminar Series 2014: Reasoning about Approximate Computing (4:00 PM)	8 Reformulating planning as probabilistic inference---where it helps and where not (11:00 AM) PL/SE Seminar Series 2013/2014: Parametricity and refinements for effective algebra in Coq (2:00 PM) Theory of Computation Colloquium - 2014: FOUNDATIONS FOR LEARNING IN THE AGE OF BIG DATA (4:15 PM)	9 PL/SE Seminar Series 2013/2014: Object Propositions (2:30 PM) Biomedical Imaging and Analysis 2013/2014: An Image-Based Analysis of the Mechanical Mediators of Osteoarthritis in the First Carpometacarpal Joint (3:00 PM) CSAIL Security Seminar 2013/2014: Bots, Bubbles, and Bottleneck: Safeguarding the User's Internet Experience (4:00 PM) Algorithms and Complexity Series Fall 2013 / Spring 2014: Explicit List-Decodable Subspace Codes with High Rate (4:00 PM) Ready to work Work with Watson? IBM Watson Group Recruiting Event (5:00 PM)	10 Towards Continual Topological Mapping with Introspection (10:00 AM) CS Special Seminar Series 2014: Efficient learning with combinatorial structure (3:00 PM) CS Special Seminar Series 2014: Computational challenges in large-scale social networks (4:00 PM)	11 Allele-specific DNA methylation across brain and blood (9:30 AM) Thesis Defense: Identifying chromatin interactions at high spatial resolution (1:00 PM) Thesis Defense: Application Workload Prediction and Placement in Cloud Computing Systems (2:00 PM) HCI Seminar Series 2013/2014: Towards Collaborative Learning At Scale (3:00 PM)	12
13	14 CS Special Seminar Series 2014: Packet Transport Mechanisms for Data Center Networks (4:00 PM) CANCELLED: Cryptography and Information Security Seminar Seminars Fall 2013 / Spring 2014: EMV: WHY PAYMENT SYSTEMS FAIL (4:00 PM) Big Data Lecture Series 2013/2014: Ewan Birney on Big Data in Biology (4:00 PM)	15 Using Algebraic Topology in Robotics/Sensing (11:00 AM) Theory of Computation Colloquium - 2014: Circuits with Medium Fan-In (4:15 PM) Indexing the Real World-HERE, Nokia's Mapping Division, Tech Talk (5:00 PM)	16 CSAIL Security Seminar 2013/2014: Integrating Safety and Security using Systems Theory (4:00 PM) Human Language Technology Distinguished Lecture Series 2013/2014: Language as Influence(d): Power and Memorability (4:00 PM)	17 Thesis Defense: Polynomial Identity Testing of Read-Once Oblivious Algebraic Branching Programs (10:30 AM) Brains, Minds and Machines Seminar Series 2013/2014: Making Collective Intelligence Work: Learning, Liquidity, and Manipulation in Markets (3:00 PM) CS Special Seminar Series 2014: From Graphs to Matrices, and Back: Bridging the Combinatorial and the Continuous (4:00 PM)	18 Cryptography and Information Security Seminar Seminars Fall 2013 / Spring 2014: Redrawing the boundaries of purchasing data from privacy-sensitive individuals (10:30 AM)	19
20	21	22 EECScon 2014 (12:00 PM) EECS Masterworks 2014 (3:30 PM) Brains, Minds and Machines Seminar Series 2013/2014: Computational diversity and the mesoscale organization of the neocortex (4:00 PM)	23 Insights into Human Brain Development and Evolution from Transcriptome Analyses (9:00 AM) The Holy Grail of Transactions: Scalability & Instruction Locality (3:00 PM) CSAIL Security Seminar 2013/2014: Proving the Security of a Simple Private Information Retrieval Protocol using EasyCrypt (4:00 PM) Big Data Lecture Series 2013/2014: Scuba: Diving into Data at Facebook (4:00 PM) Dragnet Nation - Evening Book Talk with Julia Angwin (4:00 PM) Algorithms and Complexity Series Fall 2013 / Spring 2014: Leader Election and Renaming with Optimal Message Complexity (5:00 PM)	24 Thesis Defense: Hare: A Scalable Filesystem for Multikernel OSes (10:30 AM) PL/SE Seminar Series 2013/2014: TouchDevelop: Scripting Mobile+Cloud Apps via Mobile+Cloud (3:00 PM) Thesis Defense: The Structure of Auctions: Optimality and Efficiency (4:00 PM)	25 Adaptation of influenza virus: identifying selective landscape in H1N1 based on time-sampled data (9:00 AM) Thesis Defense: Leveraging Data Across Time and Space to Build Predictive Models for Healthcare-Associated Infections (10:00 AM) Cryptography and Information Security Seminar Seminars Fall 2013 / Spring 2014: How to Avoid Obfuscation using Witness PRFs (10:30 AM)	26
27	28 PL/SE Seminar Series 2013/2014: Automatic Atomicity Verification for Clients of Concurrent Data Structures (10:30 AM) Understanding DNA Methylation and Nucleosome Organization In Cancer Cells (1:00 PM) Within-Class Covariance Correction (WCC) for Linear Discriminant Analysis (LDA) in Speaker Recognition (3:00 PM)	29 Thesis Defense: RFID as a Key Enabler of the Internet of Things: Localization and Communication (10:00 AM) How to be a successful member of the DARPA community (EECS post-docs lunch) (12:00 PM) Theory of Computation Colloquium - 2014: A CONVEX VIEW OF INVERSE PROBLEMS (4:15 PM)	30 Thesis Defense: Directoryless Shared Memory Architecture using Thread Migration and Remote Access (10:00 AM) Thesis Defense: Video Content Analysis: Learning Spatio-Temporal and Multimodal Structures (10:30 AM) Biomedical Imaging and Analysis 2013/2014: Multiparametric organ modeling for shape statistics and simulation procedures (3:00 PM) Algorithms and Complexity Series Fall 2013 / Spring 2014: Talk: Hardness of (2+eps)-SAT and Balanced Hypergraph Coloring (4:00 PM)	1 Reach Out and Touch Something (11:00 AM) CANCELLED: Tractability and Attention: Key Roles in Robotic Visual Search (3:00 PM) Big Data Lecture Series 2013/2014: Building Interactive Database Systems (3:00 PM) Dertouzos Lecturer Series 2013/2014: Dertouzos Distinguished Lecture: The Cryptographic Lens (4:00 PM)	2 Cryptography and Information Security Seminar Seminars Fall 2013 / Spring 2014: Fully Key-Homomorphic Encryption, Arithmetic Circuit ABE and Compact Garbled Circuits (10:30 AM) CRIBB Semainar: Programming in CnC for Parallel Execution (12:00 PM)	3