Type: Direct Link

Proceedings Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation

Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming

Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science

Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems

Proceedings Second Graphs as Models Workshop