SOFSEM 2015: Theory and Practice of Computer Science

SOFSEM 2015: Theory and Practice of Computer Science
Author: Giuseppe Italiano
Publisher: Springer
Total Pages: 631
Release: 2015-01-14
Genre: Computers
ISBN: 3662460785

This book constitutes the proceedings of the 41st International Conference on Current Trends in Theory and Practice of Computer Science held in Pec pod Sněžkou, Czech Republic, during January 24-29, 2015. The book features 8 invited talks and 42 regular papers which were carefully reviewed and selected from 101 submissions. The papers are organized in topical sections named: foundations of computer science; software and Web engineering; data, information, and knowledge engineering; and cryptography, security, and verification.

Sofsem 2015

Sofsem 2015
Author: Giuseppe Italiano
Publisher:
Total Pages: 634
Release: 2015-02-14
Genre:
ISBN: 9783662460795

SOFSEM 2021: Theory and Practice of Computer Science

SOFSEM 2021: Theory and Practice of Computer Science
Author: Tomáš Bureš
Publisher: Springer Nature
Total Pages: 628
Release: 2021-01-20
Genre: Computers
ISBN: 3030677311

This book contains the invited and contributed papers selected for presentation at SOFSEM 2021, the 47th International Conference on Current Trends in Theory and Practice of Computer Science, which was held online during January 25–28, 2021, hosted by the Free University of Bozen-Bolzano, Italy. The 33 full and 7 short papers included in the volume were carefully reviewed and selected from 100 submissions. They were organized in topical sections on: foundations of computer science; foundations of software engineering; foundations of data science and engineering; and foundations of algorithmic computational biology. The book also contains 5 invited papers.

SOFSEM 2017: Theory and Practice of Computer Science

SOFSEM 2017: Theory and Practice of Computer Science
Author: Bernhard Steffen
Publisher: Springer
Total Pages: 525
Release: 2017-01-09
Genre: Computers
ISBN: 3319519638

This book constitutes the refereed proceedings of the 43rd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017, held in Limerick, Ireland, in January 2017. The 34 papers presented in this volume were carefully reviewed and selected from 41 submissions. They were organized in topical sections named: foundations in computer science; semantics, specification and compositionality; theory of mobile and distributed systems; verification and automated system analysis; petri nets, games and relaxed data structures; graph theory and scheduling algorithms; quantum and matrix algorithms; planar and molecular graphs; coloring and vertex covers; algorithms for strings and formal languages; data, information and knowledge engineering; and software engineering: methods, tools, applications.

SOFSEM 2016: Theory and Practice of Computer Science

SOFSEM 2016: Theory and Practice of Computer Science
Author: Rūsiņš Mārtiņš Freivalds
Publisher: Springer
Total Pages: 637
Release: 2016-01-14
Genre: Computers
ISBN: 3662491923

This book constitutes the proceedings of the 42nd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2016, held in Harrachov, Czech Republic, in January 2016. The 43 full papers presented in this volume were carefully reviewed and selected from 116 submissions. They are organized in topical sections named: foundations of computer science; software engineering: methods, tools, applications; and data, information, and knowledge engineering. The volume also contains 7 invited talks in full paper length.

SOFSEM 2008: Theory and Practice of Computer Science

SOFSEM 2008: Theory and Practice of Computer Science
Author: Viliam Geffert
Publisher: Springer Science & Business Media
Total Pages: 806
Release: 2008-01-11
Genre: Computers
ISBN: 354077565X

This volume contains the invited and the contributed papers selected for p- th sentation at SOFSEM 2008, the 34 Conference on Current Trends in Theory and Practice of Computer Science, which was held January 19-25, 2008, in the Atrium Hotel, Novy þ Smokovec, High Tatras in Slovakia. SOFSEM (originally SOFtware SEMinar), as an annual international c- ference devoted to the theory and practice of computer science, aims to foster cooperationamongprofessionalsfromacademiaandindustryworkinginallareas in this?eld. Developing over the years from a local event to a fully international and well-established conference, contemporary SOFSEM continues to maintain the best of its original Winter School aspects, such as a high number of invited talks and in-depth coverage of novel research results in selected areas within computer science. SOFSEM 2008 was organized around the following tracks: - Foundations of Computer Science (Chair: Juhani Karhum· aki) - Computing by Nature (Chair: Alberto Bertoni) - Networks, Security, and Cryptography (Chair: Bart Preneel) - Web Technologies (Chair: Pavol Nþ avrat) The SOFSEM 2008 Program Committee consisted of 75 international - perts, representing active areas of the SOFSEM 2008 tracks with outstanding expertise and an eye for current developments, evaluating the submissions with the help of 169 additional reviewers. An integral part of SOFSEM 2008 was the traditional Student Research - rum (chaired by Ma þria Bielikovþ a), organized with the aim of presenting student projectsinthetheoryandpracticeofcomputerscienceandtogivestudentsfe- back on both originality of their scienti?c results and on their work in progress.

SOFSEM 2019: Theory and Practice of Computer Science

SOFSEM 2019: Theory and Practice of Computer Science
Author: Barbara Catania
Publisher: Springer
Total Pages: 548
Release: 2019-01-10
Genre: Computers
ISBN: 3030108015

This book constitutes the refereed proceedings of the 45th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2019, held in Nový Smokovec, Slovakia, in January 2019. The 34 full papers presented together with 6 invited talks were carefully reviewed and selected from 92 submissions. They presented new research results in the theory and practice of computer science in the each sub-area of SOFSEM 2019: Foundations of theoretical Computer Science, foundations of data science and engineering, and foundations of software engineering.

SOFSEM 2024

SOFSEM 2024
Author: Henning Fernau
Publisher: Springer Nature
Total Pages: 514
Release: 2024
Genre: Computer science
ISBN: 3031521137

This book constitutes the proceedings of the 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, held in Cochem, Germany, in February 2024. The 33 full papers presented in this book were carefully reviewed and selected from 81 submissions. The book also contains one invited talk in full paper length. They focus on original research and challenges in foundations of computer science including algorithms, AI-based methods, computational complexity, and formal models.