MPI-INF Logo
Adfocs
ADFOCS 2016

17th Max Planck Advanced Course on the Foundations of Computer Science

17th Max Planck Advanced Course

on the Foundations of Computer Science

August 29 - 2 September, 2016, Saarbrücken, Germany

Foundations of Distributed Computing

Virtually anything becomes a distributed system if it is made big enough: computer networks (the Internet, wireless networks, data centers, etc.), social networks, biological systems (on any level: cells, social insects, entire ecosystems), multiprocessor systems and "Networks-on-Chip", the systems banks use to wire your money and those underlying Bitcoin, economical markets - the list goes on. Distributed systems have in common that they consist of a (typically large) ensemble of agents that communicate to solve a task that cannot be tackled by a single agent, be it for lack of information, computational power, or the necessity for the system to withstand faults or selfish behavior. This year, ADFOCS aims at giving a broad overview of the principles underlying the design of distributed systems.

Maurice Herlihy

Maurice Herlihy

Brown University

Consensus and wait-free data structures
Highly-concurrent lists and other data structures
Work-stealing and functional programming

Rotem Oshman

Rotem Oshman

Tel-Aviv University

Distributed computing
through the lens of
communication complexity

Roger Wattenhofer

Roger Wattenhofer

ETH Zurich

Sorting, Social Networks,
Stabilization Labeling Schemes,
Arrow & Ivy, Bitcoin

ADFOCS is organized by Christoph Lenzen, and Cosmina Croitoru as part of the activities of the Algorithms and Complexity Group and the International Max Planck Research School of the Max Planck Institute for Informatics.

Contact

Please do not hesitate to contact us for any questions via email to adfocs@mpi-inf.mpg.de.

Program

This year's ADFOCS features three lecturers, each of which will give three lectures and two exercise sessions. They will be distributed to eight blocks of about four hours. A typical morning or afternoon block will start with 1 1/2 hours of lecture, followed by 2 hours of exercises (in small groups without the lecturers). During the exercise periods, the respective lecturer will be around, as well as some fruits, snacks, and drinks.

There will be an additional slot for the members of the Algorithms and Complexity Group (D1) at MPI to introduce the different research areas of the group.

Schedule

August 29
Monday
August 30
Tuesday
August 31
Wednesday
September 1
Thursday
September 2
Friday
8.00-8.55 Registration
9.00 Lecture
Maurice Herlihy
Lecture
Rotem Oshman
Exercises
Maurice Herlihy
Lecture
Maurice Herlihy
Lecture
Roger Wattenhofer
10.45 Coffee Break Coffee Break Coffee Break Coffee Break Coffee Break
11.15 Exercises
Maurice Herlihy
Lecture
Rotem Oshman
Lecture
Roger Wattenhofer
Lecture
Roger Wattenhofer
Talks by members of MPII
13.00 Lunch Lunch Excursion Lunch Lunch
14.30 Lecture
Rotem Oshman
Lecture
Roger Wattenhofer
Lecture
Rotem Oshman
16.15 Coffee Break Coffee Break Coffee Break
16.45-18.30 Lecture
Rotem Oshman
Lecture
Maurice Herlihy
Lecture
Roger Wattenhofer

Talks by members of MPI-INF

On Friday morning, some members of MPI-INF will present their own work

Excursion

On Wednesday afternoon, there will be an excursion offered.


Registration

The registration fee is EUR 130 for early registration (deadline July 15, 2016) and EUR 180 for late registration (after July 16, 2016).
This fee covers course material, lunches, and the excursion; it does not cover hotel accommodation.
We will provide some grants for graduate students and young researchers.
If you are a student (including PhD student) please register here: student registration
Otherwise please register here: regular registration

Grants

We will offer a limited number of travel grants for graduate students and young researchers.

Application

If you wish to apply for a grant, please send an email with a brief CV (name, affiliation, complete address, education, publications, nationality, etc.);
Please have your supervisor at your institute send an email with a brief letter of recommendation, certifying in particular your relation with the topics in ADFOCS, before the deadline.

Note that the travel grant is meant to roughly cover your local expenses (hotel/youth hostel, registration); it will not be sufficient to cover flight costs!

Please send both emails to adfocs@mpi-inf.mpg.de and indicate as subject "ADFOCS grant application". You will receive a confirmation of receipt of your application.

Deadline

June 1, 2016, Anywhere on Earth :)

Notification

June 17, 2015

Accommodation

The participants are responsible for their accommodation. In Saarbrücken per-night prices including taxes and breakfast typically range from EURO 20 (youth hostel, double room) to about 70 Euro (hotel, single room).

We have reserved a certain number of rooms in the following hotels. Please note that these reservation expire:

When booking a room at these hotels, please refer to "ADFOCS" since we have negotiated special rates for you.

Further options (without reserved contingents) include:

Materials

August 29
Monday
August 30
Tuesday
August 31
Wednesday
September 1
Thursday
September 2
Friday
9.00 Lecture
Maurice Herlihy
Lecture
Rotem Oshman
Exercises
Maurice Herlihy
Lecture
Maurice Herlihy
Lecture
Roger Wattenhofer
10.45 Coffee Break Coffee Break Coffee Break Coffee Break Coffee Break
11.15 Exercises
Maurice Herlihy
Lecture
Rotem Oshman
Lecture
Roger Wattenhofer
Lecture
Roger Wattenhofer
Talks by members of MPII
13.00 Lunch Lunch Excursion Lunch Lunch
14.30 Lecture
Rotem Oshman
Lecture
Roger Wattenhofer
Lecture
Rotem Oshman
16.45-18.30 Lecture
Rotem Oshman
Lecture
Maurice Herlihy
Lecture
Roger Wattenhofer
  • Maurice Herlihy

    Maurice Herlihy

    Brown University

    Consensus and wait-free data structures

    Highly-concurrent lists and other data structures

    Work-stealing and functional programming

  • Rotem Oshman

    Rotem Oshman

    Tel-Aviv University

    Distributed computing through the lens of communication complexity

  • Roger Wattenhofer

    Roger Wattenhofer

    ETH Zurich

    Sorting, Social Networks, Stabilization Labeling Schemes, Arrow & Ivy, Bitcoin




Imprint-Dataprotection