Wednesday 26th September 2007
08.55 - 09.00
Mike Reed. Welcome
09.00 - 10.00 Invited Talk 1
Dines Bjørner. Domain Theory: Practice and Theories. A Discussion of Possible Research Topics
10.00 - 10.30 Coffee Break
10.30 - 11.00 Automata Theory
Roussanka Loukanova. Linear Context Free Languages.
11.00 - 12.30 Concurrency 1
Bogdan Aman and Gabriel Ciobanu. Mobile Ambients with Timers and Types
Damian Barsotti and Javier Blanco. Automatic Refinement of Split Binary Semaphore
Xinxin Liu and Haiyan Chen. Deciding weak bisimilarity of normed context-free processes using tableau
12.30 - 14.00 Lunch at the Golden Dragon Hotel
14.00 - 15.30 Semantics & Logics 1
Alessandro Lapadula, Rosario Pugliese and Francesco Tiezzi. COWS: A timed service-oriented calculus
Christophe Fouquere. A logical calculus for modelling interferences
Jing Li, Huibiao Zhu and Jifeng He. Algebraic Semantics for Compensable Transactions
15.30 - 16.00 Tea Break
16.00 - 18.00 Specification & Verification 1
Christelle Scharff and Silvio Ranise. Building Extended Canonizers by Graph-Based Deduction
Fredrik Degerlund and Kaisa Sere. A Framework for Incorporating Trust into Formal Systems Development
Martin Leucker and Cesar Sanchez. Regular Linear Temporal Logic
Masaki Nakamura and Kokichi Futatsugi. On equality predicates in algebraic specification languages
Thursday 27th September 2007
09.00 - 10.00 Invited Talk 2
Zhou Chaochen. Discovering Non-Linear Ranking Functions by Solving Semi-Algebraic Systems.
10.00 - 10.30 Coffee Break
10.30 - 11.00 Case Studies
Andrea Matta, et al. FM for FMS: Lessons Learned while Applying Formal Methods to the Study of Flexible Manufacturing Systems
11.00 - 12.30 Concurrency 2
Robert Colvin and Brijesh Dongol. Verifying lock-freedom using well-founded orders
Takashi Kitamura and Huimin Lin. Controlling process modularity in mobile computing
Virginia Niculescu. Data-Distributions in PowerList Theory
12.30 - 14.00 Lunch at the Golden Dragon Hotel
14.00 - 15.00 Invited Talk 3
He Jifeng. Linking Semantic Models
15.00 - 15.30 Theory
Ignacio Fábregas, Miguel Palomino and David Frutos Escrig. Reflection and preservation of properties in coalgebraic (bi)simulations
15.30 - 16.00 Tea Break
16.00 - 17.30 Semantics & Logics 2
John Fisher and Marc Bezem. Skolem Machines and Geometric Logic
Pablo Castro and Tom Maibaum. A Complete and Compact Propositional Deontic Logic
Rafael del Vado Vírseda. A Higher-Order Demand-driven Narrowing Calculus with Definitional Trees
19.30 Dinner at the Convention & Exhibition Center, Macau Fisherman's Wharf
Speaker: Chris George.
Friday 28th September 2007
09.00 - 10.30 Semantics & Logics 3
Stefan Rieger and Thomas Noll. Composing Transformations to Optimize Linear Code
Wanwei Liu, Ji Wang, Wei Dong and Huowang Chen. Axiomatizing Extended Temporal Logic Fragments via Instantiation
Zhilin Wu. On the expressive power of QLTL
10.30 - 11.00 Coffee Break
11.00 - 12.30 Specification & Verification 2
Pascal Coupey, Christophe Fouquere and Jean-Vincent Loddo. Tree Components Programming: an application to XML
Pontus Boström, Lionel Morel and Marina Walden. Stepwise development of Simulink models using the refinement calculus framework
Romain Péchoux, Jean-Yves Marion and Guillaume Bonfante. Quasi-interpretation Synthesis by Decomposition: An Application to Higher-Order Programs
12.30 - 14.00 Lunch at the Golden Dragon Hotel
14.00 - 15.00 Concurrency 3
Maciej Koutny and Brian Randell. Failures: Their Definition, Modelling and Analysis
Zining Cao. Bisimulations for a Distributed Higher Order pi-Calculus
15.00 - 15.30 Tea Break
15.30 - 16.30 Real-time Systems
Catalin Dima and Ruggero Lanotte. Distributed time-asynchronous automata
K. Subramani. A randomized algorithm for BBCSPs in the Prover-Verifier Model
16.30
Mike Reed. Close