| Clifford
Lectures talks | 8:30 Doug
Smith
Composition
and Refinement of Behavioral Specifications
Contributed
talks 9:30 James Worrell, A
coalgebraic approach to probabilistic transition
systems 10:00 Break 10:20 Daniel Leivant,
Implicit
computational complexity for higher type
functionals 10:50 Bob Coecke, The
domain-theoretic nature of quantum
mechanics 11:20 Keye Martin, The
informatic derivative 11:50
Lunch
|
Special session on Hybrid
Systems 8:30 Rajeev Alur
Reachability
Analysis of Hybrid Systems using Predicate
Abstraction 9:30 Luca de Alfaro, Games
as types for system-level design 10:00
Break 10:20 Radha Jagadeesan, Approximate
reasoning in probabilistic concurrency 10:50 Bill Rounds,
The
Phi-Calculus - a new method for specifying distributed control
of mobile embedded systems, I 11:10 Hosung Song,
The
Phi-Calculus - a new method for specifying distributed control
of mobile embedded systems, II End of
Session 11:30 Prakash Panangaden, Continuous
stochastic logic characterizes bisimulation for continuous-time
Markov processes Noon Lunch
| Contributed
talks 8:30 Paul Levy, Continuation
semantics for call-by-push-value 9:00 Dan Ghica, A
specification language for model-checking Algol with active
expressions 9:30 Brian Dunphy, Parametric
semantics of polymorphic Algol 10:00
Break 10:15 John Power, Combining
computational effects: commutativity and sum
10:45 Krzystof
Worytkiewicz, Generalized
simulations and bimodular modal logic
11:15 Uday
Reddy, Polymorphic
type and parametric limits 11:45 Guo-Qiang Zhang, Decidable
fragments of domain mu-calculus 12:15
Lunch
|
| 1:15 Welcome
Special
session on Spatial Logics
1:30 John
Reynolds
An Introduction to Separation Logic
2:30
Giorgio Ghelli, A
spatial logic for query graphs 3:20 Philippa Gardner, Querying Data
on the Web 3:50
Cristiano Calcagno, Decidability
results for some spatial logics 4:20
Luis Caires, A
Spatial Logic for Concurrency 4:50
David Pym, Completeness
in resource semantics End
of Session 5:30
Andrej Bauer, Coherence
numbers of domains 6:00
Reception
|
Special
session on Security 1:15 John
Mitchell
Mechanism
Design and Network Security 2:15 Joshua Guttman,
TBA
2:45
Break 3:05 Catherine Meadows, A
unification algorithm for the group Diffie-Hellman
protocol 3:35 Rohit Chadha, Advantage
and abuse-freeness in contract-signing
protocols 4:05 Drew Dean, TBA
4:35
Break 4:50 Dan Wallach, Termination
in language-based systems 5:20 Trevor JIm, TBA
5:50 Rebecca
Wright, Reasoning
about trust and insurance in a public key
infrastructure
|
1:15 John Hatcliff
Model-checking Concurrent
Java Software Using the Bandera Tool Set
Contributed talks
2:15 Joel Ouaknine, Model-checking
timed automata with FDR
2:45 Break
3:05 Steve Brookes, Traces:
towards a unification of paradigms 3:35
Ranko Lazic, On
the definability of parametric families of labelled transition systems 4:05
Kundan Misra, Data
refinement of concurrent systems
4:35 Break 4:45
Mercedes Hidalgo-Herrero, Tailoring
laziness for a distributed setting: A denotational point of view 5:15
Yoshiki Kinoshita, Category
theoretical aspects of Kleene algebra 7:00
Conference Dinner
|
Special
session on Abstract Interpretation
1:30
Eric Goubault,
Analysis
of floating-point computations
2:00
Patrick Cousot, Abstract
Interpretation: A Theory of
Approximation 3:00 Break 3:15
Martin Rinard, Abstract
interpretation and future program analysis
problems 3:45 Roberto Giacobazzi, Systematic
design of complete abstractions: from semantics to program
analysis via model-checking 4:15 Jens Palsberg, Compiling
with code-size constraints End
of Session 4:45 Michael Mislove, Colimits
in categories of ordered structures Close of
Meeting
|