CiE 2007 - Final call for Participation

CiE 2007 - Final call for Participation

Post by S B Coope » Sat, 19 May 2007 01:21:22


CiE 2007

Computability in Europe 2007: Computation and Logic in the Real World
University of Siena
Siena, 18-23 June 2007


CiE 2007 will address various aspects of the ways computability and
theoretical computer science enable scientists and philosophers to deal
with mathematical and real world issues, ranging through problems related
to logic, mathematics, physical processes, natural computing, real
computation and learning theory.

The CiE conference series has become a primary focus for basic and
applied research into a full range of computability related issues,
and CiE is the largest such international meeting.


Siena is one of Italy's best preserved medieval towns, located in the
heart of Tuscany. Siena, built on three hills and surrounded by well
preserved walls, is filled with fine examples of Gothic architecture and
has one of the world's most unique piazzas - il Campo, where the
world-famous Palio takes place.

CiE 2007 takes place just 6 days before the start of the Palio on
29 June, 2007.

SPONSORS OF CiE 2007: AILA (Associazione Italiana di Logica e
Applicazioni), EATCS (European Association for Theoretical Computer
Science), ASL (Association for Symbolic Logic), EACSL (European Association
for Computer Science Logic), FoLLI (The Association of Logic, Language
and Information), GNSAGA-INdAM (Gruppo Nazionale per le Strutture
Algebriche e Geometriche e loro Applicazioni-Istituto NAzionale di
Alta Matematica), Banca Monte Dei Paschi Di Siena, and The
University of Siena.

CiE 2007 will be co-located with CCA 2007, the annual CCA (Computability
and Complexity in Analysis) Conference (Siena, College Santa Chiara,
June 16-18, 2007):