|
|
 |
|
Vendredi 31 Mai
| Heure: |
00:59 - 11:30 |
| Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
| Résumé: |
Game semantics and applications to compilation (3/3): A type system for hard real-time computation |
| Description: |
Dan Ghica We will examine a type system, suitable for higher-order functional programming languages with mutable state, which can automatically certify the timing of execution. The system is generally applicable to hard real-time computation and especially to the automatic synthesis of computational pipelines. We present the general typing rules, a categorical semantic model and a proof of coherence as well as a concrete programming language with a type inference algorithm and a concrete game-semantic model. [Joint work with Alex Smith] |
| Heure: |
00:59 - 13:30 |
| Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
| Résumé: |
From Mind to Turing to Mind |
| Description: |
Henk Barendregt Based on introspection Alan Turing analyzed the process by which humans
perform  computations. Recent papers on consciousness go in the other
direction: this is seen as a hybrid Turing machine process. Hybrid in
the sense that it acts both discretely and in parallel, where the Turing
machine quadruplets are implemented by a neural net.
We also focus on mind-states and their possible implementations in the
brain, based on recent progress in neuroscience.
If the claims in the talk are validated one day, then this would be
emperical evidence for the Church-Turing thesis |
|
|
