Workshops and Conferences
DOMAINS XI
September 8 -- 10, 2014:
Universite Paris-Diderot, France
Programme Committee: Andrej Bauer, Antonio Bucciarelli (co-chair),
Thomas Ehrhard (co-chair), Jean Goubault-Larrecq, Achim Jung,
Klaus Keimel, Gordon Plotkin, Sam Staton
Organizing Committee: Christine Tasson, Daniele Varacca
Announcement, Invited Speakers, Contributed Talks, Abstracts
Proceedings planned
DOMAINS X
September 5 -- 7, 2011:
University of Swansea, Wales, UK
Programme Committee: U. Berger, M. Escardo, A. Jung, K. Keimel,
B. Reus, J. Tucker
Announcement,
Invited Speakers, Contributed Talks, Abstracts
Proceedings to appear
DOMAINS IX
September 22 --24, 2008:
University of Sussex, Brighton, UK
Programme Committee: M. Escardo, A. Jung, K. Keimel, B. Reus,
Th. Streicher
Announcement,
Invited Speakers, Contributed Talks
Proceedings appeared in Mathematical Structures in Computer
Science vol. 20 (2) (2010).
DOMAINS VIII and Computability over Continuous Data Types
September 11 -- 15, 2007:
Sobolev Institute of Mathematics, Novosibirsk, Russia
Programme Comittee: Yu. Ershov, S. Goncharov, A. Jung, K. Keimel,
U. Kohlenbach, A. Morozov, V. Selivanov, D. Spreen
Announcement,
Invited Speakers, Contributed Talks, Abstracts
Proceedings appeared in the Annals of Pure and Applied Logic
vol. 157 (2009).
DOMAINS VII
August 29 -- September 2, 2004:
Technische Universität Darmstadt, Germany
Organizers: A. Jung, K. Keimel, Th. Streicher
Programme,
List of talks,,
Abstracts
Proceedings in the Journal Mathematical Structures in Computer
Science
vol. 16, no. 2 (2006), pages 139 - 372 and vol. 17, no. 5
(2007), pages 839 - 956
Pictures from the
Workshop
DOMAINS VI
??:
University of Birmingham, UK
Organizers: M. Escardo, A. Jung
Programme committee:M. Escardo, A. Jung, K. Keimel, A. Simpson
Programme,
List of talks,,
Abstracts
Proceedings in: Electronic Notes in Theoretical Computer
Science,
DOMAINS V
DOMAINS IV
October 02 -- 04,1998:
Universität Siegen, Rolandseck
Organizers: D. Spreen, H. Schulz, R. Greb
Programme,
List of talks,,
Abstracts
Informal Proceedings: Informatik-Berichte 99-01, Universität -- GHS Siegen
Formal Proceedings: Electronic Notes in Theoretical Computer
Science, Volume 35, Pages 1-243 (2000).
DOMAINS III
May 29--31, 1997:
Ludwig-Maximilians-Universität München
Organizers: U. Berger, K.-H. Niggl, B. Reus
Programme,
List of Participants, Abstracts
Proceedings: Technical Report 9712, Institut für Informatik,
Universität München
DOMAINS II
??:
Technische Universität Braunschweig
Organizers: J. Adamek, J. Koslowski
Programme,
List of talks,,
Abstracts
Proceedings in the Journal:
Applied Categorical Structures, vol. 7, no. 1 and 2 (1999), pages
1--226.
DOMAINS I
LOGIC, DOMAINS, AND PROGRAMMING lANGUAGES
May 24--27, 1995
Technische Universität Darmstadt
Organizers: K.H. Hofmann, M. Huth, A. Jung, K. Keimel
Programme,
List of talks,,
Abstracts
Proceedings:
On May 24, Dana S. Scott, Carnegie Mellon University, was awarded a
honorary doctorate by Technische Universität Darmstadt
COMPROX I: Computation and Approximation
COMPROX II: Computation and Approximation
COMPROX III: Computation and Approximation
ISDT'13: International Symposium on Domain Theory
October 25--29, 2013
Hunan University, Changsha, P.R. China
Organizers: Yueyu Zhao (Hunan University, Presiden), Yueping Jiang
(Hunan University, Dean, College of Mathematics and
Econometrics), Qingguo Li (Hunan University, Dean, Graduate
School)
Invited Speakers, Program
Committee, Program
Proceedings: Electronic Notes in Theoretical Computer Science 301
(2014), 1--202.
ISDT'09: International Symposium on Domain Theory
September 12--14, 2009
East China Normal University, Shanghai, P.R. China
Proceedings: Electronic Notes in Theoretical Computer Science 257
(2009), 1--158.
ISDT'06: International Symposium on Domain Theory
June 2 -- 6, 2006
Hunan University, Changsha, P.R. China
Organizers: Zhihua Zhong, Lihong Huang, Qingguo Li
Program Comittee: Ying-Ming Liu, Michael Mislove, Mao-Kang Luo,
Guo-Qiang Zhang
Programme,
List of talks,,
Abstracts
Proceedings:
ISDT'04: International Symposium on Domain Theory
May 10--14, 2004
Shaanxi Normal University, Xi'an, P.R. China
Organizers: Shi-Chao Zhao, Mao-Kang Luo, Bin Zhao
Program Comittee: Ying-Ming Liu, Guo-Jun Wang, Pierre-Louis Curien,
Guo-Qiang Zhang
Programme,
List of talks,,
Abstracts
Proceedings:
Photos
ISDT'01: International Symposium on Domain Theory
October 22--26, 2001
Sichuan University, Chengdu, P.R. China
Organizers:
Program Comittee:
Programme,
List of talks,,
Abstracts
Proceedings: G-Q. Zhang, J.D. Lawson, J., Y-M. Liu, M-K. Luo
(Eds.), Domain Theory, Logic and Computation, Semantic
Structures in Computation vol. 3, Springer Verlag, 2004, 208 pages.
ISDT'99: International Symposium on Domain Theory
October 17--23, 1999
Shanghai Teachers University, Shanghai, P.R. China
Organizers: De-Guang Yang, Mao-Kang Luo, Guo-Rong Wang
Program Comittee: Ying-Ming Liu, Yi-Xiang Chen, Klaus Keimel,
Guo-Qiang Zhang
Programme,
List of talks,,
Abstracts
Proceedings: Keimel, K., Guo-Qiang Zhang, Ying-Ming Liu, Yi-Xiang Chen
(Eds.), Domains and Processes, Semantic Structures in
Computation vol. 1, 2001, 287 pages.
Continuous Lattices I
Continuous Lattices II
Continuous Lattices III
Continuous Lattices IV
November 9--11, 1979
Universität Bremen
Organizers:
Programme,
List of talks,,
Abstracts
Proceedings:Continuous Lattices, Lecture Notes in Mathematics 871,
Springer Verlag, 1981
Continuous Lattices V
Continuous Lattices VI: Conference on Topological and Categorical
Aspects of Continuous Lattices
November 19--21, 1981
Universität Bremen
Organizers: R.-E. Hoffmann, ?
Programme,
List of talks,,
Abstracts
Proceedings: R.-E. Hoffmann (ed.), Continuous Lattices and Related
Topics, Mathematik Arbeitspapiere Nr. 27, Universität Bremen, 1982,
vii+314 pages.