Workshops and Conferences

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

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 to appear in the Annals of Pure and Applied Logic

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

    September ??1999: Technische Universität Darmstadt
    Organizers: M. Marz, Th. Streicher
    Programme, List of talks, Abstracts
    Proceedings

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

    June 10--12, 1994: Technische Universität Darmstadt
    Organizers: M. Huth, A. Jung, K. Keimel
    Programme, List of talks, Abstracts
    Proceedings:

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

    ?
    Imperial College London
    Organizers: A. Edalat, ?
    Programme, List of talks, Abstracts
    Proceedings:

COMPROX II: Computation and Approximation

    September 26--28, 1996
    Technische Universität Darmstadt
    Organizers:
    Programme, List of talks, Abstracts
    Proceedings:

COMPROX III: Computation and Approximation

    September 11--13, 1997
    University of Birmingham, UK
    Organizers:
    Programme, List of talks,, Abstracts
    Proceedings:

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

    1977
    Tulane University, New Orleans, USA
    Organizers:
    Program Comittee:
    Programme, List of talks,, Abstracts
    Proceedings:

Continuous Lattices II

    1978
    Technische Universität Darmstadt
    Organizers:
    Programme, List of talks, Abstracts
    Proceedings:

Continuous Lattices III

    1979
    University of California at Riverside, USA
    Organizers:
    Programme, List of talks, Abstracts
    Proceedings:

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

    November 19--21, 1981
    Tulane University, New Orleans, USA
    Organizers:
    Programme, List of talks, Abstracts
    Proceedings

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.

Kontakt

Technische Universität Darmstadt
Fachbereich Mathematik
Arbeitsgruppe Logik

S2|15
Schloßgartenstraße 7
64289 Darmstadt

Tel.: +49-(0)6151-1622863
Fax: +49-(0)6151-1622840

logik@mathematik.tu-darmstadt.de

Sekretariat
Raum S2|15-206
Betina Schubotz

Öffnungszeiten:
Mo. - Fr.  10:00-15:00


 
« Dezember 2017 »
Mo Di Mi Do Fr Sa So
48 1 2 3
49 4 5 6 7 8 9 10
50 11 12 13 14 15 16 17
51 18 19 20 21 22 23 24
52 25 26 27 28 29 30 31

Im Gebäude S2|15 im
Lageplan
der TUD,
Abschnitt Stadtmitte Nord,
oder unter Anreise.

A A A | Print Drucken | Impressum Impressum | Contact Kontakt
    zum Seitenanfangzum Seitenanfang