All search results for . 18661-18670 of 20588 results.

Franco-Canadian Workshop on Combinatorial Algorithms
...PLENARY SPEAKERS...

3rd International Workshop on Constraints in Formal Verification
...Submission deadline: June 5th...

Clustering High-Dimensional Data and its Applications
...The workshop is devoted to clustering high-dimensional data...

SIXTH INTERNATIONAL CONFERENCE ON MONTE CARLO AND QUASI-MONTE CARLO METHODS IN SCIENTIFIC COMPUTING
...This conference will bring together experts in the fields of mathematics...

ICALP'05 32nd International Colloquium on Automata, Languages and Programming
...The 32nd International Colloquium on Automata, Languages and Programming, the ...

Third German-Polish Conference on Optimization Methods and Applications
...The conference is organized by the Institutes of Mathematics of Technical ...

1st International Satisfiability Modulo Theories Competition (SMT-COMP'05)
...Decision procedures for checking satisfiability of logical formulas are crucial ...

Challenges for Industrial Production
...Sessions of the workshop concentrate on research and industry applications in ...

3rd Workshop on e-Learning (WEL'05)
...Aim and Main Points...

Treizimes Journees Francophones de Programmation en Logique et de programmation par Contraintes
......