Dynamics in Logic IV, 2016

Workshop
Dates: Saturday, October 29th, 2016
Venue: Faculty of Technology, Policy and Management, Delft University of Technology. Jaffalaan 5, 2628 BX Delft.
Room: Classrooms I and J, first floor, turn right twice after the stairs.

VENUE: Aula Congrescentrum, Building number: 20, Mekelweg 5, 2628 CC Delft.
ROOM: Commissiekamer 4, Tag: COM4, Location: 10.

For directions, see here.

The event will be held right after the Lorentz Workshop: Logics, Decision, and Interactions, October 24 - 28.

Aims and Scope
Dynamics in Logic will keep its goal of bringing together a small group of people who are currently very active in the area of logic and information dynamics.

Program
Schedule.pdf

Keynote Speakers
> Marta Bílková (Faculty of Arts, Charles University in Prague - Department of Logic)
Title: Epistemic Logics Based On Information States Semantics
[abstract]

> Davide Grossi (University of Liverpoll - Department of Computer Science)
Title: Aggregation, Fixpoints, And Liquid Democracy
[abstract]

Invited Speakers
> Guillaume Aucher (University of Rennes 1)
Title: Expedition In The Update Universe
[abstract]

> Zeinab Bakhtiari (Université de Lorraine)
Title: Neighbourhood Contingency Bisimulation
[abstract]

> Helle Hvid Hansen (TU Delft - Department of Engineering Systems and Services)
Title: Coalgebraic Dynamic Logics
[abstract]

> Alexander Kurz (University of Leicester - Department of Computer Science)
Title: Tool Support For Multi-Type Display Calculi
[abstract]

> Michael Moortgat (Utrecht Institute of Linguistics OTS - Language, logic and information)
Title: Resource Control In Grammar Logics
[abstract]

> Aybüke Özgün ( LORIA, Université de Lorraine - ILLC, University of Amsterdam)
Title: Justified Belief, Knowledge and the Topology of Evidence
[abstract]

Attending
Workshop attendance is free of cost, but we have a limited amount of places. If you are interested in participating, please send an email to Sabine Frittella (S dot S dot A dot Frittella at tudelft dot nl) or Giuseppe Greco (G dot Greco at tudelft dot nl).

Previous meetings
> Dynamics in Logic III, 2015
> Dynamics in Logic II, 2012
> Dynamics in Logic I, 2011

Local information
For general transport information (buses, trams, trains), see here.
For train schedules and prices, see here.
For a Google map of our suggested café and restaurants, see here.
For restaurants in Delft, see also the webpage here.

Organisation
> Guillaume Aucher (University of Rennes 1)
> Giuseppe Greco (TU Delft)
> Sabine Frittella (TU Delft)
> Fan Yang (TU Delft)