CSAIL Calendar: CSAIL Event Calendar

« NovemberDecember 2013 (Go to This Month)January »
Sunday	Monday	Tuesday	Wednesday	Thursday	Friday	Saturday
1	2	3 Performance Engineering in a Legacy System (2:30 PM) Advanced topics in data integration (2:30 PM) Theory of Computation Colloquium - 2013: Capacity and Constructions of Non-Malleable Codes (4:15 PM)	4 PL/SE Seminar Series 2013/2014: Bridging the gap between industrial-scale control systems and formal methods (11:00 AM) How to Learn Technical Writing (1:30 PM) Thesis defense: Adaptive communication networks for heterogeneous teams of robots (2:00 PM) Thesis defense: Adaptive communication networks for heterogeneous teams of robots (2:00 PM) The constant battle for power-efficient computing (2:30 PM) Algorithms and Complexity Series Fall 2013 / Spring 2014: Pseudorandomness for Regular Branching Programs via Fourier Analysis (4:00 PM)	5 Simple is not easy: an embodied intelligence approach to tame the complexity of hands. (2:00 PM) 6.172 Performance Engineering of Software Systems (Remotely Given) Guest Lecture - Performance Engineering of Large-Scale Computer Systems: Lessons Learned in Building Google's Search and Infrastructure Software (2:30 PM) Dertouzos Lecturer Series 2013/2014: Dertouzos Distinguished Lecture: Proof, Secrets, and Computation (4:00 PM)	6 Second Andrea Bocelli Foundation CHALLENGES Workshop (8:30 AM) Thesis Defense: Models and Algorithms for Phylogenetic Reconstruction (10:00 AM) Cryptography and Information Security Seminar Seminars Fall 2013 / Spring 2014: Virtual Black-Box Obfuscation for All Circuits via Generic Graded Encoding (10:30 AM) Doctoral Thesis Title: Online Allocation Algorithms with Applications in Computational Advertising (12:00 PM) Message Passing or Shared Memory: Evaluating the Delegation Abstraction for Multicores (1:00 PM)	7
8	9	10 Would you like to come see some toys? (2:30 PM) Theory of Computation Colloquium - 2013: Nondeterministic Direct Product Reductions and the Success Probability of SAT Solvers (4:15 PM) MIT BIG DATA CHALLENGE MEETUP (5:00 PM)	11 Algorithms and Complexity Series Fall 2013 / Spring 2014: Beyond XOR Games: Information causality, Szemerédi-Trotter and Algebraic Variants of CHSH (4:00 PM) CSAIL Security Seminar 2013/2014: A Practical System for Verifying Recoverability of Big Data (4:00 PM)	12 HCI Seminar Series 2013/2014: Co-Adaptive Instruments: Can we reinvent the graphical user interface? (2:00 PM) Scalable Data Management for High-Throughput Genomics (4:00 PM)	13 HCI Seminar Series 2013/2014: Interactive Event Sequence Query and Transformation (1:00 PM) A System-Theoretic Clean Slate Approach to Provably Secure Ad Hoc Wireless Networking (1:00 PM) Talk by David Lopez-Paz (visitor from Ghahramani and Schölkopf's groups) (1:00 PM) Algorithms and Complexity Series Fall 2013 / Spring 2014: Algorithmic Regularity for Polynomials and Applications (1:30 PM) Ice cream social for EECS-related post-docs (3:00 PM)	14
15	16	17 Thesis Defense: Model Selection in Compositional Spaces (11:00 AM)	18 THESIS DEFENSE: AUTOTUNING PROGRAMS WITH ALGORITHMIC CHOICE (2:00 PM) Algorithms and Complexity Series Fall 2013 / Spring 2014: Approximating matching size from random streams (4:00 PM)	19 Thesis Defense: Decoupling Algorithms from the Organization of Computation for High Performance Imaging (2:00 PM) CSAIL Holiday Social (4:30 PM)	20 CANCELLED: Cache-Adaptive Algorithms (2:00 PM)	21
22	23	24	25	26	27	28
29	30	31	1	2	3	4

1

2

3

Performance Engineering in a Legacy System (2:30 PM)

Advanced topics in data integration (2:30 PM)

Theory of Computation Colloquium - 2013:
Capacity and Constructions of Non-Malleable Codes (4:15 PM)

4

PL/SE Seminar Series 2013/2014:
Bridging the gap between industrial-scale control systems and formal methods (11:00 AM)

How to Learn Technical Writing (1:30 PM)

Thesis defense: Adaptive communication networks for heterogeneous teams of robots (2:00 PM)

The constant battle for power-efficient computing (2:30 PM)

Algorithms and Complexity Series Fall 2013 / Spring 2014:
Pseudorandomness for Regular Branching Programs via Fourier Analysis (4:00 PM)

5

Simple is not easy: an embodied intelligence approach to tame the complexity of hands. (2:00 PM)

6.172 Performance Engineering of Software Systems (Remotely Given) Guest Lecture - Performance Engineering of Large-Scale Computer Systems: Lessons Learned in Building Google's Search and Infrastructure Software (2:30 PM)

Dertouzos Lecturer Series 2013/2014:
Dertouzos Distinguished Lecture: Proof, Secrets, and Computation (4:00 PM)

6

Second Andrea Bocelli Foundation CHALLENGES Workshop (8:30 AM)

Thesis Defense: Models and Algorithms for Phylogenetic Reconstruction (10:00 AM)

Cryptography and Information Security Seminar Seminars Fall 2013 / Spring 2014:
Virtual Black-Box Obfuscation for All Circuits via Generic Graded Encoding (10:30 AM)

Doctoral Thesis Title: Online Allocation Algorithms with Applications in Computational Advertising (12:00 PM)

Message Passing or Shared Memory: Evaluating the Delegation Abstraction for Multicores (1:00 PM)

7

8

9

10

Would you like to come see some toys? (2:30 PM)

Theory of Computation Colloquium - 2013:
Nondeterministic Direct Product Reductions and the Success Probability of SAT Solvers (4:15 PM)

MIT BIG DATA CHALLENGE MEETUP (5:00 PM)

11

Algorithms and Complexity Series Fall 2013 / Spring 2014:
Beyond XOR Games: Information causality, Szemerédi-Trotter and Algebraic Variants of CHSH (4:00 PM)

CSAIL Security Seminar 2013/2014:
A Practical System for Verifying Recoverability of Big Data (4:00 PM)

12

HCI Seminar Series 2013/2014:
Co-Adaptive Instruments: Can we reinvent the graphical user interface? (2:00 PM)

Scalable Data Management for High-Throughput Genomics (4:00 PM)

13

HCI Seminar Series 2013/2014:
Interactive Event Sequence Query and Transformation (1:00 PM)

A System-Theoretic Clean Slate Approach to Provably Secure Ad Hoc Wireless Networking (1:00 PM)

Talk by David Lopez-Paz (visitor from Ghahramani and Schölkopf's groups) (1:00 PM)

Algorithms and Complexity Series Fall 2013 / Spring 2014:
Algorithmic Regularity for Polynomials and Applications (1:30 PM)

Ice cream social for EECS-related post-docs (3:00 PM)

14

15

16

17

Thesis Defense: Model Selection in Compositional Spaces (11:00 AM)

18

THESIS DEFENSE: AUTOTUNING PROGRAMS WITH ALGORITHMIC CHOICE (2:00 PM)

Algorithms and Complexity Series Fall 2013 / Spring 2014:
Approximating matching size from random streams (4:00 PM)

19

Thesis Defense: Decoupling Algorithms from the Organization of Computation for High Performance Imaging (2:00 PM)

CSAIL Holiday Social (4:30 PM)

20

CANCELLED: Cache-Adaptive Algorithms (2:00 PM)

21

22

23

24

25

26

27

28

29

30

31

1

2

3

4

Sunday	Monday	Tuesday	Wednesday	Thursday	Friday	Saturday
1	2	3 Performance Engineering in a Legacy System (2:30 PM) Advanced topics in data integration (2:30 PM) Theory of Computation Colloquium - 2013: Capacity and Constructions of Non-Malleable Codes (4:15 PM)	4 PL/SE Seminar Series 2013/2014: Bridging the gap between industrial-scale control systems and formal methods (11:00 AM) How to Learn Technical Writing (1:30 PM) Thesis defense: Adaptive communication networks for heterogeneous teams of robots (2:00 PM) Thesis defense: Adaptive communication networks for heterogeneous teams of robots (2:00 PM) The constant battle for power-efficient computing (2:30 PM) Algorithms and Complexity Series Fall 2013 / Spring 2014: Pseudorandomness for Regular Branching Programs via Fourier Analysis (4:00 PM)	5 Simple is not easy: an embodied intelligence approach to tame the complexity of hands. (2:00 PM) 6.172 Performance Engineering of Software Systems (Remotely Given) Guest Lecture - Performance Engineering of Large-Scale Computer Systems: Lessons Learned in Building Google's Search and Infrastructure Software (2:30 PM) Dertouzos Lecturer Series 2013/2014: Dertouzos Distinguished Lecture: Proof, Secrets, and Computation (4:00 PM)	6 Second Andrea Bocelli Foundation CHALLENGES Workshop (8:30 AM) Thesis Defense: Models and Algorithms for Phylogenetic Reconstruction (10:00 AM) Cryptography and Information Security Seminar Seminars Fall 2013 / Spring 2014: Virtual Black-Box Obfuscation for All Circuits via Generic Graded Encoding (10:30 AM) Doctoral Thesis Title: Online Allocation Algorithms with Applications in Computational Advertising (12:00 PM) Message Passing or Shared Memory: Evaluating the Delegation Abstraction for Multicores (1:00 PM)	7
8	9	10 Would you like to come see some toys? (2:30 PM) Theory of Computation Colloquium - 2013: Nondeterministic Direct Product Reductions and the Success Probability of SAT Solvers (4:15 PM) MIT BIG DATA CHALLENGE MEETUP (5:00 PM)	11 Algorithms and Complexity Series Fall 2013 / Spring 2014: Beyond XOR Games: Information causality, Szemerédi-Trotter and Algebraic Variants of CHSH (4:00 PM) CSAIL Security Seminar 2013/2014: A Practical System for Verifying Recoverability of Big Data (4:00 PM)	12 HCI Seminar Series 2013/2014: Co-Adaptive Instruments: Can we reinvent the graphical user interface? (2:00 PM) Scalable Data Management for High-Throughput Genomics (4:00 PM)	13 HCI Seminar Series 2013/2014: Interactive Event Sequence Query and Transformation (1:00 PM) A System-Theoretic Clean Slate Approach to Provably Secure Ad Hoc Wireless Networking (1:00 PM) Talk by David Lopez-Paz (visitor from Ghahramani and Schölkopf's groups) (1:00 PM) Algorithms and Complexity Series Fall 2013 / Spring 2014: Algorithmic Regularity for Polynomials and Applications (1:30 PM) Ice cream social for EECS-related post-docs (3:00 PM)	14
15	16	17 Thesis Defense: Model Selection in Compositional Spaces (11:00 AM)	18 THESIS DEFENSE: AUTOTUNING PROGRAMS WITH ALGORITHMIC CHOICE (2:00 PM) Algorithms and Complexity Series Fall 2013 / Spring 2014: Approximating matching size from random streams (4:00 PM)	19 Thesis Defense: Decoupling Algorithms from the Organization of Computation for High Performance Imaging (2:00 PM) CSAIL Holiday Social (4:30 PM)	20 CANCELLED: Cache-Adaptive Algorithms (2:00 PM)	21
22	23	24	25	26	27	28
29	30	31	1	2	3	4