Tölvunarfræðideild

Viðburðir

ICE-TCS seminar: Jos Baeten, Computation and interaction

  • 22.8.2013, 14:00 - 15:00

When:

Thursday, 22 August 2013

Where: M104
When: 14:00-15:00

Title: Computation and interaction

Jos Baeten (Director of CWI Amsterdam, NL) will deliver an ICE-TCS seminar. The talk will be held at 2pm in room M104 at Reykjavik University.

Abstract: Around 1980, concurrency theory emerged as a separate branch of theoretical computer science, using new computational models. We consider the birth of concurrency theory. Then, we see how concurrency theory as it has matured can be reunited with classical computational models such as automata and Turing machines.