All search results for . 1481-1490 of 20332 results.

26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems
...New: invited speakers...

ATVA 2006 Automated Technology for Verification and Analysis
...KEYNOTE SPEAKERS...

I2TS'2005 - 4th International Information and Telecommunication Technologies Symposium
...The International Information and Telecommunication Technologies Symposium...

11th International Conference on Operational Research (KOI 2006)
...The 11th International Conference on Operational Research (KOI 2006), organised ...

ACL2 2006 International Workshop on the ACL2 Theorem Prover and its Applications
...IMPORTANT DATES...

DASD 2006 - Design, Analysis, and Simulation of Distributed Systems
...Goal and Topics of DASD 2005...

Meeting of the EURO Working Group in Stochastic Modeling
...The 2008 meeting of the EURO Working Group on Stochastic Modeling will take ...

ASIA-PACIFIC E-GOVERNMENT WORKSHOP
......

FM'06: 14TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS
...For the first time, FM'06 will feature a Doctoral Symposium. Students are ...

IEEE International Workshop on Pervasive Computing and Ad Hoc Communications (IEEE PCAC'06)
...Aim and scope...