Druckansicht der Internetadresse:

Charles University        Institute of Philosophy

SEGA

Print page

SEGA - Project Kickoff Workshop, Prague, September 19-21st, 2016

Monday 19th:

10:15 - 10:30: Marta Bilkova and Olivier Roy, Opening, presentation of the project, group member, structure.

10:30 - 12:00: Thomas Agotnes Resolving Distributed Knowledge (Abstract), Comments by Igor Sedlar, Vit Puncohar and Zoe Christoff

Lunch

Session sub-project 1:

13:00 - 13:15: Introduction by Olivier Roy (sub-project leader)

13:15 - 14:00: Zoé Christoff

, From DeGroot to proxi voting

Break

14:15 - 15:00: Olivier Roy, All agree: DeGroot meets Aumann

Break

15:15 - 16:00: Dominik Klein

Break:

16:15 - 17:45: Alexandru Baltag Title t.b.a., Comments by Marta Bilkova, Ondrej Majer, and Dominik Klein

Tuesday 20th:

10:30 - 12:00: Giuseppe Greco, Linear Logic Properly Displayed(Abstract), Comments by Marta Bilkova, Vit Punochar, and Norbert Gratzl

Lunch

Session sub-project 2:

13:00 - 13:15: Introduction by Marta Bílková (sub-project leader)

13:15 - 14:00: Igor Sedlar.Substructural logics with a reflexive transitive closure modality (Abstract)

Break

14:15 - 15:00: Marta Bilkova.

Break

15:15 - 16:00: Norbert Gratzl (t.b.c.)

Break:

16:15 - 17:00: Business Meeting.

Wednesday 21st::

10:30 - 12:00: Umberto Grandi Graph Aggregation (Abstract), Comments by Dominik Klein, Igor Sedlar, and Olivier Roy

Lunch

Session sub-project 3:

13:00 - 13:15: Introduction by Ondrej Majer (sub-project leader)

13:15 - 14:00: Vit Puncohar.

Break

14:15 - 15:00: Michal Pelis

Break

15:15 - 16:00: Brainstorming session

Facebook Twitter Youtube-Kanal Instagram Blog Kontakt