[Prev][Next][Index][Thread]

FICS'01 call for partecipation

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:
       Iterative and completely iterative monads

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 - Zoltan Esik:
       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

For additional information see: http://www.dsi.uniroma1.it/~labella/FICS.html

==============================================
Prof. Anna Labella
Dipartimento di Scienze dell'Informazione
Universita` di Roma "La Sapienza"
Via Salaria, 113    -  00198 Roma (ITALY)

tel: +39 06 49918512   fax:  +39 06 8541842
email: labella@dsi.uniroma1.it
==============================================