Maribel Fernández, Anca Muscholl
Proceedings of the 28th EACSL Annual Conference on Computer Science Logic
CSL, 2020.

@proceedings{CSL-2020,
	editor        = "Maribel Fernández and Anca Muscholl",
	ee            = "http://www.dagstuhl.de/dagpub/978-3-95977-132-0",
	isbn          = "978-3-95977-132-0",
	publisher     = "{Schloss Dagstuhl - Leibniz-Zentrum für Informatik}",
	series        = "{Leibniz International Proceedings in Informatics}",
	title         = "{Proceedings of the 28th EACSL Annual Conference on Computer Science Logic}",
	volume        = 152,
	year          = 2020,
}

Contents (37 items)

CSL-2020-Cortier #protocol #security #verification

Verification of Security Protocols (Invited Talk) (VC), p. 2.

CSL-2020-Tzameret #bound #proving

From Classical Proof Theory to P versus NP: a Guide to Bounded Theories (Invited Talk) (IT), p. 2.

CSL-2020-Dawar #symmetry

Symmetric Computation (Invited Talk) (AD), p. 12.

CSL-2020-Santo #call-by #λ-calculus

The Call-By-Value Lambda-Calculus with Generalized Applications (JES), p. 12.

CSL-2020-Brunet #algebra #axiom

A Complete Axiomatisation of a Fragment of Language Algebra (PB), p. 15.

CSL-2020-Parys #algorithm #game studies

Parity Games: Another View on Lehtinen's Algorithm (PP), p. 15.

CSL-2020-AcclavioM #linear #logic #multi

Generalized Connectives for Multiplicative Linear Logic (MA, RM), p. 16.

CSL-2020-BarloyFLM #linear #robust #sequence

A Robust Class of Linear Recurrence Sequences (CB, NF, NL, FM), p. 16.

CSL-2020-ChenF

FO-Definability of Shrub-Depth (YC, JF), p. 16.

CSL-2020-ChouquetT #call-by

Taylor expansion for Call-By-Push-Value (JC, CT), p. 16.

CSL-2020-CockettCGLMPP #category theory

Reverse Derivative Categories (JRBC, GSHC, JG, JSPL, BM, GDP, DP), p. 16.

CSL-2020-FerrereHK #monitoring

Monitoring Event Frequencies (TF, TAH, BK), p. 16.

CSL-2020-GanardiK #automation #equivalence #polynomial

Automatic Equivalence Structures of Polynomial Growth (MG, BK), p. 16.

CSL-2020-GrangeS #first-order #invariant #logic

Order-Invariant First-Order Logic over Hollow Trees (JG, LS), p. 16.

CSL-2020-HoelzelW #higher-order #logic #on the #semantics

On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics (MH, RW), p. 16.

CSL-2020-LodingT #automaton #reduction

State Space Reduction For Parity Automata (CL, AT), p. 16.

CSL-2020-LyonTGC #logic

Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents (TL, AT, RG, RC), p. 16.

CSL-2020-Mascle0 #decidability #modelling #satisfiability

The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas (CM, MZ0), p. 16.

CSL-2020-Passmann #set #theorem

De Jongh's Theorem for Intuitionistic Zermelo-Fraenkel Set Theory (RP), p. 16.

CSL-2020-VortmeierZ #complexity #query

Dynamic Complexity of Parity Exists Queries (NV, TZ), p. 16.

CSL-2020-AngluinAF #ambiguity #automaton #predict #query

Strongly Unambiguous Büchi Automata Are Polynomially Predictable With Membership Queries (DA, TA, DF), p. 17.

CSL-2020-Buss0K #branch #complexity #nondeterminism #proving #source code

Proof Complexity of Systems of (Non-Deterministic) Decision Trees and Branching Programs (SB, AD0, AK), p. 17.

CSL-2020-Cavallo0 #parametricity #type system

Internal Parametricity for Cubical Type Theory (EC, RH0), p. 17.

CSL-2020-CavalloMS #modelling #type system

Unifying Cubical Models of Univalent Type Theory (EC, AM, AWS), p. 17.

CSL-2020-CockettLL #algebra #category theory #difference

Tangent Categories from the Coalgebras of Differential Categories (JRBC, JSPL, RBBLW), p. 17.

CSL-2020-Gradel0

Guarded Teams: The Horizontally Guarded Case (EG, MO0), p. 17.

CSL-2020-Jez #equation #problem #unification #word

Solving Word Equations (And Other Unification Problems) by Recompression (Invited Talk) (AJ), p. 17.

CSL-2020-MoermanR #set

Separation and Renaming in Nominal Sets (JM, JR), p. 17.

CSL-2020-PaulyS0 #metric

Computing Haar Measures (AP, DS, MZ0), p. 17.

CSL-2020-SchmidtSVZK #algorithm #complexity

Dynamic Complexity Meets Parameterised Algorithms (JS, TS, NV, TZ, IK), p. 17.

CSL-2020-BielousK #game studies #network

Coverage and Vacuity in Network Formation Games (GB, OK), p. 18.

CSL-2020-DemriLM #calculus #logic

Internal Calculi for Separation Logics (SD, ÉL, AM), p. 18.

CSL-2020-GuerrieriPF

Glueability of Resource Proof-Structures: Inverting the Taylor Expansion (GG, LP, LTdF), p. 18.

CSL-2020-KupkeR #induction #logic

Expressive Logics for Coinductive Predicates (CK, JR), p. 18.

CSL-2020-Miquey #algebra #analysis #modelling

Revisiting the Duality of Computation: An Algebraic Analysis of Classical Realizability Models (ÉM), p. 18.

CSL-2020-Adamek #algebra #on the

On Free Completely Iterative Algebras (JA), p. 21.

CSL-2020-KesnerBV #bisimulation

Strong Bisimulation for Control Operators (Invited Talk) (DK, EB, AV), p. 23.