> IJCAR 2001: International Joint Conference on Automated Reasoning |
|06/18-23/2001, Siena, Italy|
The International Joint Conference on Automated Reasoning is the fusion of three major conferences in Automated Reasoning: CADE (The International Conference on Automated Deduction), TABLEAUX (The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods) and FTP (The International Workshop on First-Order Theorem Proving).
> EURO 2001: The European Operational Research Conference |
|07/9-11/2001, Erasmus University Rotterdam, Rotterdam, Netherlands|
One topic that the conference will pay extra attention to is Smart Logistics. Or models can be used to provide smart decision support for logistic processes. New developments in Information & Communication Technology are creating new possibilities to make this happen
TOP 10 AGENTS
|Want some music? Need to hear the latest tunes? Our MP3 agents help you to find and download the music that rocks you|