Australia / Portugal / China / Czech Republic / / /
Facility
LIBOR BEHOUNEK Institute of Computer Science / The University of Melbourne / /
IndustryTerm
latter systems / logical systems / higher-order systems / /
Organization
University of Melbourne / World Congress / LIBOR BEHOUNEK Institute of Computer Science / GREG RESTALL School of Philosophy / Anthropology and Social Inquiry / Academy of Sciences of the Czech Republic / Oxford University / /
Person
Peter Schuster / Erik Palmgren / Laura Crosilla / Paola Toto / Iris Loeb / Francesco Ciraulo / Maria Emilia Maietti / Graham Priest / Bob Meyer / Douglas Bridges / Dov Gabbay / Peter Verd´ee / GIOVANNI SAMBIN / / /