At the AGM held in Turku (Finland) on June 15th, 2017, elections have been held for 6 new members of the Council. The members elected are:
- Arnold Beckmann (Swansea)
- Olivier Bournez (Paris)
- Daniel Graça (Faro)
- Benedikt Loewe (Hamburg/Amsterdam)
- Barnaby Martin (Durham)
- Mariya Soskova (Wisconsin-Madison)
Welcome to the new members!
The 2016 Shoenfield Prize given by the Association for Symbolic Logic for a book has been awarded to Rod Downey and Denis Hirschfeldt for Algorithmic Randomness and Complexity, published in the ACiE Series Theory and Applications of Computability, Springer-Verlag New York, 2010.
CiE Day Lectures in Milan
April 7, 2017
Dipartimento di Informatica, Sistemistica e Comunicazione dell’Università di Milano –Bicocca
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