CALL FOR PARTECIPATION

FICS 2001

WORKSHOP ON FIXED POINTS IN COMPUTER SCIENCE

Satellite Event of PLI 2001

Principles, Logics and Implementations of

High-Level Programming Languages (PLI 2001),

Firenze, Italy, September 3 - 8, 2001,

http://music.dsi.unifi.it/pli01.

REGISTRATION:

http://music.dsi.unifi.it/pli01/registration/pli_workshop_registration.htm

WORKSHOP PROGRAM

FRIDAY September 7th

14.00 Registration and Opening

14.15 Invited Talk - Colin Stirling:

Model checking fixed point logics using games

15.05 N.V. Shilov and K. Yi:

Model checking power of Propositional Program Logics.

15.30 Break

16.00 L. Erkoek, J. Launchbury and A. Moran:

Semantics of fixIO

16.25 M. Abozaed, S. Genaim, M. Codish:

Optimized eager evaluation of fixed points

for the analysis of logic programs

16.50 Bruce McAdam:

Y in Practical Programs

17.15 Invited Talk - Irene Guessarian:

CTL et al. vs. Monadic Inf-DATALOG

18.05 End of the day

SATURDAY september 8th

8.50 Invited Talk - Jiri Adamek:

A coalgebraic view of infinite trees and iteration

9.40 S. Milius:

Free iterative theories: A coalgebraic view

10.05 J. C. Bradfield:

Some remarks on transfinite fixpoint alternation"

10.30 Break

11.00 S. Krstic, J. Launchbury, and D. Pavlovic:

Hyperfunctions

11.25 R. Hasegawa:

Recursive types from linear parametricity

11.50 R. Tsaur:

Digital convexity and fixed point property

12.15 Break

13.45 Invited Talk - Bob Walters:

Concurrency and recursion

14.35 S. Dal Zilio:

Fixed points in the Ambient Logic

15.00 J.R.B Cockett, J. Aldwinckle:

The proof theory of Modal-muLogics

15.25 Break

16.00 L. Santocanale:

mu-Bicomplete Categories and Parity Functors

16.25 Invited Talk - Luca Aceto, Zoltan Esik, A. Ingolfsdottir:

A fully equational proof of Parikh's theorem

17.15 Discussion

18.00 End of Workshop

The Workshop is sponsored by

Universita` di Firenze:Dipartimento di Sistemi ed Informatica

CNR: Gruppo Nazionale per il Calcolo Scientifico