FLOC
Program-Transformation.Org: The Program Transformation Wiki
Federated Logic Conference
- Copenhagen 2002: http://floc02.diku.dk/
Included conferences
- CADE
- CAV
- FME
- ICLP
- LICS
- RTA
- TABLEAUX
Dates
- Submissions: January
- Conference: July
CategoryConference