ICE-TCS Lectures Series - Paul Blain Levy - Semantics of nondeterminism
The next ICE-TCS talk for this semester will be delivered on Tuesday, 17 November, by Paul Blain Levy (School of Computer Science, University of Birmingham, UK). The talk, entitled Semantics of nondeterminism, will be held in room K1 at Reykjavík University (Kringlan 1) from 14:00 till 15:00. (Note the non-standard room.)
Paul is a very enthusiastic speaker and we warmly recommend the talk, which should be accessible to students and scientists from any area of computer science and mathematics. As of January 2008, Paul is an EPSRC Advanced Research Fellow, working on Semantics of nondeterminism: functions, strategies and bisimulation. This personal grant frees him from teaching duties for five years and is worth 422,838 GBP.
Further information about forthcoming ICE- TCS events may be found on the ICE-TCS news page
