CLMPS 2015 has ended
Back To Schedule
Thursday, August 6 • 11:00 - 13:00
A3.1 Computational Logic and Applications of Logic

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

6 August 11:00-13:00


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 

avatar for Marie Duzi

Marie Duzi

Prof., VSB-Technical University Ostrava


Tomasz Lechowski

University of Warsaw
avatar for Daniele Porello

Daniele Porello

CNR (National Council of Research)

Michal Zawidzki

University of Lodz/University of Warsaw

Thursday August 6, 2015 11:00 - 13:00 EEST
Main Building, Room 15 Fabianinkatu 33

Attendees (0)