Conferences (in progress ...)
- euroTICS2006
European Computer Science Summit, 2nd Annual EuroTICS Meeting
16-17 October 2006, Zurich
- FORTE 2006
26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems
Special focus on verified middleware and distributed services
Sept 25-28, 2006, Paris, France
- AMAST 06
11th International Conference on Algebraic Methodology and Software Technology
Kuressaare, Estonia, 5-8 July 2006, colocated with MPC '06
Submission of abstracts: 27 January 2006, full papers: 3 February 2006
Notification of authors: 17 March 2006, Camera-ready version: 14 April 2006
SOFTWARE TECHNOLOGY, PROGRAMMING METHODOLOGY,
ALGEBRAIC AND LOGICAL FOUNDATIONS, SYSTEMS AND TOOLS
- IWAAPF06
2nd International Workshop on Applications and Advances in Problem Frames,
ICSE~06 Workshop, Shanghai, China - May 23rd, 2006
- AICCSA'06
The 4th ACS/IEEE International Conference on Computer Systems and Applications
March 8-11, 2006, Dubai/Sharjah, UAE,
American University of Sharjah (AUS) & Dubai Silicon Oasis (DSO),
deadline August 31, 2005
- Journées SPECIF