{"id":29,"date":"2016-01-13T00:47:04","date_gmt":"2016-01-13T00:47:04","guid":{"rendered":"http:\/\/cadillac.compute.dtu.dk\/?page_id=29"},"modified":"2016-05-22T13:49:18","modified_gmt":"2016-05-22T13:49:18","slug":"program","status":"publish","type":"page","link":"https:\/\/cadillac.compute.dtu.dk\/?page_id=29","title":{"rendered":"Program"},"content":{"rendered":"\n\n\n<\/colgroup>\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n
Monday, May 23rd<\/span><\/th>\n<\/tr>\n
9:00-9:30<\/td>\nCoffee and registration<\/td>\n<\/tr>\n
9:30-10:00<\/td>\nThomas Bolander & Nina Gierasimczuk, Learning to Act: Qualitative Learning of Deterministic Action Models (abstract<\/a>)<\/td>\n<\/tr>\n
10:00-10:30<\/td>\nMartin Mose Bentzen, Towards a theory of causal agency for formal ethics (abstract<\/a>)<\/td>\n<\/tr>\n
10:30-11:00<\/td>\nCoffee<\/td>\n<\/tr>\n
11:00-12:00<\/td>\nKeynote:\u00a0Sonja Smets, Informational Cascades: A Test for Rationality? (abstract<\/a>)<\/td>\n<\/tr>\n
12:00-12:30<\/td>\nSujata Ghosh, A logical structure for strategies in distributed games (abstract<\/a>)<\/td>\n<\/tr>\n
12:30-14:00<\/td>\nLunch<\/td>\n<\/tr>\n
14:00-14:30<\/td>\nAnders Schlichtkrull,\u00a0How I convinced Isabelle that resolution is complete (abstract<\/a>)<\/td>\n<\/tr>\n
14:30-15:00<\/td>\nJ\u00f8rgen Villadsen,\u00a0Running a prover in a prover – Isabelle as a meta-logic (abstract<\/a>)<\/td>\n<\/tr>\n
15:00-15:30<\/td>\nCoffee<\/td>\n<\/tr>\n
15:30-16:00<\/td>\nPaula Quinon, A taxonomy of deviant encodings (abstract<\/a>)<\/td>\n<\/tr>\n
16:00-16:30<\/td>\nMarija Slavkovik, An abstract formal basis for digital crowds (abstract<\/a>)<\/td>\n<\/tr>\n
16:30-17:00<\/td>\nMikkel B. Andersen, A vision for better interaction with computers (abstract<\/a>)<\/td>\n<\/tr>\n
17:00-18:00<\/td>\nWine & Cheese Party<\/td>\n<\/tr>\n
Tuesday, May 24th<\/span><\/th>\n<\/tr>\n
9:30-10:00<\/td>\nKlaus Frovin J\u00f8rgensen,\u00a0Synthetic Completeness Proofs for Seligman-style Tableau Systems (abstract<\/a>)<\/td>\n<\/tr>\n
10:00-10:30<\/td>\nErik Olsson,\u00a0Truth-tracking in Social Networks: the Role of Connectivity and Clustering (abstract<\/a>)<\/td>\n<\/tr>\n
10:30-11:00<\/td>\nCoffee<\/td>\n<\/tr>\n
11:00-11:30<\/td>\nFelix Lindner,\u00a0Conceptual Modeling for Social Robots (abstract<\/a>)<\/td>\n<\/tr>\n
11:30-12:00<\/td>\nJakub Szymanik,\u00a0Bridging natural logic and probabilities to model human reasoning (abstract<\/a>)<\/td>\n<\/tr>\n
12:00-12:30<\/td>\nRon Petrick,\u00a0From Knowledge-Level Planning to Knowledge-Based Programming (abstract<\/a>)<\/td>\n<\/tr>\n
12:30-13:00<\/td>\nBook Release: Readings in Formal Epistemology, Springer 2016<\/a><\/td>\n<\/tr>\n
<\/td>\nAlexandru Baltag, From Probability to Knowledge:
\na Bayesian semantics for epistemic logic (abstract<\/a>)<\/td>\n<\/tr>\n
13:00-14:00<\/td>\nLunch @ Byens Lys<\/td>\n<\/tr>\n
14:00-16:00<\/td>\nSocial Event<\/a><\/td>\n<\/tr>\n
17:30-19:30<\/td>\nConference Dinner at Restaurant Spiseloppen<\/a>, Christiania. (map<\/a>)<\/td>\n<\/tr>\n
20:00-22:30<\/td>\nScience & Cocktails: Rineke Verbrugge<\/a><\/td>\n<\/tr>\n
Wednesday, May 25th: Social Phenomena Day<\/span><\/th>\n<\/tr>\n
9:30-10:00<\/td>\nTorben Bra\u00fcner,\u00a0Second-order false-belief reasoning: Some modal-logical analyses (abstract<\/a>)<\/td>\n<\/tr>\n
10:00-10:30<\/td>\nIrina Polyanskaya,\u00a0Linguistic recursion and second-order false belief reasoning (abstract<\/a>)<\/td>\n<\/tr>\n
10:30-11:00<\/td>\nCoffee<\/td>\n<\/tr>\n
11:00-12:00<\/td>\nKeynote:\u00a0Patrick Blackburn,\u00a0The New Trivium (abstract<\/a>)<\/td>\n<\/tr>\n
12:00-12:30<\/td>\nRasmus K. Rendsvig,\u00a0Modeling with DEL: The Case for Dynamical Systems (abstract<\/a>)<\/td>\n<\/tr>\n
12:30-14:00<\/td>\nLunch<\/td>\n<\/tr>\n
14:00-14:30<\/td>\nVincent F. Hendricks,\u00a0Bubbles, Fools and Common Knowledge:\u00a0Epistemic Conditions for Bubble Formation (abstract<\/a>)<\/td>\n<\/tr>\n
14:30-15:00<\/td>\nHanna van Lee,\u00a0DEL Dynamical Systems and ETL Forests: Correspondences (abstract<\/a>)<\/td>\n<\/tr>\n
15:00-15:30<\/td>\nCoffee<\/td>\n<\/tr>\n
15:30-16:00<\/td>\nCarlo Proietti,\u00a0Using Argumentation Frameworks to understand Polarisation (abstract<\/a>)<\/td>\n<\/tr>\n
16:00-16:30<\/td>\nZo\u00e9 Christoff, From DeGroot processes to liquid democracy (abstract<\/a>)<\/td>\n<\/tr>\n
16:30-16:45<\/td>\nClosing<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n","protected":false},"excerpt":{"rendered":"

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:\u00a0Sonja Smets, Informational Cascades: A Test for Rationality? (abstract) 12:00-12:30 Sujata Ghosh, A logical structure … Continue reading Program<\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"parent":0,"menu_order":3,"comment_status":"closed","ping_status":"closed","template":"","meta":{"jetpack_post_was_ever_published":false,"footnotes":""},"class_list":["post-29","page","type-page","status-publish","hentry"],"jetpack_sharing_enabled":true,"jetpack_shortlink":"https:\/\/wp.me\/P79Jvv-t","_links":{"self":[{"href":"https:\/\/cadillac.compute.dtu.dk\/index.php?rest_route=\/wp\/v2\/pages\/29","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/cadillac.compute.dtu.dk\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/cadillac.compute.dtu.dk\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/cadillac.compute.dtu.dk\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/cadillac.compute.dtu.dk\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=29"}],"version-history":[{"count":28,"href":"https:\/\/cadillac.compute.dtu.dk\/index.php?rest_route=\/wp\/v2\/pages\/29\/revisions"}],"predecessor-version":[{"id":206,"href":"https:\/\/cadillac.compute.dtu.dk\/index.php?rest_route=\/wp\/v2\/pages\/29\/revisions\/206"}],"wp:attachment":[{"href":"https:\/\/cadillac.compute.dtu.dk\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=29"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}