- ISVC 2005
http://www.isvc05.net
International Symposium on Visual Computing: computer vision, computer graphics, visualization, virtual reality. Lake Tahoe, NV, USA; 5--7 December 2005.
- MFCS 2005
http://mfcs.univ.gda.pl
30th International Symposium on Mathematical Foundations of Computer Science. University of Gdask, Gdask, Poland; 29 August -- 2 September 2005.
- RelMiCS8
http://www.relmics8.org/
8th International Conference on Relational Methods in Computer Science; in combination with the COST 274 / TARSKI Workshops and the 3rd International Workshop on Applications of Kleene Algebra. Brock University, St. Catharines, Ontario, Canada. 22--26 February 2005.
- SBLP 2005
http://www.upe.poli.br/dsc/sblp2005/
9th Brazilian Symposium on Programming Languages. Selected papers will appear in a Special Issue of the Journal of Universal Computer Science. Universidade de Pernambuco (UPE), Recife, Brazil; 23--25 May 2005.
- ZB2005
http://www.cs.rhul.ac.uk/zb2005/
B and Z communities joint conference incorporating the 15th International Conference of Z Users and the 6th International Conference on the B Method. University of Surrey, Guildford, UK; 13--15 April 2005.
|