All search results for . 13391-13400 of 21116 results.

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

International Workshop on Interdisciplinary Decision Making
......

Special session on Combinatorial Optimization in Telecommunications and Mobile Computing
...Telecommunications and wireless networks are among the areas with greater...

OPTIMA 2005. The Sixth Chilean Operations Research Conference
...The Organizing Committee of OPTIMA 2005, invites you to participate in the 6th ...

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

TACAS 2005 11th Int. Conference on Tools and Algorithms for the Construction and Analysis of System
...TACAS is a forum for researchers, developers and users interested in rigorously ...

The 12th Biennial Computational Techniques and Applications Conference and Workshops (CTAC 2004)
...Contributed papers are currently being sought in the areas of...

ICEIS 2006 - 8th International Conference on Enterprise Information Systems
...Areas...

The 21st European Workshop on Computational Geometry
...The goal of this annual, informal workshop is to provide an opportunity for ...

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