From: geoff@cs.miami.edu (Geoff Sutcliffe)
To: caml-list@inria.fr
Subject: Automated Reasoning in Mathematics
Date: Thu, 1 May 2008 08:56:27 -0400 (EDT) [thread overview]
Message-ID: <20080501125627.6FB9411F9BF@mcclellan.cs.miami.edu> (raw)
-------------------------------------------------------------------------------
The CICM Workshop on
Empirically Successful Automated Reasoning for Mathematics (ESARM)
Call for Papers - Submission Deadline - Monday 5th May
------------------------------------------------------
The CICM 2008 Workshop on Empirically Successful Automated Reasoning for
Mathematics (ESARM) will be held as part of the Conferences on Intelligent
Computer Mathematics, in Birmingham, United Kingdom, 26th July - 2nd August,
2008. See the WWW page ...
http://www.cs.miami.edu/~geoff/Conferences/ESARM/
This workshop will bring together practioners and researchers who are
concerned with the development and application of automated reasoning for
mathematics. The workshop will discuss only "really running" systems and
applications, and not theoretical ideas that have not yet been translated
into working software. More details are on the WWW page.
Submission of papers for presentation at the workshop, and proposals for
system and application demonstrations at the workshop, are now invited.
Submissions will be refereed, and a balanced program of high-quality
contributions will be selected. The selected contributions will be printed
as workshop proceedings, and will also be published electronically. The
submission deadline is 5th May, notification of acceptance is on 13th June,
and final versions are due 7th July. Submission details are on the WWW page.
We hope that you will submit a paper, and be part of ESARM.
-------------------------------------------------------------------------------
reply other threads:[~2008-05-01 12:58 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=20080501125627.6FB9411F9BF@mcclellan.cs.miami.edu \
--to=geoff@cs.miami.edu \
--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).