From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 7B7D5820A1 for ; Mon, 26 Aug 2013 13:08:54 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of pmt6sbc@maths.leeds.ac.uk) identity=pra; client-ip=129.11.36.1; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="pmt6sbc@maths.leeds.ac.uk"; x-sender="pmt6sbc@maths.leeds.ac.uk"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of pmt6sbc@maths.leeds.ac.uk) identity=mailfrom; client-ip=129.11.36.1; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="pmt6sbc@maths.leeds.ac.uk"; x-sender="pmt6sbc@maths.leeds.ac.uk"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@amsta.leeds.ac.uk) identity=helo; client-ip=129.11.36.1; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="pmt6sbc@maths.leeds.ac.uk"; x-sender="postmaster@amsta.leeds.ac.uk"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqEAAKQ2G1KBCyQBjWdsb2JhbABAGoM8rlSTMxYOAQEBAQkWBxkjgiYiSwpDNHUFh2gMNJVEl3SJE48kGYVbA5FNhiFKi26HDIE8Ow X-IPAS-Result: AqEAAKQ2G1KBCyQBjWdsb2JhbABAGoM8rlSTMxYOAQEBAQkWBxkjgiYiSwpDNHUFh2gMNJVEl3SJE48kGYVbA5FNhiFKi26HDIE8Ow X-IronPort-AV: E=Sophos;i="4.89,957,1367964000"; d="scan'208";a="24780452" Received: from amsta.leeds.ac.uk ([129.11.36.1]) by mail3-smtp-sop.national.inria.fr with ESMTP; 26 Aug 2013 13:08:53 +0200 Received: from maths.leeds.ac.uk (localhost [127.0.0.1]) by amsta.leeds.ac.uk (8.14.1/8.14.1) with ESMTP id r7QB8nI5012601 for ; Mon, 26 Aug 2013 12:08:52 +0100 (BST) Received: (from pmt6sbc@localhost) by maths.leeds.ac.uk (8.14.1/8.13.4/Submit) id r7QB8Jp1011636 for caml-list@inria.fr; Mon, 26 Aug 2013 12:08:19 +0100 (BST) Date: Mon, 26 Aug 2013 12:08:19 +0100 (BST) From: S B Cooper Message-Id: <201308261108.r7QB8Jp1011636@maths.leeds.ac.uk> To: caml-list@inria.fr X-Validation-by: pmt6sbc@maths.leeds.ac.uk Subject: [Caml-list] CIE 2014: Language, Life, Limits. June 23-27, 2014, Budapest. Preliminary Announcement. ---------------------------------------------------------------- P R E L I M I N A R Y A N N O U N C E M E N T COMPUTABILITY IN EUROPE 2014: Language, Life, Limits Budapest, Hungary June 23 - 27, 2014 http://www.illc.uva.nl/CiE/index.php?page=22_8 ---------------------------------------------------------------- CiE 2014 is the tenth 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), Cambridge (2012), and Milan (2013). Please mark the conference dates in your agendas for 2014. CONFIRMED TUTORIAL SPEAKER Wolfgang Thomas (RWTH Aachen) CONFIRMED INVITED SPEAKERS Alessandra Carbone (Universite Pierre et Marie Curie and CNRS Paris) Maribel Fernandez (King's College London) Przemyslaw Prusinkiewicz (University of Calgary) Eva Tardos (Cornell University) Albert Visser (Utrecht University) SPECIAL SESSIONS on History and Philosophy of Computing organizers: Liesbeth de Mol, Giuseppe Primiero Computational Linguistics organizers: Maria Dolores Jimenez-Lopez, Gabor Proszeky Computability Theory organizers: Karen Lange, TBA Bio-inspired Computation organizers: Marian Gheorghe, Florin Manea Online Algorithms organizers: Joan Boyar, Csanad Imreh Complexity in Automata Theory organizers: Markus Lohrey, Giovanni Pighizzini The motto of CiE 2014 "Language, Life, Limits" intends to put a special focus on relations between computational linguistics, natural computing, and more traditional fields of computability theory. This is to be understood in its broadest sense including computational aspects of problems in linguistics, studying models of computation and algorithms inspired by physical and biological approaches as well as exhibiting limits (and non-limits) of computability when considering different models of computation arising from such approaches. As with previous CiE conferences, the allover glueing perspective is to strengthen the mutual benefits of analyzing traditional and new computational paradigms in their corresponding frameworks both with respect to practical applications and a deeper theoretical understanding. The conference will address these aspects besides the more established lines of research of Computational Complexity and the interplay between Proof Theory and Computation. Novel views that rely on physical and biological processes and models to find new ways of tackling computations and improving their efficiency are welcome. Also, massive data analysis and computations are a recent subject of attention, since the most recent technologies produce huge amounts of data, and managing such data requires some theoretical frameworks. In all cases we are looking for fundamental and theoretical submissions. In line with other conferences in this series, CiE 2014 has a broad scope and provides a forum for the discussion of theoretical and practical issues in Computability with an emphasis on new paradigms of computation and the development of their mathematical theory. We particularly invite papers that build bridges between different parts of the research community. The PROGRAMME COMMITTEE consists of: Gerard Alberts (Amsterdam) Sandra Alves (Porto) Hajnal Andreka (Budapest) Luis Antunes (Porto) Arnold Beckmann (Swansea) Laurent Bienvenu (Paris) Paola Bonizzoni (Milan) Olivier Bournez (Palaiseau) Vasco Brattka (Munich) Bruno Codenotti (Pisa) Barry Cooper (Leeds) Erzsebet Csuhaj-Varju (Budapest, co-chair) Michael J. Dineen (Auckland) Erich Graedel (Aachen) Marie Hicks (Chicago IL) Natasha Jonoska (Tampa FL) Jarkko Kari (Turku) Elham Kashefi (Edinburgh) Viv Kendon (Leeds) Satoshi Kobayashi (Tokyo) Andras Kornai (Budapest) Marcus Kracht (Bielefeld) Benedikt Loewe (Amsterdam & Hamburg) Klaus Meer (Cottbus, co-chair) Joseph R. Mileti (Grinnell IA) Georg Moser (Innsbruck) Benedek Nagy (Debrecen) Sara Negri (Helsinki) Thomas Schwentick (Dortmund) Neil Thapen (Prague) Peter van Emde Boas (Amsterdam) Xizhong Zheng (Glenside PA) In a Call for Papers to be sent out in October 2013, the PC will invite all researchers in the area of the conference to submit their papers for presentation at CiE 2014. The best of the accepted papers will be published in the conference proceedings within the Lecture Notes in Computer Science (LNCS) series of Springer, which will be available at the conference. ____________________________________________________________________ ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk CiE Conference Series http://www.illc.uva.nl/CiE CiE 2014 http://www.illc.uva.nl/CiE/index.php?page=22_8 CiE Membership Application Form http://www.cs.swan.ac.uk/acie Computability (Journal of CiE) http://www.computability.de/journal/ CiE on FaceBook https://www.facebook.com/AssnCiE Association CiE on Twitter https://twitter.com/AssociationCiE ____________________________________________________________________