All search results for . 20331-20340 of 21274 results.

4th International Workshop on PARALLEL AND DISTRIBUTED METHODS IN VERIFICATION
...OBJECTIVES: The growing importance of automated formal verification in industry ...

19th International Symposium on Distributed Computing DISC 2005
...IMPORTANT DATES...

4th IMA Conference on Quantitative Modelling in the Management of Healthcare
...The conference will focus on practical methodologies in the provision and ...

Workshop on Memetic Algorithms (WOMA-V)
......

EUROCONFERENCES IN MATHEMATICS ON CRETE ALGEBRAIC AND GEOMETRIC COMBINATORICS
...Tentative list of Invited Speakers...

5th International Conference on Hybrid Intelligent Systems (HIS'05)
...Hybridization of intelligent systems is a promising research field of ...

Eleventh Conference on Integer Programming and Combinatorial Optimization (IPCO XI)
......

International Conference on Computational Methods (ICCM 2004)
......

Fifth International Conference on Integrated Formal Methods (IFM)
...SCOPE...

The First Euro Conference on Mobile Government (The EURO, mGOV 2005)
......