From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 937347EE25 for ; Fri, 1 Nov 2013 23:39:15 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of cie.conference.series@gmail.com) identity=pra; client-ip=74.125.82.175; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="cie.conference.series@gmail.com"; x-sender="cie.conference.series@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of cie.conference.series@gmail.com designates 74.125.82.175 as permitted sender) identity=mailfrom; client-ip=74.125.82.175; receiver=mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-we0-f175.google.com) identity=helo; client-ip=74.125.82.175; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="cie.conference.series@gmail.com"; x-sender="postmaster@mail-we0-f175.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiEDADMsdFJKfVKvlGdsb2JhbABZgz+xVpATFg4BAQEBBwsUEiqCSSMBGwwFBQgDEm4RAQUBSQWHWwEDDwQBCJtpgwSMV4MKhA8KGScNZIkBAQUMjXgZhXADmFRlhQ6JYEGEUQ X-IPAS-Result: AiEDADMsdFJKfVKvlGdsb2JhbABZgz+xVpATFg4BAQEBBwsUEiqCSSMBGwwFBQgDEm4RAQUBSQWHWwEDDwQBCJtpgwSMV4MKhA8KGScNZIkBAQUMjXgZhXADmFRlhQ6JYEGEUQ X-IronPort-AV: E=Sophos;i="4.93,619,1378850400"; d="scan'208";a="40256131" Received: from mail-we0-f175.google.com ([74.125.82.175]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 01 Nov 2013 23:38:53 +0100 Received: by mail-we0-f175.google.com with SMTP id t61so118052wes.6 for ; Fri, 01 Nov 2013 15:39:15 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=date:from:to:subject:message-id:user-agent:mime-version :content-type; bh=5Qc5+TstvF74qnDrPujgJNBgU+odsVDWmc/+VUTCHOQ=; b=EyI7R0jaaFgt6FrISAvV6ejHxhkwOvMkOJmclyHW3ZGNsf/cg/8XQ4f6FDmqNRKobX wv09Jdd59nBJ/yChqzkzHI+a7ZJi7CJh08SFG1JNQaNfdsSUhOCyVsLocovSdqnXP4SE IFLjfpYcKhx5fnpRnJz4iuQQQ3/hgUaDwjMPys9f95dUupBpchXDOZui2925Rias75BX nDkJjoALGOatUN4WLtQGOC4caGrpm/YJna+IREOAR96YYRw4fuIO7o3Ql+2Rs4XAZ0Wz c+7mJEtSkVVw4lY1fTjntKDYGWcKWWPPoGB7r5DVzhEtpzbEMjVcB2gWS8mAHNo9NH/X eNhw== X-Received: by 10.194.93.105 with SMTP id ct9mr4096919wjb.6.1383345555101; Fri, 01 Nov 2013 15:39:15 -0700 (PDT) Received: from [192.168.1.6] (host-2-100-165-1.as13285.net. [2.100.165.1]) by mx.google.com with ESMTPSA id y11sm11644927wie.7.2013.11.01.15.39.13 for (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 01 Nov 2013 15:39:14 -0700 (PDT) Date: Fri, 1 Nov 2013 23:40:44 +0000 (GMT) From: CiE Conference Series To: caml-list@inria.fr Message-ID: User-Agent: Alpine 2.00 (LNX 1167 2008-08-23) MIME-Version: 1.0 Content-Type: MULTIPART/MIXED; BOUNDARY="-228847484-1549987844-1383349245=:3453" Subject: [Caml-list] CiE 2014: Language, Life, Limits. Call for Papers This message is in MIME format. The first part should be readable text, while the remaining parts are likely unreadable without MIME-aware tools. ---228847484-1549987844-1383349245=:3453 Content-Type: TEXT/PLAIN; format=flowed; charset=ISO-8859-15 Content-Transfer-Encoding: 8BIT CALL FOR PAPERS: CiE 2014: Language, Life, Limits Budapest, Hungary June 23 - 27, 2014 http://cie2014.inf.elte.hu IMPORTANT DATES: Submission Deadline for LNCS: 10 January 2014 Notification of authors: 3 March 2014 Deadline for final revisions: 31 March 2014 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). The motto of CiE 2014 "Language, Life, Limits" intends to put a special focus on relations between computational linguistics, natural and biological 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. TUTORIAL SPEAKERS: Wolfgang Thomas (RWTH Aachen) Peter Grünwald (CWI, Amsterdam) INVITED SPEAKERS: Lev Beklemishev (Steklov Mathematical Institute, Moscow) 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: History and Philosophy of Computing (organizers: Liesbeth de Mol, Giuseppe Primiero) Computational Linguistics (organizers: Maria Dolores Jiménez-López, Gábor Prószéky) Computability Theory (organizers: Karen Lange, Barbara Csima) Bio-inspired Computation (organizers: Marian Gheorghe, Florin Manea) Online Algorithms (organizers: Joan Boyar, Csanád Imreh) Complexity in Automata Theory (organizers: Markus Lohrey, Giovanni Pighizzini) CiE 2014 conference topics include, but not exclusively: * Admissible sets * Algebraic models of computation * Algorithms * Analog computation * Artificial intelligence * Automata theory * Bioinformatics and Bio-inspired computation * Bounded arithmetic * Classical computability and degree structures * Cognitive science and modelling * Complexity classes * Computability theoretic aspects of programs * Computable analysis and real computation * Computable structures and models * Computational and proof complexity * Computational biology * Computational creativity * Computational learning and complexity * Computational linguistics * Concurrency and distributed computation * Constructive mathematics * Cryptographic complexity * Decidability of theories * Derandomization * DNA computing * Domain theory and computability * Dynamical systems and computational models * Effective descriptive set theory * Emerging and non-standard models of computation * Finite model theory * Formal aspects of program analysis * Formal methods * Foundations of computer science * Games * Generalized recursion theory * History of computation * Hybrid systems * Higher type computability * Hypercomputational models * Infinite time Turing machines * Kolmogorov complexity * Lambda and combinatory calculi * L-systems and membrane computation * Machine learning * Mathematical models of emergence * Membrane computing * Molecular computation * Morphogenesis and developmental biology * Multi-agent systems * Natural computation * Neural nets and connectionist models * Philosophy of science and computation * Physics and computability * Probabilistic systems * Process algebras and concurrent systems * Programming language semantics * Proof mining and applications * Proof theory and computability * Proof complexity * Quantum computing and complexity * Randomness * Reducibilities and relative computation * Relativistic computation * Reverse mathematics * Semantics and logic of computation * Swarm intelligence and self-organisation * Type systems and type theory * Uncertain reasoning * Weak systems of arithmetic and applications We particularly welcome submissions in emergent areas, such as bioinformatics and natural computation, where they have a basic connection with computability. Contributed papers will be selected from submissions received by the PROGRAM COMMITTEE consisting of: * Gerard Alberts (Amsterdam) * Sandra Alves (Porto) * Hajnal Andréka (Budapest) * Luís Antunes (Porto) * Arnold Beckmann (Swansea) * Laurent Bienvenu (Paris) * Paola Bonizzoni (Milan) * Olivier Bournez (Palaiseau) * Vasco Brattka (Munich) * Bruno Codenotti (Pisa) * Barry Cooper (Leeds) * Erzsébet Csuhaj-Varjú (Budapest, co-chair) * Michael J. Dinneen (Auckland) * Erich Grädel (Aachen) * Marie Hicks (Chicago IL) * Natasha Jonoska (Tampa FL) * Jarkko Kari (Turku) * Elham Kashefi (Edinburgh) * Viv Kendon (Leeds) * Satoshi Kobayashi (Tokyo) * András Kornai (Budapest) * Marcus Kracht (Bielefeld) * Benedikt Löwe (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) The PROGRAMME COMMITTEE cordially invites all researchers (European and non-European) in computability related areas to submit their papers (in PDF format, max 10 pages using the LNCS style) for presentation at CiE 2014. The submission site https://www.easychair.org/conferences/?conf=cie2014 is open. For submission instructions consult http://cie2014.inf.elte.hu/?Submission_Instructions We particularly invite papers that build bridges between different parts of the research community. The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag. Contact: Erzsébet Csuhaj-Varjú - csuhaj[at]inf.elte.hu Website: http://cie2014.inf.elte.hu/ ---228847484-1549987844-1383349245=:3453--