Loading…
This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own

View analytic
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 and see who's attending!

6 August 11:00-13:00

SPEAKERS AND TITLES

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 

Chairs
avatar for Marie Duzi

Marie Duzi

Prof., VSB-Technical University Ostrava

Speakers
TL

Tomasz Lechowski

University of Warsaw
avatar for Daniele Porello

Daniele Porello

CNR (National Council of Research)
MZ

Michal Zawidzki

University of Lodz/University of Warsaw



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

Attendees (9)