Conferences

Conference organizers and conference lists

KR (Int Conf on Knowledge Representation and Reasoning)

TARK (Int Conf on Theoretical Aspects of Rationality and Knowledge)

AAAI

IJCAI (Int Joint Conf on Artificial Intelligence)

LICS (= Logic in Computer Science) list of logic-related conferences in Computer Science. To include a conference in this list, click here.

Forthcoming conferences

International Conference on Software Engineering. (March, 1996). For more information access to icse18@informatik.uni-kl.de.

TARK VI (Int Conf on Theoretical Aspects of Rationality and Knowledge). 17-20 March, 1996 in De Zeeuwse Stromen, Netherlands.

TIME-96; Third International Workshop on Temporal Representation and Reasoning, 1996. 19 May, 1996, Key West, Florida. Submission deadline has been extended to December 13.

Formal and Appied Practical Reasoning. 3-7 June 1996, Bonn, Germany. Due date 1 December 1995.

IEA-AIE 1996: International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. 4-7 June, 1996, Fukuoka, Japan. Due date 8 November, 1995.

WOCFAI 95 Second World Conference on the Fundamentals of Artificial Intelligence. 3-7 July, 1996, Paris, France. Due date 15 January 1996.

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. Due date 10 January 1996.

KR 1996. 5-8 November 1996. Due date 6 May 1996.

Past conferences

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)

German AI Conference 1995

Common Sense 96. Logical Formalizations of Commonsense Reasoning. 6-8 January 1996, Stanford, California. Last-minute information.

Fifth International World Wide Web Conference 6-11 May 1996, Paris, France.