Easter Papers

Members of the Foundations group were active in the Summer of Logic with papers including:

LICS+CSL 2014: Taolue Chen and Stefan Kiefer, “On the Total Variation Distance of Labelled Markov Chains”.

LICS+CSL 2014:┬áJames Brotherston, Carsten Fuhs, Nikos Gorogiannis and Juan Navarro Perez, “A Decision Procedure for Satisfiability in Separation Logic with Inductive Predicates”.

ICALP A 2014: Petar Dapic, Petar Markovic and Barnaby Martin, “QCSP on Semicomplete Digraphs”.

This entry was posted in Uncategorized. Bookmark the permalink.

Leave a Reply

Your email address will not be published. Required fields are marked *

Note: If you are replying to another commenter, click the "Reply to {NAME} ↵" button under their comment!