Congratulations Prof. Nachum Dershowitz for receiving the CiE 2016 Best paper Award

The Program Committee of the 12th International Conference on Computability in Europe has granted the CiE 2016 Best paper Award to

Axiomatizing Analog Algorithms

Olivier Bournez, Nachum Dershowitz and Pierre Neron

Abstract:

We propose a formalization of generic algorithms that includes analog algorithms. This is achieved by reformulating and extending the framework of abstract state machines to include continuous-time models of computation. We prove that every hybrid algorithm satisfying some reasonable postulates may be expressed precisely by a program in a simple and expressive language.

Link to paper