Print version of the Programme
Thursday, November 17th
Afternoon Session
12:45 – 13.00 Coffee and Welcome
13.00 – 13.10 Opening Words
Chair afternoon session 1: Sonja Smets
13.10 – 14.00 Gabriel Sandu: Knowledge of moves versus knowledge of strategies in IF games
14.00 – 14.50 Marija Slavkovik: Verifying social network information sharing phenomena
14.50 – 15.05 Coffee & Tea
Chair afternoon session 2: Soroush Rafiee Rad
15.05 – 15.55 Marta Bilkova: Information, Belief, Knowledge — Epistemic logics based on information states semantics
15.55 – 16.20 Giovanni Cinà: Modal logics for typed processes
16.20 – 16.45 Chenwei Shi: Can Weaker Argument Defeat Stronger Argument? — Modelling the strength of arguments in probabilistic DEL
16.45 – 17.00 Coffee & Tea
Chair afternoon session 3: Fernando Velázquez Quesada
17.00 – 17.50 Jan van Eijck and Kai Li: Conditional Belief, Knowledge and Probability
17.50 – 18.15 Malvin Gattinger: Alles Käse — A Note on Constructible Dynamic Gossip Graphs
Friday, November 18th
Morning Session
Chair morning session 1: Nina Gierasimczuk
09.00 – 09.50 Sonja Smets: Group Knowledge in Interrogative Epistemology
09.50 – 10.40 Fernando R. Velázquez Quesada: Forgetting Propositional Formulas
10.40 – 10.55 Coffee & Tea
Chair morning session 2: Marija Slavkovik
10.55 – 11.45 Thomas Bolander: Learning to Act: Qualitative Learning of Action Models
11.45 – 12.10 Hanna van Lee: Merging Frameworks for Information Dynamics: DEL Dynamical Systems and ETL
12.10 – 12.35 Zuojun Xiong and Thomas Ågotnes: A Logic of Arbitrary Multicast-messages in Social Networks
12.35 – 13.25 Lunch
Afternoon Session
Chair afternoon session 1: Zoé Christoff
13.25 – 14.15 Alexandru Baltag: From Knowing Correlations to Knowledge-as-Correlation
14.15 – 14.40 Rasmus K. Rendsvig and Dominik Klein: Attaining Common Knowledge in Distributed Systems Or: When the Generals Attack, We’re All Dead!
14.40 – 15.05 Yacin Hamami: Towards a Game-Theoretic Analysis of Interrogative Games
15.05 – 15.20 Coffee & Tea
Chair afternoon session 2: Soroush Rafiee Rad
15.20 – 16.10 Kevin T. Kelly: Deduction, Induction, Statistics, and Topology I
16.10 – 16.35 Konstantin Genin: Deduction, Induction, Statistics, and Topology II
16.35 – 17.00 Aybüke Özgün: Justified Belief, Knowledge and the Topology of Evidence
17.00 – 17.15 Coffee & Tea
17.15 – 18.05 Johan van Benthem: Games and Logics For Network Change
19.30 – Conference Dinner
Saturday, November 19th
Morning Session
Chair morning session 1: Fernando Velázquez Quesada
09.30 – 10.20 Zoé Christoff: Proxy voting as Opinion Aggregation and Diffusion
10.20 – 10.45 Patrick Allo: Tracking common information and public announcements in online discussions. A data-driven and logically informed study of the Polymath-projects
10.45 – 11.10 Julia Ilin: Quotient Dynamics- towards a logic for abstraction
11.10 – 11.25 Coffee & Tea
Chair morning session 2: Sonja Smets
11.25 – 12.15 Ondrej Majer – Paraconsistent Epistemic Logic
12.15 – 12.40 Thom van Gessel: Questions in Action Models
12.40 – 13.30 Lunch
Afternoon Session
Chair afternoon session: Ondrej Majer
13.30 – 14.20 Soroush Rafiee Rad: Doxastic Dynamic Logic for Learning Probabilities
14.20 – 14.45 Paolo Galeazzi: On (Context-dependent) Rationality
14.45 – 15.00 Coffee & Tea
15.00 – 15.50 Nina Gierasimczuk: Five Years of Truth-tracking in Dynamic Epistemic Logic
15.50 – 16.05 Closing Session
LogiCIC Workshop 2016 