Polish-Japanese IT Academy
Last modified 2016-09-14
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 |
|
Last modified 2016-09-14 |