Mathematical Foundations
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 138 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 ... |
| 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] |
| Coinduction, corecursion, copatterns
(21/02/2013, 14:00, 3W4.1) Anton Setzer (joint work with Andreas Abel (Munich), Brigitte Pientka and David Thibodeau (Montreal) based on the POPL 2013 article Copatterns: programming infinite structures by observations) In computer science, most computations are in fact interactive ... |
| Currently showing 1-5 seminars from 138 results. | Next page |
