Prix décerné à Nachum Dershowitz (School of Computer Science, Tel Aviv University / résident de l'IEA de Paris), Olivier Bournez (Laboratoire d’Informatique de l’X (LIX), Ecole Polytechnique), et Pierre Neron (French Network and Information Security Agency (ANSSI)) pour leur contribution “An Axiomatization of Analog Algorithms” à l'occasion de la douzième édition du colloque CiE (Computability in Europe).
This year Computability in Europe (CiE) honored the 80th anniversary of A. Turing’s paper introducing the Universal Turing Machine. In this context the conference sought better understanding of universal computational frameworks ranging from mathemat- ics, computer science, through various natural sciences such as physics and biology. CiE provides a forum for exchanging ideas on broad aspects of “computability” striving to understand the essence of computation through studies of theoretical models of new paradigms, information processing, encryption, philosophy and history of computing as well as computability in natural and biological systems. This year’s CiE conference was held in Paris and through a sequence of tutorials, plenary lectures, and special sessions allowed in-depth discussions and novel approaches in pursuit of the nature of computability. Similarly to previous CiE conferences in this series, CiE 2016 had a broad scope promoting the development of computability-related science….
Plus d'informations (site du colloque)