29 Oct 2016
Delft, The Netherlands
CALL FOR PARTICIPATION: Dynamics in Logic 2016 http://www.appliedlogictudelft.nl/events1/dynamics-in-logic-iv-2016/ Delft, The Netherlands, October 29th, 2016. satellite event of Lorentz Workshop: Logics, Decision, and Interactions, https://www.lorentzcenter.nl/lc/web/2016/840/info.php3?wsid=840&venue=Oort Leiden, October 24 - 28, 2016. AIM === Dynamics in Logic brings together researchers active in logic and information dynamics. The upcoming installment will focus on novel formal approaches for information and its dynamics, such as topological, coalgebraic and proof-theoretic approaches. ATTENDANCE ============ Workshop attendance is free of cost and everyone is welcome! Since we have a limited amount of places, please send an email to Sabine Frittella (sabine.frittella@insa-cvl.fr <mailto:sabine.frittella@insa-cvl.fr>) or Giuseppe Greco (g.greco@tudelft.nl <mailto:g.greco@tudelft.nl>) if you are interested in participating. KEYNOTE SPEAKERS ================== Marta Bilková Davide Grossi SPEAKERS ========== Guillaume Aucher Zeinab Bakhtiari Helle Hansen Alexander Kurz Michael Moortgat Aybüke Özgun ORGANIZING COMMITTEE ====================== Guillaume Aucher Sabine Frittella Giuseppe Greco Fan Yang -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam