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