*Federated Logic Conference* * Copenhagen 2002: http://floc02.diku.dk/ Included conferences * CADE * CAV * FME * ICLP * LICS * RTA * TABLEAUX Dates * Submissions: January * Conference: July ----- CategoryConference