Future Conferences

Future Conferences

MoDELS 2005

ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems (formerly the UML series of conferences)
Half Moon Resort, Montego Bay (Jamaica), 2-7 October 2005

CALCO 2005

1st Conference on Algebra and Coalgebra in Computer Science
Swansea (Wales, UK), 3-6 September 2005

FM '05

Symposium on Formal Methods
Newcastle upon Tyne (UK), 18-22 July 2005

ETAPS 2005

The European Joint Conferences on Theory and Practice of Software
Edinburgh (Scotland, UK), 2-10 April 2005

Future Conferences