Programme

Print version of the Programme

PORTFOLIO-abstracts

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

Advertisements