All search results for . 4731-4740 of 21084 results.

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

12th International Conference on Applied Stochastic Models and Data Analysis (ASMDA 2007)
......

World Congress in Applied Computing
...World Congress in Applied Computing...

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

The 3rd International Conference on Bioinspired Optimization Methods and their Applications
......

International Workshop on Tools for Solving Structured Markov Chains (SMCtools 2007)
......

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

ANTS 2008 - Sixth International Conference on Ant Colony Optimization and Swarm Intelligence
...ANTS 2008 solicits contributions dealing with any aspect of swarm intelligence ...

Second International Conference on Mathematics: Trends and Developments (ICMTD 2007)
......

2008 Manufacturing & Service Operations Management (MSOM) Conference
...Submission deadline (6-page extended abstract): January 21...