All search results for . 17261-17270 of 19484 results.

Latin American Theoretical INformatics - LATIN'2006
...A series of Symposia in Theoretical Computer Science was launched in 1992, to be...

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

DIMACS Workshop on Markets as Predictive Devices (Information Markets)
...For decades, economists have studied an astonishing "side effect...

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

The Australasian Theory Symposium
...CATS is the premier theoretical computer science conference in Australasia. It ...

17th Annual International Conference on Formal Power Series and Algebraic Combinatorics
...Topics...

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

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

Workshop on Operations and Management Science
...Conference Co-chairs...

ALBIO'05 - Session of 6th International Symposium on Computational Biology and Genome Informatics
...Computational Molecular Biology, has emerged from the Human Genome Project as an...