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 |
| 