Related Events
Co-located events:- 7th Conference on Computational Methods in Systems Biology (CMSB'09). Bologna, Italy, August 31st - September 1st, 2009.
- 6th International Workshop on Web Services and Formal Methods (WS-FM'09). Bologna, Italy, September 4th - 5th, 2009.
- IFIP WG 2.2 Formal Description of Programming Concepts meeting Bologna, Italy, September 5th - 6th, 2009.
- 9th International School on Foundations of Security Analysis and Design (FOSAD'09), 30 August - 4 September 2009, University Residential Center of Bertinoro, Italy.
- 3rd Conference on Algebra and Coalgebra in Computer Science (CALCO'09), September 6-10, 2009, Udine, Italy.