All search results for . 11061-11070 of 20585 results.

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

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

XL Simposio Brasileiro de Pesquisa Operacional (XL SBPO)
......

ESSLLI 2006 STUDENT SESSION
...We are pleased to announce the Student Session of the 18th European Summer ...

7th International Conference on Operations Research
......

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

6th European Conference on Evolutionary Computation in Combinatorial Optimization
......

VII Brazilian Workshop on Continuous Optimization (BRAZOPT 2008)
......

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

13th SIAM Conference on Discrete Mathematics (DM 2006)
...This lively and stimulating biennial meeting brings together discrete ...