List maintained by LICS (= Logic in Computer Science).
KR (Int Conf on Knowledge Representation and Reasoning)
IJCAI (Int Joint Conf on Artificial Intelligence)
LICS (= Logic in Computer Science).
IJCAI 1997. 23-29 August 1997, Nagoya, Japan.
IJCAI 1997 workshop on "Nonmonotonic Reasoning, Action, and Change". 25 August, 1997, Nagoya, Japan. Due date: March 1.
Fourth European Conference on Planning ECP '97 (EWSP '97) 24-26 September 1997, Toulouse, France. Due date: 3 May 1997.
Logic in Computer Science. 29.6 - 2.7 1997, Warsaw, Poland. (Due date: 11.12 1996)
IJCAI 1997 workshop on "Programming in Temporal and Non Classical Logics". 25 August, 1997, Nagoya, Japan. Due date: March 1.
IJCAI 1997 workshop on "Using Abstraction and Reformulation in Analogy". 25 August, 1997, Nagoya, Japan. Due date: March 1.
TIME-96; Third International Workshop on Temporal Representation and Reasoning, 1996. 19 May, 1996, Key West, Florida.
Formal and Appied Practical Reasoning. 3-7 June 1996, Bonn, Germany.
IEA-AIE 1996: International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. 4-7 June, 1996, Fukuoka, Japan.
LOGIC IN COMPUTER SCIENCE Eleventh Annual IEEE Symposium. 27-30 July, 1996, New Brunswick, New Jersey, USA
ECAI 1996 12-16 August 1996, Budapest, Hungary.
KR 1996. 5-8 November 1996. Conference brochure in
AAAI 1995 Spring Symposium on Extending Theories of Action: Formal Theory and Practical Applications.To see symposium papers on-line, click here.
9th Workshop on Qualitative Reasoning, Amsterdam, May 1995.
IJCAI 1995 Workshop on NMR, Action, and Change. (Organized by Mary-Anne Williams)
Common Sense 96. Logical Formalizations of Commonsense Reasoning. 6-8 January 1996, Stanford, California. Last-minute information.
International Conference on Software Engineering. (March, 1996). For more information access to icse18@informatik.uni-kl.de.