06341 Abstracts Collection – Computational Structures for Modelling Space, Time and Causality

Kopperman, Ralph; Panangaden, Prakash; Smyth, Michael B.; Spreen, Dieter

doi:10.4230/DagSemProc.06341.1

File

Subject Classification

Keywords

Borel hierarchy
causets
Chu spaces
computations in higher types
computable analysis
constructive topology
differential calculus
digital topology
dihomotopy
domain theory
domain representation
formal topology
higher dimensional automata
mereo\-topology
partial metrics

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Abstract

From 20.08.06 to 25.08.06, the Dagstuhl Seminar 06341 ``Computational Structures for Modelling Space, Time and Causality'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

Cite As Get BibTex

Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, and Dieter Spreen. 06341 Abstracts Collection – Computational Structures for Modelling Space, Time and Causality. In Computational Structures for Modelling Space, Time and Causality. Dagstuhl Seminar Proceedings, Volume 6341, pp. 1-23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007) https://doi.org/10.4230/DagSemProc.06341.1

@InProceedings{kopperman_et_al:DagSemProc.06341.1,
  author =	{Kopperman, Ralph and Panangaden, Prakash and Smyth, Michael B. and Spreen, Dieter},
  title =	{{06341 Abstracts Collection – Computational Structures for Modelling Space, Time and Causality}},
  booktitle =	{Computational Structures for Modelling Space, Time and Causality},
  pages =	{1--23},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{6341},
  editor =	{Ralph Kopperman and Prakash Panangaden and Michael B. Smyth and Dieter Spreen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06341.1},
  URN =		{urn:nbn:de:0030-drops-9000},
  doi =		{10.4230/DagSemProc.06341.1},
  annote =	{Keywords: Borel hierarchy, causets, Chu spaces, computations in higher types, computable analysis, constructive topology, differential calculus, digital topology, dihomotopy, domain theory, domain representation, formal topology, higher dimensional automata, mereo\backslash-topology, partial metrics}
}

@InProceedings{kopperman_et_al:DagSemProc.06341.1,
  author =	{Kopperman, Ralph and Panangaden, Prakash and Smyth, Michael B. and Spreen, Dieter},
  title =	{{06341 Abstracts Collection – Computational Structures for Modelling Space, Time and Causality}},
  booktitle =	{Computational Structures for Modelling Space, Time and Causality},
  pages =	{1--23},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{6341},
  editor =	{Ralph Kopperman and Prakash Panangaden and Michael B. Smyth and Dieter Spreen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06341.1},
  URN =		{urn:nbn:de:0030-drops-9000},
  doi =		{10.4230/DagSemProc.06341.1},
  annote =	{Keywords: Borel hierarchy, causets, Chu spaces, computations in higher types, computable analysis, constructive topology, differential calculus, digital topology, dihomotopy, domain theory, domain representation, formal topology, higher dimensional automata, mereo\backslash-topology, partial metrics}
}

Author Details

Ralph Kopperman

Prakash Panangaden

Michael B. Smyth

Dieter Spreen

06341 Abstracts Collection – Computational Structures for Modelling Space, Time and Causality

Authors Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen

File

Document Identifiers

Subject Classification

Keywords

Metrics

Abstract

Cite As Get BibTex

Author Details

Thanks for your feedback!

Could not send message