Monday, August 26, 2013

[DMANET] 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
____________________________________________________________________
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************