{"id":1096,"date":"2011-10-31T19:41:00","date_gmt":"2011-10-31T19:41:00","guid":{"rendered":"http:\/\/www.illc.uva.nl\/lgc\/seminar\/?p=1096"},"modified":"2011-11-15T05:07:26","modified_gmt":"2011-11-15T05:07:26","slug":"gllc-21-workshop-on-17-november-modalities-coalgebra-complexity-and-interaction","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2011\/10\/gllc-21-workshop-on-17-november-modalities-coalgebra-complexity-and-interaction\/","title":{"rendered":"GLLC-21 workshop on 17 November: Modalities, Coalgebra, Complexity and Interaction"},"content":{"rendered":"

Since its start on November 1999, the workshop series on Games, Logic, Language and Computation (GLLC)<\/em><\/strong> has brought together researchers from diverse fields, like logic, informatics, social sciences and humanities, with the aim of discussing connections within these different areas under the occasion of dissertation defenses on major themes.<\/p>\n

The theme of this 21th GLLC edition is <\/em>Modalities, Coalgebra,<\/em><\/strong> Complexity and Interaction<\/em><\/strong> <\/em><\/strong>, and it will bring together researchers working at the interface between these fields. The workshop will be hosted by the Institute for Logic, Language and Computation (ILLC)<\/a> of the Universiteit van Amsterdam (UvA)<\/a> on the occasion of the defense of the PhD dissertations Complexity in Interaction<\/em><\/strong><\/a> by Lena Kurzen<\/a> and Modalities Through the Looking Glass: A study on coalgebraic modal logic and their applications<\/em><\/strong> by Raul Andres Leal<\/a>.<\/p>\n

The workshop will take place in Nina van Leerzaal<\/strong> at Allard Pierson Museum<\/strong> – Oude Turfmarkt 127, from 9:30<\/strong> to 17:30<\/strong>, with the following program:
\n<\/a> <\/em><\/p>\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n
9:30 — 10:00<\/td>\nCoffee Break<\/td>\n<\/tr>\n
10:00 — 10:30<\/td>\nJiri Adamek<\/em><\/strong> <\/p>\n

Well-pointed coalgebras<\/td>\n<\/tr>\n

10:30 — 11:00<\/td>\nClemens Kupke<\/strong><\/em> <\/p>\n

Dualities and the minimisation of automata<\/td>\n<\/tr>\n

11:00 — 11:30<\/td>\nRaul Leal<\/em><\/strong> <\/p>\n

Two Representation Theorems in Coalgebraic Modal Logic<\/td>\n<\/tr>\n

11:30 — 12:00<\/td>\nAlexander Kurz<\/em><\/strong> <\/p>\n

Coalgebraic Logic over Posets<\/td>\n<\/tr>\n

12:00 — 12:30<\/td>\nAlexandru Baltag<\/em><\/strong> <\/p>\n

Coalgebras in Interaction<\/td>\n<\/tr>\n

12:30 — 14:00<\/td>\nLunch<\/td>\n<\/tr>\n
14:00 — 14:30<\/td>\nChristof Loeding<\/em><\/strong> <\/p>\n

TBA<\/td>\n<\/tr>\n

14:30 — 15:00<\/td>\nPieter Adriaans<\/em><\/strong> <\/p>\n

TBA<\/td>\n<\/tr>\n

15:00 — 15:30<\/td>\nKrzysztof Apt<\/em><\/strong> <\/p>\n

Common Knowledge in Email Exchanges<\/td>\n<\/tr>\n

15:30 — 16:00<\/td>\nCoffee Break<\/td>\n<\/tr>\n
16:00 — 16:30<\/td>\nLena Kurzen<\/em><\/strong> <\/p>\n

The Complexity of Comparing Information Structures<\/td>\n<\/tr>\n

16:30 — 17:00<\/td>\nMaartje Raijmakers<\/em><\/strong> <\/p>\n

Children’s Strategy Use in Playing Strategic Games<\/td>\n<\/tr>\n

17:00 — 17:30<\/td>\nJos Uiterwijk<\/em><\/strong> <\/p>\n

Selective Search in Games of Different Complexity<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

More information can be found on the workshop’s website<\/a><\/strong>.<\/p>\n

On the next day, 18 November<\/strong> Raul Andres Leal<\/a> will defend his thesis Modalities Through the Looking Glass: A study on coalgebraic modal logic and their applications<\/em><\/strong> from 11:00 hrs and Lena Kurzen<\/a> will defend her thesis Complexity in Interaction<\/em><\/strong><\/a> from 13:00<\/strong> hrs in Aula der Universiteit<\/strong> – Singel 411.<\/p>\n

Further details about both events can be found on the following website<\/a><\/strong>. For more information please contact Lena Kurzen<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"

Since its start on November 1999, the workshop series on Games, Logic, Language and Computation (GLLC) has brought together researchers from diverse fields, like logic, informatics, social sciences and humanities, with the aim of […]<\/p>\n","protected":false},"author":11,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-1096","post","type-post","status-publish","format-standard","hentry","category-events"],"_links":{"self":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/1096","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/users\/11"}],"replies":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/comments?post=1096"}],"version-history":[{"count":23,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/1096\/revisions"}],"predecessor-version":[{"id":1103,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/1096\/revisions\/1103"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=1096"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=1096"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=1096"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}