(formerly Encyclopedic directory)
2005
Home /
Top /
Computers /
Computer Science /
Conferences /
2005
(formerly Encyclopedic directory)
|
 |
 |
|
|
Insert Article
|
|
|
|
Webmasters: Add your website here:
Readers: Edit |
Discuss Listings
RelMiCS8
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.
http://www.relmics8.org/
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.
http://www.cs.rhul.ac.uk/zb2005/
|
|
