News and Events:
ILLC News and Events
These pages provide information about recent developments at or relevant to the ILLC (last update: 24 November 2014). Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.
Items which are new or have been updated within the last week are marked "(New)" or "(Updated)".
Headlines ILLC News
Headlines ILLC Events this week
General events may be found in the Upcoming Events section.
Location: Doelenzaal, University Library, Singel 425, AmsterdamCosts: none (registration necessary!!)
Via this workshop, we are creating a forum to present new developments, exchange ideas, explore and establish new connections between different areas that have already developed techniques to model correlated information change in a multi-agent context. The types of correlated information change that we are interested in, covers a list of phenomena studied in a number of areas such as: Game Theory, Logic, Belief Revision Theory, Formal Epistemology, Social Science, Formal Learning Theory, AI (Multi-agent Systems) and the Foundations of Quantum Physics.
For more information, see http://www.illc.uva.nl/LogiCIC14/
Speaker: Dexter Kozen (Cornell University)Title: Completeness and Incompleteness in Nominal Kleene AlgebraDate and time: Wednesday 26 November 2014, 16:30-17:30Location: ILLC Room F1.15, Science Park 107
Speaker: Rineke Verbrugge (Groningen)Title: Learning to apply theory of mind: from logic to the labDate and time: Friday 28 November 2014, 16:00-17:00
For abstracts and more information, see http://smartcognitivescience.wordpress.com/
Location: CWI, Turing room, Science Park 123, Amsterdam
We cordially invite you to attend this event organized on the occasion of the retirement of Krzysztof R. Apt. All the speakers will be under the age of 30.
Speaker: Aybüke Özgün (LORIA, CNRS - Lorraine)Title: Relational vs. Neighbourhood Semantics for Epistemic LogicDate and time: Friday 28 November 2014, 17:30-18:30Location: ILLC seminar room (F1.15), Science Park 107, AmsterdamTarget group: MSc Logic and PhD students
In this talk, we will focus on the topological interpretation of knowledge in comparison to the standard relational (Kripke) interpretation and argue in favour of the former.