Forthcoming conferences BPM 2006 Fourth International Conference on Business Process Management Vienna, Austria, 5.-7. September 2006   Formal Methods 06   Spotlights WG 1.3     Recent publications Antónia Lopes, José Luiz Fiadeiro: Algebraic Semantics of Design Abstractions for Context Awareness. In Algebraic Development Techniques, LNCS 3423, Springer 2005, pp. 79-93 José Luiz Fiadeiro: Software Services: Scientific Challenge or Commercial Hype?. In Theoretical Aspects of Computing, LNCS 3407, Springer 2005, pp. 1-13 José Luiz Fiadeiro, Antónia Lopes: A Formal Approach to Event-Based Architectures. FASE 2006: in print Research Interests My research interests include software specification formalisms and methods, especially as applied to component-based, reactive systems, and their integration in the wider area of General Systems Theory. My main contributions have been in the formalisation of specification and program design techniques using modal logics (temporal and dynamic), and of their underlying modularisation principles using Category Theory. My most recent work has focused on Software Architectures, including semantics of architectural connectors and the impact of coordination mechanisms in software evolution. This work has also been developed with, and put into practice at ATX Software, leading to what have been called "Coordination Technologies". In this context, I have been engaged in the development of architectural solutions for financial systems. I am now focusing on the methodological and scientific challenges raised by Service Oriented Approaches. Another recent research focus is Requirements Engineering on which I'm working with a team from the Open University. More information on my current research activities can be found just below. Activities Research projects   From Legacy Systems to Services in the Net Marie-Curie TOK-IAP FP6-003169 June 2004 - May 2008 Software Engineering for Service-Oriented Overlay Computers IST-2005-16004 September 2005 - August 2009 RELEASE: Research Links to Explore and Advance Software Evolution A Scientific Network funded by the European Science Foundation (ESF) November 2002 - December 2005   Other activities I am co-chair of the Steering Committee of the Conference on Algebra and Coalgebra in Computer Science (CALCO). I am co-chair of the Programme Committee of the Fourth International Conference on Business Process Management (BPM 2006) I've been a member of the IFIP Working Group on "Foundations of System Specification" since 1998, and became chairman in January 2004. I am on the editorial board of Information Processing Letters, a journal published by Elsevier for short papers only (max 9 pages) but ensuring a very short decision delay. Electronic submissions (pdf preferred) are strongly encouraged. I am on the editorial board of the Journal of the Brazilian Computer Society. Submissions are in English please! Students Future I'm always keen to accept highly-motivated MPhil and PhD students. More details on the application procedure, which includes information on fees, funding and the Department's graduate programme, can be found on the Department's admissions web pages. If you are a Latin-American, please note that there are funding opportunities under the alban-programme... If you are still hesitating on whether a Postgrad is what you want, you are welcome to come and talk to me or any of the people I am or have supervised. You can also follow this link to a collection of useful articles about postgrad life in the UK. Present João Abreu PhD student, since June 2006 Ahmed M.M Al-Ghamdi PhD student, since April 2004 Osama El-Hassam PhD student, since April 2004 Georgios Koutsoukos PhD student (part-time), since January 2005 Cristóvão Oliveira PhD student, joint supervision with Michel Wermelinger since January 2002 Mohammed Taye PhD student, since April 2006 Past The people whose PhDs I had the privilege to supervise: Antónia Lopes Isabel Nunes Pedro Ramos Michel Wermelinger Publications The majority of my publications is available from the following sites: DBLP CiteSeer CommUnity Below is a list of some of the books/journals that I have authored or edited. A book on category theory written for a computer science audience concerned with software engineering issues. I am a co-author of this recent book on Software Design using Java 2 published by Palgrave McMillan in 2002.   I am extremely proud of having been co-editor with J.Madey and A.Tarlecki of this special issue of Information Processing Letters dedicated to the 65th birthday of Wlad Turski (vol 88, 1-2, October 17, 2003). I was the editor of this special issue of Theoretical Computer Science (vol 286(2), 2002) on Algebraic Development Techniques. I was co-editor with J. P. Bahsoun and D. Galmiche of this special issue of Mathematical Structures in Computer Science (vol 9(3), 1999) on Proof Theory of Concurrent Object-Oriented Programming.   This volume of Springer's LNCS series contains the papers presented at the First Conference on Algebra and Coalgebra in Computer Science. This volume of Springer's LNCS series contains selected papers from the 2004 Workshop on Algebraic Development Techniques. This volume of Springer's LNCS series contains selected papers from the 1998 Workshop on Algebraic Development Techniques.