Procedural specification of beta-conversion Marie Duzi, Computer Science, VSB-Technical University Ostrava, Ostrava, CZECH REPUBLIC
30 min break (due to the cancellation of Luigi Sauro, Fabio Mogavero, and Aniello Murano's presentation)
Logics for Collective Reasoning Daniele Porello, Institute of Cognitive Science and Technology, CNR (National Council of Research), Trento, ITALY
Modeling decision-making under ignorance and uncertainty Tomasz Lechowski, Philosophy, University of Warsaw, Warsaw, POLAND Michal Zawidzki, Philosophy, University of Lodz / University of Warsaw, Lódz, POLAND Przemyslaw Walega, Philosophy, University of Warsaw, Warsaw, POLAND