[Agda] CIE 2014: Language, Life, Limits. June 23-27, 2014, Budapest. Preliminary Announcement.

[S B Cooper]

----------------------------------------------------------------
       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 
____________________________________________________________________