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
Annual Conference of the European Association for Computer Science Logic