Scientific Symposium in honour of Prof Peter Mosses
A Scientific Symposium in honour of Prof Peter Mosses will be held during the 3rd Conference on Algebra and Coalgebra in Computer Science (CALCO) in September 2009, Udine, Italy. CALCO is a high-level, biennial conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques). CALCO was launched in Swansea in 2005.
Prof Mosses received his PhD from Oxford. He then worked at the renowned Danish Centre for Research in Computer Science BRICS and the Department of Computer Science at University of Aarhus, Denmark. In 2005, he became a Professor of Computer Science at Swansea University. Prof Mosses is Director of Research of the Department of Computer Science.
Prof Mosses invented the framework of Action Semantics together with David Watt. For long years he was the Overall Coordinator of CoFI, the Common Framework Initiative for algebraic specification and development of software. Peter is author of numerous journal articles and several books (the latest being the CASL User Manual). He is a member of the UKCRC and the IFIP Working Groups Foundations of System Specification and Formal Description of Programming Concepts.
The Swansea Computer Science department congratulates Prof Mosses to this honour and wishes him all the best!