This file contains summary information about conferences from January 1994 and onward. ---------------------------------------------------------------- Title: Dates: Deadline: Contact: ---------------------------------------------------------------- Title: Artificial Intelligence and Mathematics Type: Symposium Dates: January 2-5, 1994 (Pier 66 Resort, Fort Lauderdale, Florida) Deadline: July 30, 1993 (abstracts); September 30, 1993 (notification) Contact: hoffman@acc.fau.edu ---------------------------------------------------------------- Title: Session on Knowledge-Based Systems In Engineering (part of the Energy-sources Technology Conference & Exhibition) Dates: January 23-26, 1994 (Clarion Hotel, New Orleans, LA) Deadline: August 15, 1993 (papers); September 12, 1993 (notification); October 10, 1993 (final camera-ready copy) Contact: sullins@seas.smu.edu (session info); tanik@seas.smu.edu (symposium info) ---------------------------------------------------------------- Title: CAIA-94 Tenth IEEE Conference on Artificial Intelligence for Applications: Developing Enabling Technologies and Integrating AI into Application Solutions Dates: March 1-4, 1994 (Marriott Riverwalk, San Antonio, Texas) Deadline: August 31, 1993 (papers); October 15, 1993 (notification); December 14, 1993 (final papers). Contact: pgs@research.att.com (papers and proposals); IEEE Computer Society, 202-371-1013 (registration) ---------------------------------------------------------------- Title: TARK-94 Fifth Conference on Theoretical Aspects of Reasoning about Knowledge Dates: March 13-16, 1994 (Asilomar Conference Center, Pacific Grove, CA) Deadline: September 7, 1993 (abstracts); November 10, 1993 (notification); December 15, 1993 (camera ready copy) Contact: fagin@almaden.ibm.com ---------------------------------------------------------------- Title: Artificial Intelligence in Medicine -- Interpreting Clinical Data Type: AAAI 1994 Spring Symposium Dates: March 21-23, 1994, Stanford University, Stanford, CA Deadline: October 15, 1993 (abstracts); November 15, 1993 (notification) January 31, 1994 (working papers) Contact: aim-94@camis.stanford.edu ---------------------------------------------------------------- Title: Toward Physical Interaction and Manipulation Type: AAAI 1994 Spring Symposium Dates: March 21-23, 1994, Stanford University, Stanford, CA Deadline: October 15, 1993 (papers); November 15, 1993 (notification) Register: March 1, 1994 Contact: swhitehead@gte.com or coombs@cme.nist.gov ---------------------------------------------------------------- Title: CIRFFSS-94 -- AIAA Conference on Intelligent Robots in Factory, Field, Space, and Service Dates: March 21-24, 1994 (Houston, Texas) Deadline: July 19, 1993 (abstracts); September 15, 1993 (notification); December 1, 1993 (final papers) Contact: lseidman@mitre.org (papers); erickson@aio.jsc.nasa.gov (info) ---------------------------------------------------------------- Title: Intelligent Autonomous Systems Symposium (part of the 12th European Meeting on Cybernetics and Systems Research) Dates: April 5-8, 1994 (University of Vienna) Deadline: October 8th, 1993 (papers) Contact: jr@ece.arizona.edu and hp@cast.uni-linz.ac.at ---------------------------------------------------------------- Title: Teaching and Language Corpora 94 Dates: April 11-13, 1994 (Lancaster University, Bailrigg, Lancaster, UK) Deadline: September 30, 1994 (abstracts); December 31, 1993 (papers) Contact: mcenery@uk.ac.lancs.comp ---------------------------------------------------------------- Title: FLAIRS-94 -- 7th Annual Florida AI Research Symposium Dates: May 5-7, 1994 (Pensacola Beach, Florida) Deadline: October 18, 1993 (abstracts); December 1993 (notification); February 14, 1994 (final camera-ready copy) Contact: ddd@panther.cis.ufl.edu (papers) acanas@ai.uwf.edu or kuncick@nu.cs.fsu.edu (general info) Workshops:Artificial Life and AI, phayes@cs.uiuc.edu Analogy & Computation, dietrich@bingsuns.cc.binghamton.edu Temporal Representation & Reasoning, Time94@cs.uregina.ca AI & Ethical Reasoning, khan@itd.nrl.navy.mil ---------------------------------------------------------------- Title: ICRA-94 -- IEEE International Conference on Robotics and Automation Dates: May 8-13, 1994 (Princess Resort, San Diego, CA) Deadline: October 1, 1993 (papers) Contact: hes@cat.rpi.edu (papers); gruver@sfu.ca (chair) ---------------------------------------------------------------- Title: The Ninth Annual Goddard Conference on Space Applications of Artificial Intelligence Dates: May 10-12, 1994 (NASA Goddard Space Flight Center, Greenbelt, MD) Deadline: September 20, 1993 (papers); October 8, 1993 (notification); December 3, 1993 (final camera ready copy) Contact: short@dunloggin.gsfc.nasa.gov ---------------------------------------------------------------- Title: CSCSI-94 -- Canadian Artificial Intelligence Conference Dates: May 16-20, 1994 (Banff Park Lodgem Banff, Alberta, Canada) Deadline: November 15, 1993 (papers); February 7, 1994 (notification); March 24, 1994 (final camera ready copy) Contact: Renee Elio, Computing Science Dept, University of Alberta, Edmonton, AB T6G 2H1 CANADA (papers) AI/GI/VI'94, Box 1098, Summerland, B.C. V0H 1Z0 CANADA (info) ---------------------------------------------------------------- Title: IWDL-94 -- International Workshop on Description Logics Dates: May 28-29, 1994 (Gustav Stresemann Institut in Bonn, Germany) after KR-94 Deadline: September 15, 1993 (interest); February 11, 1994 (position paper); March 4, 1994 (notification); April 1, 1994 (final copy) Contact: baader@informatik.rwth-aachen.de or lenzerini@assi.ing.uniroma1.it ---------------------------------------------------------------- Title: ICCC-94 -- International Conference on Chinese Computing Dates: June 1-4, 1994 (Singapore) Deadline: December 1, 1993 (papers); January 1, 1994 (notification); March 1, 1994 (final paper due) Contact: tanst@iscs.nus.sg (papers) ---------------------------------------------------------------- Title: ICLP-94 -- International Conference on Logic Programming Dates: June 13-18, 1994 (S. Margherita Ligure, Italy) Deadline: November 15, 1993 (papers); February 21, 1994 (notification); March 15, 1994 (final camera-ready copy) Contact: pvh@cs.brown.edu (papers) ---------------------------------------------------------------- Title: CKBS-94 -- Cooperating Knowledge Based Systems Dates: June 15-17, 1994 (University of Keele, England) Deadline: February 14, 1994 (abstracts); Contact: deen@cs.keele.ac.uk ---------------------------------------------------------------- Title: 2nd International Conference on AI Planning Systems Dates: June 15-17, 1994 (University of Chicago, Chicago, Illinois) Deadline: December 14, 1993 (papers); February 18, 1994 (notification); March 8, 1994 (camera ready copy) Contact: hammond@cs.uchicago.edu ---------------------------------------------------------------- Title: PEPM-94 -- Partial Evaluation & Semantics-Based Program Manipulation Dates: June 25, 1994 (Orlando, Florida) (Held in conjunction with PLDI and LFP) Deadline: February 7, 1994 (papers); April 12, 1994 (notification); May 23, 1994 (camera ready copy) Contact: sestoft@id.dth.dk or harald@cs.mu.oz.au ---------------------------------------------------------------- Title: LFP-94 -- 1994 ACM Conference on Lisp and Functional Programming Dates: June 27-29, 1994 (Orlando, Florida) Deadline: November 30, 1993 (papers); January 31, 1994 (notification); March 7, 1994 (final versions) Contact: lfp94@sail.stanford.edu ---------------------------------------------------------------- Title: LICS-94 -- Ninth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE Dates: July 4-7, 1994 (Paris, France) Deadline: December 13, 1993 (papers), February 21, 1994 (notification); April 15, 1994 (final papers due) Contact: felty@research.att.com, howe@research.att.com ---------------------------------------------------------------- Title: ECOOP-94 -- Eighth European Conference on Object-Oriented Programming Dates: July 4-8, 1994 (Bologna, Italy) Deadline: December 1, 1993 (papers); February 4, 1994 (notification); April 1, 1994 (final camera-ready copy) February 1, 1994 (tutorial and workshop proposals); March 15, 1994 (notification); May 15, 1994 (tutorial materials) Contact: mario@mt.cs.keio.ac.jp (papers); natali@deis33.cineca.it (tutorials) antonio@deis33.cineca.it or letizia@deis33.cineca.it (workshops) ECOOP94@deis33.cineca.it (general info) ---------------------------------------------------------------- Title: Artificial Life IV Type: Workshop Dates: July 6-8, 1994 (MIT, Cambridge, Massachusetts) Deadline: March 15, 1994 (papers); April 15, 1994 (notification); May 13, 1994 (final camera ready copy) Contact: alife@ai.mit.edu ---------------------------------------------------------------- Title: UAI-94 -- 10th Annual Conference on Uncertainty in AI Dates: July 29-31, 1994 (Seattle, Washington) Deadline: February 1, 1994 (papers); March 31, 1994 (notification) Contact: uai94@cs.ubc.ca (papers); heckerma@microsoft.com (info) ---------------------------------------------------------------- Title: AAAI-94 Twelfth National Conference on Artificial Intelligence Dates: July 31 -- August 4, 1994 (Seattle, Washington) Deadline: January 24, 1994 (papers); March 11, 1994 (notification) Contact: NCAI@aaai.org (registration info); send program suggestions to bhr@ksl.stanford.edu, korf@cs.ucla.edu, or hes@reagan.ai.mit.edu ---------------------------------------------------------------- Title: COLING-94 15th International Conference on Computational Linguistics Dates: August 5-9, 1994 (Miyako Hotel, Kyoto, Japan) Deadline: January 6, 1994 (papers); March 15, 1994 (notification); May 1, 1994 (final camera ready copy) Contact: coling94@pine.kuee.kyoto-u.ac.jp (info); coling@dcs.sheffield.ac.uk (papers) ---------------------------------------------------------------- Title: ILP-94 -- Fourth It'l Workshop on Inductive Logic Programming Dates: September 12-14, 1994 (Bad Honnef/Bonn, Germany) Deadline: May 31, 1994 (papers); July 15, 1994 (notification); August 9, 1994 (final camera-ready copy and early registration) Contact: ilp-94@gmd.de (papers and info) ----------------------------------------------------------------