Submission instructions and templates

Please submit papers using the link to EasyChair on the 9^TH ISDT Conference website

Click here for the template.

TOPICS

Include but not limited to:

• Topological and logical aspects of domains
• Categories of domains and powerdomains
• Continuous posets and quantum domains
• Partial orders and lattice theory
• Types, Process algebra and concurrency
• Non-classical logics and applications in computer science
• Programming language semantics
• Applied topology related to partial orders
• Topological pospaces and topological algebras

All submitted papers should be unpublished work and not submitted for publication in other journals. All papers should be in PDF format and submitted via EasyChair (https://easychair.org/conferences/?conf=9thisdt) before April 15, 2022.

All submissions will be peer reviewed. The arrangements to publish the proceedings online are underway, and a formal announcement will be made as soon as the arrangements are finalized.