Author: Orna Kupferman
Publisher: Springer Nature
ISBN: 3031308298
Category : Computers
Languages : en
Pages : 575
Get Book Here
Book Description
This open access book constitutes the proceedings of the 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 26 regular papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
Author: Anna Lubiw
Publisher: Springer Nature
ISBN: 3030835081
Category : Computers
Languages : en
Pages : 686
Get Book Here
Book Description
This book constitutes the refereed proceedings of the 17th International Symposium on Algorithms and Data Structures, WADS 2021, held in virtually in August 2021. The 47 full papers, presented together with two invited lectures, were carefully reviewed and selected from a total of 123 submissions. They present original research on the theory, design and application of algorithms and data structures.
Author: Ryuhei Uehara
Publisher: Springer Nature
ISBN: 9819705665
Category :
Languages : en
Pages : 449
Get Book Here
Book Description
Author: Olivier Bournez
Publisher: Springer Nature
ISBN: 3031452860
Category : Mathematics
Languages : en
Pages : 231
Get Book Here
Book Description
This book constitutes the refereed proceedings of the 17th International Conference on Reachability Problems, RP 2023, held in Nice, France, during October 11–13, 2023. The 13 full papers included in this book were carefully reviewed and selected from 19 submissions. They present recent research on reachability problems to promote the exploration of new approaches for the modeling and analysis of computational processes by combining mathematical, algorithmic, and computational techniques.
Author: Subrahmanyam Kalyanasundaram
Publisher: Springer Nature
ISBN: 3031522133
Category : Computers
Languages : en
Pages : 338
Get Book Here
Book Description
This book constitutes the refereed proceedings of the 10th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2024, held in Bhilai, India during February 15–17, 2024. The 22 full papers included in this book were carefully reviewed and selected from 57 submissions. They were organized in topical sections as follows: Algorithms and Complexity; Computational Geometry; Discrete Applied Mathematics; Graph Algorithms; Graph Theory.
Author: Sriram Sankaranarayanan
Publisher: Springer Nature
ISBN: 3031308239
Category : Computers
Languages : en
Pages : 718
Get Book Here
Book Description
This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France. The 56 full papers and 6 short tool demonstration papers presented in this volume were carefully reviewed and selected from 169 submissions. The proceedings also contain 1 invited talk in full paper length, 13 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, flexibility, and efficiency of tools and algorithms for building computer-controlled systems.
Author: Sergiy Bogomolov
Publisher: Springer Nature
ISBN: 3031158393
Category : Computers
Languages : en
Pages : 315
Get Book Here
Book Description
This book constitutes the refereed proceedings of the 20th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2022, held in Warsaw, Poland, in September 2022. The 12 full papers together with 2 short papers that were carefully reviewed and selected from 30 submissions are presented in this volume with 3 full-length papers associated with invited/anniversary talks. The papers focus on topics such as modelling, design and analysis of timed computational systems. The conference aims in real-time issues in hardware design, performance analysis, real-time software, scheduling, semantics and verification of real-timed, hybrid and probabilistic systems.
Author: Alexandra Silva
Publisher: Springer Nature
ISBN: 3030888533
Category : Philosophy
Languages : en
Pages : 435
Get Book Here
Book Description
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 27th Workshop on Logic, Language, Information and Communication, WoLLIC 2021, Virtual Event, in October 2021. The 25 full papers presented included 6 invited lectures were fully reviewed and selected from 50 submissions. The idea is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation.
Author: Michal Feldman
Publisher: Springer Nature
ISBN: 3030946762
Category : Computers
Languages : en
Pages : 563
Get Book Here
Book Description
This book constitutes the refereed proceedings of the 17th International Conference on Web and Internet Economics, WINE 2021, which was held online during December 14-17, 2021. The conference was originally planned to take place in Potsdam, Germany, but changed to a virtual event due to the COVID-19 pandemic. The 41 full papers presented in this volume were carefully reviewed and selected from 146 submissions. They were organized in topical sections as follows: mechanism design and pricing; matching, markets and equilibria; learning, fairness, privacy and behavioral models; social choice and cryptocurrencies.
Author: Rahul Vaze
Publisher: Cambridge University Press
ISBN: 100934918X
Category : Computers
Languages : en
Pages : 489
Get Book Here
Book Description
A rigorous and comprehensive introduction to online algorithms in a pedagogy-rich, readily accessible form for students.
