| Conference | Location | Deadline | Conference Date |
|---|---|---|---|
| EDBT'2000 - VII. Conference on Extending Database Technology | Konstanz, D | 27-31 Mar 00 | |
| KR'2000 - 7th Intl. Conf. on Principles of Knowledge Representation and Reasoning | Breckenridge, USA | 11-15 Apr 00 | |
| PODS'2000 - ACM Symposium on Principles of Database Systems | Dallas TX, USA | 14-19 May 00 | |
| SIGMOD'2000 - ACM Intl. Conference on Management of Data | Dallas TX, USA | 14-19 May 00 | |
| WebDB'2000 - Third International Workshop on the Web and Databases | Dallas TX, USA | 18-19 May 00 | |
| CAiSE'00 - 12th Conference on Advanced Information Systems Engineering | Stockholm, Sweden | 5-9 Jun 00 | |
| DMDW'2000 - 2nd International Workshop on Design and Management of Data Warehouses | Stockholm, Sweden | 5-6 Jun 00 | |
| First International Congress on Tools for Teaching Logic | Salamanca, ES | 14-17 Jun 00 | |
| CADE-17 - International Conference on Automated Deduction | Pittsburgh PA, USA | 17-20 Jun 00 | |
| AI in Automated Deduction - Automated Deduction in AI - a CADE workshop | Pittsburgh PA, USA | 16-21 Jun 00 | |
| SEBD'2000 - Ottavo Convegno Nazionale su Sistemi Evoluti per Basi di Dati | L'Aquila, Italy | 26-28 Jun 00 | |
| LICS'2000 - Fifteenth Annual IEEE Symposium on Logic in Computer Science | Santa Barbara CA, USA | 26-29 Jun 00 | |
| NLDB'2000 - 5th International Conference on Applications of Natural Language to Information Systems | Versailles, France | 28-30 Jun 00 | |
| BNCOD'2000 - British National Conference on Databases | Exeter, GB | 3-5 Jul 00 | |
| FTP'2000 - International Workshop on First order Theorem Proving | St Andrews, GB | 3-5 Jul 00 | |
| TABLEAUX'2000 - International Conference on Automated Reasoning with Analytic Tableaux and Related Methods | St Andrews, GB | 4-7 Jul 00 | |
| TIME'2000 - Seventh International Workshop on Temporal Representation and Reasoning | Nova Scotia, Canada | 7-9 Jul 00 | |
| Logics for Emerging Applications of Databases | Dagstuhl, D | 16-21 Jul 00 | |
| Seventh Workshop on Automated Reasoning Bridging the Gap between Theory and Practice | London, UK | 20-21 Jul 00 | |
| CL'2000 - First International Conference on Computational Logic | London, UK | 24-28 Jul 00 | |
| DOOD'2000 - Sixth International Conference on Rules and Objects in Databases; A Stream at CL'2000 | London, UK | 26-28 Jul 00 | |
| Automated Deduction: Putting Theory into Practice - A Stream at CL'2000 | London, UK | 24-28 Jul 00 | |
| SSDBM'2000 - Twelfth International Conference on Scientific And Statistical Database Management | Berlin, D | 26-28 Jul 00 | |
| ICoS-2 - Inference in Computational Semantics | Dagstuhl, D | 29-30 Jul 00 | |
| AAAI'2000 Workshop on Spatial and Temporal Granularity | Austin TX, USA | 30 Jul 00 | |
| AAAI'2000 - Seventeenth American Conference on Artificial Intelligence | Austin TX, USA | 30 Jul-3 Aug 00 | |
| ESSLLI'2000 - Twelfth European Summer School in Logic, Language and Information | Birmingham, UK | 6-18 Aug 00 | |
| HyLo 2000 - Second International Workshop on Hybrid Logic (at ESSLLI'2000) | Birmingham, UK | 6-18 Aug 00 | |
| Workshop on Many-Dimensional Logical Systems (at ESSLLI'2000) | Birmingham, UK | 6-18 Aug 00 | |
| ICCS'2000 - 8th International Conference on Conceptual Structures | Darmstadt, D | 14-18 Aug 00 | |
| WoLLIC'2000 - 7th Workshop on Logic, Language, Information and Computation | Natal, Brazil | 15-18 Aug 00 | |
| DL'2000 - 2000 International Workshop on Description Logics | Aachen, D | 17-19 Aug 00 | |
| KRDB'2000 - 7th International Workshop on Knowledge Representation meets Databases | Berlin, D | 21 Aug 00 | |
| ECAI'2000 - 14th European Conference on Artificial Intelligence | Berlin, D | 21-25 Aug 00 | |
| PAIS'2000 - Prestigious Applications of Intelligent Systems, associated with ECAI-2000 | Berlin, D | 21-25 Aug 00 | |
| ISCL 2000 - International Summer School on Computational Logic | Maratea, I | 3-8 Sep 00 | |
| NLIS'2000 - 2nd International Workshop on Natural Language and Information Systems, associated to DEXA'2000 | Greenwich, UK | 4-8 Sep 00 | |
| DEXA'2000 - 11th International Conference and Workshop on Database and Expert Systems Applications | Greenwich, UK | 4-8 Sep 00 | |
| DaWaK'2000 - 2nd International Conference on Data Warehousing and Knowledge Discovery | Greenwich, UK | 4-6 Sep 00 | |
| CoopIS'2000 - Fifth IFCIS International Conference on Cooperative Information Systems | Eilat, Israel | 6-8 Sep 00 | |
| LL7 - 7th International Symposium on Logic and Language | Tihany, Hungary | 7-9 Sep 00 | |
| VLDB'2000 - 26th Intl. Conf. on Very Large Data Bases | Cairo, Egypt | 10-14 Sep 00 | |
| Agenti Intelligenti e Internet: Teorie, Strumenti e Applicazioni - Italian Association for Artificial Intelligence workshop | Milano, I | 13 Sep 00 | |
| FAPR'2000 - 3rd, International Conference on Pure and Applied Practical Reasoning | London, UK | 18-20 Sep 00 | |
| DEMM'2000 - Ninth International Workshop on Foundations of Models and Languages for Data and Objects "Database schema evolution and meta-modeling" | Dagstuhl, D | 18-22 Sep 00 | |
| Semantic Web: Models, Architectures and Management workshop | Lisbon, Portugal | 21 Sep 00 | |
| JELIA'2000 - 7th European Workshop on Logics in AI | Malaga, Spain | 29 Sep-2 Oct 00 | |
| AiML-ICTL 2000 - Advances in Modal Logic - International Conference on Temporal Logic 2000 | Leipzig, Germany | 4-7 Oct 00 | |
| ER'2000 - 19th International Conference on Conceptual Modeling | Salt Lake City, USA | 9-12 Oct 00 | |
| FQAS'2000 - Fourth International Conference on Flexible Query Answering Systems | Warsaw, Poland | 25-27 Oct 00 | |
| DOLAP'2000 - ACM Third International Workshop on Data Warehousing and OLAP (In conjunction with ACM CIKM'2000) | Washington, DC, USA | 10 Nov 00 | |
| ACM CIKM '2000 - 9th International Conference on Information and Knowledge Management | Washington DC, USA | 6-11 Nov 00 | |
| LPAR'2000 - 7th International Conference on Logic for Programming and Automated Reasoning | Reunion Island | 6-12 Nov 00 | |
| Journal | Deadline | Publication |
|---|---|---|
| Elsevier's Knowledge-based Systems (KBS)
Special Issue on AI in Knowledge Management |
Jun 00 | |
| International Journal of Cooperative Information Systems Special Issue on Intelligent Information Agents: Theory and Applications |
Fall 00 | |
| International Journal of Cooperative Information Systems Special Issue on Design and Management of Data Warehouses |
Fall 00 | |
| Journal of Visual Languages and Computing Special Issue on Querying Multiple Data Sources |
Fall 00 | |
| Information Systems Journal Special Issue on Data Warehousing |
Winter 00 | |
| Data and Knowledge Engineering Special Issue on Warehouse Design for Structured and Semistructured Data |
15 Sep 00 | |