Home

Surveys
Transformation
Reengineering
DSL
Domain Engineering
Decompilation
Generative Progr.

Collections
Categories
Systems
Conferences
People
Companies
Papers

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