University of Connecticut

Events Calendar

Logic Colloquium: Sabrina Ouazzani (Paris)

Friday, November 9, 2018
2:00pm – 3:30pm

Storrs Campus
Oak 112

Join us in the Logic Colloquium for the following talk:

Sabrina Ouazzani (École Polytechnique, Paris)

"How to compute with an infinite time Turing machine?"

In this talk, we present infinite time Turing machines (ITTM), from the original definition of the model to some new infinite time algorithms. We will present algorithmic techniques that allow to highlight some properties of the ITTM-computable ordinals. In particular, we will study gaps in ordinal computation times, that is to say, ordinal times at which no infinite time program halts.


UConn Logic Group Colloquium (primary), Philosophy Department, UConn Master Calendar

Control Panel