Home

The Oxford contingent of the ESF Eurocores LogICCC program "Logic for Interaction - LINT" organises a workshop at the Oxford University Computing Laboratory on the weekend of April 2-3, 2011.

The main themes will be Dependence and Independence (DEP) and Dynamics of Interaction (DYN).


Programme


Saturday  
09:30 - 09:45 Welcome
09:45 - 10:30 Jouko Väänänen: Independence Logic


10:30 - 11:00 Coffee


11:00 - 11:45 Juha Kontinen: Hierarchies in Dependence Logic
11:45 - 12:30 Pietro Galliani: Independence Logic and tuple existence atoms


12:30 - 14:00 Lunch


14:00 - 14:45 Boris Motik: Description Logics: Semantics, Complexity, and Applications
14:45 - 15:30 Mehrnoosh Sadrzadeh: Reasoning about information flow with adjunctions


15:30 - 16:00 Coffee


16:00 - 16:45 Dietmar Berwanger: Strategic dependence in infinite games
16:45 - 17:30 Nikos Tzevelekos: Games for reasoning about new resources


19:00 Dinner


   
Sunday  
09:30 - 10:15 Samson Abramsky: Sheaves and the logic of contextuality and non-locality


10:15 - 10:45 Coffee


10:45 - 11:30 Fredrik Engström: Generalized quantifiers and multivalued dependency
11:30 - 12:15 Jonni Virtema: Complexity of two-variable Dependence Logic and IF-Logic
12:15 - 12:30 Closing