Foundations, Logic and Structures

Compositional Distributional Models of Meaning |  Constraints Group |  Epistemic Logics |  Game Semantics and its Applications |  Philosophy of Information |  Probabilistic Model Checking |  Quantitative Analysis and Verification |  Quantomatic |  Quantum Group |  Software Model Checking

EvolNet |  Foundational  Structures for Compositional Meaning |  GAMES |  RACE |  Security Protocols for Ad Hoc Networks |  Structures at the Interface of Physics and Computer Science

Algebraic and Coalgebraic Semantics for Knowledge Acquisition |  Analysis of evaluation and satisfiability problems |  Automated quantitative software verification with PRISM |  Complexity of Valued Constraints |  Constraint Satisfaction for Configuration: Logical Fundamentals, Algorithms, and Complexity |  Dynamics and Security in Evolutionary Network Computation |  Efficient Verification of Software with Replicated Components |  Entanglement in Quantum Computing |  Foundational Structures and Methods for Quantum Informatics |  Game Semantics of Concurrency, Objects and Mobility |  Groebner Basis Techniques for Constraint Satisfaction Problems |  Information Flow: Foundations and Applications to Security |  Information Hiding |  LINT |  Model-Checking for Timed Systems |  Notions of width for directed graphs and hypergraphs |  Pushdown Automata and Game Semantics |  QICS |  Quantum Information and its Ramifications for IT |  The Road to a New Quantum Formalism |  Ubiquitous Computing |  UbiVal |  Verifying Properties of the ML Family of Languages