FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

A
Ahn, Ki Yung	Quasi-Open Bisimilarity with Mismatch is Intuitionistic (PDF, talk)
Akshay, S.	Distribution-based objectives for Markov Decision Processes (PDF, talk)
Allred, Joel	A Simple and Optimal Complementation Algorithm for Büchi Automata (PDF, talk)
Altenkirch, Thorsten	Free Higher Groups in Homotopy Type Theory (PDF, talk)
Asada, Kazuyuki	Species, Profunctors and Taylor Expansion Weighted by SMCC--A Unified Framework for Modelling Nondeterministic, Probabilistic and Quantum Programs-- (PDF, talk)
Atkey, Robert	The Syntax and Semantics of Quantitative Type Theory (PDF, talk)
Atserias, Albert	Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Isomorphism Problem (PDF, talk)
Awodey, Steve	Impredicative Encodings of (Higher) Inductive Types (PDF, talk)
B
Bacci, Giorgio	Boolean-Valued Semantics for Stochastic Lambda-Calculus (PDF, talk) An algebraic theory of Markov processes (PDF, talk)
Baier, Christel	Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes (PDF, talk)
Bertrand, Nathalie	Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes (PDF, talk)
Bickford, Mark	Computability Beyond Church-Turing via Choice Sequences (PDF, talk)
Birkedal, Lars	ReLoC: A Mechanised Relational Logic for Fine-Grained Concurrency (PDF, talk)
Blondin, Michael	Black Ninjas in the Dark: Formal Analysis of Population Protocols (PDF)
Blot, Valentin	Extensional and Intensional Semantic Universes: A Denotational Model of Dependent Types (PDF, talk)
Bodirsky, Manuel	A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP (PDF, talk)
Bohrer, Brandon	A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow (PDF, talk)
Bojanczyk, Mikolaj	Regular and First Order List Functions (PDF, talk) Definable decompositions for graphs of bounded linear cliquewidth (PDF, talk) On computability and tractability for infinite sets (PDF, talk)
Boker, Udi	Automaton-Based Criteria for Membership in CTL (PDF, talk)
Bonchi, Filippo	Rewriting with Frobenius (PDF, talk) Sound up-to techniques and Complete abstract domains (PDF, talk)
Brazdil, Tomas	Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS (PDF, talk)
Bruni, Roberto	Concurrency and Probability: Removing Confusion, Compositionally (PDF, talk)
Buchholtz, Ulrik	Higher Groups in Homotopy Type Theory (PDF, talk) Cellular Cohomology in Homotopy Type Theory (PDF, talk)
C
Carbin, Michael	Computable decision-making on the reals and other spaces via partiality and nondeterminism (PDF, talk)
Castellan, Simon	The concurrent game semantics of Probabilistic PCF (PDF, talk)
Chatterjee, Krishnendu	Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS (PDF, talk)
Chen, Yijia	Tree depth, quantifier elimination, and quantifier rank (PDF, talk) A parameterized halting problem, the linear time hierarchy, and the MRDP theorem (PDF, talk)
Cheung, Wai-Tak	The Geometry of Computation-Graph Abstraction (PDF, talk)
Chlipala, Adam	Computable decision-making on the reals and other spaces via partiality and nondeterminism (PDF, talk)
Clairambault, Pierre	The concurrent game semantics of Probabilistic PCF (PDF, talk)
Cohen, Liron	Computability Beyond Church-Turing via Choice Sequences (PDF, talk)
Constable, Robert	Computability Beyond Church-Turing via Choice Sequences (PDF, talk)
Coquand, Thierry	Inner Models of Univalence (PDF) On Higher Inductive Types in Cubical Type Theory (PDF, talk)
Crary, Karl	Strong Sums in Focused Logic (PDF, talk)
Crubillé, Raphaëlle	Probabilistic stable functions on discrete cones are power series. (PDF, talk)
D
Danielski, Daniel	Unary negation fragment with equivalence relations has the finite model property (PDF, talk)
Dartois, Luc	Logics for Word Transductions with Synthesis (PDF, talk)
Das, Ankush	Work Analysis with Resource-Aware Session Types (PDF, talk)
Dave, Vrunda	Regular Transducer Expressions for Regular Transformations over infinite words (PDF, talk)
Daviaud, Laure	Regular and First Order List Functions (PDF, talk) A pseudo-quasi-polynomial algorithm for solving mean-payoff parity games (PDF, talk)
Dawar, Anuj	Preface (PDF)
de Silva, Nadish	Logical paradoxes in quantum computation (PDF, talk)
Demangeon, Romain	Causal Computational Complexity of Distributed Processes (PDF, talk)
Devriese, Dominique	Degrees of Relatedness - A Unified Framework for Parametricity, Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra in Dependent Type Theory (PDF, talk)
Dubslaff, Clemens	Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes (PDF, talk)
Durand, Arnaud	Model-Theoretic Characterizations of Boolean and Arithmetic Circuit Classes of Small Depth (PDF, talk)
Durier, Adrien	Eager Functions as Processes (PDF, talk)
E
Eberhart, Clovis	What's in a game? A theory of game models (PDF, talk)
Esparza, Javier	Black Ninjas in the Dark: Formal Analysis of Population Protocols (PDF) One Theorem to Rule Them All: A Unified Translation of LTL into $\omega$-Automata (PDF, talk)
F
Ferrère, Thomas	A Theory of Register Monitors (PDF, talk)
Figueira, Diego	Playing with Repetitions in Data Words Using Energy Games (PDF, talk)
Fijalkow, Nathanaël	The State Complexity of Alternating Automata (PDF, talk)
Filiot, Emmanuel	Logics for Word Transductions with Synthesis (PDF, talk) Rational Synthesis Under Imperfect Information (PDF, talk)
Flum, Jörg	Tree depth, quantifier elimination, and quantifier rank (PDF, talk)
Frey, Jonas	Impredicative Encodings of (Higher) Inductive Types (PDF, talk)
Fried, Dror	Sequential Relational Decomposition (PDF, talk)
Frumin, Dan	ReLoC: A Mechanised Relational Logic for Fine-Grained Concurrency (PDF, talk)
Furber, Robert	Boolean-Valued Semantics for Stochastic Lambda-Calculus (PDF, talk)
G
Gadducci, Fabio	Rewriting with Frobenius (PDF, talk)
Ganty, Pierre	Sound up-to techniques and Complete abstract domains (PDF, talk)
Gastin, Paul	Regular Transducer Expressions for Regular Transformations over infinite words (PDF, talk)
Gavazzo, Francesco	Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances (PDF, talk)
Gburek, Daniel	Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes (PDF, talk)
Genest, Blaise	Distribution-based objectives for Markov Decision Processes (PDF, talk)
Gentilini, Raffaella	Rational Synthesis Under Imperfect Information (PDF, talk)
Geoffroy, Guillaume	Classical realizability as a classifier for nondeterminism (PDF, talk)
Ghani, Neil	Compositional game theory (PDF, talk)
Ghica, Dan	The Geometry of Computation-Graph Abstraction (PDF, talk)
Giacobazzi, Roberto	Sound up-to techniques and Complete abstract domains (PDF, talk)
Grohe, Martin	Definable decompositions for graphs of bounded linear cliquewidth (PDF, talk)
Grädel, Erich	Preface (PDF)
Guatto, Adrien	A Generalized Modality for Recursion (PDF, talk)
Głuch, Grzegorz	Can One Escape Red Chains? Regular Path Queries Determinacy is Undecidable. (PDF, talk)
H
Haak, Anselm	Model-Theoretic Characterizations of Boolean and Arithmetic Circuit Classes of Small Depth (PDF, talk)
Hadzihasanovic, Amar	Two complete axiomatisations of pure-state qubit quantum computing (PDF, talk)
Hahn, Michael	Wreath Products of Distributive Forest Algebras (PDF, talk)
Harper, Robert	Guarded Computational Type Theory (PDF, talk)
Hedges, Jules	Compositional game theory (PDF, talk)
Henzinger, Thomas A	A Theory of Register Monitors (PDF, talk)
Hirschkoff, Daniel	Eager Functions as Processes (PDF, talk)
Hirschowitz, Tom	What's in a game? A theory of game models (PDF, talk)
Hoffmann, Jan	Work Analysis with Resource-Aware Session Types (PDF, talk)
Horne, Ross	Quasi-Open Bisimilarity with Mismatch is Intuitionistic (PDF, talk)
Hou, Kuen-Bang	Cellular Cohomology in Homotopy Type Theory (PDF, talk)
Hrushovski, Ehud	Polynomial Invariants for Affine Programs (PDF, talk)
Huber, Simon	On Higher Inductive Types in Cubical Type Theory (PDF, talk)
Hughes, Dominic	Unification nets: canonical proof net quantifiers (PDF, talk)
I
Idziak, Pawel	Satisfiability in multi-valued circuits (PDF, talk)
J
Jaax, Stefan	Black Ninjas in the Dark: Formal Analysis of Population Protocols (PDF)
Jaskelioff, Mauro	Syntax and Semantics for Operations with Scopes (PDF, talk)
Jeandel, Emmanuel	A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics (PDF, talk) Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics (PDF, talk)
Johann, Patricia	A General Framework for Relational Parametricity (PDF, talk)
Jurdzinski, Marcin	A pseudo-quasi-polynomial algorithm for solving mean-payoff parity games (PDF, talk)
K
Kapron, Bruce	Type-two polynomial-time and restricted lookahead. (PDF, talk)
Kerjean, Marie	A Logical Account for Linear Partial Differential Equations (PDF, talk)
Kieronski, Emanuel	Unary negation fragment with equivalence relations has the finite model property (PDF, talk)
Kissinger, Aleks	Rewriting with Frobenius (PDF, talk)
Koskinen, Eric	Dependent Temporal Effects and Fixpoint Logic for Verification (PDF, talk)
Kozen, Dexter	Boolean-Valued Semantics for Stochastic Lambda-Calculus (PDF, talk)
Kraus, Nicolai	Free Higher Groups in Homotopy Type Theory (PDF, talk)
Krebbers, Robbert	ReLoC: A Mechanised Relational Logic for Fine-Grained Concurrency (PDF, talk)
Krebs, Andreas	Wreath Products of Distributive Forest Algebras (PDF, talk)
Kretinsky, Jan	One Theorem to Rule Them All: A Unified Translation of LTL into $\omega$-Automata (PDF, talk) Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes (PDF, talk)
Krzaczkowski, Jacek	Satisfiability in multi-valued circuits (PDF, talk)
Kuusisto, Antti	Weighted model counting beyond two-variable logic (PDF, talk)
Kučera, Antonin	Black Ninjas in the Dark: Formal Analysis of Population Protocols (PDF) Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS (PDF, talk)
König, Barbara	A van Benthem Theorem for Fuzzy Modal Logic (PDF, talk)
L
Laird, James	Extensional and Intensional Semantic Universes: A Denotational Model of Dependent Types (PDF, talk)
Laurent, Olivier	Around Classical and Intuitionistic Linear Logics (PDF, talk)
Lazic, Ranko	A pseudo-quasi-polynomial algorithm for solving mean-payoff parity games (PDF, talk)
Legay, Axel	Sequential Relational Decomposition (PDF, talk)
Lehtinen, Karoliina	A modal mu perspective on solving parity games in quasipolynomial time. (PDF, talk)
Leventis, Thomas	Probabilistic Böhm Trees and Probabilistic Separation (PDF, talk)
Lhote, Nathan	Logics for Word Transductions with Synthesis (PDF, talk)
Lin, Shang-Wei	Quasi-Open Bisimilarity with Mismatch is Intuitionistic (PDF, talk)
Lindenhovius, Bert	Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams (PDF, talk)
Lutz, Carsten	Weighted model counting beyond two-variable logic (PDF, talk)
M
Madelaine, Florent	A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP (PDF, talk)
Marcinkowski, Jerzy	Can One Escape Red Chains? Regular Path Queries Determinacy is Undecidable. (PDF, talk)
Mardare, Radu	Boolean-Valued Semantics for Stochastic Lambda-Calculus (PDF, talk) An algebraic theory of Markov processes (PDF, talk)
Meggendorfer, Tobias	Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes (PDF, talk)
Melgratti, Hernan	Concurrency and Probability: Removing Confusion, Compositionally (PDF, talk)
Melliès, Paul-André	Ribbon tensorial logic (PDF, talk) An Asynchronous Soundness Theorem for Concurrent Separation Logic (PDF, talk)
Mio, Matteo	Riesz Modal Logic with Threshold Operators (PDF, talk)
Miquey, Étienne	A sequent calculus with dependent types for classical arithmetic (PDF, talk)
Mislove, Michael	Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams (PDF, talk)
Monin, Benoit	An answer to the Gamma question (PDF, talk)
Montanari, Ugo	Concurrency and Probability: Removing Confusion, Compositionally (PDF, talk)
Moss, Sean	Dialectica models of type theory (PDF, talk)
Mottet, Antoine	A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP (PDF, talk)
Mueller, Moritz	A parameterized halting problem, the linear time hierarchy, and the MRDP theorem (PDF, talk)
Muroya, Koko	The Geometry of Computation-Graph Abstraction (PDF, talk)
Mörtberg, Anders	On Higher Inductive Types in Cubical Type Theory (PDF, talk)
N
Nanjo, Yoji	Dependent Temporal Effects and Fixpoint Logic for Verification (PDF, talk)
Ng, Kang Feng	Two complete axiomatisations of pure-state qubit quantum computing (PDF, talk)
Niewerth, Matthias	MSO Queries on Trees: Enumerating Answers under Updates Using Forest Algebras (PDF, talk)
Novotný, Petr	Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS (PDF, talk)
Nuyts, Andreas	Degrees of Relatedness - A Unified Framework for Parametricity, Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra in Dependent Type Theory (PDF, talk)
O
O'Hearn, Peter	Continuous Reasoning: Scaling the Impact of Formal Methods (PDF)
Ochremiak, Joanna	Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Isomorphism Problem (PDF, talk)
Ong, Luke	Species, Profunctors and Taylor Expansion Weighted by SMCC--A Unified Framework for Modelling Nondeterministic, Probabilistic and Quantum Programs-- (PDF, talk)
Ostropolski-Nalewaja, Piotr	Can One Escape Red Chains? Regular Path Queries Determinacy is Undecidable. (PDF, talk)
Ouaknine, Joel	Sequential Relational Decomposition (PDF, talk) Polynomial Invariants for Affine Programs (PDF, talk)
P
Panangaden, Prakash	Boolean-Valued Semantics for Stochastic Lambda-Calculus (PDF, talk) An algebraic theory of Markov processes (PDF, talk)
Paquet, Hugo	The concurrent game semantics of Probabilistic PCF (PDF, talk)
Pattinson, Dirk	A van Benthem Theorem for Fuzzy Modal Logic (PDF, talk)
Pavlovic, Dusko	Sound up-to techniques and Complete abstract domains (PDF, talk)
Perdrix, Simon	A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics (PDF, talk) Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics (PDF, talk)
Pfenning, Frank	Work Analysis with Resource-Aware Session Types (PDF, talk)
Pilipczuk, Michał	Definable decompositions for graphs of bounded linear cliquewidth (PDF, talk) Parameterized circuit complexity of model-checking on sparse structures (PDF, talk) On the number of types in sparse graphs (PDF, talk)
Piróg, Maciej	Syntax and Semantics for Operations with Scopes (PDF, talk)
Platzer, André	A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow (PDF, talk) Differential Equation Axiomatization: The Impressive Power of Differential Ghosts (PDF, talk)
Plotkin, Gordon	An algebraic theory of Markov processes (PDF, talk)
Pouly, Amaury	Polynomial Invariants for Affine Programs (PDF, talk)
Pous, Damien	Allegories: decidability and graph homomorphisms (PDF, talk)
Powell, Thomas	A functional interpretation with state (PDF, talk)
Pradic, Pierre	LMSO: A Curry-Howard Approach to Church's Synthesis via Linear Logic (PDF, talk)
Praveen, M.	Playing with Repetitions in Data Words Using Energy Games (PDF, talk)
R
Rahli, Vincent	Computability Beyond Church-Turing via Choice Sequences (PDF, talk)
Raskin, Jean-Francois	Rational Synthesis Under Imperfect Information (PDF, talk)
Riba, Colin	LMSO: A Curry-Howard Approach to Church's Synthesis via Linear Logic (PDF, talk)
Rijke, Egbert	Higher Groups in Homotopy Type Theory (PDF, talk)
S
Sangiorgi, Davide	Eager Functions as Processes (PDF, talk)
Sankur, Ocan	Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes (PDF, talk)
Sarac, N Ege	A Theory of Register Monitors (PDF, talk)
Schrijvers, Tom	Syntax and Semantics for Operations with Scopes (PDF, talk)
Schröder, Lutz	A van Benthem Theorem for Fuzzy Modal Logic (PDF, talk)
Sciarappa, Luke	Computable decision-making on the reals and other spaces via partiality and nondeterminism (PDF, talk)
Scott, Dana	Boolean-Valued Semantics for Stochastic Lambda-Calculus (PDF, talk)
Shankara Narayanan, Krishna	Regular and First Order List Functions (PDF, talk) Regular Transducer Expressions for Regular Transformations over infinite words (PDF, talk)
Shaulian, Yariv	Automaton-Based Criteria for Membership in CTL (PDF, talk)
Sherman, Benjamin	Computable decision-making on the reals and other spaces via partiality and nondeterminism (PDF, talk)
Sickert, Salomon	One Theorem to Rule Them All: A Unified Translation of LTL into $\omega$-Automata (PDF, talk)
Siebertz, Sebastian	Parameterized circuit complexity of model-checking on sparse structures (PDF, talk) On the number of types in sparse graphs (PDF, talk)
Sobocinski, Pawel	Rewriting with Frobenius (PDF, talk)
Sojakova, Kristina	A General Framework for Relational Parametricity (PDF, talk)
Speight, Sam	Impredicative Encodings of (Higher) Inductive Types (PDF, talk)
Stefanesco, Léo	An Asynchronous Soundness Theorem for Concurrent Separation Logic (PDF, talk)
Steinberg, Florian	Type-two polynomial-time and restricted lookahead. (PDF, talk)
Sterling, Jonathan	Guarded Computational Type Theory (PDF, talk)
Straubing, Howard	Wreath Products of Distributive Forest Algebras (PDF, talk)
T
Tan, Yong Kiam	Differential Equation Axiomatization: The Impressive Power of Differential Ghosts (PDF, talk)
Terauchi, Tachio	Dependent Temporal Effects and Fixpoint Logic for Verification (PDF, talk)
Tiu, Alwen	Quasi-Open Bisimilarity with Mismatch is Intuitionistic (PDF, talk)
Toruńczyk, Szymon	On computability and tractability for infinite sets (PDF, talk) Parameterized circuit complexity of model-checking on sparse structures (PDF, talk) On the number of types in sparse graphs (PDF, talk)
Tsukada, Takeshi	Species, Profunctors and Taylor Expansion Weighted by SMCC--A Unified Framework for Modelling Nondeterministic, Probabilistic and Quantum Programs-- (PDF, talk)
U
Ultes-Nitsche, Ulrich	A Simple and Optimal Complementation Algorithm for Büchi Automata (PDF, talk)
Unno, Hiroshi	Dependent Temporal Effects and Fixpoint Logic for Verification (PDF, talk)
V
van Doorn, Floris	Higher Groups in Homotopy Type Theory (PDF, talk)
Vardi, Moshe Y	Sequential Relational Decomposition (PDF, talk)
Velan, Dominik	Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS (PDF, talk)
Vial, Pierre	Every λ-Term is Meaningful for the Infinitary Relational Model (PDF, talk)
Vignudelli, Valeria	Allegories: decidability and graph homomorphisms (PDF, talk)
Vilmart, Renaud	A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics (PDF, talk) Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics (PDF, talk)
Vollmer, Heribert	Model-Theoretic Characterizations of Boolean and Arithmetic Circuit Classes of Small Depth (PDF, talk)
von Glehn, Tamara	Dialectica models of type theory (PDF, talk)
Vyas, Nikhil	Distribution-based objectives for Markov Decision Processes (PDF, talk)
W
Wang, Quanlong	Two complete axiomatisations of pure-state qubit quantum computing (PDF, talk)
Wild, Paul	A van Benthem Theorem for Fuzzy Modal Logic (PDF, talk)
Winschel, Viktor	Compositional game theory (PDF, talk)
Winskel, Glynn	The concurrent game semantics of Probabilistic PCF (PDF, talk)
Worrell, James	Polynomial Invariants for Affine Programs (PDF, talk)
Wu, Nicolas	Syntax and Semantics for Operations with Scopes (PDF, talk)
Y
Yokoyama, Keita	A parameterized halting problem, the linear time hierarchy, and the MRDP theorem (PDF, talk)
Yoshida, Nobuko	Causal Computational Complexity of Distributed Processes (PDF, talk)
Z
Zahn, Philipp	Compositional game theory (PDF, talk)
Zamdzhiev, Vladimir	Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams (PDF, talk)
Zanasi, Fabio	Rewriting with Frobenius (PDF, talk)
Zeilberger, Noam	A theory of linear typings as flows on 3-valent graphs (PDF, talk)
Zetzsche, Georg	PTL-separability and closures for WQOs on words (PDF, talk)
Zuleger, Florian	Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS (PDF, talk)

Disclaimer | Powered by EasyChair Smart Program