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. [...]

LMCS Special issue "Types for Proofs and Programs"

Logical Methods in Computer Science Special issue “Types for Proofs and Programs”

Submissions: 2nd May 2011

http://www.lmcs-online.org/ojs/information.php

Logical Methods in Computer Science Special issue “Types for Proofs and Programs” Call for Submissions (Deadline: May 2, 2011)

This special issue is devoted to the recent progress in the technology of formal methods: notably the [...]

1951 – 2011: 60 years of DEONTIC LOGIC

Special issue of Journal of Logic and Computation, corner on Deontic Logic and Normative Systems

Submissions: Sep 01, 2011

http://deonticlogic.org/

With his seminal paper “deontic logic” published in Mind in 1951, Von Wright launched the area of deontic logic. It is the field of logic that is concerned with obligation, permission, and related [...]

JAL

JOURNAL OF APPLIED LOGIC Special Issue on Automated Specification and Verification of Web Systems 6th June 2011

Submissions: 7th March 2011

http://www.risc.jku.at/people/tkutsia/jal-wwv.html

======================================================================== JOURNAL OF APPLIED LOGIC Special Issue on Automated Specification and Verification of Web Systems

http://www.risc.uni-linz.ac.at/people/tkutsia/jal-wwv.html

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

SCOPE —– This special issue of the Journal of Applied Logic is related to [...]

Doctoral Position

Doctoral Student Positions Available Design and Verification of Embedded Software Trento, Italy

Submissions: 16th March 2011 (13:00 GTM +1)

http://www.ict.unitn.it/

Doctoral Student Positions Available

Design and Verification of Embedded Software

Embedded System Research Unit Fondazione Bruno Kessler (formerly part of IRST – Centro per la Ricerca Scientifica e Tecnologica) Trento, Italy

Deadlines: March [...]

PhD Studentship in Communications

University of Bristol – Centre for Doctoral Training in CommunicationsSalary: Up to £18,000 [...]

Assistant Professor/Senior Lecturers and Lecturers in Computer Science, MIS

Jubail University College (JUC)Salary: uccessful candidates with single or married status are offered very attractive employment packages including a highly competitive tax-free salary, settling-in and transport allowances, excellent and free-of-charge… [...]

Database Designer – Database design and implementation (KTP Associate)

Aston UniversitySalary: £20,000 to £20,000. p.a. plus £5,000, individual training budget and higher degree registration. [...]