CSL

Program-Transformation.Org: The Program Transformation Wiki
Homepage: http://www.lsv.ens-cachan.fr/csl01/

Annual Conference of the European Association for Computer Science Logic

  • Deadline: March
  • Conference: September