coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] AIMSA 2012 Second call for papers

From: Allan Ramsay <allan.ramsay AT cs.man.ac.uk>
To: AIAI AT LISTSERV.HEANET.IE, ProofTheory.List AT Gmail.com, THEORY-A AT LISTSERV.NODAK.EDU, asian-logic AT logic.jaist.ac.jp, cl AT ps.uni-sb.de, concurrency AT cwi.nl, coq-club AT inria.fr, dl AT dl.kr.org, fcs-interest AT dcs.ed.ac.uk, fm-announcements AT lists.nasa.gov, fm-discussion AT cs.man.ac.uk, isabelle-users AT cl.cam.uc.uk, "Koutsantoni, Katerina" <katerina.koutsantoni AT kcl.ac.uk>, kgs AT logic.at, kr AT kr.org, lics AT informatik.hu-berlin.de, linear AT cs.stanford.edu, logic-list AT Helsinki.FI, logic-list AT cs.rice.edu, logic-ml AT logic.jaist.ac.jp, logic AT math.uni-bonn.de, martingi AT ifi.uio.no, ontolog-forum AT ontolog.cim3.net, ontology AT buffalo.edu, prolog AT cs.umn.edu, protege-discussion AT list.stanford.edu, protege-owl AT lists.stanford.edu, public-owl-dev AT w3.org, public-semweb-lifesci AT w3.org, public-sparql-dev AT w3.org, pvs-announce AT csl.sri.com, rewriting AT ens-lyon.fr, semantic-web AT w3.org, semantic_web AT googlegroups.com, types-announce AT lists.seas.upenn.edu, types AT lists.chalmers.se, www-rdf-logic AT w3.org, www-rdf-rules AT w3.org, planetkr AT kr.org
Subject: [Coq-Club] AIMSA 2012 Second call for papers
Date: Thu, 17 May 2012 16:15:38 +0100

SECOND CALL FOR PAPERS

The 15th International Conference on "Artificial Intelligence: Methodology, Systems, Applications: AIMSA 2012"

and

"International Workshop on Advances in Robot learning and Human-Robot Interaction"

Varna, Bulgaria, 12-15th September, 2012, http://www.aimsaconference.org

**** Submission deadline: June 03, 2012 ****
**** Proceedings published by Springer/LNCS ****

The AIMSA conference series has provided a biennial forum for the presentation of Artificial intelligence research and development since 1984. The conference, which is held in Bulgaria, covers the full range of topics in Artificial Intelligence and related disciplines and provides an ideal forum for international scientific exchange between Central/Eastern Europe and the rest of the world.

[Coq-Club] AIMSA 2012 Second call for papers, Allan Ramsay, 05/17/2012