Computability in Europe 2013: The Nature of Computation

-------------------------------------------------------------------------=
---
=A0 =A0 =A0 =A0P R E L I M I N A R Y =A0 =A0 A N N O U N C E M E N T
=A0 =A0 =A0COMPUTABILITY IN EUROPE 2013: The Nature of Computation
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0Milan, Italy
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0July =A01 - 5, 2013
=A0 =A0 =A0 =A0 =A0 =A0 =A0http://cie2013.disco.unimib.it
-------------------------------------------------------------------------=
---

CiE 2013 is the ninth conference organized by CiE (Computability in Europ=
e),
a European association of mathematicians, logicians, computer scientists,
philosophers, physicists and others interested in new developments in
computability and their underlying significance for the real world. Previ=
ous
meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (200=
7),
Athens (2008), Heidelberg (2009), Ponte Dalgada (2010), Sofia (2011) and
Cambridge (2012). Please mark the conference dates in your agendas for 20=
13.

INVITED SPEAKERS

Ulle Endriss (University of Amsterdam)
Lance Fortnow (Georgia Institute of Technology)
Bernard Moret (Ecole Polytechnique F=E9d=E9rale de Lausanne)
Mariya Soskova (Sofia University)
Endre Szemer=E9di (Hungarian Academy of Sciences, Rutgers University)

TUTORIAL SPEAKERS

Gilles Brassard (Universit=E9 de Montr=E9al)
Grzegorz Rozenberg (Leiden Institute of Advanced Computer Science and
University of Colorado Boulder)

SPECIAL SESSIONS on

Algorithmic Randomness
=A0 =A0 =A0 =A0 =A0organizers: Mathieu Hoyrup, Andre Nies
Data Streams and Compression
=A0 =A0 =A0 =A0 =A0organizers: Paolo Ferragina, Andrew McGregor
Computational Complexity in the Continuous World
=A0 =A0 =A0 =A0 =A0organizers: Akitoshi Kawamura, Robert Rettinger
Computational Molecular Biology
=A0 =A0 =A0 =A0 =A0organizers: Alessandra Carbone, Jens Stoye
Computation in Nature
=A0 =A0 =A0 =A0 =A0organizers: Mark Delay, Natasha Jonoska
History of Computation
=A0 =A0 =A0 =A0 =A0organizers: Gerard Alberts, Liesbeth De Mol

=A0The Nature of Computation is meant to emphasize the special focus of C=
iE
2013 on the unexpected and strong changes that studies on Nature have
brought in several areas of mathematics, physics, and computer science.
Starting from Alan Turing, research on Nature with a computational
perspective has produced novel contributions, giving rise even to new
disciplines.

=A0Two complementary research perspectives pervade the Nature of Computat=
ion
=A0theme. One is focused on the understanding of new computational paradi=
gms
=A0inspired by the processes occurring in the biological world, while foc=
using
=A0on a deeper and modern understanding of the theory of computation.

=A0The other perspective is on our understanding of how computations real=
ly
=A0occur in Nature, on how we can interact with those computations, and o=
n
=A0their applications.

=A0The conference will address all these aspects besides the more establi=
shed
=A0lines of research of Computational Complexity and the interplay betwee=
n
=A0Proof Theory and Computation.

=A0Novel views that rely on physical and biological processes and models =
to
=A0find new ways of tackling computations and improving their efficiency =
are
=A0welcome. =A0Also, massive data analysis and computations are a recent =
subject
=A0of attention, since the most recent technologies produce huge amounts =
of
=A0data, and managing such data requires some theoretical frameworks.

=A0In all cases we are looking for fundamental and theoretical submission=
s. In
=A0line with other conferences in this series, CiE 2013 has a broad scope=
 and
=A0provides a forum for the discussion of theoretical and practical issue=
s in
=A0Computability with an emphasis on new paradigms of computation and the
=A0development of their mathematical theory.

=A0We particularly invite papers that build bridges between different par=
ts of
=A0the research community.

=A0The PROGRAMME COMMITTEE consists of:

=A0 =A0 =A0Gerard Alberts (Amsterdam)
=A0 =A0 =A0Luis Antunes (Porto)
=A0 =A0 =A0Arnold Beckmann (Swansea)
=A0 =A0 =A0Laurent Bienvenu (Paris)
=A0 =A0 =A0Paola Bonizzoni (Milan, co-chair)
=A0 =A0 =A0Vasco Brattka (Muenchen and Cape Town, co-chair)
=A0 =A0 =A0Cameron Buckner (Houston TX)
=A0 =A0 =A0Bruno Codenotti (Pisa)
=A0 =A0 =A0Stephen Cook (Toronto ON)
=A0 =A0 =A0Barry Cooper (Leeds)
=A0 =A0 =A0Ann Copestake (Cambridge)
=A0 =A0 =A0Erzsebet Csuhaj-Varju (Budapest)
=A0 =A0 =A0Anuj Dawar (Cambridge)
=A0 =A0 =A0Gianluca Della Vedova (Milan)
=A0 =A0 =A0Liesbeth De Mol (Gent)
=A0 =A0 =A0Jerome Durand-Lose (Orleans)
=A0 =A0 =A0Viv Kendon (Leeds)
=A0 =A0 =A0Bjoern Kjos-Hanssen (Honolulu, HI)
=A0 =A0 =A0Antonina Kolokolova (St. John's, NF)
=A0 =A0 =A0Benedikt Loewe (Amsterdam & Hamburg)
=A0 =A0 =A0Giancarlo Mauri (Milan)
=A0 =A0 =A0Rolf Niedermeier (Berlin)
=A0 =A0 =A0Geoffrey Pullum (Edinburgh)
=A0 =A0 =A0Nicole Schweikardt (Frankfurt)
=A0 =A0 =A0Sonja Smets (Amsterdam)
=A0 =A0 =A0Susan Stepney (York)
=A0 =A0 =A0S. P. Suresh (Chennai)
=A0 =A0 =A0Peter van Emde Boas (Amsterdam)

=A0In a Call for Papers to be sent out in October 2012, the PC will invit=
e all
=A0researchers in the area of the conference to submit their papers for
=A0presentation at CiE 2013. The best of the accepted papers will be publ=
ished
=A0in the conference proceedings within the Lecture Notes in Computer Sci=
ence
=A0(LNCS) series of Springer, which will be available at the conference.

=A0______________________________________________________________________=
____

=A0 ASSOCIATION COMPUTABILITY IN EUROPE =A0 =A0 =A0http://www.computabili=
ty.org.uk
=A0 CiE Conference Series =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0http://w=
ww.illc.uva.nl/CiE
=A0 CiE 2013 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =
=A0 http://cie2013.disco.unimib.it
=A0 CiE Membership Application Form =A0 =A0 =A0 =A0 =A0http://www.cs.swan=
.ac.uk/acie
=A0______________________________________________________________________=
____

-------------------------------------------------------------------------=
-
mercury-ads mailing list
post:  [email protected]
administrative address: [email protected]
unsubscribe: Address: [email protected] Message: un=
subscribe
subscribe:   Address: [email protected] Message: su=
bscribe
-------------------------------------------------------------------------=
-