[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
_
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, Bjørn
Kjos-Hanssen): Mingzhong Cai (Cornell), Rachel Epstein (Harvard),
Charles Harris (Leeds), Guohua Wu (NTU, Singapore)
* Natural Computing (Organizers: Erzsébet Csuhaj-Varjú, Ion Petre):
Natalio Krasnogor (University of Nottingham), Martin Kutrib
(University of Giessen), Victor Mitrana (University of Bucharest),
Agustín Riscos-Núnez (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-Universität Bonn)
* Computational Linguistics (Organizers: Tejaswini Deoskar, Tinko
Tinchev): Klaus U. Schulz (Ludwig-Maximilians-Universität München)
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 of the research community. Since women are underrepresented in
mathematics and computer science, we emphatically encourage
submissions by female authors (see below for the 'Women in
Computability' grants).
IMPORTANT DATES:
Submission Deadline:January 14, 2011
Notification of Authors:March 12, 2011
Final Version: April 2, 2011
Authors of accepted papers are expected to present their work at the
conference. Submitted papers must describe work not previously
published, and they must neither be accepted nor under review at a
journal or at another conference with refereed proceedings. All
papers need to be prepared in LNCS-style LaTeX. Papers should not
exceed 10 pages; full proofs may appear in a technical appendix which
will be read at the reviewers' discretion.
Submissions authored or co-authored by a Programme Committee member
are not allowed.
GRANTS:
Women in Computability:
In 2011, we continue the programme Women in Computability (funded
from 2008 to 2010 by the Elsevier Foundation) now supported by the
journal Annals of Pure and Applied Logic (Elsevier). As part of this
programme, we can offer four modest Elsevier Women in Computability
grants for female graduate students or junior researchers. These
grants will be paid as a reimbursement of up to 200 EUR of travel and
accommodation expenses. More information about deadlines and the
application procedure will become available from the CiE 2011 website
in March 2011.
ASL Student Travel Grants:
CiE 2011 is sponsored by the Association for Symbolic Logic. All
student members of the ASL