|
You can post an event related to IFCoLog on this page
by filling out our
IFCoLog Events Registration Form.
|
Current events
[an error occurred while processing this directive]
ICSE 2000
Conference
The 22nd Conference on Software Engineering
June 4, 2000 - June 11, 2000
Deadline for submissions: November 11, 1999
Limerick, Ireland
Contact: Carlo Ghezzi <>
|
|
ISA 2000
Congress
International Congress on Intelligent Systems and Applications
December 12-15, 2000
Deadline for submissions: March 31, 2000
Wollongong (near Sydney), Australia
Contact: Prof. Fazel Naghdy <>
|
|
IWCS-4
Workshop
Fourth International Workshop on COMPUTATIONAL SEMANTICS
January 10-12, 2001
Deadline for submissions: September 29, 2000
Tilburg, The Netherlands
Contact: Anne Adriaensen <>
|
|
IUI 2001
Conference
International Conference on Intelligent User Interface
January 14-17, 2001
Deadline for submissions: July 3, 2000
Santa Fe, New Mexico, USA
Contact: IUI 2001 <>
|
|
International Workshop on Applied Reliable Group Communication
Workshop
International Workshop on Applied Reliable Group Communication
April 16-19, 2001
Deadline for submissions: November 1, 2000
SunBurst, Scottsdale, Arizona, USA
Contact: Luis Rodrigues <>
|
|
Autonomous Agents 2001
Conference
The Fifth International Conference on Autonomous Agents 2001
May 28 - June 1, 2001
Deadline for submissions: October 16, 2000
Montreal, Canada
Contact: Autonomous Agents 2001 <>
|
[an error occurred while processing this directive]
Forthcoming events
|
|
[an error occurred while processing this directive]
The 11th European-Japanese Conference on Information Modelling and Knowledge Bases
Conference
The 11th European-Japanese Conference on Information Modelling and Knowledge Bases
May 29 - June 1, 2001
Deadline for submissions: January 7, 2001
Maribor, Slovenia
Contact: Bostjan Brumen <>
|
|
BI-DIALOG 2001
Workshop
Fifth Workshop on the Semantics and Pragmatics of Dialouge
June 14-16, 2001
Deadline for submissions: February 15, 2001
Bielefeld, Germany
Contact: BI-Dialog 2001 <>
|
|
ICoS-3
Workshop
Third Workshop on Inference in Computational Semantics
June 18-20, 2001
Deadline for submissions: March 15, 2001
Siena, Italy
Contact: Michael Kohlhase <>
|
|
CIMCA2001
Conference
July 4-6, 2001
Deadline for submissions: March 16, 2001
Las Vegas, USA
Contact: Masoud Mohammadian <>
|
|
IAVTIC'2001
Conference
July 4-6, 2001
Deadline for submissions: March 16, 2001
Las Vegas, USA
Contact: Masoud Mohammadian <>
|
|
Coordination and Action
Workshop
Coordination and Action a Workshop at ESSLLI XIII
August 20-24, 2001
Deadline for submissions: February 28, 2001
Helsinki, Finland
Contact: Peter Kuehnlein <>
|
|
CIA-2001
Workshop
Fifth International Workshop CIA-2001 on Cooperative Information Agents
September 6-8, 2001
Deadline for submissions: April 10, 2001
Modena, Italy
Contact: Matthias Klusch <>
|
|
LPNMR'01
Conference
6th International Conference on Logic Programming and Nonmonotonic Reasoning
September 17-19, 2001
Deadline for submissions: April 3, 2001
Vienna, Austria
Contact: Wolfgang Faber <>
|
|
KI-2001
Conference
Joint German/Austrian Conference on Artificial Intelligence
September 19-21, 2001
Deadline for submissions: April 9, 2001
Vienna, Austria
Contact: Thomas Eiter <>
|
|
IAT-2001
Conference
The Second Asia-Pacific Conference on Intelligent Agent Technology
October 23-26, 2001
Deadline for submissions: March 20, 2001
Maebashi City , Japan
Contact: Prof. Ning Zhong <>
|
|
ICSM 2001
Conference
International Conference on Software Maintenance 2001
November 5-9, 2001
Deadline for submissions: January 15, 2001
FLORENCE, ITALY
Contact: icsm2001 <>
|
|
ICDM 2001
Conference
The 2001 IEEE International Conference on Data Mining
November 29 - December 2, 2001
Deadline for submissions: June 15, 2001
Silicon Valley, California, USA
Contact: Dr. Xindong Wu <>
|
[an error occurred while processing this directive]
Past events
|
|
[an error occurred while processing this directive]
BENELOG99
Workshop
Eleventh Benelux Workshop on Logic Programming
November 5, 1999
Deadline for submissions: September 24, 1999
Maastricht, The Netherlands
Contact: Sandro Etalle <>
|
|
PONMS'99
Symposium
AAAI99 Symposium on Modal and Temporal Logic-based Planningfor Open Networked Multimedia Systems
November 5-7, 1999
Deadline for submissions: March 31, 1999
Cap Cod, USA
Contact: Fawazi Daoud <>
|
|
FLOPS'99
Symposium
4th Fuji International Symposium on Functional and Logic Programming
November 11-13, 1999
Deadline for submissions: May 24, 1999
Tsukuba, Japan
Contact: Yoshiki Kinoshita <>
|
|
ICLP 99
Conference
16th International Conference on Logic Programming
November 29 - December 4, 1999
Deadline for submissions: October 30, 1999
Las Cruces, New Mexcio USA
Contact: iclp99pub <>
|
|
LPNMR'99
Meeting
5th International Conference on Logic Programmingand Nonmonotonic Reasoning
December 2-4, 1999
Deadline for submissions: October 30, 1999
El Paso, Texas, USA
Contact: Pat Muñoz <>
|
|
ASIAN'99
Conference
Asian Computing Science Conference
December 10-12, 1999
Deadline for submissions: July 12, 1999
Phuket, Thailand
Contact: Rolan Yap <>
|
|
FST and TCS '99
Conference
Nineteenth Conference on the Foundations of Software Technology and the Theoretical Computer Science
December 13-15, 1999
Deadline for submissions: May 31, 1999
Chennai, India
Contact: FSTTCS '99 < >
|
|
ES 99
Conference
The Nineteenth International Conference on Knowledge Based Systems and Applied Artificial Intelligence
December 13-15, 1999
Deadline for submissions: June 15, 1999
Cambridge, UK
Contact: ES 99 <>
|
|
ICSC'99
Conference
The 5th International Computer Science Conference
December 13-15, 1999
Deadline for submissions: June 30, 1999
Hong Kong, China
Contact: Dik Lee <>
|
|
AC99
Colloquium
The Twelth Amsterdam Colloquium
December 18-21, 1999
Deadline for submissions: September 1, 1999
Amsterdam, Netherlands
Contact: AC99 <>
|
|
HICSS33
Conference
33rd Hawaii International Conference on System Sciences
January 4-7, 2000
Deadline for submissions: March 15, 1999
Maui, Hawaii
Contact: Nabil R. Adam <>
|
|
IUI-2000
Conference
International Conference on Intelligent User Interfaces
January 9-12, 2000
Deadline for submissions: December 1, 1999
New Orleans, Lousiana, USA
Contact: Doug Riecken <>
|
|
PADL'00
Workshop
Second International Workshop on Practical Aspekts ofDeclarative Programming
January 17-18, 2000
Deadline for submissions: August 20, 1999
Boston, USA
Contact: Enrico Pontelli <>
|
|
POPL'00
Symposium
Symposium on Principles of Programming Languages 2000
January 19-21, 2000
Deadline for submissions: July 19, 1999
Boston, USA
Contact: Mary Lou Soffa <>
|
|
DEON'00
Workshop
Fifth International Workshop on Deontic Logic in Computer Science
January 20-22, 2000
Deadline for submissions: May 17, 1999
Toulouse, France
Contact: Robert Demolombe <>
|
|
WLP
Workshop
Workshop logische Programmierung
January 26-28, 2000
Deadline for submissions: January 13, 2000
Wuerzburg, Germany
Contact: WLP <>
|
|
CATS 2000
Symposium
Computing the Australian Theory Symposium
February 1-2, 2000
Deadline for submissions: August 27, 1999
Canberra, Australia
Contact: CATS 2000 <>
|
|
AWCL
Workshop
Australasian Workshop on Computational Logic
February 3-4, 2000
Deadline for submissions: November 15, 1999
Canberra, Austalia
Contact: John Lloyd <>
|
|
SITE 2000
Conference
Society for Information Technology and Teacher Education 11th Annual International Conference
February 8-12, 2000
Deadline for submissions: October 5, 1999
San Diego, USA
Contact: AACE <>
|
|
loco2000
Symposium
Logic and Complexity - An International Symposium in honor of the 150th birthday of Erwin Engeler and Ernst Specker
February 14-16, 2000
Deadline for submissions: February 14, 2000
Murten, Switzerland
Contact: Loco2000 <>
|
|
FolKS 2000
Symposium
International Symposium on Foundations of Informationand Knowledge Systems
February 14-17, 2000
Deadline for submissions: August 12, 1999
Burg (Spreewald), Germany
Contact: Bernhard Thalheim <>
|
|
STACS'2000
Symposium
17th International Symposium on Theoretical Aspects of Computer Science
February 17-19, 2000
Deadline for submissions: September 5, 1999
Lille, France
Contact: STACS'2000 <>
|
|
IWPT 2000
Workshop
6th International Workshop on Parsing Technologies
February 23-25, 2000
Deadline for submissions: November 5, 1999
Trento, Italy
Contact: Harry Bunt <>
|
|
IWPT 2000
Workshop
6th International Workshop on Parsing Technologies
February 23-25, 2000
Deadline for submissions: January 7, 2000
Trento, ITALY
Contact: IWPT 2000 <>
|
|
CP-AI-OR'00
Workshop
Second International Workshop on Integration of AI and OR techniques in Constraint Programming for Combinatorial Optimization Problems
March 8-10, 2000
Deadline for submissions: December 8, 1999
Paderborn, Germany
Contact: Stefan Tschoeke <>
|
|
FroCoS'2000
Workshop
Third International Workshop: Frontiers of Combining Systems
March 22-24, 2000
Deadline for submissions: October 1, 1999
Nancy, France
Contact: H. Kirchner / C. Ringeissen <>
|
|
ACIDCA'2000
Conference
International Conference on Artificial and Computational Intelligence for Decision, Control and Automation in Engineering and Industrial Applications
March 22-24, 2000
Deadline for submissions: October 20, 1999
Monastir, Tunesia
Contact: ACIDCA <>
|
|
CMCS'2000
Workshop
Workshop on Coalgebraic Methods in Computer Science
March 25-26, 2000
Deadline for submissions: January 3, 2000
Berlin, Germany
Contact: Horst Reichel <>
|
|
ETAPS 2000
Conference
European Joint Conferences on Theory and Practice of Software
March 25 - April 2, 2000
Deadline for submissions: October 18, 1999
Berlin, Germany
Contact: Doris Fähndrich <>
|
|
EDBT 2000
Conference
VII. Conference on Extending Database Technology
March 27-31, 2000
Deadline for submissions: July 16, 1999
Konstanz, Germany
Contact: Peter C. Lockemann <>
|
|
FOSSACS 2000
Conference
Foundations of Software Science and Computation Structures
March 27-31, 2000
Deadline for submissions: October 18, 1999
Berlin, Germany
Contact: Jerzy Tiuryn <>
|
|
TACAS'2000
Conference
The Sixth International Conference on Tools and Algorithmsfor the Construction and Analysis of Systems
March 27 - April 1, 2000
Deadline for submissions: October 18, 1999
Berlin, Germany
Contact: Susanne Graf <>
|
|
NMR'2000
Workshop
8th Intl. Workshop on Nonmonotonic Reasoning
April 9-11, 2000
Deadline for submissions: December 15, 1999
Breckenridge, Colorado USA
Contact: Chitta Baral / Mirek Truszczynski < / >
|
|
PAAM 2000
Conference
The fifth International Conference and Exhibitionon Practical Application of Intelligent Agents and Multi-agent Technology
April 10-12, 2000
Deadline for submissions: December 6, 1999
Manchester, UK
Contact: Allison Roth / Anne Marie Purcell <>
|
|
PACLP2000
Conference
The 2nt int. Conference and Exhibition on the practical applicationof Constraint Technologies and Logic Programming
April 10-12, 2000
Deadline for submissions: December 6, 1999
Manchester, UK
Contact: Allison Roth / Anne Marie Purcell <>
|
|
Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Summer School
April 10-14, 2000
Deadline for submissions: January 31, 2000
Oxford, UK
Contact: Jeremy Gibbons <>
|
|
RIAO 2000
Conference
Content-Based Multimedia Information Access
April 12-14, 2000
Deadline for submissions: November 8, 1999
Paris, France
Contact: RIAO 2000 <>
|
|
KR 2000
Conference
Seventh International Conference on Principlesof Knowledge Representation and Reasoning
April 12-15, 2000
Deadline for submissions: October 22, 1999
Breckenridge,Colorado, USA
Contact: Anthony G. Cohn <>
|
|
MFPS XVI
Workshop
Sixteenth Workshop on the Mathematical Foundationsof Programming Semantics
April 13-16, 2000
Deadline for submissions: April 13, 2000
Hoboken, New Jersey, USA
Contact: MFPS XVI <>
|
|
AIPS2000
Workshop
Workshop: Model-theoretic Approaches Planning
April 14, 2000
Deadline for submissions: December 15, 1999
Breckenridge, CO, USA
Contact: Paolo Traverso <>
|
|
CLAW 2000
Workshop
3rd International Workshop on Controlled Language Applications
April 29-30, 2000
Deadline for submissions: November 30, 1999
Seattle, Washington, USA
Contact: Jeff Allen <>
|
|
ANLP-NAACL2000
Conference
Language Technology Joint Conference
April 29 - May 3, 2000
Deadline for submissions: November 17, 1999
Seattle, Washington, USA
Contact: Marie Meteer <>
|
|
WIRE-2000
Workshop
2000 Workshop on Interactive Robotics and Entertainment
April 30 - May 1, 2000
Deadline for submissions: December 15, 1999
Pittsburgh, Pennsylvania, USA
Contact: WIRE-2000 <>
|
|
Agent Based Simulation
Workshop
May 2-3, 2000
Deadline for submissions: December 10, 1999
Passau, Germany
Contact: Christoph Urban <>
|
|
The 10th European-Japanese Conference on Information Modelling and Knowledge Bases
Conference
May 8-11, 2000
Deadline for submissions: January 15, 2000
Saariselkä, Lapland, Finland
Contact: Hannu Kangassalo <>
|
|
WCP'2000
Conference
II World Congress on Paraconsistency
May 8-12, 2000
Deadline for submissions: December 17, 1999
São Sebastião, Brasilien
Contact: Walter A. Carnielli / Itala M. L. D'Ottaviano <>
|
|
AI'2000
Conference
Thirteenth Canadian Conference on Artificial Intelligence
May 14-17, 2000
Deadline for submissions: November 19, 1999
Montreal, Quebec, Canada
Contact: Howard J. Hamilton <>
|
|
SIGMOD / PODS 2000
Conference
19th ACM SIGMOD-SIGACT-SIGART Symposium on Principlesof Database Systems
May 14-19, 2000
Deadline for submissions: November 2, 1999
Dallas, Texas, USA
Contact: Georg Gottlob <>
|
|
SBLP-2000
Symposium
IV Brazilian Symposium on Programming Languages
May 17-19, 2000
Deadline for submissions: January 31, 2000
Recife, Brazil
Contact: SBLP-2000 <>
|
|
STOC 2000
Symposium
The Thirty-Second Annual ACM Symposium on Thoery of Computing
May 21-23, 2000
Deadline for submissions: October 12, 1999
Portland, Oregon, USA
Contact: Frances F. Yao <>
|
|
FLAIRS-2000
Conference
May 22-25, 2000
Deadline for submissions: October 21, 1999
Orlando, Florida, USA
Contact: Avelino Gonzales <>
|
|
COOP'2000
Conference
Fourth International Conference on the Design of Cooperative Systems
May 23-26, 2000
Deadline for submissions: October 15, 1999
Sophia Antipolis, France
Contact: Monique Simonetti <>
|
|
AMAST'2000
Conference
Int. Conference on Algebraic Methodology and Software Technology
May 23-27, 2000
Deadline for submissions: December 1, 1999
Iowa, USA
Contact: AMAST 2000 <>
|
|
LREC2000
Conference
The 2nd International Conference on Language Resources and Evaluation
May 31 - June 2, 2000
Deadline for submissions: November 20, 1999
Athens, Greece
Contact: Despina Scutari <>
|
|
NLP 2000
Conference
2nd International Conference on Natural Language Processing
June 2-4, 2000
Deadline for submissions: December 15, 1999
Samos Island, Greece
Contact: Penelope Kontodimu <>
|
|
Agents 2000
Conference
The Fourth International Conference on Autonomous Agents
June 3-7, 2000
Deadline for submissions: October 24, 1999
Barcelona, Spain
Contact: Wiebe van der Hoek <>
|
|
AOSE-2000
Seminar
The First International Workshop on Agent-oriented Software Engineering
June 10, 2000
Deadline for submissions: February 1, 2000
Limerick, Ireland
Contact: Michael Wooldrige <>
|
|
INLG'2000
Conference
International Language Generation Conference
June 12-16, 2000
Deadline for submissions: January 16, 2000
Mitzpe Ramon, Israel
Contact: Michael Elhadad / Yael Dahan Netzer <>
|
|
GOTALOG 2000
Workshop
Fourth Workshop on the Semantics and Pragmatics of Dialogue
June 15-17, 2000
Deadline for submissions: February 15, 2000
Goteburg, Sweden
Contact: Office <>
|
|
CADE-17
Conference
The 17th International Conference on Automated Deduction
June 17-20, 2000
Deadline for submissions: January 15, 2000
Pittsburgh, Pennsylania, USA
Contact: David McAllester <>
|
|
IEA/AIE-2000
Conference
The Thirteenth International Conference on Industrial and EngineeringApplications of Artificial Intelligence and Expert Systems
June 19-20, 2000
Deadline for submissions: November 17, 1999
New Orleans, Lousiana, USA
Contact: IEA/AIE-2000 <>
|
|
Annual CompulogNet/ERCIM Workshop on Constraints
Workshop
June 19-21, 2000
Deadline for submissions: April 15, 2000
Padova, Italy
Contact: FRancesca Rossi <>
|
|
LICS'2000
Conference
Logic in Computer Science
June 26-29, 2000
Deadline for submissions: January 7, 2000
Santa Barbara, California, USA
Contact: Martin Grohe <>
|
|
CISST'2000
Conference
The 2000 International Conference on Imaging Science,Systems and Technology
June 26-29, 2000
Deadline for submissions: February 28, 2000
Las Vegas, Nevada, USA
Contact: Hamid R. Arabnia <>
|
|
IC-AI'2000
Conference
International Conference on Artificial Intelligence
June 26-29, 2000
Deadline for submissions: February 28, 2000
Las Vegas, Nevada, USA
Contact: H. R. Arabnia <>
|
|
PDPTA'2000
Conference
The 2000 International Conference on Parallel and Distributed Processing Techniques and Applications
June 26-29, 2000
Deadline for submissions: February 28, 2000
Las Vegas, Nevada, USA
Contact: Hamid R. Arabnia <>
|
|
ED-MEDIA 2000
Conference
World Conference on Educational Multimedia, Hypermediaand Telecommunications
June 26 - July 1, 2000
Deadline for submissions: October 26, 1999
Montreal, Canada
Contact: ED-MEDIA 2000/AACE <>
|
|
EIS'2000
Symposium
Second International ICSC Symposium on Engineering of Intelligent Systems
June 27-30, 2000
Deadline for submissions: November 30, 1999
Paisley, Scotland, UK
Contact: ICSC < / >
|
|
SAS2000
Symposium
International Static Analysis Symposium
June 29 - July 1, 2000
Deadline for submissions: January 15, 2000
Santa Barbara, California, USA
Contact: David Schmidt <>
|
|
MPC 2000
Conference
Fifth International Conference on Mathematics of Program Construction
July 3-5, 2000
Deadline for submissions: January 3, 2000
Ponte de Lima, Portugal
Contact: MPC 2000 <>
|
|
FTP'2000
Workshop
International Workshop on First-Order Theorem Proving
July 3-5, 2000
Deadline for submissions: April 2, 2000
St Andrews, Scotland UK
Contact: Peter Baumgartner / Hanatao Zhang < / >
|
|
TABLEAUX 2000
Conference
Automated Reasoning with Analytic Tableaux and Related Methods
July 4-7, 2000
Deadline for submissions: December 1, 1999
St Andrews, Scotland, UK
Contact: Roy Dyckhoff <>
|
|
6BLM
Meeting
The 6th Barcelona Logic Meeting
July 6-8, 2000
Deadline for submissions: April 1, 2000
Barcelona, Spain
Contact: John Bagaria <>
|
|
HOPOS 2000
Conference
Third International History of Philosophy of Science Conference
July 6-9, 2000
Deadline for submissions: November 1, 1999
Vienna, Austria
Contact: Michael Heidelberger <>
|
|
ATAL-2000
Workshop
The Seventh International Workshop on Agent Theories,Architectures, and Languages
July 7-9, 2000
Deadline for submissions: March 27, 2000
Boston, USA
Contact: Cristiano Castelfranchi/Yves Lesperance </>
|
|
ICMAS'2000
Conference
Fourth International Conference on MultiAgent Systems
July 7-12, 2000
Deadline for submissions: November 15, 1999
Boston, Massachusetts, USA
Contact: Sarit Kraus <>
|
|
RTA 2000
Conference
Eleventh International Conference on Rewriting Techniques and Applications
July 10-12, 2000
Deadline for submissions: January 15, 2000
Norwich, UK
Contact: Leo Bachmair <>
|
|
MFCSIT2000
Conference
First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology
July 20-21, 2000
Deadline for submissions: May 1, 2000
Cork, Ireland
Contact: A.K. Seda <>
|
|
LC 2000
Colloquium
Logic Colloquium
July 23-31, 2000
Deadline for submissions: March 31, 2000
Paris, France
Contact: LC 2000 <>
|
|
LC2000
Congress
The last European Congress of the Association for Symbolic Logic
July 23-31, 2000
Deadline for submissions: March 31, 2000
Paris, France
Contact: ASL <>
|
|
ACM SIGIR
Conference
International SIGIR Conference on Research and Developmentin Information Retrieval
July 24-28, 2000
Deadline for submissions: January 14, 2000
Athens, Greece
Contact: E. J. Yannakoudakis / SIGIR 2000 < / >
|
|
CL2000
Conference
First International Conference on Computational Logic
July 24-28, 2000
Deadline for submissions: February 1, 2000
London, UK
Contact: John Lloyd <>
|
|
ILP2000
Conference
The Tenth International Conference on Inductive Logic Programming
July 24-28, 2000
Deadline for submissions: March 29, 2000
London, UK
Contact: James Cussens / Alan Frisch <>
|
|
LOPSTR 2000
Workshop
Tenth International Workshop on Logic-based Program Synthesis and Transformation
July 24-28, 2000
Deadline for submissions: April 21, 2000
London, UK
Contact: Kung-Kiu Lau <>
|
|
ICoS-2
Seminar
Inference in Computational Semantics
July 29-30, 2000
Deadline for submissions: April 15, 2000
Dagstuhl, Germany
Contact: Johan Bos/Michael Kohlhase <>
|
|
COLING 2000
Conference
The International Conference on Computational Linguistics
July 29 - August 6, 2000
Deadline for submissions: January 15, 2000
Nancy, Saarbrücken, Luxembourg, France, Germany, Luxemburg
Contact: Hans Uszkoreit <>
|
|
AAAI 2000
Conference
National Conference on Twelfth Innovative Applications of AI Conference
July 30 - August 2, 2000
Deadline for submissions: January 18, 2000
Austin, Texas, USA
Contact: Henry A. Kautz <>
|
|
IAAI 2000
Conference
Twelfth Innovative Applications of AI Conference
July 31 - August 2, 2000
Deadline for submissions: January 18, 2000
Austin, Texas, USA
Contact: IAAI 2000 <>
|
|
COLING 2000
Workshop
Workshop on Semantic Annotation and Intelligent Content
August 5-6, 2000
Deadline for submissions: May 8, 2000
Luxembourg, Luxembourg
Contact: Paul Buitelaar <>
|
|
LINC-2000
Workshop
Linguistically Interpreted Corpora
August 6, 2000
Deadline for submissions: April 30, 2000
Luxembourg, Luxemburg
Contact: Thorsten Brants <>
|
|
ESSLLI2000
Summer School
12th European Summer School in Logic, Language and Information
August 6-18, 2000
Deadline for submissions: July 4, 1999
Birmingham, UK
Contact: Enrico Franconi <>
|
|
ESSLLI-2000
Workshop
Twelfth European Summer School in Logic, Language and Information. Workshop on Hybrid Logics
August 14-18, 2000
Deadline for submissions: June 1, 2000
Birmingham, Great Britain
Contact: Carlos Areces <>
|
|
EASSS 2000
Summer School
Second European Agent Systems Summer School
August 14-18, 2000
Deadline for submissions: June 13, 2000
Saarbruecken, Germany
Contact: EASSS 2000 </easss/>
|
|
WoLLIC'2000
Workshop
7th Workshop on Logic, Language, Information and Computation
August 15-18, 2000
Deadline for submissions: May 7, 2000
Natal, Brazil
Contact: Ruy de Queiroz <>
|
|
DL2000
Workshop
2000 International Workshop on Description Logics
August 17-19, 2000
Deadline for submissions: May 1, 2000
Aachen, Germany
Contact: Carsten Lutz <>
|
|
ECAI 2000
Conference
14th European Conference on Artificial Intelligence
August 20-25, 2000
Deadline for submissions: November 1, 1999
Berlin, Germany
Contact: Marie-Odile Cordier <>
|
|
Scientific Reasoning
Workshop
Scientific Reasoning in AI and Philosophy of Science - ECAI 2000 WS
August 21, 2000
Deadline for submissions: April 7, 2000
Berlin, Germany
Contact: David Pearce <>
|
|
KRDB-2000
Workshop
7th International Workshop on Knowledge Representation meets Databases
August 21-22, 2000
Deadline for submissions: March 20, 2000
Berlin, Germany
Contact: Ulrike Sattler <>
|
|
CSL 2000
Conference
Annual Conference of the EuropeanAssociation for Computer Science Logic
August 21-26, 2000
Deadline for submissions: January 31, 2000
Fischbachau/Munich, Germany
Contact: CSL 2000 <>
|
|
PAIS-2000
Conference
Prestigious Applications of Intelligent Systems
August 23-25, 2000
Deadline for submissions: February 2, 2000
Berlin, Germany
Contact: Werner Horn <>
|
|
AADEBUG'2000
Workshop
Fourth International Workshop on Automated Debugging
August 28-30, 2000
Deadline for submissions: March 31, 2000
Munich, Germany
Contact: Mireille Ducassé <>
|
|
PRICAI 2000
Conference
Sixth Pacific Rim International Conference on Artificial Intelligence
August 28 - September 1, 2000
Deadline for submissions: February 11, 2000
Melbourne, Victoria, Australia
Contact: Marg Scarlett <>
|
|
ISCL 2000
Summer School
International Summer School in Computational Logic
September 3-8, 2000
Deadline for submissions: June 1, 2000
Acquafredda di Maratea, Italy
Contact: Sandro Etalle <>
|
|
ANTS'2000
Workshop
From Ant Colonies to Artificial Ants: Second International Workshop on Ant Algorithms
September 8-9, 2000
Deadline for submissions: April 15, 2000
Brussels, Belgium
Contact: ANTS'2000 <>
|
|
ASE'00
Conference
Automated Software Enigneering - 15th IEEE Conference
September 11-15, 2000
Deadline for submissions: March 31, 2000
Grenoble, France
Contact: Yves Ledru <>
|
|
ASA/MA 2000
Symposium
Second Int. Symposium on Agent Systems and Applications together with Fourth International Symposium on Mobile Agents
September 13-15, 2000
Deadline for submissions: March 3, 2000
Zurich, Switzerland
Contact: Moira Norrie <>
|
|
TSD 2000
Workshop
Third International Workshop on Text, Speech and Dialogue
September 13-16, 2000
Deadline for submissions: March 10, 2000
Brno, Czech Republic
Contact: TSD 2000 <>
|
|
ICFP 2000
Conference
International Conference on Functional Programming
September 18-20, 2000
Deadline for submissions: March 1, 2000
Montreal , Canada
Contact: Martin Odersky <>
|
|
PLI 2000
Workshop
Principles, Logics, and Implementations of high-levelProgramming Languages
September 18-23, 2000
Deadline for submissions: January 7, 2000
Montreal, Canada
Contact: Amy Felty <>
|
|
TAPD2000
Seminar
2nd Workshop on Tabulation in Parsing and Deduction
September 19-21, 2000
Deadline for submissions: April 28, 2000
Vigo, Spain
Contact: TAPD'2000 Secretariat <>
|
|
PPDP 2000
Conference
ACM Sigplan 2nd International Conference on Principlesand Practice of Declarative Programming
September 20-22, 2000
Deadline for submissions: March 1, 2000
Montreal, Canada
Contact: PPDP 2000 <>
|
|
JELIA '2000
Workshop
7th European Workshop on Logics in AI
September 29 - October 1, 2000
Deadline for submissions: May 7, 2000
Malaga, Spain
Contact: Inma P. de Guzmán <>
|
|
ACL-2000
Conference
38th Annual Meeting of the Association for Computational Linguistics
October 3-6, 2000
Deadline for submissions: April 7, 2000
Hong Kong, China
Contact: ACL-2000 <>
|
|
AiML-ICTL 2000
Conference
Advances in Modal Logic - International Conferenceon Temporal Logic 2000
October 4-7, 2000
Deadline for submissions: May 15, 2000
Leipzig, Germany
Contact: Frank Wolter <>
|
|
ICSM 2000 SV
Conference
International Conference on Software Maintenance 2000 in Silicon Valley
October 11-14, 2000
Deadline for submissions: February 1, 2000
San Jose, USA
Contact: Norm Schneidewind <>
|
|
FQAS2000
Conference
Fourth International Conference on Flexible Query Answering Systems
October 25-27, 2000
Deadline for submissions: March 20, 2000
Warsaw, Poland
Contact: K. Warzywoda / A. Józwiak <>
|
|
ICCI'2000
Conference
The Tenth International Conference on Computing and Information
November 18-21, 2000
Deadline for submissions: March 1, 2000
Kuwait, Kuwait
Contact: Mohammed Almulla <>
|
[an error occurred while processing this directive]
last revised by
Webadmins
:
| P.Franke, Sep.'99
|
