Tarmo Uustalu

Name:	Tarmo Uustalu
Affiliation:	Institute of Cybernetics, Tallinn University of Technology
E-mail:	(only provided to users who are logged into talks.cam)
Last login:	Fri Oct 28 00:57:08 +0000 2011

Public lists managed by Tarmo Uustalu

Talks given by Tarmo Uustalu

Obviously this only lists talks that are listed through talks.cam. Furthermore, this facility only works if the speaker's e-mail was specified in a talk. Most talks have not done this.

• Coinductive big-step semantics for concurrency
• Almost always blue trees and bar induction

Talks organised by Tarmo Uustalu

This list is based on what was entered into the 'organiser' field in a talk. It may not mean that Tarmo Uustalu actually organised the talk, they may have been responsible only for entering the talk into the talks.cam system.