Eventos

Artificial Intelligence

AAAI'10, 24th Conference on Artificial Intelligence, July 11-15, 2010, Atlanta, Georgia, USA [deadline 19/01/2010]
ECAI'10, 19th European Conference on Artificial Intelligence, August 16-20 2010, Lisbon, Portugal [deadline 15/02/2010]
KR'10, 12th International Conference on Principles of Knowledge Representation and Reasoning, May 9-13, Toronto, Canada [deadline 20/11/2009]
ICAPS'10, 20th International Conference on Automated Planning and Scheduling, May 12-16, Toronto, Canada [deadline 18/12/2009]
JELIA'10, European Conference on Logics in Artificial Intelligence [t.b.a]

Neural Networks

Computational Logic

FLoC'10 (Federated Logic Conference). July 9-21 2010, Edinburgh, UK
- IJCAR'10, 6th International Joint Conference on Automated Reasoning [deadline 15/01/10]

Formal Methods / Distributed Systems

CAV'10, 21st International Conference on Computer Aided Verification (inside FLoc'10)

Logic Programming

ICLP'10 25th Intl. Conf. on Logic Programming (inside FLoc'10) [deadline 26/01/10]

Information Management

ECIR'10, 32nd European Conference on Information Retrieval Research (ECIR), March 28-31, Milton Keynes, UK [deadline closed]
SIGIR'10, 31st Annual International ACM SIGIR Conference (SIGIR), July 18-23, Geneva, Switzerland [t.b.a.]
JCDL'10, ACM IEEE Joint Conference on Digital Libraries (JCDL), June 15-19, Brisbane, Australia [15/01/2010]

Computational Linguistics

ACL 2010 The 48th Annual Meeting of the Association for Computational Linguistics. July 11–16 2010. Uppsala, Sweden.
NAACL HLT 2010 Human Language Technologies: The 11th Annual Conference of the North American Chapter of the Association for Computational Linguistics. June 1–6, 2010. Los Angeles, USA.
COLING 2010 The 23rd International Conference on Computational Linguistics. August 23-27th 2010. Beijing, China.
CICLING 2010 11th International Conference on Intelligent Text Processing and Computational Linguistics. March 21-27 2010. Iasi, Romania.

Languages