All Seminar Series
Below you will find all of the upcoming seminars that have been added to the database for this series.
If you wish to change the timeframe from which you are viewing these seminars then please select the options in the form below and press the select button.
There is/are 430 search results.
2013 |
| Sober Inside
(12/07/2013, 14:15, EB0.7) Pino Rosolini (Genova) The category of equilogical spaces, originally introduced by Dana Scott in his fundamental paper on Data Types as Lattices, is a locally cartesian closed extension of the category of topological spaces. Hence in that category, it is straightforward t ... |
| The Thermodynamics of Confidentiality
(11/07/2013, 14:00, 3W4.1) Pasquale Malacaria (QMUL) What has a property (confidentiality) of a human artifact (software) to do with the most basic laws of physics (second law of thermodynamics)? I came across these questions and some answers in recent years. I found it a fascinating tale about the ph ... |
| Research through/into/for Games and Game-Based Education at the University of Washington and Opportunities for Collaboration with Bath
(07/06/2013, 14:15, EB 0.7) Adam Smith (Washington) Abstract Technical game research is an emerging field that draws on computer science and connects to high-impact facets of society. At the Center for Game Science (CGS) at the University of Washington, one of our goals is to do research through ... |
| Presheaf models for guarded recursion
(04/03/2013, 14:15, EB0.15) Rasmus Møgelberg
A guarded recursive definition is one where the recursion variable only occurs in positions guarded by a delay operator. In this talk I will present a new model of guarded recursion and motivate it using two different examples: first as a model ... |
| Workshop on Algebra, Coalgebra and Topology
(01/03/2013, 10:30, EB Lounge) Various The Technische Universität Dresden is one of the world's leading centres in clone theory. An abstract clone, with nullary operations, is a mild rephrasing of what category theorists call a Lawvere theory. They are also equivalent to finitary mona ... [View URL] |
| Currently showing 1-5 seminars from 430 results. | Next page |
