Dynamic program

Note: time k given in the schedule below should be always understood as "k+delay". :-)

Wednesday 14.09.

11:30-12:00 Opening & coffee

12:00-12:30 Regular talks I
Holger Schlingloff, Model Checking Transport Robots with UPPAAL

12:30-14:30 Lunch

Afternoon: boat trip on the river

Evening: ludic discussion & beer in the Old Town

Thursday 15.09.

10:00-10:30 Coffee

10:30-11:30 Keynote talk:
Marija Slavkovik, Machine Ethics

11:30-12:30 Regular talks II:
Michal Knapik, Timed Alternating-Time Temporal Logic
Damian Kurpiewski, Fixpoint Approximation of Strategic Ability

12:30-14:30 Lunch

14:30-15:00 Regular talks III:
Zuojun Xiong, Quantifying over Local Broadcast Messages in Social Networks

15:00-16:00 Invited tutorial:
Alessandro Bruni, AIF-Omega: an Abstraction-Based Verification Tool for Security Protocols

16:00-17:00 Coffee & discussion

Evening: stroll on the beach and social dinner @ Restaurant Bulaj, Sopot (coordinates: 54°27'10.3"N 18°33'51.5"E).

Friday 16.09.

10:00-11:00 Keynote talk:
Catalin Dima, Entropy Games

11:00-12:00 Regular talks IV:
Masoud Tabatabaei, Effective Security
Wojtek Jamroga, Expressing Coercion Resistance in Logics of Strategic Ability

12:30-13:00 Coffee break

13:00-14:00 Keynote talk:
Carsten Schürmann, Selene E-Voting Protocol and Its Formalisation in Celf

14:30-16:30 Polish lunch

16:30-17:00 Coffee talk:
Wojtek Penczek, TripICS - a Web Service Composition System for Planning Trips and Travels

17:00 Closing & final discussion


Wojtek Jamroga home page
Polish-Japanese IT Academy
Polish-Japanese IT Academy Main page
Last modified 2016-09-14