| Monday, May 23rd | |
|---|---|
| 9:00-9:30 | Coffee and registration |
| 9:30-10:00 | Thomas Bolander & Nina Gierasimczuk, Learning to Act: Qualitative Learning of Deterministic Action Models (abstract) |
| 10:00-10:30 | Martin Mose Bentzen, Towards a theory of causal agency for formal ethics (abstract) |
| 10:30-11:00 | Coffee |
| 11:00-12:00 | Keynote: Sonja Smets, Informational Cascades: A Test for Rationality? (abstract) |
| 12:00-12:30 | Sujata Ghosh, A logical structure for strategies in distributed games (abstract) |
| 12:30-14:00 | Lunch |
| 14:00-14:30 | Anders Schlichtkrull, How I convinced Isabelle that resolution is complete (abstract) |
| 14:30-15:00 | Jørgen Villadsen, Running a prover in a prover – Isabelle as a meta-logic (abstract) |
| 15:00-15:30 | Coffee |
| 15:30-16:00 | Paula Quinon, A taxonomy of deviant encodings (abstract) |
| 16:00-16:30 | Marija Slavkovik, An abstract formal basis for digital crowds (abstract) |
| 16:30-17:00 | Mikkel B. Andersen, A vision for better interaction with computers (abstract) |
| 17:00-18:00 | Wine & Cheese Party |
| Tuesday, May 24th | |
| 9:30-10:00 | Klaus Frovin Jørgensen, Synthetic Completeness Proofs for Seligman-style Tableau Systems (abstract) |
| 10:00-10:30 | Erik Olsson, Truth-tracking in Social Networks: the Role of Connectivity and Clustering (abstract) |
| 10:30-11:00 | Coffee |
| 11:00-11:30 | Felix Lindner, Conceptual Modeling for Social Robots (abstract) |
| 11:30-12:00 | Jakub Szymanik, Bridging natural logic and probabilities to model human reasoning (abstract) |
| 12:00-12:30 | Ron Petrick, From Knowledge-Level Planning to Knowledge-Based Programming (abstract) |
| 12:30-13:00 | Book Release: Readings in Formal Epistemology, Springer 2016 |
| Alexandru Baltag, From Probability to Knowledge: a Bayesian semantics for epistemic logic (abstract) |
|
| 13:00-14:00 | Lunch @ Byens Lys |
| 14:00-16:00 | Social Event |
| 17:30-19:30 | Conference Dinner at Restaurant Spiseloppen, Christiania. (map) |
| 20:00-22:30 | Science & Cocktails: Rineke Verbrugge |
| Wednesday, May 25th: Social Phenomena Day | |
| 9:30-10:00 | Torben Braüner, Second-order false-belief reasoning: Some modal-logical analyses (abstract) |
| 10:00-10:30 | Irina Polyanskaya, Linguistic recursion and second-order false belief reasoning (abstract) |
| 10:30-11:00 | Coffee |
| 11:00-12:00 | Keynote: Patrick Blackburn, The New Trivium (abstract) |
| 12:00-12:30 | Rasmus K. Rendsvig, Modeling with DEL: The Case for Dynamical Systems (abstract) |
| 12:30-14:00 | Lunch |
| 14:00-14:30 | Vincent F. Hendricks, Bubbles, Fools and Common Knowledge: Epistemic Conditions for Bubble Formation (abstract) |
| 14:30-15:00 | Hanna van Lee, DEL Dynamical Systems and ETL Forests: Correspondences (abstract) |
| 15:00-15:30 | Coffee |
| 15:30-16:00 | Carlo Proietti, Using Argumentation Frameworks to understand Polarisation (abstract) |
| 16:00-16:30 | Zoé Christoff, From DeGroot processes to liquid democracy (abstract) |
| 16:30-16:45 | Closing |