Friday, July 21: 6pm -- 8pm: Welcome drinkSaturday, July 22:SESSION 1 : Chair Z. ESIK 9amS. BloomOn the development and use of Iteration Theories. 9:30amJ. RuttenBehavioural differential equations in stream calculus.10:30 -- 11am: Break11amH. MarandjianFixed points and general form recursive equations.12am -- 2pm: BreakSESSION 2 : Chair S. BLOOM 2pmJ. AdamekFinal coalgebras as completions of initial algebras. 2:30pmR. De Nicola and A. LabellaNondeterministic regular expressions as solutions of equational systems. 3pmZ. EsikAxiomatizing the least fixed point operation on continuous additive algebras. 3:30pmA. Corradini and F. GadducciIteration 2-categories and rational term rewriting.4 -- 4:30pm: BreakSESSION 3 : Chair B. COURCELLE 4:30pmJ. Arsouze, G. Ferrand and A. LallouetA CSP view of CLP. 5pmM. JaumeLogic programming and co-inductive definitions. 5:30pmE. FoustoucosA fixpoint operator for datalog queries.

Sunday, July 23:SESSION 4 : Chair H. MARANDJIAN 9amB. CourcelleLeast Fixed-Points, Graph Grammars and Monadic Second-Order Logic.10 -- 10:30am: Break10:30amI. WalukiewiczAutomata and fixpoint calculi. 11:30amF. CorradiniA step towards equational axiomatizations of Milner bisimulation in Kleene star.12am -- 2pm: BreakSESSION 5 : Chair P. GILMORE 2pmL. SantocanaleThe theory of mu-lattices. 2:30pmM. Dam and D. Gurovmu-Calculus with explicit points and approximations. 3pmB. GramlichOn the (non-)existence of least fixed points in conditional equational logic and conditional rewriting. 3:30pmC. DimaA fixpoint semantics for ``memory cells'' in synchronous dataflows.4 -- 4:30pm: BreakSESSION 6 : Chair J. ADAMEK 4:30pmI. KlimannSome applications of multi-automata to fixed point problems. 5pmP. GilmoreA logical foundation for higher order fixed points. 5:30pmJ.-L. GiavittoA fixed point approach to the resolution of array equations. 6pmY. Loyer, N. Spyratos and D. StamateNon-uniform hyptheses for information integration in four-valued logics.

*Suppport for the Meeting: GDR-ALP , Université Pierre et Marie
Curie Direction de la Recherche, EVOLUTION.
The workshop will take place in Amphitheatre de Physique, University
Paris 6, 12 rue Cuvier (metro Jussieu)*