Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12819)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: ICTAC 2021.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
This book constitutes the proceedings of the 18th International Colloquium on Theoretical Aspects of Computing, ICTAC 2021, organized by the Nazarbayev University, Nur-Sultan, Kazakhstan. The event was supposed to take place in Nur-Sultan, Kazakhstan, but due to COVID-19 pandemic is was held virtually.
The 15 papers presented in this volume were carefully reviewed and selected from 40 submissions. The book also contains one invited talk in full paper length. The book deals with challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.
The 20 full papers presented in this volume were carefully reviewed and selected from 55 submissions. The papers cover a wide variety of topics, including: getting the best price for selling your personal data; attacking Bitcoin; optimizing various forms of model checking; synthesizing and learning algorithms; formalizing and verifying contracts, languages,and compilers; analyzing the correctness and complexity of programs and distributed systems; and finding connections from proofs in propositional logic to quantum programming languages.
Similar content being viewed by others
Table of contents (22 papers)
-
Front Matter
-
Databases and Distributed Transactions
-
Front Matter
-
-
Formalization and Verification in Coq and Isabelle
-
Front Matter
-
-
Quantum Computing
-
Front Matter
-
Other volumes
-
Theoretical Aspects of Computing – ICTAC 2021
Editors and Affiliations
Accessibility Information
Accessibility information for this book is coming soon. We're working to make it available as quickly as possible. Thank you for your patience.
Bibliographic Information
Book Title: Theoretical Aspects of Computing – ICTAC 2021
Book Subtitle: 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings
Editors: Antonio Cerone, Peter Csaba Ölveczky
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-85315-0
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2021
Softcover ISBN: 978-3-030-85314-3Published: 20 August 2021
eBook ISBN: 978-3-030-85315-0Published: 19 August 2021
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 405
Number of Illustrations: 52 b/w illustrations, 46 illustrations in colour
Topics: Logics and Meanings of Programs, Control Structures and Microprogramming, Input/Output and Data Communications, Computer Applications
Keywords
- logic
- formal methods
- theoritical computer science
- privacy
- security
- model-checking
- program synthesis
- information systems
- interactive computer systems
- electronic commerce
- integrated circuit layout
- linguistics
- digital signal processing
- distributed systems
- embedded systems
- network protokols
- user interfaces
- learning analytics
- logic programming
- data analysis