Homepage: http://www.logic.at/strategies/ Series of workshops on strategies in automated deductions. The page contains links to systems providing strategies. Copenhagen ...

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 ...