LPAR

The 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning Stellenbosch

Submissions: Aug 02, 2013

http://www.LPAR-19.info

============================================================ The 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning ============================================================

Stellenbosch, South Africa, 14-19 December 2013 www.LPAR-19.info

The series of International Conferences on Logic for Programming, Artificial Intelligence [...]

LPAR-19

The 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning Stellenbosch

Submissions: Dec 14, 2013

http://www.LPAR-19.info

============================================================ The 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning ============================================================

Stellenbosch, South Africa, 14-19 December 2013 www.LPAR-19.info

This is the first call for papers for LPAR-19 and a call [...]

CLIMA XIV

14th International Workshop on Computational Logic in Multi-Agent Systems Corunna

Submissions: Jun 06, 2013

http://centria.di.fct.unl.pt/events/climaXIV/

++++++++++++++++++++++++++++++++++++++++++++++++++++

First Call for Papers

Special Session on Argumentation Technologies

CLIMA XIV – 14th International Workshop on Computational Logic in Multi-Agent Systems

http://centria.di.fct.unl.pt/events/climaXIV/

Corunna, Spain, September 16-17, 2013.

Co-located with LPNMR’13. Submission deadline: June [...]

CLIMA XIV

14th International Workshop on Computational Logic in Multi-Agent Systems Corunna

Submissions: Jun 10, 2013

http://centria.di.fct.unl.pt/events/climaXIV/

CLIMA XIV 14th International Workshop on Computational Logic in Multi-Agent Systems

with special sessions on: * Argumentation Technologies * Norms and Normative Multi-Agent Systems.

http://centria.di.fct.unl.pt/events/climaXIV/

Corunna, Spain, September 16-17, 2013.

Co-located with LPNMR’13. Submission deadline: June 10th (abstracts [...]

CLIMA XIV

14th International Workshop on Computational Logic in Multi-Agent Systems Corunna

Submissions: Jun 10, 2013

http://centria.di.fct.unl.pt/events/climaXIV/

Second Call for Papers

CLIMA XIV 14th International Workshop on Computational Logic in Multi-Agent Systems

with special sessions on: * Argumentation Technologies * Norms and Normative Multi-Agent Systems.

http://centria.di.fct.unl.pt/events/climaXIV/

Corunna, Spain, September 16-17, 2013.

[...]

2 year position as postdoctoral researcher

2 year position as postdoctoral researcher

Submissions: Aug 20, 2011

http://cl-informatik.uibk.ac.at

Within the ANR-FWF project STRUCTURAL there is a 2 year position as postdoctoral researcher

at the Computational Logic group of the Institute of Computer Science, University of Innsbruck, Austria. It might be possible to extend the position to a 3 year position. [...]

Manifesto of the IFCoLog Administration, Communication, and Donations Cooperative (IFCoLog ACDC).

IFColog ACDC is a new initiative designed to help groups in computational logic administer their finances.

1) Aims

1.1) The goal of the IFCoLog ACDC is to facilitate the cooperation of organisations in computational logic ─ which are members of IFCoLog ─ that wish to cooperate in the administration of their accounts [...]

Postdoc position

Postdoc position in programming languages and/or security Doha, Qatar

Submissions: 30 June 2010

http://www.qatar.cmu.edu/iliano/postdoc/

Carnegie Mellon University in Qatar invites applications for a two-year postdoctoral fellow position with expertise in one or more of the following areas:

Computational logic, specifically logical frameworks, logic programming or multiset rewriting, Theory of programming languages, specifically type [...]

EMCL: European Masters Programme in Computational Logic

The Faculty of Computer Science at the Free University of Bozen-Bolzano (FUB), in Italy (at the heart of the Dolomites mountains in South Tyrol), is offering the European Masters Program in Computational Logic as part of its Master of Science in Computer Science offer (Laurea Magistrale). The European Masters Program in Computational Logic is an [...]

Letter of Protest from the International Federation of Computational Logic

Dear Prof Jan Palmowski, Head of School for Arts and Humanities Prof Rich Trainor, Principal of Arts and Science Prof Keith Hoggart, Vice Principal of Arts and Sciences Mr Chris Mottershead, Vice Principal of Research and Innovation King’s College, London

I am writing to express the concern of the International Federation for Computational Logic for [...]