CiE 2011 - 2nd call for papers: Deadline 14 January 2011

CiE 2011 - 2nd call for papers: Deadline 14 January 2011

Post by pmt6sb » Fri, 17 Dec 2010 19:53:50


This message is in MIME format. The first part should be readable text,
while the remaining parts are likely unreadable without MIME-aware tools.


_____________________________________________________________________

CiE 2011: Computability in Europe
Models of Computation in Context
Sofia, Bulgaria
27 June 2011 - 2 July 2011

Second Call for Papers
Submission Deadline: 14 January 2011
http://cie2011.fmi.uni-sofia.bg/
_____________________________________________________________________

TUTORIALS: Jack Lutz (Ames IA, U.S.A.), Geoffrey Pullum (Edinburgh, U.K.)

PLENARY TALKS: Scott Aaronson (Cambridge MA, U.S.A.), Christel Baier
(Dresden, Germany), Michiel van Lambalgen (Amsterdam, The
Netherlands), Antonio Montalban (Chicago IL, U.S.A.), Alexandra
Shlapentokh (Greenville NC, U.S.A.), Theodore Slaman (Berkeley CA,
U.S.A.), Janet Thornton (Cambridge, U.K.), Alasdair Urquhart (Toronto
ON, Canada).

SPECIAL SESSIONS:
* Computability in Analysis, Algebra, and Geometry (Organizers:
Alexandra Shlapentokh, Dieter Spreen) : Ulrich Berger (Swansea), Vasco
Brattka (Cape Town): Valentina Harizanov (Washington, DC), Russel
Miller (New York, NY).
* Classical Computability Theory (Organizers: Doug Cenzer, Bjrn
Kjos-Hanssen): Mingzhong Cai (Cornell), Rachel Epstein (Harvard),
Charles Harris (Leeds), Guohua Wu (NTU, Singapore)
* Natural Computing (Organizers: Erzsbet Csuhaj-Varj, Ion Petre):
Natalio Krasnogor (University of Nottingham), Martin Kutrib
(University of Giessen), Victor Mitrana (University of Bucharest),
Agustn Riscos-Nnez (University of Seville)
* Relations between the physical world and formal models of
computability (Organizers: Viv Kendon, Sonja Smets): Pablo Arrighi
(University of Grenoble), aslav Brukner (University of Vienna), Elham
Kashefi (University of Edinburgh),Prakash Panangaden (McGill
University)
* Theory of transfinite computations (Organizers: Peter Koepke, C.T.
Chong): Noam Greenberg (Victoria University of Wellington), Sy D.
Friedman (University of Vienna), Wei Wang (Sun Yat-sen University),
Merlin Carl (Rheinische Friedrich-Wilhelms-Universitt Bonn)
* Computational Linguistics (Organizers: Tejaswini Deoskar, Tinko
Tinchev): Klaus U. Schulz (Ludwig-Maximilians-Universitt Mnchen)&
Stoyan Mihov (Bulgarian Academy of Sciences), Ian Pratt-Hartmann
(University of Manchester).

CiE serves as an interdisciplinary forum for research in all aspects
of computability and foundations of computer science, as well as the
interplay of these theoretical areas with practical issues in computer
science and with other disciplines such as biology, mathematics,
philosophy, or physics.

The Programme Committee (Dag Normann and Ivan Soskov co-chairs)
cordially invites all researchers in the area of the conference to
submit their papers (in PDF-format, at most 10 pages) for presentation
at CiE 2011 to http://www.easychair.org/conferences/?conf=cie2011. 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. Other accepted
contributed papers together with abstracts of informal presentations
will appear in our local pre-conference proceedings volume.

We particularly invite papers that build bridges between different
parts o