coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Call for participation: CICM 2011, Bertinoro, Italy, July 18-23, 2011.

From: Josef Urban <josef.urban AT gmail.com>
To: isabelle-users <isabelle-users AT cl.cam.ac.uk>, hol-info AT lists.sourceforge.net, lfcs-interest AT dcs.ed.ac.uk, coq-club AT inria.fr, types-list AT lists.seas.upenn.edu, twelf-list AT itu.dk, metaprl-users AT metaprl.org, types AT lists.chalmers.se, theorem-provers AT ai.mit.edu, ki-inf AT uni-koblenz.de, kr AT kr.org, lics AT informatik.hu-berlin.de, math.logik AT gmx.net, theory-logic AT cs.cmu.edu
Subject: [Coq-Club] Call for participation: CICM 2011, Bertinoro, Italy, July 18-23, 2011.
Date: Fri, 24 Jun 2011 17:46:55 +0200
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:date:message-id:subject:from:to:content-type :content-transfer-encoding; b=cTmrGEpCZpQ17kRdoLsVMNQk2NVY0uzceLHjRn48g8FOC6hqMO/i9hm6SLtbHf4grW N4beZG/KWi431fMD+8hT6BvkBoknfm3icigq6dVKTA1JmYfe8Sk2KVTDulHMMM4aDHtX dENgr0KKizTtJo0k/+VzI5HtLDsNMm/+nZb+0=

We are pleased to announce that the 2011 Conference on Intelligent
Computer Mathematics will take place at the Residential Centre of the
University of Bologna located in Bertinoro, Italy, July 18-23, 2011.
Bertinoro is a walled village on a hill about an hour away from
Bologna. The conference will take place in part of a small 1000-year
old castle.

This continues the CICM series begun with the successful CICM 2008 in
Birmingham, England, CICM 2009 in Grand Bend, Ontario, Canada, and
CICM 2010 in Paris, France.

Please visit �http://cicm11.cs.unibo.it for general information, and
http://cicm11.cs.unibo.it/cicm11/cicm-schedule.html for the conference
program.

The Conference on Intelligent Computer Mathematics consists of several tracks:

- Mathematical Knowledge Management track (taking in heritage the MKM
conference tradition)

- Calculemus track (taking in heritage the Calculemus conference tradition)

- System & Project track

Associated Workshops are:

- 4rd Workshop, Towards a Digital Mathematics Library (DML 2011)
- 24rd Workshop on OpenMath (OpenMath)

Social Events

- Conference reception on Sunday 17
- Excursion at Urbino & Social Dinner on Thursday 21

We are looking forward to see you in Bertinoro!

James Davenport, General Chair
Andrea Asperti, Conference Organizer
William Farmer, Calculemus Track Chair
Florian Rabe, MKM Track Chair
Josef Urban, Systems and Projects Track Chair

[Coq-Club] Call for participation: CICM 2011, Bertinoro, Italy, July 18-23, 2011., Josef Urban