All search results for . 17861-17870 of 21269 results.

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

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

UASS'06 Session on ICCSA 2006
...The 2006 International Conference on Computational Science and its Applications...

Mathematics and Democracy: Voting Systems and Collective Choice
...Directors: B. Simeone, F. Pukelsheim...

The 18th Australian Joint Conference on Artificial Intelligence
...SCOPE AND TOPICS...

European Conference on e-Government
...Interest in e-Government continues to grow and extend within the public service ...

TMSS 2007
...TMSS 2007 is an annual conference organized by the Tunisian Management Science ...

The 12th International Conference on Artificial Intelligence: Methodology, Systems, Applications
...SCOPE...

CAV'05 Workshop
...Both the Formal Verification community and the Automated Reasoning community ...

4th International Conference on Formal Modelling and Analysis of Timed Systems
...Submission deadline: May 1, 2006...