CSAIL Calendar: CSAIL Event Calendar

« AugustSeptember 2013 (Go to This Month)October »
Sunday	Monday	Tuesday	Wednesday	Thursday	Friday	Saturday
1	2	3 MIT Intelligence Initiative Seminar Series 2012/2013: Language, reasoning, and commonsense knowledge (4:00 PM)	4	5 Effective Verification of Low-Level Software with Nested Interrupts (2:00 PM) MIT Intelligence Initiative Seminar Series 2012/2013: How to reason: compile, relax, and learn! (5:30 PM)	6 Understanding the Richness of Single Cell Phenotype through Measurement and Modeling (12:00 PM)	7 Boston IEEE/ACM Joint Seminar Series 2012/2013: Introduction to PSoC 4 (C) Architecture with support for Arduino (C) Shields (9:00 AM)
8	9 Biomedical Imaging and Analysis 2013/2014: Multivariate and mass-univariate approaches to whole-brain whole-genome association (4:00 PM) The Blame Game in Meeting Room ASR: An Analysis of Feature versus Model Errors in Noisy and Mismatched Conditions (4:00 PM)	10 De Bruijn Graphs in Genome Assembly and Comparison (9:00 AM) Seeing the invisible; Predicting the unexpected (11:00 AM) Theory of Computation Colloquium - 2013: AN INFORMATION COMPLEXITY APPROACH TO EXTENDED FORMULATIONS* (4:15 PM) Google MIT Tech Talk (7:00 PM)	11 Google APM Info Session (12:00 PM) CSAIL Security Seminar 2012/2013: Random Number Generation, Revisited (4:00 PM) Algorithms and Complexity Series Fall 2013 / Spring 2014: Property Testing and Communication Complexity (4:00 PM) Northrop Grumman FTL Information Session (6:00 PM)	12	13 Cryptography and Information Security Seminar Seminars Fall 2013 / Spring 2014: CRYPTOGRAPHY AND DATA STRUCTURES: A MATCH MADE IN HEAVEN (10:30 AM)	14 Boston Barefoot Running Festival Evening Talks (4:00 PM)
15	16 bigviz - Big Data Visualization (4:00 PM)	17 Visual Inference by Composition (Continued) (11:30 AM) CANCELLED: test (11:30 AM) CANCELLED: test event (12:00 PM) Theory of Computation Colloquium - 2013: AUTOMATED PRIVATE QUERIES AND THE LIPSCHITZ PROPERTY OF FUNCTIONS* (4:15 PM)	18 How to Search over Encrypted Data (4:00 PM) Speeding-up Microarchitecture Performance and Energy Analysis (4:15 PM)	19 Intel CSAIL Lunch Open House (11:30 AM) Automobiles as Platforms for Open & User Innovation (4:00 PM) Spoken Content Retrieval - Beyond Cascading Speech Recognition with Text Retrieval (4:00 PM) IAP Samsung Meet & Greet (6:00 PM) Systems Design at Quora: Building a large scale consumer internet product (7:00 PM)	20 Product Experiments at Quora: Designing a framework to make data-driven decisions (12:00 PM)	21
22	23	24 CANCELLED: An Almost-Linear-Time Algorithm for Approximate Max Flow in Undirected Graphs, and its Multicommodity Generalizations (4:00 PM) Theory of Computation Colloquium - 2013: ITERATIVE ROW SAMPLING* (4:15 PM)	25 Graham McVicker - Identification of genetic variants that affect histone modifications in human cells (9:00 AM) Bad Advice for New (and Old) Ph.D. Students (5:00 PM)	26 CSAIL Colloquium: Innovating for Society: Realizing the Transformative Impact of Computing and Communication (4:00 PM)	27 Design, Test, and EDA Research for 3D ICs at GTCAD Laboratory (11:00 AM)	28
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

1

2

3

MIT Intelligence Initiative Seminar Series 2012/2013:
Language, reasoning, and commonsense knowledge (4:00 PM)

4

5

Effective Verification of Low-Level Software with Nested Interrupts (2:00 PM)

MIT Intelligence Initiative Seminar Series 2012/2013:
How to reason: compile, relax, and learn! (5:30 PM)

6

Understanding the Richness of Single Cell Phenotype through Measurement and Modeling (12:00 PM)

7

Boston IEEE/ACM Joint Seminar Series 2012/2013:
Introduction to PSoC 4 (C) Architecture with support for Arduino (C) Shields (9:00 AM)

8

9

Biomedical Imaging and Analysis 2013/2014:
Multivariate and mass-univariate approaches to whole-brain whole-genome association (4:00 PM)

The Blame Game in Meeting Room ASR: An Analysis of Feature versus Model Errors in Noisy and Mismatched Conditions (4:00 PM)

10

De Bruijn Graphs in Genome Assembly and Comparison (9:00 AM)

Seeing the invisible; Predicting the unexpected (11:00 AM)

Theory of Computation Colloquium - 2013:
AN INFORMATION COMPLEXITY APPROACH TO EXTENDED FORMULATIONS* (4:15 PM)

Google MIT Tech Talk (7:00 PM)

11

Google APM Info Session (12:00 PM)

CSAIL Security Seminar 2012/2013:
Random Number Generation, Revisited (4:00 PM)

Algorithms and Complexity Series Fall 2013 / Spring 2014:
Property Testing and Communication Complexity (4:00 PM)

Northrop Grumman FTL Information Session (6:00 PM)

12

13

Cryptography and Information Security Seminar Seminars Fall 2013 / Spring 2014:
CRYPTOGRAPHY AND DATA STRUCTURES: A MATCH MADE IN HEAVEN (10:30 AM)

14

Boston Barefoot Running Festival Evening Talks (4:00 PM)

15

16

bigviz - Big Data Visualization (4:00 PM)

17

Visual Inference by Composition (Continued) (11:30 AM)

CANCELLED: test (11:30 AM)

CANCELLED: test event (12:00 PM)

Theory of Computation Colloquium - 2013:
AUTOMATED PRIVATE QUERIES AND THE LIPSCHITZ PROPERTY OF FUNCTIONS* (4:15 PM)

18

How to Search over Encrypted Data (4:00 PM)

Speeding-up Microarchitecture Performance and Energy Analysis (4:15 PM)

19

Intel CSAIL Lunch Open House (11:30 AM)

Automobiles as Platforms for Open & User Innovation (4:00 PM)

Spoken Content Retrieval - Beyond Cascading Speech Recognition with Text Retrieval (4:00 PM)

IAP Samsung Meet & Greet (6:00 PM)

Systems Design at Quora: Building a large scale consumer internet product (7:00 PM)

20

Product Experiments at Quora: Designing a framework to make data-driven decisions (12:00 PM)

21

22

23

24

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

Theory of Computation Colloquium - 2013:
ITERATIVE ROW SAMPLING* (4:15 PM)

25

Graham McVicker - Identification of genetic variants that affect histone modifications in human cells (9:00 AM)

Bad Advice for New (and Old) Ph.D. Students (5:00 PM)

26

CSAIL Colloquium: Innovating for Society: Realizing the Transformative Impact of Computing and Communication (4:00 PM)

27

Design, Test, and EDA Research for 3D ICs at GTCAD Laboratory (11:00 AM)

28

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

Sunday	Monday	Tuesday	Wednesday	Thursday	Friday	Saturday
1	2	3 MIT Intelligence Initiative Seminar Series 2012/2013: Language, reasoning, and commonsense knowledge (4:00 PM)	4	5 Effective Verification of Low-Level Software with Nested Interrupts (2:00 PM) MIT Intelligence Initiative Seminar Series 2012/2013: How to reason: compile, relax, and learn! (5:30 PM)	6 Understanding the Richness of Single Cell Phenotype through Measurement and Modeling (12:00 PM)	7 Boston IEEE/ACM Joint Seminar Series 2012/2013: Introduction to PSoC 4 (C) Architecture with support for Arduino (C) Shields (9:00 AM)
8	9 Biomedical Imaging and Analysis 2013/2014: Multivariate and mass-univariate approaches to whole-brain whole-genome association (4:00 PM) The Blame Game in Meeting Room ASR: An Analysis of Feature versus Model Errors in Noisy and Mismatched Conditions (4:00 PM)	10 De Bruijn Graphs in Genome Assembly and Comparison (9:00 AM) Seeing the invisible; Predicting the unexpected (11:00 AM) Theory of Computation Colloquium - 2013: AN INFORMATION COMPLEXITY APPROACH TO EXTENDED FORMULATIONS* (4:15 PM) Google MIT Tech Talk (7:00 PM)	11 Google APM Info Session (12:00 PM) CSAIL Security Seminar 2012/2013: Random Number Generation, Revisited (4:00 PM) Algorithms and Complexity Series Fall 2013 / Spring 2014: Property Testing and Communication Complexity (4:00 PM) Northrop Grumman FTL Information Session (6:00 PM)	12	13 Cryptography and Information Security Seminar Seminars Fall 2013 / Spring 2014: CRYPTOGRAPHY AND DATA STRUCTURES: A MATCH MADE IN HEAVEN (10:30 AM)	14 Boston Barefoot Running Festival Evening Talks (4:00 PM)
15	16 bigviz - Big Data Visualization (4:00 PM)	17 Visual Inference by Composition (Continued) (11:30 AM) CANCELLED: test (11:30 AM) CANCELLED: test event (12:00 PM) Theory of Computation Colloquium - 2013: AUTOMATED PRIVATE QUERIES AND THE LIPSCHITZ PROPERTY OF FUNCTIONS* (4:15 PM)	18 How to Search over Encrypted Data (4:00 PM) Speeding-up Microarchitecture Performance and Energy Analysis (4:15 PM)	19 Intel CSAIL Lunch Open House (11:30 AM) Automobiles as Platforms for Open & User Innovation (4:00 PM) Spoken Content Retrieval - Beyond Cascading Speech Recognition with Text Retrieval (4:00 PM) IAP Samsung Meet & Greet (6:00 PM) Systems Design at Quora: Building a large scale consumer internet product (7:00 PM)	20 Product Experiments at Quora: Designing a framework to make data-driven decisions (12:00 PM)	21
22	23	24 CANCELLED: An Almost-Linear-Time Algorithm for Approximate Max Flow in Undirected Graphs, and its Multicommodity Generalizations (4:00 PM) Theory of Computation Colloquium - 2013: ITERATIVE ROW SAMPLING* (4:15 PM)	25 Graham McVicker - Identification of genetic variants that affect histone modifications in human cells (9:00 AM) Bad Advice for New (and Old) Ph.D. Students (5:00 PM)	26 CSAIL Colloquium: Innovating for Society: Realizing the Transformative Impact of Computing and Communication (4:00 PM)	27 Design, Test, and EDA Research for 3D ICs at GTCAD Laboratory (11:00 AM)	28
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