The logo of ICE-TCS is courtesy of Emilka Bojanczyk.

ICE-TCS Theory Day 2014

Programme

22 August 2014, Reykjavik, Iceland

Room M1.04, Reykjavik University, Menntavegur 1

Origami robot


The ICE-TCS Theory Day for 2014 will be the tenth event in the series. It will consist of one 50-minute presentation by Erik Demaine (MIT) and two twenty-minute presentations by ICE-TCS members.

Session 1
14:00-14:05 Magnus M. Halldorsson (Reykjavik University)
Welcome
14:05-15:00 Erik Demaine (MIT)
Replicators, Transformers, and Robot Swarms: Science Fiction through Geometric Algorithms
15:00-15:20 Coffee break
Session 2
15:20-15:40 Marjan Sirjani (Reykjavik University)
Analysis of Network-on-Chips Using Probabilistic Timed Actors
15:40-16:00 Christian Konrad (Reykjavik University)
Robust Set Reconciliation
16:00-16:05 Closing


Please send comments and bug reports to Luca Aceto.