From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 7469B7EDE3 for ; Tue, 16 Oct 2012 01:01:39 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of cie.conference.series@gmail.com) identity=pra; client-ip=209.85.223.194; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="cie.conference.series@gmail.com"; x-sender="cie.conference.series@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of cie.conference.series@gmail.com designates 209.85.223.194 as permitted sender) identity=mailfrom; client-ip=209.85.223.194; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="cie.conference.series@gmail.com"; x-sender="cie.conference.series@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ie0-f194.google.com) identity=helo; client-ip=209.85.223.194; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="cie.conference.series@gmail.com"; x-sender="postmaster@mail-ie0-f194.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsEXAOCUfFDRVd/Cbmdsb2JhbABFvwsDfQgjDQkMBhYngjMGAgkjARsMEgMSEF0BEQEFAUkOh08BAw+abYJkCQOMJoJ2hRsKGScNWYh1AQUMi01Vgw+CWQOVbERRihGDKRYphAIO X-IronPort-AV: E=Sophos;i="4.80,590,1344204000"; d="scan'208";a="159136028" Received: from mail-ie0-f194.google.com ([209.85.223.194]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 16 Oct 2012 01:01:38 +0200 Received: by mail-ie0-f194.google.com with SMTP id 9so2976412iec.9 for ; Mon, 15 Oct 2012 16:01:36 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:date:message-id:subject:from:to:content-type :content-transfer-encoding; bh=WKzZVlP7B4GSUGPKOP0IKm/9ylbaNJt9mUfVumE8bAo=; b=V05gcHZk/AiHvwKQnsR/cSn+YLqFe9LzkWslhOEnBrcaPqSr3Bu9iiFFCjGE1BLVPm PJ5xecnObGVuYx/OH9MYBpKGX+o+JK8zOR9ibYrjbH7Dvd1ONg7gdU6U5BuYlIuKLFpF LU9S9SqpWYFHvJ3GwbFs9u1vqxlQdJP4F9xy+Bd6Z5Z4E7C+CaM5k+RPACEODW7BPyD/ B1DBQq49WLX3H1eagIhWH4Ua91OmzP6VT6EQGbyNM5PKt6dIfso+tlbuGQspsLWrku3Y Y1XYN5NIUzwMtYD1Cj1NHFgT+YOn+dJhYwz9cHCA8QZ9DckCktUF1Fv+6SHsQo80Py9x dHDQ== MIME-Version: 1.0 Received: by 10.50.220.161 with SMTP id px1mr10424346igc.27.1350341650081; Mon, 15 Oct 2012 15:54:10 -0700 (PDT) Received: by 10.64.53.68 with HTTP; Mon, 15 Oct 2012 15:54:10 -0700 (PDT) Date: Mon, 15 Oct 2012 23:54:10 +0100 Message-ID: From: CiE Conference Series To: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] 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 Europe), 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. Previous meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponte Dalgada (2010), Sofia (2011) and Cambridge (2012). Please mark the conference dates in your agendas for 2013. 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 CiE 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 Computation =A0theme. One is focused on the understanding of new computational paradigms =A0inspired by the processes occurring in the biological world, while focus= ing =A0on a deeper and modern understanding of the theory of computation. =A0The other perspective is on our understanding of how computations really =A0occur in Nature, on how we can interact with those computations, and on =A0their applications. =A0The conference will address all these aspects besides the more establish= ed =A0lines of research of Computational Complexity and the interplay between =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 su= bject =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 submissions.= In =A0line with other conferences in this series, CiE 2013 has a broad scope a= nd =A0provides a forum for the discussion of theoretical and practical issues = 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 parts= 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 invite = 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 publis= hed =A0in the conference proceedings within the Lecture Notes in Computer Scien= ce =A0(LNCS) series of Springer, which will be available at the conference. =A0________________________________________________________________________= __ =A0 ASSOCIATION COMPUTABILITY IN EUROPE =A0 =A0 =A0http://www.computability= .org.uk =A0 CiE Conference Series =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0http://www= .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.a= c.uk/acie =A0________________________________________________________________________= __