ICE-TCS Theory Day

The fifth ICE-TCS Theory Day will be held on Friday, 19 June, from 14:00 till 17:10 on the premises of Reykjavik University, room K5, Kringlan 1.

The preliminary programme for the event is as follows:

Keynote address

• 14:00-14:50 Zoltan Esik (University of Szeged, Hungary), TBA.
• 14:50-15:10 Coffee break.

• 15:10-15:35 Bjarni Halldorsson (Reykjavik University), TBA.
• 15:35-16:00 Magnus Halldorson (Reykjavik University), Scheduling of Wireless Networks.
• 16:00-16:10 Coffee break.

• 16:10-16:35 Paul van Tilburg (Eindhoven University of Technology, The Netherlands), Models of Computation: Automata and Processes --- An Overview.
• 16:35-17:00 Matteo Cimini (Reykjavik University), The Curry-Howard Isomorphism.
• 17:00-17:10 Closing remarks.