Logic List Mailing Archive

CiE 2007, Computability in Europe

18-23 June 2007
Siena, Italy

************************************************************

                                CiE 2007
               http://www.mat.unisi.it/newsito/cie07.html

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

                      FINAL CALL FOR PARTICIPATION

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.

DEADLINE FOR EARLY REGISTRATION: May 18, 2007

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):
                     http://cca-net.de/cca2007/

************************************************************