Programme (videos of talks)
|
Friday,
23 May 2014 |
|
|
08.30-09.30 |
Registration
and Payment |
|
09.30-10.00 |
Conference
opening |
|
10.00-10.30 |
Mike
Mislove |
|
10.30-11.00 |
Stephen
Brookes Title:
Grainless models of concurrency |
|
11.00-11.30 |
BREAK |
|
11.30-12.00 |
Joel
Ouaknine Title:
The Polyhedron-Hitting Problem |
|
12.00-12.30 |
James
Worrell Title:
Ultimate Positivity is Decidable for Linear Recurrence Sequences |
|
12:30-13:00 |
Franck
van Breugel Title:
The Complexity of Computing a Bisimilarity
Pseudometric on |
|
13:00-14:30 |
LUNCH |
|
14:30-15:00 |
Samson
Abramsky Title:
An Operational Interpretation of Negative Probabilities and
No-Signaling Models |
|
15:00-15:30 |
Bart
Jacobs |
|
15:30-16:00 |
Elham
Kashefi Title:
TBC |
|
16:00-16:30 |
BREAK |
|
16:30-17:00 |
Jan
Rutten Title:
The dual equivalence of equations and coequations for automata |
|
17:00-17:30 |
Vincent
Danos Title:
Formal mean field theories for graph rewriting |
|
17:30-18:00 |
Catuscia
Palamidessi Title:
A Multiplicative Variant of
the Kantorovich distance suitable to verify
Differential Privacy |
|
19:00 |
Drinks
Reception/Buffet Dinner @ St Anne’s College |
|
Saturday,
24 May 2014 |
|
|
09.30-10.00 |
Gordon
Plotkin Title:
Two forms of nondeterminism" |
|
10.00-10.30 |
Glynn
Winskel |
|
10.30-11.00 |
Philip
Scott Title:
Coordinatizing
Countable MV-Algebras and AF C*-algebras |
|
11.00-11.30 |
BREAK |
|
11.30-12.00 |
Frank
de Boer Title:
Leaving Traces: A Note on a Sound and Complete Trace Logic for
Concurrent Constraint Programs |
|
12.00-12.30 |
Kim
Larsen Title:
Probabilistic Bisimulation Distances and Statistical Model Checking |
|
12:30-13:00 |
Alexandra
Silva |
|
13:00-14:30 |
LUNCH |
|
14:30-15:00 |
Bob
Coecke Title:
Terminality implies
non-signalling (and other abstract nonsense
about causality) |
|
15:00-15:30 |
Ross
Duncan Title: The non-logic of quantum mechanics, or: how I learned to live without propositions-as-types |
|
15:30-16:00 |
Mingsheng
Ying Title:
Quantum Programming: From Superposition
of Data to Superposition of
Programs |
|
16:00-16:30 |
BREAK |
|
16:30-17:00 |
Marta
Kwiatkowska Title:
Probabilistic Model Checking of
Labelled Markov Processes via Finite
Approximate Bisimulations |
|
17:00-17:30 |
Doina
Precup Title:
Bisimulation for Markov Decision Processes Through Families of
Functional Expressions |
|
17:30-18:00 |
Sophia
Knight Title:
Asynchronous Public Announcement |
|
Sunday,
25 May 2014 |
||
|
09.30-10.00 |
Dexter
Kozen Title:
Optimal Coin Flipping |
|
|
10.00-10.30 |
Radha
Jagadeesan Title:
TCC, with History |
|
|
10.30-11.00 |
Jean
Goubault-Larrecq Title:
Random Measurable
Selections |
|
|
11.00-11.30 |
BREAK |
|
|
11.30-12.00 |
Josée Desharnais Title: Enforcing
data-flow and termination-sensitive information flow: a hybrid approach |
|
|
12.00-12.30 |
Clemens
Kupke Title:
Game semantics for the topological mu-calculus |
|
|
12:30-13:00 |
Radu
Mardare Title:
Prolegomena to any future topological semantics for Markov Processes |
|
|
13:00-14:30 |
LUNCH |
|
|
14:30-15:00 |
Patrick
Hayden Title:
Spacetime quantum secret sharing |
|
|
15:00-15:30 |
Mehrnoosh
Sadrzadeh Title:
Word order alternation in Sanskrit via
precyclicity in pregroup grammars |
|
|
15:30-16:00 |
Peter
Selinger |
|