From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id C0332BBAF for ; Thu, 6 May 2010 15:51:46 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsgBAF9m4kuGZskSkWdsb2JhbACRNwEBjEYBAQkLCgcRBR29HIUTBA X-IronPort-AV: E=Sophos;i="4.52,341,1270418400"; d="scan'208";a="58808205" Received: from mailhost.informatik.uni-bremen.de (HELO informatik.uni-bremen.de) ([134.102.201.18]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 06 May 2010 15:51:46 +0200 X-Virus-Scanned: amavisd-new at informatik.uni-bremen.de Received: from gemini.informatik.uni-bremen.de (gemini.informatik.uni-bremen.de [134.102.204.70]) by informatik.uni-bremen.de (8.14.3/8.14.3) with ESMTP id o46DpgaO024317 for ; Thu, 6 May 2010 15:51:45 +0200 (CEST) Received: (from autexier@localhost) by gemini.informatik.uni-bremen.de (8.13.8+Sun/8.13.8/Submit) id o46Dpgcv018394; Thu, 6 May 2010 15:51:42 +0200 (CEST) Date: Thu, 6 May 2010 15:51:42 +0200 (CEST) Message-Id: <201005061351.o46Dpgcv018394@gemini.informatik.uni-bremen.de> From: Serge Autexier Subject: AISC'10: Call for Short Presentations To: caml-list@inria.fr X-Spam: no; 0.00; dfki:01 preceded:01 teaser:98 abstract:01 abstract:01 symbolic:01 symbolic:01 computation:01 computation:01 short:01 short:01 artificial:01 artificial:01 proceedings:02 authors:03 [We apologise if you receive multiple copies] CALL FOR PRESENTATIONS AISC 2010 - 10th International Conference on ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION Theory, Implementations and Applications http://cicm2010.cnam.fr/aisc/ CNAM, Paris, France, July 5th - July 6th, 2010 You are invited to submit a title and a short abstract proposing a presentation (short talk or poster) on work that addresses the main conference themes: the Integration and Combination of Symbolic Computation with Artificial Intelligence and Automated Reasoning. Proposals for presenting both mature work and work in progress are welcome. For more information on the topics of interest please see: http://cicm2010.cnam.fr/aisc/ Please submit title and abstract (up to 2 pages) to aisc2010_0@easychair.org and indicate your preferred presentation style (short talk or poster). Deadlines ========= Submission of title and abstracts: 28 May 2010 Notification of acceptance: 4 June 2010 The accepted work should be presented at the conference in a short talk of 15 minutes or as poster preceded by a 5 min teaser talk. The abstracts of the accepted presentations will be collected in informal proceedings and made available at the conference. Authors of accepted presentations will be invited to submit to a special issue in the Annals of Math and AI after the conference.