Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 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, exibility, and efficiency of tools and algorithms for building computer-controlled systems.

Computer software --- System analysis --- System design --- Verification --- embedded systems --- formal languages and automata theory --- Formal methods and theory of security --- Machine learning --- Modeling and simulation --- Semantics and reasoning --- software and hardware verification --- specification and verification techniques --- static and dynamic program analysis --- Symbolic and algebraic manipulation --- system construction and transformation techniques

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. .

Artificial intelligence. --- Machine theory. --- Computer science. --- Software engineering. --- Artificial Intelligence. --- Formal Languages and Automata Theory. --- Computer Science Logic and Foundations of Programming. --- Software Engineering. --- Informatics --- Science --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer software engineering --- Engineering

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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. .

Computer science --- Artificial intelligence --- Databases --- Computer programming / software development --- Mathematical Logic and Formal Languages --- Theory of Computation --- Natural Language Processing (NLP) --- Database Management --- Programming Techniques --- Formal Languages and Automata Theory --- automata theory --- databases --- formal languages --- formal logic --- computational linguistics --- open access --- semantics --- 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 --- logical foundations of data bases --- models of software security --- logical aspects of computation complexity --- logics of programming --- Mathematical theory of computation --- Natural language & machine translation --- Database programming --- Computer programming / software engineering --- Machine theory. --- Computer science. --- Natural language processing (Computer science). --- Database management. --- Computer programming. --- Formal Languages and Automata Theory. --- Theory of Computation. --- Natural Language Processing (NLP). --- Database Management. --- Programming Techniques. --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- NLP (Computer science) --- Human-computer interaction --- Semantic computing --- Informatics --- Science --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics --- Programming

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

In the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic,supposingthat someone were capable to compile it, would ?ll itself a ponderous volume. What is impressive in the growth of modal logic has not been so much the quick accumulation of results but the richness of its thematic dev- opments. In the 1960s, when Kripke semantics gave new credibility to the logic of modalities? which was already known and appreciated in the Ancient and Medieval times? no one could have foreseen that in a short time modal logic would become a lively source of ideas and methods for analytical philosophers,historians of philosophy,linguists, epistemologists and computer scientists. The aim which oriented the composition of this book was not to write a new manual of modal logic (there are a lot of excellent textbooks on the market, and the expert reader will realize how much we bene?ted from manyofthem)buttoo?ertoeveryreader,evenwithnospeci?cbackground in logic, a conceptually linear path in the labyrinth of the current panorama of modal logic. The notion which in our opinion looked suitable to work as a compass in this enterprise was the notion of multimodality, or, more speci?cally, the basic idea of grounding systems on languages admitting more than one primitive modal operator.

Modality (Logic) --- Semantics (Philosophy) --- Intension (Philosophy) --- Logical semantics --- Semantics (Logic) --- Semeiotics --- Significs --- Syntactics --- Unified science --- Language and languages --- Logic, Symbolic and mathematical --- Logical positivism --- Meaning (Psychology) --- Philosophy, Modern --- Semiotics --- Signs and symbols --- Symbolism --- Analysis (Philosophy) --- Definition (Philosophy) --- Modal logic --- Logic --- Nonclassical mathematical logic --- Bisimulation --- Logic. --- Logic, Symbolic and mathematical. --- Philosophy (General). --- Computer science. --- Mathematical Logic and Foundations. --- Philosophy, general. --- History of Philosophy. --- Mathematical Logic and Formal Languages. --- Informatics --- Science --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Philosophy --- Psychology --- Reasoning --- Thought and thinking --- Methodology --- Mathematical logic. --- Philosophy. --- Mental philosophy --- Humanities --- Machine theory. --- Formal Languages and Automata Theory. --- History. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections: Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis. Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification. This is an open access book.

Software Engineering --- Artificial intelligence --- Computer programming / software development --- Mathematical theory of computation --- Computer modelling & simulation --- architecture verification --- artificial intelligence --- automata theory --- computer programming --- distributed computer systems --- distributed systems --- embedded systems --- formal languages --- formal logic --- formal methods --- model checking --- software architecture --- software design --- software engineering --- software quality --- temporal logic --- verification techniques --- Software engineering. --- Artificial intelligence. --- Computer science. --- Machine theory. --- Computer simulation. --- Software Engineering. --- Artificial Intelligence. --- Computer Science Logic and Foundations of Programming. --- Formal Languages and Automata Theory. --- Computer Modelling. --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics --- Informatics --- Science --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Fifth generation computers --- Neural computers --- Computer software engineering --- Engineering