Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Agenda

2012 Summer School on Concurrency
August 22–29, 2012 | St. Petersburg, Russia

Agenda Summary

Download a one-page, printable overview of the summer school agenda


Complete Agenda

Wednesday, August 22, 2012

Time

Event/Topic

17:30–21:30

Registration and Opening Reception

WelcomeFabrizio Gagliardi, director, Programs in Europe and Russia, Microsoft Research

 

Thursday, August 23, 2012

Time

Event/Topic

9:00–11:00

Concurrent Programming is Easy, Part I | Abstract

Speaker: Bertrand Meyer 

11:00–11:30 Break

11:30–13:00

Model-Based Design and Analysis of Concurrent and Adaptive Software, Part I | Abstract

Speaker: Jeff Kramer

13:00–14:30 Lunch

14:30–16:00

Speaker Introductory Panel

Chairs: Bertrand Meyer and Judith Bishop

16:00–16:30 Break 
16:30–18:30

Concurrent Programming is Easy, Part II | Abstract

Speaker: Bertrand Meyer

18:30–20:00  Free Time
20:00–21:30 Dinner

 

Friday 24 August 2012

Time

Event/Topic

9:00–11:00

Model-Based Design and Analysis of Concurrent and Adaptive Software, Part II | Abstract

Speaker: Jeff Kramer

11:00–11:30 Break

11:30–13:00 

Design Patterns for Highly Concurrent Data Structures, Part I | Abstract

Speaker: Maurice Herlihy 

13:00–14:30 Lunch

14:30–16:00

Guest Talk 1
Speaker:
Tony Hey, corporate vice president, Microsoft Research Connections

16:00–16:30 Break 
16:30–18:30

Practical Session and Student Presentations 1

18:30–20:00  Free Time
20:00–21:30 Dinner

 

Saturday 25 August 2012

Time

Event/Topic

9:00–11:00

Concurrency in C# and Java: Understanding Why Languages Matter | Abstract
Speaker: Judith Bishop

11:00–11:30 Break

11:30–13:00 

Concurrent Revisions, Part I: Beyond a Linear History of State | Abstract
Speaker: Sebastian Burckhardt
13:00–14:30 Lunch

14:30–16:00

Practical Session and Student Presentations 2

16:00–16:30 Break 
16:30–18:30

Design Patterns for Highly Concurrent Data Structures, Part II | Abstract

Speaker: Maurice Herlihy

18:30–20:00  Free Time
20:00–21:30 Dinner

 

Sunday, 26 August 2012

Time

Event/Topic

All day

Free Time

 

Monday 27 August 2012

Time

Event/Topic

9:00–11:00

Concurrent Revisions, Part II: Incremental Computation and Eventual Consistency | Abstract

Speaker: Sebastian Burckhardt

11:00–11:30 Break

11:30–13:00

Data-Race Exceptions via Low-Level Detection of High-Level Data Races | Abstract

Speaker: Dan Grossman

13:00–14:30 Lunch

14:30–16:00

Practical Session and Student Presentations 3

16:00–16:30 Break 
16:30–18:30

Complexity and Performance Analysis of Parallel Computing | Abstract
Speaker: Victor Gergel

18:30–20:00  Free Time
20:00–21:30 Dinner

 

Tuesday 28 August 2012

Time

Event/Topic

9:00–11:00

Deterministic Execution of Concurrent Programs| Abstract

Speaker: Dan Grossman 

11:00–11:30 Break

11:30–13:00

An Introduction to Bisimulation and Coinduction, Part I | Abstract

Speaker: Davide Sangiorgi

13:00–14:30 Lunch

14:30–16:00

Guest Talk 2

16:00–16:30 Break 
16:30–18:30 Presentations and Demonstrations by Students 
18:30–20:00  Free Time
20:00–21:30 Dinner

 

Wednesday 29 August 2012

Time

Event/Topic

9:00–11:00

An Introduction to Bisimulation and Coinduction, Part II | Abstract

Speaker: Davide Sangiorgi

11:00–11:30 Break

11:30–13:00

Practical Session 4

13:00–14:30 Lunch

14:30–16:00

Modern Languages and Technologies of Parallel Programming | Abstract

Speaker: Victor Gergel

16:00–16:30 Break 
16:30–18:30

Guest Talk 3

18:30–20:00  Free Time
20:00–21:30 Dinner, Awards, and Close