Anuj Dawar

Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings - Theoretical Computer Science and General Issues Anuj Dawar

Marc Notes: Also issued online.; Based on publisher-provided data. Table of Contents: Invited Talks -- Degrees of Security: Protocol Guarantees in the Face of Compromising Adversaries / David Basin, Cas Cremers -- Definability in Games / Erich GrAdel -- From Feasible Proofs to Feasible Computations / Jan KrajIcek -- Tree Dualities for Constraint Satisfaction / Andrei Krokhin -- Ordered Sets in the Calculus of Data Structures / Viktor Kuncak, Ruzica Piskac, Philippe Suter -- Abductive, Inductive and Deductive Reasoning about Resources / Peter W. O'Hearn -- Constraint Solving for Program Verification: Theory and Practice by Example / Andrey Rybalchenko -- Contributed Papers -- Tableau Calculi for CSL over Minspaces / REgis Alenda, Nicola Olivetti, Camilla Schwind, Dmitry Tishkovsky -- A Resolution Mechanism for Prenex GOdel Logic / Matthias Baaz, Christian G. FermUller -- Efficient Enumeration for Conjunctive Queries over X-underbar Structures / Guillaume Bagan, Arnaud Durand, Emmanuel Filiot, Olivier Gauwin -- A Formalisation of the Normal Forms of Context-Free Grammars in HOL4 / Aditi Barthwal, Michael Norrish -- Automata vs. Logics on Data Words / Michael Benedikt, Clemens Ley, Gabriele Puppis -- Graded Computation Tree Logic with Binary Coding / Alessandro Bianco, Fabio Mogavero, Aniello Murano -- Exact Exploration and Hanging Algorithms / Andreas Blass, Nachum Dershowitz, Yuri Gurevich -- Embedding Deduction Modulo into a Prover / Guillaume Burel -- Exponentials with Infinite Multiplicities / Alberto Carraro, Thomas Ehrhard, Antonino Salibra -- Classical and Intuitionistic Subexponential Logics Are Equally Expressive / Kaustuv Chaudhuri -- On Slicewise Monotone Parameterized Problems and Optimal Proof Systems for TAUT / Yijia Chen, JOrg Flum -- A Logic of Sequentiality / Martin Churchill, James Laird -- Environment and Classical Channels in Categorical Quantum Mechanics / Bob Coecke, Simon Perdrix -- Formal Theories for Linear Algebra / Stephen Cook, Lila Fontes -- Energy and Mean-Payoff Games with Imperfect Information / Aldric Degorre, Laurent Doyen, Raffaella Gentilini, Jean-FranCois Raskin, Szymon Torunczyk -- Randomisation and Derandomisation in Descriptive Complexity Theory / Kord Eickmeyer, Martin Grohe -- Towards a Canonical Classical Natural Deduction System / JosE EspIrito Santo -- Coordination Logic / Bernd Finkbeiner, Sven Schewe -- Second-Order Equational Logic (Extended Abstract) / Marcelo Fiore, Chung-Kil Hur -- Fibrational Induction Rules for Initial Algebras / Neil Ghani, Patricia Johann, ClEment Fumex -- A Sequent Calculus with Implicit Term Representation / Stefan Hetzl -- New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures / Tobias Ganzow, Lukasz Kaiser -- The Structural ?-Calculus / Beniamino Accattoli, Delia Kesner -- The Isomorphism Problem for ?-Automatic Trees / Dietrich Kuske, Jiamou Liu, Markus Lohrey -- Complexity Results for Modal Dependence Logic / Peter Lohmann, Heribert Vollmer -- The Complexity of Positive First-Order Logic without Equality II: The Four-Element Case / Barnaby Martin, Jos Martin -- On the Computability of Region-Based Euclidean Logics / Yavor Nenov, Ian Pratt-Hartmann -- Inductive-Inductive Definitions / Fredrik Nordvall Forsberg, Anton Setzer -- Quantified Differential Dynamic Logic for Distributed Hybrid Systems / AndrE Platzer -- Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic / Damien Pous -- Two-Variable Logic with Two Order Relations (Extended Abstract) / Thomas Schwentick, Thomas Zeume -- Signature Extensions Preserve Termination: An Alternative Proof via Dependency Pairs / Christian Sternagel, RenE Thiemann -- Coq Modulo Theory / Pierre-Yves Strub -- Ackermann Award -- The Ackermann Award 2010 / Johann A. Makowsky, Damian Niwinski -- Author Index. Publisher Marketing: The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2010, was held in Brno (Czech Republic), August 23 27, 2010. The conference started as a series of international workshops on Computer S- ence Logic, and then at its sixth meeting became the Annual Conference of the EACSL. This conference was the 24th meeting and 19th EACSL conference; it was organized at the Faculty of Informatics, Masaryk University, Brno. In 2010, CSL and the 35th International Symposium on Mathematical Fo- dations of Computer Science (MFCS 2010)were federated and organizedin p- allel at the same place. The technical program and proceedings of MFCS 2010 andCSL2010werepreparedindependently. The federatedMFCSandCSL 2010 conference had ?ve common plenary sessions and common social events for all participants. The common plenary speakers were David Basin (Zur ] ich), Herbert Edelsbrunner(Klosterneuburg), ErichGrad ] el(Aachen), BojanMohar(Burnaby, Ljubljana), and Joseph Sifakis (Grenoble). Invited papers by David Basin and ErichGr] adelwereincludedintheproceedingsofCSL. Inaddition, CSL2010had ?ve invited speakers, namely, Peter O Hearn (London), Jan Krajicek (Prague), Andrei Krokhin (Durham), Andrey Rybalchenko (Munich), and Viktor Kuncak (Lausanne)."