Polish-Japanese IT Academy
Last modified 2015-10-09
Wednesday 23.09.
10:00-11:00 Opening & coffee
11:00-12:00 Regular talks I
Massimo Chenal, Fully and Somewhat Homomorphic Encryption Schemes
Rosario Giustolisi, Design and Formal Analysis of Exams
12:00-13:30 Lunch
13:30-14:30 Keynote talk
Piotr Faliszewski, Multiwinner Elections: Theory and Experiments
14:30-15:30 Micro-talks session I: Holger Schlingloff, Wojtek Penczek, Jacek Malec, Wojtek Jamroga
15:30-16:00 Coffee break
16:00-17:00 Regular talks II
Francesco Belardinelli, Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems
Lukasz Mikulski, Generalizing Mazurkiewicz Traces
Evening: natural discussion (beer in the Old Town)
Thursday 24.09.
10:00-11:00 Keynote talk
Christian Probst, Analysing Socio-Technical Models
11:00-12:00 Regular talks III
Antonis Bikakis, Machine-Interpretable, Globally Interconnected Online Debates
Wojtek Penczek, Generating None-Plans in Order to Find Plans
12:00-13:30 Lunch
13:30-14:00 Micro-talks session II: Francesco Belardinelli, Marek Bednarczyk, Massimo Chenal, Mehdi Dastani
14:00-15:30 Regular talks IV
Sjouke Mauw, Multiparty Security Protocols
15:30-16:30 Coffee & discussion
Evening: walk around Oliwa and social dinner @ Karczma Zagroda Polska, Sopot
Friday 25.09.
10:00-11:00 Keynote talk
Tomasz Michalak, Computational Toolbox for Network Centrality
11:00-12:00 Regular talks V
Sjouke Mauw, Multiparty Security Protocols ctd.
Masoud Tabatabaei, Strategic Noninterference
12:00-12:30 Coffee break
12:30-13:00 Micro-talks session III: Masoud Tabatabaei, Maciej Szreter, Andreas Herzig
13:00-14:30 Regular talks VI
Holger Schlingloff, Autonomous Transport Robots as MAS
Andreas Herzig, Knowledge and Action: How Should We Combine Their Logics?
Wojtek Jamroga, Preventing Coercion: Be Open and Commit
14:30-16:00 Polish lunch
Afternoon: final discussion (beer in the Old Town or a stroll on the beach)
Note: Besides regular talks, there will be 3 micro-talk sessions. Everybody is expected to give a micro-talk (5 mins long), presenting either an interesting research domain, an interesting problem they have been working on, or a logical/mathematical puzzle. Slides are not necessary.
|
Wojtek Jamroga home page Polish-Japanese IT Academy |
|
Last modified 2015-10-09 |