Nachum Dershowitz received the Springer Best Paper Award

Award given to Nachum Dershowitz (School of Computer Science, Tel Aviv University / Paris IAS), Olivier Bournez (Laboratoire d’Informatique de l’X (LIX), Ecole Polytechnique), and Pierre Neron (French Network and Information Security Agency (ANSSI)) for their contribution “An Axiomatization of Analog Algorithms” on the occasion of CiE 2016, the twelfth conference organized by CiE (Computability in Europe).

Presentation

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….

More informations (conference website)