I have refereed for several international conferences. Here is a complete list:

2014 Elsevier Journal ‘Journal of Logical and Algebraic Methods in Programming’
2014 Springer Journal ‘Software and Systems Modeling’ Special Issue (×2)
2013 HATS International School on Formal Models for Components and Objects (postproceedings)
2013 Elsevier Journal ‘Science of Computer Programming’ Special Issue
2012 5th IPM International Conference on Fundamentals of Software Engineering (×2)
2012 28th Symposium on Applied Computing
2012     10th Conference on Formal Methods for Components and Objects (postproceedings)
2012     14th International Conference on Coordination Models and Languages (×2)
2011     27th Symposium On Applied Computing
2011     2nd International Conference on Formal Verification of Object-Oriented Software (×2)
2011     8th International Symposium on Formal Aspects of Component Software
2011     2nd International Conference on Complex Systems Design & Management
2011     15th CSI International Symposium on Computer Science and Software Engineering
2011     4th IPM International Conference on Fundamentals of Software Engineering
2010     8th IEEE International Conference on Software Engineering and Formal Methods
2009     7th IEEE International Conference on Software Engineering and Formal Methods