Search

This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book.

This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – 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 total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.

The papers presented in this open access book address diverse challenges in decarbonizing energy systems, ranging from operational to investment planning problems, from market economics to technical and environmental considerations, from distribution grids to transmission grids, and from theoretical considerations to data provision concerns and applied case studies. While most papers have a clear methodological focus, they address policy-relevant questions at the same time. The target audience therefore includes academics and experts in industry as well as policy makers, who are interested in state-of-the-art quantitative modelling of policy relevant problems in energy systems. The 2nd International Symposium on Energy System Optimization (ISESO 2018) was held at the Karlsruhe Institute of Technology (KIT) under the symposium theme “Bridging the Gap Between Mathematical Modelling and Policy Support” on October 10th and 11th 2018. ISESO 2018 was organized by the KIT, the Heidelberg Institute for Theoretical Studies (HITS), the Heidelberg University, the German Aerospace Center and the University of Stuttgart.

This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume were carefully reviewed and selected from 81 submissions. The papers cover topics such as requirements engineering, software architectures, specification, software quality, validation, verification of functional and non-functional properties, model-driven development and model transformation, software processes, security and software evolution.

This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions. The papers cover topics such as categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification and refinement; models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; emerging models of computation; logical aspects of computational complexity; models of software security; and logical foundations of data bases.​

This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.

"This new and expanded edition is intended to help candidates prepare for entrance examinations in mathematics and scientific subjects, including STEP (Sixth Term Examination Paper). STEP is an examination used by Cambridge Colleges for conditional offers in mathematics. They are also used by some other UK universities and many mathematics departments recommend that their applicants practice on the past papers even if they do not take the examination. Advanced Problems in Mathematics bridges the gap between school and university mathematics, and prepares students for an undergraduate mathematics course. The questions analysed in this book are all based on past STEP questions and each question is followed by a comment and a full solution. The comments direct the reader’s attention to key points and put the question in its true mathematical context. The solutions point students to the methodology required to address advanced mathematical problems critically and independently. This book is a must read for any student wishing to apply to scientific subjects at university level and for anyone interested in advanced mathematics. "This new and expanded edition is intended to help candidates prepare for entrance examinations in mathematics and scientific subjects, including STEP (Sixth Term Examination Paper). STEP is an examination used by Cambridge Colleges for conditional offers in mathematics. They are also used by some other UK universities and many mathematics departments recommend that their applicants practice on the past papers even if they do not take the examination. Advanced Problems in Mathematics bridges the gap between school and university mathematics, and prepares students for an undergraduate mathematics course. The questions analysed in this book are all based on past STEP questions and each question is followed by a comment and a full solution. The comments direct the reader’s attention to key points and put the question in its true mathematical context. The solutions point students to the methodology required to address advanced mathematical problems critically and independently. This book is a must read for any student wishing to apply to scientific subjects at university level and for anyone interested in advanced mathematics.

This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The actual ETAPS 2020 meeting was postponed due to the Corona pandemic. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.

This volume collects together revised papers originally presented at the 7th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2006). LOFT is a key venue for presenting research at the intersection of logic, economics and computer science, and the present collection gives a lively and wide-ranging view of an exciting and rapidly growing area., Tijdens de zevende conferentie Logic and the Foundations of Game and Decision Theory (LOFT 2006) werd een aantal essays gepresenteerd. Deze zijn nu gebundeld in LOFT 7. LOFT is hét podium voor onderzoek naar de kruisbestuiving van logica, economie en IT. De essays in dit boek geven een levendige en brede kijk op een dynamisch en snelgroeiend onderzoeksgebied.

Erhard Weigel (1625-1699) was a German mathematician, astronomer, educator, philosopher, and inventor. He was professor of mathematics at Jena University and is considered a key figure in the development of the mathematical sciences of the 17th Century. In particular, he is known to be the teacher of the young Gottfried Wilhelm Leibniz (1646-1716) and other notable students. These proceedings record papers presented at an international colloquium held at the Göttingen State and University Library in collaboration with the Erhard Weigel Society based in Jena on December 5-6, 2014. The colloquium was concerned with Erhard Weigel and some of his many students as well as discussed his contribution to the history of science as an excellent educator. Moreover, the colloquium dealt with the flow of impact of his methods and ideas into the scientific community, whose members played a significant role in the scientific revolution of the 17th Century. Finally, a list of known students who attended Weigel's lectures is given., Der Mathematiker, Astronom, Pädagoge, Philosoph und Erfinder Erhard Weigel (1625-1699) war in der zweiten Hälfte des 17. Jahrhunderts Professor an der Universität Jena und gilt als zentrale und bemerkenswert schillernde Persönlichkeit der Wissenschaft des 17. Jahrhunderts. Sein Wirken hatte einen maßgeblichen Anteil am Aufstieg der Salana während der Barockzeit und machte Jena im weitgefächerten Bereich der mathematischen Wissenschaften zu einem inspirierenden Ausgangsort wissenschaftlicher Innovation. Der von Weigel als zentralem Impulsgeber ausgehende Wissens- und Methodentransfer vollzog sich über ein ausgedehntes personelles Beziehungsgefüge unter den Gelehrten der damaligen Zeit. Viele Zeugnisse von denen, die bei ihm studierten, lassen ihn als einen glänzenden Lehrer erkennen. Zu Weigels Studenten zählen sehr bedeutende wie Gottfried Wilhelm Leibniz, der 1663 von Leipzig nach Jena kam, aber auch zahlreiche, die heute relativ unbekannt sind, in ihrer Zeit jedoch eine angesehene Stellung bekleideten. Der hier – im Leibniz-Jahr 2016 – vorgelegte Tagungsband basiert auf den Vorträgen des siebenten Erhard-Weigel-Kolloquiums, welches am 5. und 6. Dezember 2014 gemeinsam mit der Erhard-Weigel-Gesellschaft Jena an der Niedersächsischen Staats- und Universitätsbibliothek Göttingen veranstaltet wurde und sich sowohl mit der allgemeinen Thematik des akademischen Lehrer-Schüler-Verhältnisses befasst als auch einzelne Weigel-Schüler und ihr Wirken näher untersucht hat.

This is the first of two volumes of a state-of-the-art survey article collection which originates from three commutative algebra sessions at the 2009 Fall Southeastern American Mathematical Society Meeting at Florida Atlantic University. The articles reach into diverse areas of commutative algebra and build a bridge between Noetherian and non-Noetherian commutative algebra. These volumes present current trends in two of the most active areas of commutative algebra: non-noetherian rings (factorization, ideal theory, integrality), and noetherian rings (the local theory, graded situation, and interactions with combinatorics and geometry). This volume contains combinatorial and homological surveys. The combinatorial papers document some of the increasing focus in commutative algebra recently on the interaction between algebra and combinatorics.