All search results for . 18221-18230 of 20391 results.

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

DISCRETE OPTIMIZATION METHODS IN PRODUCTION AND LOGISTICS
...This meeting is a forum for researchers and practitioners working in...

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

INFORMS Conference on Information Systems and Technology (CIST)
...Theme: Management and Evolution of IT in the Networked World...

Sixteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures (SPAA '04)
...Contributed papers are sought in ALL areas of parallel algorithms and...

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

First European Workshop on Automatic Differentiation
...This 2-day workshop replaces the UK Automatic Differentiation Workshops, which ...

MAFELAP 2006 Conference at Brunel University on Finite Elements
...We are pleased to announce that MAFELAP 2006, the next conference on the ...

MESM2005
...The conference covers the following subjects...

THE THIRD EUROPEAN FINITE ELEMENT FAIR
...The format of the Fair is similar to that of the Circus or Rodeo in the US...