Dear CoFI Friends, The slides used for the CASL Tutorial presented during the CoFI workshop at ETAPS'2000 in Berlin are available at www.lsv.ens-cachan.fr/~bidoit/CASL/ (gzipped postscript). A handout version more suitable for printing is also available at the same web address. Comments and feedback are welcome, preferably before April 25th. Best regards, Michel Bidoit Email: Michel.Bidoit@lsv.ens-cachan.fr