Theoretical Aspects of Computing – ICTAC 2018

Theoretical Aspects of Computing – ICTAC 2018
Author: Bernd Fischer
Publisher: Springer
Total Pages: 546
Release: 2018-10-13
Genre: Computers
ISBN: 303002508X

Download Theoretical Aspects of Computing – ICTAC 2018 Book in PDF, Epub and Kindle

This book constitutes the refereed proceedings of the 15th International Colloquium on Theoretical Aspects of Computing, ICTAC 2018, held in Stellenbosch, South Africa, in October 2018. The 25 revised full papers presented together with two short and two long invited talks were carefully reviewed and selected from 59 submissions. The ICTAC conference aims at bringing together researchers and practitioners from academia, industry and government to present research and exchange ideas and experience addressing challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development. ICTAC also specifically aims to promote research cooperation between developing and industrial countries.

Theoretical Aspects of Computing – ICTAC 2021

Theoretical Aspects of Computing – ICTAC 2021
Author: Antonio Cerone
Publisher: Springer Nature
Total Pages: 405
Release: 2021-08-19
Genre: Computers
ISBN: 3030853152

Download Theoretical Aspects of Computing – ICTAC 2021 Book in PDF, Epub and Kindle

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.

Theoretical Aspects of Computing – ICTAC 2019

Theoretical Aspects of Computing – ICTAC 2019
Author: Robert Mark Hierons
Publisher: Springer Nature
Total Pages: 413
Release: 2019-10-25
Genre: Computers
ISBN: 3030325059

Download Theoretical Aspects of Computing – ICTAC 2019 Book in PDF, Epub and Kindle

This book constitutes the refereed proceedings of the 16th International Colloquium on Theoretical Aspects of Computing, ICTAC 2019, held in Hammamet, Tunisia, in October/November 2019. The 17 revised full papers presented together with 2 keynote papers and 1 industrial paper were carefully reviewed and selected from 138 submissions. The papers are grouped in topical sections on models and transition systems; real-time and temporal logics; verification and concurrency; privacy and security; equations, types, and programming languages.

Theoretical Aspects of Computing – ICTAC 2022

Theoretical Aspects of Computing – ICTAC 2022
Author: Helmut Seidl
Publisher: Springer Nature
Total Pages: 494
Release: 2022-10-02
Genre: Computers
ISBN: 3031177150

Download Theoretical Aspects of Computing – ICTAC 2022 Book in PDF, Epub and Kindle

This book constitutes the proceedings of the 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022, which took place in Tbilisi, Georgia, in September 2022. The 23 papers presented in this volume together with 2 short papers were carefully reviewed and selected from 52 submissions. The book deals with challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.

Theoretical Aspects of Computing – ICTAC 2020

Theoretical Aspects of Computing – ICTAC 2020
Author: Violet Ka I Pun
Publisher: Springer Nature
Total Pages: 327
Release: 2020-11-24
Genre: Computers
ISBN: 3030642763

Download Theoretical Aspects of Computing – ICTAC 2020 Book in PDF, Epub and Kindle

This book constitutes the proceedings of the 17th International Colloquium on Theoretical Aspects of Computing, ICTAC 2020, which took place during November 30-December 4, 2020. The conference was originally planned to take place in Macau, China, but changed to a virtual only format due to the COVID-19 pandemic. 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.

Theoretical Aspects of Computing – ICTAC 2023

Theoretical Aspects of Computing – ICTAC 2023
Author: Erika Ábrahám
Publisher: Springer Nature
Total Pages: 451
Release: 2023-12-24
Genre: Computers
ISBN: 3031479637

Download Theoretical Aspects of Computing – ICTAC 2023 Book in PDF, Epub and Kindle

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.

Trends in Functional Programming

Trends in Functional Programming
Author: Aleksander Byrski
Publisher: Springer Nature
Total Pages: 253
Release: 2020-08-17
Genre: Computers
ISBN: 3030577619

Download Trends in Functional Programming Book in PDF, Epub and Kindle

This book constitutes revised selected papers from the 21st International Symposium on Trends in Functional Programming, TFP 2020, which was held in Krakow, Poland, during February 13-14, 2020. The 11 full papers presented in this volume were carefully reviewed and selected from 22 submissions. They were organized in topical sections named: domain-specific languages; debugging and testing; reasoning and effects; and parallelism.

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems
Author: Dana Fisman
Publisher: Springer Nature
Total Pages: 506
Release: 2022-04-30
Genre: Computers
ISBN: 3030995275

Download Tools and Algorithms for the Construction and Analysis of Systems Book in PDF, Epub and Kindle

This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, exibility, and efficiency of tools and algorithms for building computer-controlled systems.

Model-Based Engineering of Collaborative Embedded Systems

Model-Based Engineering of Collaborative Embedded Systems
Author: Wolfgang Böhm
Publisher: Springer Nature
Total Pages: 404
Release: 2020-12-14
Genre: Computers
ISBN: 3030621367

Download Model-Based Engineering of Collaborative Embedded Systems Book in PDF, Epub and Kindle

This Open Access book presents the results of the "Collaborative Embedded Systems" (CrESt) project, aimed at adapting and complementing the methodology underlying modeling techniques developed to cope with the challenges of the dynamic structures of collaborative embedded systems (CESs) based on the SPES development methodology. In order to manage the high complexity of the individual systems and the dynamically formed interaction structures at runtime, advanced and powerful development methods are required that extend the current state of the art in the development of embedded systems and cyber-physical systems. The methodological contributions of the project support the effective and efficient development of CESs in dynamic and uncertain contexts, with special emphasis on the reliability and variability of individual systems and the creation of networks of such systems at runtime. The project was funded by the German Federal Ministry of Education and Research (BMBF), and the case studies are therefore selected from areas that are highly relevant for Germany’s economy (automotive, industrial production, power generation, and robotics). It also supports the digitalization of complex and transformable industrial plants in the context of the German government's "Industry 4.0" initiative, and the project results provide a solid foundation for implementing the German government's high-tech strategy "Innovations for Germany" in the coming years.