The topics of interest include (but are not limited to) the following:

• Topological and logical aspects of domains
• Categories of domains and power domains
• 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 the submitted papers should be previously unpublished work. The PDF file of the submitted paper should be submitted via EasyChair
https://easychair.org/conferences/?conf=isdt24 All submissions will be peer reviewed and all accepted papers will be published in Electronic Notes in Theoretical Informatics and Computer Science.