2005, September 14-17, Koblenz, Germany. Theoretical foundations, implementation, development and applications of the mechanization of reasoning with tableaux and related methods. http://tableaux2005.uni-koblenz.de/
2003, October 13-17. Beijing, China. An IEEE/WIC conference on web and agent intelligence. Submission deadline 20 March 2003. http://www.comp.hkbu.edu.hk/IAT03/
2003, November 3-4, Eindhoven, The Netherlands. Ambient Intelligence can be defined as the merger of technology advancements in ubiquitous computing with new insights in intelligent user interaction concepts. http://www.eusai.net
2004, July 1-4, Banff, Canada. Theoretical modeling and analysis of all aspects of learning and empirical inference. Submission deadline 24 February 2004. http://learningtheory.org/colt2004/