Table of Contents: “...A spatial logic with time and quantifiers -- Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability -- Axiomatization of Hybrid Logic of Link Variations -- Kleene Algebra of Weighted Programs With Domain -- Automated Quantum...”

Full text 

Table of Contents: “...First steps in updating knowing how -- Parametrized modal logic II: the unidimensional case -- Relating Kleene algebras -- Dynamic epistemic logic for budget-constrained agents -- Action models for coalition logic -- Quantum logic for observation...”

Full text 

Table of Contents: “... integrals -- Canonical Extension of Possibility Measures to Boolean Algebras of Conditionals -- On the KLM properties of a fuzzy DL with Typicality -- Probability Logic -- Trust Evidence Logic -- Generalized Rules of Probabilistic Independence -- Algebras of Sets...”

Full text 

Table of Contents: “...Invited Papers -- NNrepair: Constraint-based Repair of Neural Network Classifiers -- Balancing automation and control for formal verification of microprocessors -- Algebraic Program Analysis -- Programmable Program Synthesis -- Deductive Synthesis...”

Full text 

Table of Contents: “... in Polynomial Time -- Dynamics Security Policies and Process Opacity for Timed Process Algebras -- Estimating Development E_ort for Software Architectural Tactics -- Clone Detection in Reuse of Software Technical Documentation -- Modeling Actor Systems Using Dynamic...”

Full text 

Table of Contents: “... -- Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development -- Extension of the Ocarina Tool Suite to Support Reliable Replication-Based Fault-Tolerance -- Kronecker Algebra for Static Analysis of Barriers in Ada -- An Empirical...”

Full text 

Table of Contents: “... hash tables for Haskell -- Optional Type Classes for Haskell -- An algebraic framework for parallelizing recurrence in functional Programming -- A Platform of Scientific Workows for Orchestration of Parallel Components in a Cloud of High Performance...”

Full text 

Table of Contents: “... Function Specifications -- Declarative foreign function binding through generic programming -- Declarative Programming with Algebra....”

Full text 

Table of Contents: “... and Design of a Hemodialysis Machine Using iUML-B, BMotionStudio, and Co-simulation -- Hemodialysis Machine in Hybrid Event-B -- Modeling a Hemodialysis Machine using Algebraic State-Transition Diagrams and B-like Methods -- Modelling the Haemodialysis Machine...”

Full text 

Table of Contents: “...Learning Weighted Automata -- More Than 1700 Years of Word Equations -- An Algebraic Geometric Approach to Multidimensional Words -- Why We Need Semirings in Automata Theory -- Unbordered Pictures: Properties and Construction -- Effective Invariant...”

Full text 

Full text 

Full text 

Full text