FICS 2010 preliminary program

10h00-10h30
Registration (and coffe)

10h30-10h40
Welcome

I session : metric fixed points

10h40-11h20
Lars Birkedal, Jan Schwinghammer, Kristian Støvring, A Metric Model of Lambda Calculus with Guarded Recursion

11h20-12h00
Paweł Waszkiewicz, Common Patterns for Metric and Ordered Fixed Point Theorems

12h00-14h00
Lunch

II session : proof theory

14h00-15h00
Dale Miller, Fixed Points and Proof Theory: An Extended Abstract

15h00-15h30
Coffee break

III session : proofs and program semantics

15h30-16h10
Hervé Grall, Proving Fixed Points

16h10-16h50
Paul Blain Levy, Characterizing Recursive Programs up to Bisimilarity

16h50-17h30
Keiko Nakata, Denotational Semantics for Lazy Initialization of Letrec

IV session : higher-order recursion schemes

9h10-10h10
Arnaud Carayol, Structures Deﬁned by Higher-Order Recursion Schemes

10h10-10h40 Coffee break

V session : mu-calculi

10h40-11h20
Marek Czarnecki, How Fast Can the Fixpoints in Modal µ-Calculus Be Reached?

11h20-12h00
Matteo Mio, The Equivalence of Game and Denotational Semantics for the Probabilistic µ-Calculus

12h00-14h00 Lunch

VI session : Boolean grammars

14h00--15h00
Panos Rondogiannis, Fixed-Point Semantics for Non-Monotonic Formalisms

15h00-15h30 Coffee break

VII session : tilings, semantics

15h30-16h10
Andrei Romashchenko, Fixed Point Argument and Tilings without Long Range Order

16h10-16h50
Lars Birkedal, Jan Schwinghammer, Kristian Støvring, A Step-indexed Kripke Model of Hidden State via Recursive Properties on Recursively Deﬁned Metric Spaces

16h50-17h30
Tarmo Uustalu, A Note on Strong Dinaturality, Initial Algebras and Uniform Parameterized Fixpoint Operators

Back to the FICS home page.

Luigi Santocanale

Dernière mise à jour : Thu Aug 19 2010, 23:51:27