Personal tools
You are here: Home Events Lab lunch speakers 2010 Colin Stirling

Colin Stirling

Application of automata and games to systems with binding

A notable success in Computer Science has been techniques for verifying finite and infinite state systems. In the talk we outline some results and open problems when extending these techniques to systems with binding.

 

Document Actions