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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 64049820A1 for ; Mon, 26 Aug 2013 16:51:27 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of cie.conference.series@gmail.com) identity=pra; client-ip=209.85.220.49; receiver=mail3-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 (mail3-smtp-sop.national.inria.fr: domain of cie.conference.series@gmail.com designates 209.85.220.49 as permitted sender) identity=mailfrom; client-ip=209.85.220.49; receiver=mail3-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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-pa0-f49.google.com) identity=helo; client-ip=209.85.220.49; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="cie.conference.series@gmail.com"; x-sender="postmaster@mail-pa0-f49.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvoCAG5qG1LRVdwxm2dsb2JhbABAGoM8UcAVgRkIFg4BAQEBAQYLCwkUIQeCSCMBGwwKCAMSEF0BEQEFASInBYdVAQMPDDSVcoMAjFCDBIQHChknDWSJAAEFDI8YGYE3hCQDkU2GIUqLboNBGCmDCoE8Ow X-IPAS-Result: AvoCAG5qG1LRVdwxm2dsb2JhbABAGoM8UcAVgRkIFg4BAQEBAQYLCwkUIQeCSCMBGwwKCAMSEF0BEQEFASInBYdVAQMPDDSVcoMAjFCDBIQHChknDWSJAAEFDI8YGYE3hCQDkU2GIUqLboNBGCmDCoE8Ow X-IronPort-AV: E=Sophos;i="4.89,958,1367964000"; d="scan'208";a="24805880" Received: from mail-pa0-f49.google.com ([209.85.220.49]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 26 Aug 2013 16:51:25 +0200 Received: by mail-pa0-f49.google.com with SMTP id ld10so3467936pab.8 for ; Mon, 26 Aug 2013 07:51:24 -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; bh=9WUeEpwU26Fu7qCCv0g9JjXnCmm93L+gJ8vHBYMHcwk=; b=zti08tfwchptqtk8lGD2b+b0SmaAoxPS/EtGNnc8hFDW5srDZ1qwGc2SBcMqg1A3jj UhxPKC0i911etHXOQmKl7AUvmI3jA14v9f7qMweoSxZkgWs+3QoXQsrNO8ToybMpM7LW CAR4NuP314OYxEbinYm5n6QMjomEwx61Cl1/ogcSGBwdn8N82xu9w7lX2iK1qblqz34c anHf1mGwJjr1ZYtW1+R4kDs1h/zAnKLvPl5svQgT49wofTnR8nDSKU5QKgmUrYdIQsp0 jtwFvsMeANWtm59Zs6UWOkcsCK2oLaexuQ3JHNMh4qT1Mqbkl0fR1lDR+Lyh2/V66xDv /2Kg== MIME-Version: 1.0 X-Received: by 10.68.111.197 with SMTP id ik5mr3293561pbb.171.1377528683993; Mon, 26 Aug 2013 07:51:23 -0700 (PDT) Received: by 10.66.193.229 with HTTP; Mon, 26 Aug 2013 07:51:23 -0700 (PDT) Date: Mon, 26 Aug 2013 15:51:23 +0100 Message-ID: From: CiE Conference Series To: "caml-list@inria.fr" Content-Type: multipart/alternative; boundary=047d7b5d8a59e09f7c04e4dae3cf Subject: [Caml-list] CIE 2014: Language, Life, Limits. June 23-27, 2014, Budapest. Preliminary Announcement. --047d7b5d8a59e09f7c04e4dae3cf Content-Type: text/plain; charset=ISO-8859-1 ---------------------------------------------------------------- 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 ____________________________________________________________________ --047d7b5d8a59e09f7c04e4dae3cf Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
----------------------------------------------------------= ------
=A0=A0=A0=A0=A0=A0 P = R E L I M I N A R Y=A0=A0=A0=A0 A N N O U N C E M E N T
=A0=A0=A0=A0 COM= PUTABILITY IN EUROPE 2014: Language, Life, Limits
=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 Budapest, Hungary
=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 June=A0 23 - 27, 2014
= =A0=A0=A0=A0=A0=A0=A0 http://www.illc.uva.nl/CiE/index.php?page=3D22_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 deve= lopments in computability and their
underlying significance for the real world. Previous meetings
have take= n place in Amsterdam (2005), Swansea (2006), Siena
(2007), Athens (2008= ), Heidelberg (2009), Ponte Dalgada (2010),
Sofia (2011), Cambridge (20= 12), and Milan (2013). Please mark the
conference dates in your agendas for 2014.

CONFIRMED TUTORIAL SPEAKE= R

Wolfgang Thomas (RWTH Aachen)

CONFIRMED INVITED SPEAKERS
Alessandra Carbone (Universite Pierre et Marie Curie and CNRS Paris) Maribel Fernandez=A0=A0=A0=A0=A0=A0=A0 (King's College London)
Przem= yslaw Prusinkiewicz (University of Calgary)
Eva Tardos=A0=A0=A0=A0=A0=A0= =A0=A0=A0=A0=A0=A0=A0=A0 (Cornell University)
Albert Visser=A0=A0=A0=A0= =A0=A0=A0=A0=A0=A0=A0 (Utrecht University)

SPECIAL SESSIONS on

History and Philosophy of Computing
=A0=A0=A0=A0=A0=A0=A0 organizers= : Liesbeth de Mol, Giuseppe Primiero

Computational Linguistics
= =A0=A0=A0=A0=A0=A0=A0 organizers: Maria Dolores Jimenez-Lopez, Gabor Prosze= ky

Computability Theory
=A0=A0=A0=A0=A0=A0=A0 organizers: Karen Lange, TBA

Bio-inspired Comp= utation
=A0=A0=A0=A0=A0=A0=A0 organizers: Marian Gheorghe, Florin Manea<= br>
Online Algorithms
=A0=A0=A0=A0=A0=A0=A0 organizers: Joan Boyar, C= sanad Imreh

Complexity in Automata Theory
=A0=A0=A0=A0=A0=A0=A0 organizers: Markus Lohrey, Giovanni Pighizzini

The motto of CiE 2014 "Language, Life, Limits" intends to pu= t a
special focus on relations between computational linguistics,
n= atural 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 c= omputation and algorithms inspired by physical and biological
approache= s 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 t= raditional and
new computational paradigms in their corresponding frameworks
both with= respect to practical applications and a deeper
theoretical understandi= ng.

The conference will address these aspects besides the more
established lines of research of Computational Complexity and the
inter= play between Proof Theory and Computation.

Novel views that rely on = physical and biological processes and
models to find new ways of tackli= ng computations and improving
their efficiency are welcome.=A0 Also, massive data analysis and
comput= ations are a recent subject of attention, since the most
recent technol= ogies produce huge amounts of data, and managing
such data requires som= e theoretical frameworks.

In all cases we are looking for fundamental and theoretical
submiss= ions. In line with other conferences in this series, CiE
2014 has a bro= ad scope and provides a forum for the discussion of
theoretical and pra= ctical issues in Computability with an
emphasis on new paradigms of computation and the development of
their m= athematical theory.

We particularly invite papers that build bridges= between
different parts of the research community.

The PROGRAMM= E COMMITTEE consists of:

=A0=A0=A0=A0=A0=A0=A0=A0 Gerard Alberts (Amsterdam)
=A0=A0=A0=A0=A0= =A0=A0=A0 Sandra Alves (Porto)
=A0=A0=A0=A0=A0=A0=A0=A0 Hajnal Andreka (= Budapest)
=A0=A0=A0=A0=A0=A0=A0=A0 Luis Antunes (Porto)
=A0=A0=A0=A0= =A0=A0=A0=A0 Arnold Beckmann (Swansea)
=A0=A0=A0=A0=A0=A0=A0=A0 Laurent = Bienvenu (Paris)
=A0=A0=A0=A0=A0=A0=A0=A0 Paola Bonizzoni (Milan)
=A0=A0=A0=A0=A0=A0=A0= =A0 Olivier Bournez (Palaiseau)
=A0=A0=A0=A0=A0=A0=A0=A0 Vasco Brattka (= Munich)
=A0=A0=A0=A0=A0=A0=A0=A0 Bruno Codenotti (Pisa)
=A0=A0=A0=A0= =A0=A0=A0=A0 Barry Cooper (Leeds)
=A0=A0=A0=A0=A0=A0=A0=A0 Erzsebet Csuh= aj-Varju (Budapest, co-chair)
=A0=A0=A0=A0=A0=A0=A0=A0 Michael J. Dineen (Auckland)
=A0=A0=A0=A0=A0=A0= =A0=A0 Erich Graedel (Aachen)
=A0=A0=A0=A0=A0=A0=A0=A0 Marie Hicks (Chic= ago IL)
=A0=A0=A0=A0=A0=A0=A0=A0 Natasha Jonoska (Tampa FL)
=A0=A0=A0= =A0=A0=A0=A0=A0 Jarkko Kari (Turku)
=A0=A0=A0=A0=A0=A0=A0=A0 Elham Kashe= fi (Edinburgh)
=A0=A0=A0=A0=A0=A0=A0=A0 Viv Kendon (Leeds)
=A0=A0=A0=A0=A0=A0=A0=A0 Sat= oshi Kobayashi (Tokyo)
=A0=A0=A0=A0=A0=A0=A0=A0 Andras Kornai (Budapest)=
=A0=A0=A0=A0=A0=A0=A0=A0 Marcus Kracht (Bielefeld)
=A0=A0=A0=A0=A0= =A0=A0=A0 Benedikt Loewe (Amsterdam & Hamburg)
=A0=A0=A0=A0=A0=A0=A0= =A0 Klaus Meer (Cottbus, co-chair)
=A0=A0=A0=A0=A0=A0=A0=A0 Joseph R. Mileti (Grinnell IA)
=A0=A0=A0=A0=A0= =A0=A0=A0 Georg Moser (Innsbruck)
=A0=A0=A0=A0=A0=A0=A0=A0 Benedek Nagy = (Debrecen)
=A0=A0=A0=A0=A0=A0=A0=A0 Sara Negri (Helsinki)
=A0=A0=A0= =A0=A0=A0=A0=A0 Thomas Schwentick (Dortmund)
=A0=A0=A0=A0=A0=A0=A0=A0 Ne= il Thapen (Prague)
=A0=A0=A0=A0=A0=A0=A0=A0 Peter van Emde Boas (Amsterdam)
=A0=A0=A0=A0=A0= =A0=A0=A0 Xizhong Zheng (Glenside PA)


In a Call for Papers to be= sent out in October 2013, the PC will
invite all researchers in the ar= ea of the conference to submit
their papers for presentation at CiE 2014.=A0 The best of the
accepted = papers will be published in the conference proceedings
within the Lectu= re Notes in Computer Science (LNCS) series of
Springer, which will be a= vailable at the conference.

____________________________________________________________________
ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk
CiE Conf= erence Series http= ://www.illc.uva.nl/CiE
CiE 2014 http://www.illc.uva.nl/CiE/index.php?page=3D22_8
CiE Me= mbership Application Form http://www.cs.swan.ac.uk/acie
Computability (Journal of CiE) http://www.computability.de/journal/
CiE on F= aceBook http= s://www.facebook.com/AssnCiE
Association CiE on Twitter https://twitter.com/AssociationCiE
_______________= _____________________________________________________


--047d7b5d8a59e09f7c04e4dae3cf--