› › 37th Iarcs Annual Conference On Foundations Of Software Technology And Theoretical Computer Science Fsttcs 2017

Foundations of Software Science and Computation Structures

Author : Orna Kupferman

Publisher : Springer Nature

Page : 575 pages

File Size : 30,14 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.



Foundations of Software Science and Computation Structures

Author : Christel Baier

Publisher : Springer

Page : 586 pages

File Size : 46,95 MB

Release : 2018-04-14

Category : Computers

ISBN : 3319893661

Get eBook

Book Description

This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were carefully reviewed and selected from 103 submissions. The papers are organized in topical sections named: semantics; linearity; concurrency; lambda-calculi and types; category theory and quantum control; quantitative models; logics and equational theories; and graphs and automata.



Foundations of Software Science and Computation Structures

Author : Patricia Bouyer

Publisher : Springer Nature

Page : 471 pages

File Size : 40,65 MB

Release : 2022-03-28

Category : Computers

ISBN : 3030992535

Get eBook

Book Description

This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 23 regular papers presented in this volume were carefully reviewed and selected from 77 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.



Application and Theory of Petri Nets and Concurrency

Author : Luca Bernardinello

Publisher : Springer Nature

Page : 398 pages

File Size : 22,84 MB

Release : 2022-06-13

Category : Technology & Engineering

ISBN : 3031066537

Get eBook

Book Description

This book constitutes the proceedings of the 43rd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2022, which was held virtually in June 2021. The 19 full papers presented in this volume were carefully reviewed and selected from 35 submissions. The papers are categorized into the following topical sub-headings: application of concurrency to system design; timed models; tools; applications; synthesis; petri nets architecture; and process mining.



String Processing and Information Retrieval

Author : Diego Arroyuelo

Publisher : Springer Nature

Page : 337 pages

File Size : 49,85 MB

Release : 2022-10-31

Category : Computers

ISBN : 3031206436

Get eBook

Book Description

This book constitutes the refereed proceedings of the 29th International Symposium on String Processing and Information Retrieval, SPIRE 2022, held in Concepción, Chile, in November 2022. The 23 full papers presented in this volume were carefully reviewed and selected from 43 submissions. They cover topics such as: data structures; algorithms; information retrieval; compression; combinatorics on words; and computational biology.



Reachability Problems

Author : Emmanuel Filiot

Publisher : Springer Nature

Page : 249 pages

File Size : 39,46 MB

Release : 2019-09-06

Category : Computers

ISBN : 3030308065

Get eBook

Book Description

This book constitutes the refereed proceedings of the 13th International Conference on Reachability Problems, RP 2019, held in Brussels, Belgium, in September 2019. The 14 full papers presented were carefully reviewed and selected from 26 submissions. The papers cover topics such as reachability for infinite state systems; rewriting systems; reachability analysis in counter/timed/cellular/communicating automata; Petri nets; computational aspects of semigroups, groups, and rings; reachability in dynamical and hybrid systems; frontiers between decidable and undecidable reachability problems; complexity and decidability aspects; predictability in iterative maps; and new computational paradigms.



String Processing and Information Retrieval

Author : Nieves R. Brisaboa

Publisher : Springer Nature

Page : 537 pages

File Size : 24,51 MB

Release : 2019-10-05

Category : Computers

ISBN : 3030326861

Get eBook

Book Description

This volume constitutes the refereed proceedings of the 26th International Symposium on String Processing and Information Retrieval, SPIRE 2019, held in Segovia, Spain, in October 2019. The 28 full papers and 8 short papers presented in this volume were carefully reviewed and selected from 59 submissions. They cover topics such as: data compression; information retrieval; string algorithms; algorithms; computational biology; indexing and compression; and compressed data structures.



Algorithms and Discrete Applied Mathematics

Author : Apurva Mudgal

Publisher : Springer Nature

Page : 519 pages

File Size : 11,20 MB

Release : 2021-01-28

Category : Computers

ISBN : 3030678997

Get eBook

Book Description

This book constitutes the proceedings of the 7th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2021, which was held in Rupnagar, India, during February 11-13, 2021. The 39 papers presented in this volume were carefully reviewed and selected from 82 submissions. The papers were organized in topical sections named: approximation algorithms; parameterized algorithms; computational geometry; graph theory; combinatorics and algorithms; graph algorithms; and computational complexity.



Algorithmic Game Theory

Author : Tobias Harks

Publisher : Springer Nature

Page : 346 pages

File Size : 38,56 MB

Release : 2020-09-08

Category : Computers

ISBN : 3030579808

Get eBook

Book Description

This book constitutes the refereed proceedings of the 13th International Symposium on Algorithmic Game Theory, SAGT 2020, held in Augsburg, Germany, in September 2020.* The 21 full papers presented together with 3 abstract papers were carefully reviewed and selected from 53 submissions. The papers are organized in topical sections named: auctions and mechanism design, congestion games and flows over time, markets and matchings, scheduling and games on graphs, and social choice and cooperative games. * The conference was held virtually due to the COVID-19 pandemic.



Reachability Problems

Author : Olivier Bournez

Publisher : Springer Nature

Page : 231 pages

File Size : 32,33 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.