Skip to main content
SpringerLink
Log in

Theoretical Aspects of Computing – ICTAC 2023

20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings

  • Conference proceedings
  • © 2023

Overview

Editors:
  1. Erika Ábrahám

    1. RWTH Aachen University, Aachen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Clemens Dubslaff

    1. Eindhoven University of Technology, Eindhoven, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Silvia Lizeth Tapia Tarifa

    1. University of Oslo, Oslo, Norway

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 14446)

Included in the following conference series:

Conference proceedings info: ICTAC 2023.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 79.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (25 papers)

  1. Front Matter

    Pages i-xi
    Download chapter PDF

  2. Optimal Route Synthesis in Space DTN Using Markov Decision Processes

    • Pedro R. D’Argenio
    Pages 1-3

  3. Without Loss of Satisfaction

    • Marijn J. H. Heule
    Pages 4-14

  4. Modelling and Verifying Robotic Software that Uses Neural Networks

    • Ziggy Attala, Ana Cavalcanti, Jim Woodcock
    Pages 15-35

  5. A Game-Theoretic Approach to Indistinguishability of Winning Objectives as User Privacy

    • Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki
    Pages 36-54

  6. Learning Attack Trees by Genetic Algorithms

    • Florian Dorfhuber, Julia Eisentraut, Jan Křetínský
    Pages 55-73

  7. The Landscape of Computing Symmetric n-Variable Functions with 2n Cards

    • Suthee Ruangwises
    Pages 74-82

  8. On the Complexity of Reasoning in Kleene Algebra with Commutativity Conditions

    • Stepan L. Kuznetsov
    Pages 83-99

  9. Towards the Complexity Analysis of Programming Language Proof Methods

    • Matteo Cimini
    Pages 100-118

  10. A Dynamic Temporal Logic for Quality of Service in Choreographic Models

    • Carlos G. Lopez Pombo, Agustín E. Martinez Suñé, Emilio Tuosto
    Pages 119-138

  11. Interactive Matching Logic Proofs in Coq

    • Jan Tušil, Péter Bereczky, Dániel Horpácsi
    Pages 139-157

  12. An Autonomous Data Language

    • Tom T. P. Franken, Thomas Neele, Jan Friso Groote
    Pages 158-177

  13. Formal Language Semantics for Triggered Enable Statecharts with a Run-to-Completion Scheduling

    • Karla Vanessa Morris Wright, Thai Son Hoang, Colin Snook, Michael Butler
    Pages 178-195

  14. Strong Call-by-Value and Multi Types

    • Beniamino Accattoli, Giulio Guerrieri, Maico Leberle
    Pages 196-215

  15. Algorithms for Checking Intersection Non-emptiness of Regular Expressions

    • Weihao Su, Rongchen Li, Chengyao Peng, Haiming Chen
    Pages 216-235

  16. Realisability of Global Models of Interaction

    • Maurice H. ter Beek, Rolf Hennicker, José Proença
    Pages 236-255

  17. Efficient Reactive Synthesis Using Mode Decomposition

    • Matías Brizzio, César Sánchez
    Pages 256-275

  18. A Categorical Approach to Synthetic Chemistry

    • Ella Gale, Leo Lobski, Fabio Zanasi
    Pages 276-294

  19. Closure and Decision Properties for Higher-Dimensional Automata

    • Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemiański
    Pages 295-312

  20. Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad

    • Francesco Dagnino, Amin Farjudian, Eugenio Moggi
    Pages 313-331
Back to top

Other volumes

  1. Theoretical Aspects of Computing – ICTAC 2023

Keywords

About this book

This book constitutes the proceedings of the 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023, which took place in Lima, Peru, during December 4–8, 2023.

The 20 full papers presented in this volume together with 3 invited papers and 1 tool paper were carefully reviewed and selected from 40 submissions.  

They were organised in the topical sections as follows: Bring Together Practitioners; Researchers from Academia; Industry; Government to Present Research Results and Exchange Experience and Ideas.


Editors and Affiliations

  • RWTH Aachen University, Aachen, Germany

    Erika Ábrahám

  • Eindhoven University of Technology, Eindhoven, The Netherlands

    Clemens Dubslaff

  • University of Oslo, Oslo, Norway

    Silvia Lizeth Tapia Tarifa

Bibliographic Information

  • Book Title: Theoretical Aspects of Computing – ICTAC 2023

  • Book Subtitle: 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings

  • Editors: Erika Ábrahám, Clemens Dubslaff, Silvia Lizeth Tapia Tarifa

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-031-47963-2

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2023

  • Softcover ISBN: 978-3-031-47962-5Published: 23 November 2023

  • eBook ISBN: 978-3-031-47963-2Published: 22 November 2023

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XI, 440

  • Number of Illustrations: 63 b/w illustrations, 60 illustrations in colour

  • Topics: Logics and Meanings of Programs

Publish with us

Policies and ethics

Back to top

Search

Navigation