All search results for . 15771-15780 of 20585 results.

Symposium on Symbolic and Numeric Algorithms for Scientific Computing SYNASC-2005
...Workshop description...

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

Autonomous Computing and Agents for Information & Knowledge Processing
......

21st Century: Robotics and Artificial Intelligence
...Conference regarding Issues of Robotics research anf Artificial Intelligence...

The 16th IFAC World Congress
......

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

Asian Applied Computing Conference (AACC) 2005
...The Call for Papers for Asian Applied Computing Conference (AACC) 2005 is ...

Autonomous Computing and Agents for Business and Engineering Systems
......

Second AIMS International Conference on Management
...The second AIMS International Conference on Management will be hosted by Indian ...

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