Homepage: http://www.lsv.ens-cachan.fr/csl01/ Annual Conference of the European Association for Computer Science Logic Deadline: March Conference: September

Homepage: http://maude.csl.sri.com/ Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming ...

Conferences and Workshops on Program Transformation Transform-based Events Events with their home page on this wiki. Feel free to use this wiki to host the webpage ...