Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Call for participation: CICM 2011, Bertinoro, ...


view this post on Zulip Email Gateway (Aug 18 2022 at 17:50):

From: Josef Urban <josef.urban@gmail.com>
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:

Associated Workshops are:

Social Events

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


Last updated: Nov 21 2024 at 12:39 UTC