› › 40th Iarcs Annual Conference On Foundations Of Software Technology And Theoretical Computer Science Fsttcs 2020

Foundations of Software Science and Computation Structures

Author : Orna Kupferman

Publisher : Springer Nature

Page : 575 pages

File Size : 37,34 MB

Release : 2023-04-20

Category : Computers

ISBN : 3031308298

Get eBook

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.



Algorithms and Data Structures

Author : Anna Lubiw

Publisher : Springer Nature

Page : 686 pages

File Size : 29,5 MB

Release : 2021-07-30

Category : Computers

ISBN : 3030835081

Get eBook

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.





Reachability Problems

Author : Olivier Bournez

Publisher : Springer Nature

Page : 231 pages

File Size : 49,40 MB

Release : 2023-11-05

Category : Mathematics

ISBN : 3031452860

Get eBook

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.



Algorithms and Discrete Applied Mathematics

Author : Subrahmanyam Kalyanasundaram

Publisher : Springer Nature

Page : 338 pages

File Size : 36,35 MB

Release : 2024-01-13

Category : Computers

ISBN : 3031522133

Get eBook

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.



Tools and Algorithms for the Construction and Analysis of Systems

Author : Sriram Sankaranarayanan

Publisher : Springer Nature

Page : 718 pages

File Size : 48,19 MB

Release : 2023-04-21

Category : Computers

ISBN : 3031308239

Get eBook

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.



Formal Modeling and Analysis of Timed Systems

Author : Sergiy Bogomolov

Publisher : Springer Nature

Page : 315 pages

File Size : 21,3 MB

Release : 2022-08-28

Category : Computers

ISBN : 3031158393

Get eBook

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.



Logic, Language, Information, and Computation

Author : Alexandra Silva

Publisher : Springer Nature

Page : 435 pages

File Size : 13,87 MB

Release : 2021-10-05

Category : Philosophy

ISBN : 3030888533

Get eBook

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.



Web and Internet Economics

Author : Michal Feldman

Publisher : Springer Nature

Page : 563 pages

File Size : 36,76 MB

Release : 2022-01-20

Category : Computers

ISBN : 3030946762

Get eBook

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.



Online Algorithms

Author : Rahul Vaze

Publisher : Cambridge University Press

Page : 489 pages

File Size : 26,80 MB

Release : 2023-09-30

Category : Computers

ISBN : 100934918X

Get eBook

Book Description

A rigorous and comprehensive introduction to online algorithms in a pedagogy-rich, readily accessible form for students.