caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Serge Autexier <serge.autexier@dfki.de>
To: caml-list@inria.fr
Subject: AISC'10: Call for Short Presentations
Date: Thu, 6 May 2010 15:51:42 +0200 (CEST)	[thread overview]
Message-ID: <201005061351.o46Dpgcv018394@gemini.informatik.uni-bremen.de> (raw)

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


                 reply	other threads:[~2010-05-06 13:51 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=201005061351.o46Dpgcv018394@gemini.informatik.uni-bremen.de \
    --to=serge.autexier@dfki.de \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).