Thursday, 23 February 2006, 10:00
Cybernetica Bldg (Akadeemia tee 21), room B101
Slides from the talk [pdf]
Abstract: Linear logic is a refinement of classical logic introduced by J.-Y. Girard that provides logical tools for keeping track of resources and has taken part in shaping contemporary computer science. The talk will describe the syntax and informal semantics of linear logic by showing how to control our expenses and read a restaurant menu using linear connectives.