FLoC'02 at a glance

Sat 20/7FME tut'lsREFINEVDMDOMAINFICSICC
Sun 21/7HORWRSASEFSD(FME tut'ls, REFINE, VDM, DOMAIN, FICS, ICC continue)
Mon 22/7RTAFMELICS
Tue 23/7(RTA, FME, LICS continue)
Wed 24/7(RTA, FME, LICS continue)
Thu 25/7UNIFWG16PAPM PROBMIVCiADVERIFYCADE tut'lsIDAYFCSHYLOLL(LICS continues)
Fri 26/7RVLFMIMLAITRS(UNIF, PAPM PROBMIV, CiAD, VERIFY, FCS, LL continue)
Sat 27/7CAVCADEPCLSAVE
Sun 28/7CASCCLPSENLULP(CAV, CADE continue)
Mon 29/7ICLP(CAV, CADE continue)
Tue 30/7TABLEAUX(CAV, CADE, ICLP continue)
Wed 31/7PaPSCICLOPSRADMWLPE(CAV, TABLEAUX, ICLP continue)
Thu 1/8RT-TOOLSCLIMA(TABLEAUX, PaPS, ICLP continue)