Domain Theory and Applications
Domain Theory was originally introduced in early 1970's as a mathematical foundation for the semantics of programming languages, which provided the first maathematical model for functional programing languages. It soon became a main paradigm in the theoretical computer science. Since early 1990's, it has also found applications in various areas of mathematical computation ranging from representation of topological spaces, classical measure and integration theory, real number computation and computational geometry/geometric modeling to initial value problems and hybrid systems. These different applications have established Domain Theory as a major paradigm in developing data types for continuous variables and for exact computation where the object of approximation in different areas of computation can be obtained within the accuracy required by the user. In this workshop, some expository talks on the subject will be given and some of these applications will be presented and explored.
Organizers
- Abbas Edalat (Imperial College London)
- Massoud Pourmahdian (Amir Kabir University, IPM)
- Yahya Tabesh (Sharif University of Technology)
Program
- 9:30-10:30 Masoud Pourmahdian The Maximal Space Problem: A General Overview
- 10:30-11:00 Tea Break
- 11:00-12:00 Andre Lieutier Topological Inference
- 12:00-13:00 Peng He Visual Hull with Imprecise Input Data
- 13:00-14:30 Lunch Break
- 14:30-15:30 Abbas Edalat The L-derivative and its Applications
- 15:30-16:30 Amin Farjudian Domain-theory and Semantics of Distributed Systems
- 16:30-17:00 Tea Break
- 17:00-18:00 Mahdi Ali-Akbari The Maximal Space Problem for Quasi-metric Spaces
- 18:00-19:00 Bijan Honari Scott Topology on Hyperspaces and de Groat Operator