ICIEIS2014

The Third International Conference on Informatics Engineering and Information Science (ICIEIS2014) Lodz

Submissions: Aug 22, 2014

http://sdiwc.net/conferences/2014/icieis2014/

The Third International Conference on Informatics Engineering and Information Science (ICIEIS2014) Lodz University of Technology, Lodz, Poland September 22-24, 2014.

http://sdiwc.net/conferences/2014/icieis2014/

======================================================================== The proposed conference on the above theme will be held at Lodz University [...]

AI4FM 2014

the 5th International Workshop on the use of AI in Formal Methods Singapore

Submissions: Mar 01, 2014

http://www.ai4fm.org/ai4fm-2014/

————————————————- AI4FM 2014 – the 5th International Workshop on the use of AI in Formal Methods

http://www.ai4fm.org/ai4fm-2014/

Singapore, 12th or 13th May, 2014 In association with FM 2014 ————————————————- — First Call for Contributions [...]

BSI2013

The 2013 Interna​tional Workshop on B​ehavior and Social I​nformatics (BSI2013)​ Queensland

Submissions: Jan 06, 2013

http://pakdd2013.pakdd.org/

* Apologies if you received multiple copies of this announcement. * Kindly forward to those who may be interested. Thanks.

====================================================================================

BSI2013: Call for Papers (Due on January 06, 2013)

==================================================================================== The 2013 International Workshop on [...]

KI 2013

KI 2013 From Research to Innovation and Practical Applications 36th Annual Conference on Artificial Intelligence Koblenz

Submissions: Mar 15, 2013

http://ki2013.uni-trier.de

Betreff: KI 2013: Call for Papers, Workshops and Tutorials

====================================================

KI 2013 From Research to Innovation and Practical Applications 36th Annual Conference on Artificial Intelligence Koblenz, September 16-20, 2013

http://ki2013.uni-trier.de

[...]

CADE-24

CADE-24 – the 24th International Conference on Automated Deduction New York

Submissions: Mar 26, 2013

http://userpages.uni-koblenz.de/~sofronie/addct-2013/

Call for Papers

Workshops at CADE-24 — Lake Placid, New York, 9-10 June, 2013

Short CFPs for the following CADE-24 workshops are attached:

ADDCT – Automated Deduction: Decidability, Complexity, Tractability ARiSVe – Automated Reasoning in Software [...]

DKB 2013

4th Workshop on Dynamics of Knowledge and Belief Koblenz

Submissions: Jun 25, 2013

http://ki2013.uni-trier.de/

4th Workshop on

Dynamics of Knowledge and Belief ================================

http://www.fernuni-hagen.de/wbs/dkb2013.html

organized by the FG “Wissensrepraesentation und Schliessen” of the GI in cooperation with DFG Priority Program on New Frameworks of Rationality (SPP 1516)

Workshop at [...]

AIPR2014

The International Conference on Artificial Intelligence and Pattern Recognition Kuala Lumpur

Submissions: Oct 17, 2014

http://sdiwc.net/conferences/2014/aipr2014/

All accepted papers will be published in SDIWC Digital Library

Connect and Establish Enormous Influence in the World of Artificial Intelligence and Pattern Recognition.

JOIN the International Conference on Artificial Intelligence and Pattern Recognition (AIPR2014) on November [...]

CFP: AI 2013 in Dunedin, New Zealand, 3-6 Dec. 2013

CFP: 26th Australasian Joint Conference on Artificial Intelligence Dunedin

Submissions: Jul 01, 2013

http://ai2013.otago.ac.nz/

Call for Papers

26th Australasian Joint Conference on Artificial Intelligence (AI 2013) 3-6 December, 2013 Dunedin, New Zealand

http://ai2013.otago.ac.nz

Since the first AI Conference took place in Sydney in 1987, the series of annual Australasian Joint Conferences on Artificial [...]

IJCAI 2013

Weighted Logics for AI 2013 Beijng

Submissions: Apr 26, 2013

http://www.iiia.csic.es/wl4ai-2013/

===============================================================

IJCAI 2013 Workshop WL4AI

Weighted Logics for AI: logic, uncertain beliefs, preferences, partial truth

===============================================================

(3-5 August, 2013, Beijng, China)

* Web site: http://www.iiia.csic.es/wl4ai-2013/

* Second Call for Papers: ——————————- In the last decades there has been an explosion of logical [...]

ICCNDT 2012

The International Conference on Computing, Networking and Digital Technologies Gulf University, Sanad

Submissions: Sep 25, 2012

http://sdiwc.net/conferences/2012/bh/

The International Conference on Computing, Networking and Digital Technologies (ICCNDT 2012) Gulf University, Sanad, Bahrain Nov. 11-13, 2012

http://sdiwc.net/conferences/2012/bh/

The proposed conference on the above theme will be held at Gulf University, Sanad, Bahrain from Nov. [...]