07 Aprile 2017
seminar room - U14
CiE Day Lectures in Milan
April 7, 2017
Dipartimento di Informatica Sistemistica e Comunicazione (DISCo), University of Milano-Bicocca - Seminar Room
Computability in Europe (CiE) is a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.
CiE conference series (the first conference was in 2005) address various aspects of the ways computability and theoretical computer science enable scientists and philosophers to deal with mathematical and real world issues, ranging through problems related to logic, mathematics, physical and biological processes, real computation, learning theory and biological computation.
The CiE Day Lectures in Milan is a series of seminars that reflect in the CiE spirit different ways in which computability emerges from the real world, and how this affects our way of thinking about everyday computational issues.
9.15 Opening (Paola Bonizzoni)
9.30 Continuous Time Models of Computation
Department of Computer Science, Ecole Polytechnique (Paris-Saclay)
10.00 Provably total NP search problems in Bounded Arithmetic
Department of Computer Science, College of Science, Swansea University
10.30 Handling Mobility Failures by Modal Types
Department of Computer Science, Middlesex University London
In archivio dal: 08/04/2017