› › Iarcs Annual Conference On Foundations Of Software Technology And Theoretical Computer Science Fsttcs 2010

Foundations of Software Science and Computation Structures

Author : Patricia Bouyer

Publisher : Springer Nature

Page : 471 pages

File Size : 24,4 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.



Foundations of Software Science and Computation Structures

Author : Bart Jacobs

Publisher : Springer

Page : 548 pages

File Size : 16,61 MB

Release : 2016-03-22

Category : Computers

ISBN : 3662496305

Get eBook

Book Description

This book constitutes the proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016. The 31 full papers presented in this volume were carefully reviewed and selected from 85 submissions. They were organized in topical sections named: types; recursion and fixed-points; verification and program analysis; automata, logic, games; probabilistic and timed systems; proof theory and lambda calculus; algorithms for infinite systems; and monads.



Foundations of Software Science and Computation Structures

Author : Stefan Kiefer

Publisher : Springer Nature

Page : 574 pages

File Size : 23,83 MB

Release : 2021-03-22

Category : Mathematics

ISBN : 3030719952

Get eBook

Book Description

This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 28 regular papers presented in this volume were carefully reviewed and selected from 88 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.



Mathematical Foundations of Computer Science 2010

Author : Petr Hlineny

Publisher : Springer Science & Business Media

Page : 730 pages

File Size : 28,43 MB

Release : 2010-08-10

Category : Computers

ISBN : 364215154X

Get eBook

Book Description

This volume constitutes the refereed proceedings of the 35th International Symposium on Mathematical Foundations of Computer Science, MFCS 2010, held in Brno, Czech Republic, in August 2010. The 56 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 149 submissions. Topics covered include algorithmic game theory, algorithmic learning theory, algorithms and data structures, automata, grammars and formal languages, bioinformatics, complexity, computational geometry, computer-assisted reasoning, concurrency theory, cryptography and security, databases and knowledge-based systems, formal specifications and program development, foundations of computing, logic in computer science, mobile computing, models of computation, networks, parallel and distributed computing, quantum computing, semantics and verification of programs, and theoretical issues in artificial intelligence.



Theory and Application of Satisfiability Testing

Author : Karem A. Sakallah

Publisher : Springer

Page : 392 pages

File Size : 23,95 MB

Release : 2011-06-11

Category : Computers

ISBN : 3642215815

Get eBook

Book Description

This book constitutes the refereed proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011, held in Ann Arbor, MI, USA in June 2011. The 25 revised full papers presented together with abstracts of 2 invited talks and 10 poster papers were carefully reviewed and selected from 57 submissions. The papers are organized in topical sections on complexity analysis, binary decision diagrams, theoretical analysis, extraction of minimal unsatisfiable subsets, SAT algorithms, quantified Boolean formulae, model enumeration and local search, and empirical evaluation.



Software, Services, and Systems

Author : Rocco De Nicola

Publisher : Springer

Page : 705 pages

File Size : 13,58 MB

Release : 2015-03-05

Category : Computers

ISBN : 3319155458

Get eBook

Book Description

This book is dedicated to Professor Martin Wirsing on the occasion of his emeritation from Ludwig-Maximilians-Universität in Munich, Germany. The volume is a reflection, with gratitude and admiration, on Professor Wirsing’s life highly creative, remarkably fruitful and intellectually generous life. It also gives a snapshot of the research ideas that in many cases have been deeply influenced by Professor Wirsing’s work. The book consists of six sections. The first section contains personal remembrances and expressions of gratitude from friends of Professor Wirsing. The remaining five sections consist of groups of scientific papers written by colleagues and collaborators of Professor Wirsing, which have been grouped and ordered according to his scientific evolution. More specifically, the papers are concerned with logical and algebraic foundations; algebraic specifications, institutions and rewriting; foundations of software engineering; service oriented systems; and adaptive and autonomic systems.



Computer Science – Theory and Applications

Author : Rahul Santhanam

Publisher : Springer Nature

Page : 485 pages

File Size : 49,85 MB

Release : 2021-06-16

Category : Computers

ISBN : 3030794164

Get eBook

Book Description

This book constitutes the proceedings of the 16th International Computer Science Symposium in Russia, CSR 2021, held in Sochi, Russia, in June/July 2021. The 28 full papers were carefully reviewed and selected from 68 submissions. The papers cover a broad range of topics, such as formal languages and automata theory, geometry and discrete structures; theory and algorithms for application domains and much more.



Formal Methods: Foundations and Applications

Author : Márcio Cornélio

Publisher : Springer

Page : 203 pages

File Size : 50,37 MB

Release : 2016-01-23

Category : Computers

ISBN : 3319294733

Get eBook

Book Description

This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo Horizonte, Brazil, in September 2015. The 11 papers presented in this volume were carefully reviewed and selected from 25 submissions. They were organized in topical sections named: model checking; languages and semantics; refinement and verification; testing and evaluation.



Computer Science – Theory and Applications

Author : René van Bevern

Publisher : Springer

Page : 397 pages

File Size : 30,47 MB

Release : 2019-06-24

Category : Computers

ISBN : 303019955X

Get eBook

Book Description

This book constitutes the proceedings of the 14th International Computer Science Symposium in Russia, CSR 2019, held in Novosibirsk, Russia, in July 2019. The 31 full papers were carefully reviewed and selected from 71 submissions. The papers cover a wide range of topics such as algorithms and data structures; computational complexity; randomness in computing; approximation algorithms; combinatorial optimization; constraint satisfaction; computational geometry; formal languages and automata; codes and cryptography; combinatorics in computer science; applications of logic to computer science; proof complexity; fundamentals of machine learning; and theoretical aspects of big data.



Computing and Combinatorics

Author : My T. Thai

Publisher : Springer Science & Business Media

Page : 553 pages

File Size : 47,31 MB

Release : 2010-07-05

Category : Computers

ISBN : 3642140300

Get eBook

Book Description

The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community, with numerous individuals, as well as with prestigious organizations and societies, LNCS has grown into the most comperhensive computer science research forum avaiable. The scope of LNCS, including its subseries LNAI and LNBI, spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. In parallel to the printed book, each new volume is published electronically in LNCS Online.