Sunday 5 October
14:30 | Registration |
15:00 – 19:00 | Internal CRP meetings |
|
|
19.30 | Reception – Welcome Drink |
|
|
20:00 | Welcome dinner |
Monday 6 October
8:30 | Registration - Conference Room Eden |
|
|
| Introducing the EUROCORES Programme LogICCC |
|
|
9.00 – 10.00 | Welcome by Prof. Josef Syka, President of the Czech Science Foundation Opening words by Prof. Luigia Carlucci Aiello (Università di Roma “La Sapienza'', Italy), Chair LogICCC Review Panel |
|
|
| Presentation and discussion of LogICCC projects, Part I |
10.00 – 11.00 | Prof. Jouko Väänänen, University of Amsterdam, Netherlands |
|
|
11.00 - 11.30 | Coffee Break |
|
|
11.30 – 12.30
| Computational Foundations of Social Choice (CFSC) Dr. Felix Brandt, University of Munich, Germany, and Prof. Jörg Rothe, University of Düsseldorf, Germany SOCIAL SOFTWARE for elections, the allocation of tenders and coalition/alliance formation (SSEAC) Prof. Harrie de Swart, University of Tilburg, Netherlands |
|
|
13.30 – 14.30 | Lunch |
|
|
14.30 – 15.30
| Dialogical Foundations of Semantics (DiFoS) Prof. Peter Schroeder-Heister, Universität Tübingen, Germany Dr. Sara L. Uckelman, M.A., University of Amsterdam, Netherlands Univers Games for Analysis and Synthesis of Interactive Computational Systems (GASICS) Prof. Jean-François Raskin, Université Libre de Bruxelles, Belgium
|
|
|
16.30 – 17.00 | Coffee Break |
|
|
| Introducing other initiatives in the field of Modelling Intelligent Interaction, part I |
17.00 – 17.30
| “GAMES: Games for Design and Verification”, a Research Network Programme Prof. Erich Grädel, RWTH Aachen University, Germany Research Training Site “GLoRiClass” Dr. Benedikt Löwe, University of Amsterdam, Netherlands “Philosophy of Science in a European Perspective”, a Research Network Programme Dr. Jan-Willem Romeijn, University of Amsterdam, Netherlands |
|
|
18.30 - 19.00 | Plenary discussion |
|
|
20.00 | Dinner |
Tuesday 7 October
| Presentation and discussion of LogICCC projects, part II |
9.00 – 10.00
| Vagueness, Approximation, and Granularity (VAAG) Prof. Manfred Krifka, Zentrum für Allgemeine Sprachwissenschaft, Berlin, Germany Logical Models of Reasoning with Vague Information (LoMoReVi) Prof. Christian Fermüller, Vienna University of Technology, Austria |
|
|
11.00 - 11.30 | Coffee Break |
|
|
11.30 - 12.30 | The Logic of Causal and Probabilistic Reasoning in Uncertain Environments (LcpR) Gernot Kleiter, University of Salzburg, Austria |
Introducing other initiatives in the field of Modelling Intelligent Interaction, part II | |
12.30 - 13.15 | Logic in the EUROCORES programme Consciousness in a Natural and Cultural Context “CONTACT”, Dr. Fabio Paglieri, ISTC - CNR, Roma, Italy “METACOGNITION”, Dr. Simone Duca, University of Bristol, UK |
|
|
13.15 – 13.30 | Closure of meeting |
|
|
13.30 - 14.30 | Lunch |
|
|
15.00 – 17.30 | Meeting LogICCC Scientific Committee (members only) |
|
|
20.00 | Dinner (with members Scientific Committee) |
