ask others

19. FoSSaCS 2016: Eindhoven, The Netherlands (Part of ETAPS 2016)

> Home > Conferences and Workshops > FoSSaCS
> Home > Conferences and Workshops > ETAPS

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/2016
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/2016
Bart Jacobs, Christof Löding:
Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Lecture Notes in Computer Science 9634, Springer 2016, ISBN 978-3-662-49629-9

Types

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/GhaniFS16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/GhaniFS16
Neil Ghani, Fredrik Nordvall Forsberg, Alex Simpson:
Comprehensive Parametric Polymorphism: Categorical Models and Type Theory. 3-19
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/BizjakGCMB16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/BizjakGCMB16
Ales Bizjak, Hans Bugge Grathwohl, Ranald Clouston, Rasmus Ejlers Møgelberg, Lars Birkedal:
Guarded Dependent Type Theory with Coinductive Types. 20-35
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/AhmanGP16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/AhmanGP16
Danel Ahman, Neil Ghani, Gordon D. Plotkin:
Dependent Types and Fibred Computational Effects. 36-54
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/Laird16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/Laird16
James Laird:
Game Semantics for Bounded Polymorphism. 55-70

Recursion and Fixed-Points

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/AxelsenK16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/AxelsenK16
Holger Bock Axelsen, Robin Kaarsgaard:
Join Inverse Categories as Models of Reversible Recursion. 73-90
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/CaprettaU16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/CaprettaU16
Venanzio Capretta, Tarmo Uustalu:
A Coalgebraic View of Bar Recursion and Bar Induction. 91-106
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/MiliusPW16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/MiliusPW16
Stefan Milius, Dirk Pattinson, Thorsten Wißmann:
A New Foundation for Finitary Corecursion - The Locally Finite Fixpoint and Its Properties. 107-125
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/GhilardiGS16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/GhilardiGS16
Silvio Ghilardi, Maria João Gouveia, Luigi Santocanale:
Fixed-Point Elimination in the Intuitionistic Propositional Calculus. 126-141

Verification and Program Analysis

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/Francalanza16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/Francalanza16
Adrian Francalanza:
A Theory of Monitors - (Extended Abstract). 145-161
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/LazicM16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/LazicM16
Ranko Lazic, Andrzej S. Murawski:
Contextual Approximation and Higher-Order Procedures. 162-179
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/AmtoftB16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/AmtoftB16
Torben Amtoft, Anindya Banerjee:
A Theory of Slicing for Probabilistic Control Flow Graphs. 180-196
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/FortinG16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/FortinG16
Marie Fortin, Paul Gastin:
Verification of Parameterized Communicating Automata via Split-Width. 197-213

Automata, Logic, Games

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/Brenguier16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/Brenguier16
Romain Brenguier:
Robust Equilibria in Mean-Payoff Games. 217-233
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/PierronPZ16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/PierronPZ16
Théo Pierron, Thomas Place, Marc Zeitoun:
Quantifier Alternation for Infinite Words. 234-251
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/ChistikovMS16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/ChistikovMS16
Dmitry Chistikov, Pavel Martyugin, Mahsa Shirmohammadi:
Synchronizing Automata over Nested Words. 252-268
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/DeckerT16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/DeckerT16
Normann Decker, Daniel Thoma:
On Freeze LTL with Ordered Attributes. 269-284
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/Durand-Gasselin16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/Durand-Gasselin16
Antoine Durand-Gasselin, Peter Habermehl:
Regular Transformations of Data Words Through Origin Information. 285-300

Probabilistic and Timed Systems

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/FijalkowKS16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/FijalkowKS16
Nathanaël Fijalkow, Stefan Kiefer, Mahsa Shirmohammadi:
Trace Refinement in Labelled Markov Decision Processes. 303-318
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/AbdullaCMSS16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/AbdullaCMSS16
Parosh Aziz Abdulla, Radu Ciobanu, Richard Mayr, Arnaud Sangnier, Jeremy Sproston:
Qualitative Analysis of VASS-Induced MDPs. 319-334
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/KrishnaMP16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/KrishnaMP16
Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya:
Metric Temporal Logic with Counting. 335-352
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/HermannsKV16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/HermannsKV16
Holger Hermanns, Jan Krcál, Steen Vester:
Distributed Synthesis in Continuous Time. 353-369

Proof Theory and Lambda Calculus

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/AubertBS16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/AubertBS16
Clément Aubert, Marc Bagnol, Thomas Seiller:
Unary Resolution: Characterizing Ptime. 373-389
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/ChaudhuriMS16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/ChaudhuriMS16
Kaustuv Chaudhuri, Sonia Marin, Lutz Straßburger:
Focused and Synthetic Nested Sequents. 390-407
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/PaganiTV16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/PaganiTV16
Michele Pagani, Christine Tasson, Lionel Vaux:
Strong Normalizability as a Finiteness Structure via the Taylor Expansion of \lambda λ -terms. 408-423
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/Kesner16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/Kesner16
Delia Kesner:
Reasoning About Call-by-need by Means of Types. 424-441

Algorithms for Infinite Systems

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/HofmanLLLST16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/HofmanLLLST16
Piotr Hofman, Slawomir Lasota, Ranko Lazic, Jérôme Leroux, Sylvain Schmitz, Patrick Totzke:
Coverability Trees for Petri Nets with Unordered Data. 445-461
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/ChistikovCHPW16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/ChistikovCHPW16
Dmitry Chistikov, Wojciech Czerwinski, Piotr Hofman, Michal Pilipczuk, Michael Wehar:
Shortest Paths in One-Counter Systems. 462-478
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/Drager16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/Drager16
Klaus Dräger:
The Invariance Problem for Matrix Semigroups. 479-492
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/Meseguer16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/Meseguer16
José Meseguer:
Order-Sorted Rewriting and Congruence Closure. 493-509

Monads

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/FujiiKM16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/FujiiKM16
Soichiro Fujii, Shin-ya Katsumata, Paul-André Melliès:
Towards a Formal Theory of Graded Monads. 513-530
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/ChenAMU16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/ChenAMU16
Liang-Ting Chen, Jirí Adámek, Stefan Milius, Henning Urbat:
Profinite Monads, Profinite Equations, and Reiterman's Theorem. 531-547

maintained by

at