ICE-TCS/GSSI Workshop 2018

Programme

The goal of this informal workshop is twofold:

• to offer an overview of ongoing research at the Icelandic Centre of Excellence for Theoretical Computer Science (ICE-TCS) to CS researchers at the Gran Sasso Science Institute and in L'Aquila as a whole, and
• to explore avenues for joint research and PhD/postdoc supervision between GSSI and ICE-TCS researchers

Session 1: Algorithmics 09:30 - 09:40 Luca Aceto (GSSI and ICE-TCS, School of Computer Science, Reykjavik University) Welcome and introduction to ICE-TCS 09:40 - 10:10 Magnús M. Halldórsson (ICE-TCS, School of Computer Science, Reykjavik University) Algorithmic research at Reykjavik University 10:10 - 10:40 Eyjólfur Ingi Ásgeirsson (ICE-TCS, School of Science and Engineering, Reykjavik University) An integer programming formulation for the music school timetabling problem 10:40 - 11:10 Coffee break Session 2: Formal methods and combinatorics 11:10 - 11:40 Antonis Achilleos (ICE-TCS, School of Computer Science, Reykjavik University) A Story of Monitorability 11:40 - 12:10 Christian Bean (ICE-TCS, School of Computer Science, Reykjavik University) Combinatorial Exploration 12:10 - 12:30 Closing and preliminary discussion of potential collaborations 12:30 - 14:30 Lunch break Session 3: Discussions of possible research collaborations 14:30 - 16:30 Free time for discussion of potential collaborations