Andrew M. Pitts
Proceedings of the 18th International Conference on Foundations of Software Science and Computation Structures
FoSSaCS, 2015.

@proceedings{FoSSaCS-2015,
	address       = "London, England, United Kingdom",
	doi           = "10.1007/978-3-662-46678-0",
	editor        = "Andrew M. Pitts",
	isbn          = "978-3-662-46677-3",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 18th International Conference on Foundations of Software Science and Computation Structures}",
	volume        = 9034,
	year          = 2015,
}

Contents (29 items)

9 ×#logic
4 ×#game studies
4 ×#on the
4 ×#semantics
3 ×#automaton
3 ×#decidability
3 ×#probability
2 ×#calculus
2 ×#linear
2 ×#memory management

FoSSaCS-2015-PfenningG

Polarized Substructural Session Types (FP, DG), pp. 3–22.

FoSSaCS-2015-Mamouras #hoare #logic #nondeterminism #synthesis

Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism (KM), pp. 25–40.

FoSSaCS-2015-GrelloisM #linear #logic

An Infinitary Model of Linear Logic (CG, PAM), pp. 41–55.

FoSSaCS-2015-ClairambaultD #evaluation #game studies #normalisation #semantics

Game Semantics and Normalization by Evaluation (PC, PD), pp. 56–70.

FoSSaCS-2015-AbadiMP #data flow #difference

Foundations of Differential Dataflow (MA, FM, GDP), pp. 71–83.

FoSSaCS-2015-JacobsWW #set

States of Convex Sets (BJ, BW, BW), pp. 87–101.

FoSSaCS-2015-Vakar #category theory #framework #linear #logic #semantics

A Categorical Semantics for Linear Logical Frameworks (MV), pp. 102–116.

FoSSaCS-2015-Winter #bisimulation #finite #λ-calculus

A Completeness Result for Finite λ-bisimulations (JW), pp. 117–132.

FoSSaCS-2015-CloustonG #calculus

Sequent Calculus in the Topos of Trees (RC, RG), pp. 133–147.

FoSSaCS-2015-KlinR #algebra #logic #semantics

Coalgebraic Trace Semantics via Forgetful Logics (BK, JR), pp. 151–166.

FoSSaCS-2015-BozzelliMP #logic

Unifying Hyper and Epistemic Temporal Logics (LB, BM, SP), pp. 167–182.

FoSSaCS-2015-BacciBLM #distance #markov #on the

On the Total Variation Distance of Semi-Markov Chains (GB, GB, KGL, RM), pp. 185–199.

FoSSaCS-2015-ChadhaSVB #automaton #decidability #probability

Decidable and Expressive Classes of Probabilistic Automata (RC, APS, MV, YB), pp. 200–214.

FoSSaCS-2015-GenestPS #memory management

Knowledge = Observation + Memory + Computation (BG, DP, SS), pp. 215–229.

FoSSaCS-2015-GeblerLT #calculus #composition #metric #probability #process #reasoning

Compositional Metric Reasoning with Probabilistic Process Calculi (DG, KGL, ST), pp. 230–245.

FoSSaCS-2015-Cotton-BarrattH #automaton #decidability #memory management #ml

Fragments of ML Decidable by Nested Data Class Memory Automata (CCB, DH, ASM, CHLO), pp. 249–263.

FoSSaCS-2015-Jaber #game studies #semantics

Operational Nominal Game Semantics (GJ), pp. 264–278.

FoSSaCS-2015-BizjakB #logic #probability

Step-Indexed Logical Relations for Probability (AB, LB), pp. 279–294.

FoSSaCS-2015-KieferMW #automaton #multi

Minimisation of Multiplicity Tree Automata (SK, IM, JW), pp. 297–311.

FoSSaCS-2015-Velner #decidability #game studies #multi #robust

Robust Multidimensional Mean-Payoff Games are Undecidable (YV), pp. 312–327.

FoSSaCS-2015-HoO #problem

The Cyclic-Routing UAV Problem is PSPACE-Complete (HMH, JO), pp. 328–342.

FoSSaCS-2015-SalvatiW #type system

Typing Weak MSOL Properties (SS, IW), pp. 343–357.

FoSSaCS-2015-AntonopoulosHRW #logic #realtime

Three Variables Suffice for Real-Time Logic (TA, PH, SR, JW), pp. 361–374.

FoSSaCS-2015-HabermehlK #on the #quantifier

On Presburger Arithmetic Extended with Modulo Counting Quantifiers (PH, DK), pp. 375–389.

FoSSaCS-2015-Ganardi #bound #clique #game studies

Parity Games of Bounded Tree- and Clique-Width (MG), pp. 390–404.

FoSSaCS-2015-CloustonBGB #induction #programming #reasoning #recursion

Programming and Reasoning with Guarded Recursion for Coinductive Types (RC, AB, HBG, LB), pp. 407–421.

FoSSaCS-2015-LeivantR

The Computational Contents of Ramified Corecurrence (DL, RR), pp. 422–435.

FoSSaCS-2015-BagnolDS #dependence #logic #on the

On the Dependencies of Logical Rules (MB, AD, AS), pp. 436–450.

FoSSaCS-2015-SchubertUZ #first-order #logic #on the

On the Mints Hierarchy in First-Order Intuitionistic Logic (AS, PU, KZ), pp. 451–465.