[Elsnet-list] CiE 2011 in Sofia - Call for Participation
cie2011 at fmi.uni-sofia.bg
Wed May 11 17:21:12 CEST 2011
(Apologies if you receive multiple copies of this announcement.)
CiE 2011: Computability in Europe: Models of Computation in Context
Sofia, Bulgaria, 27 June 2011 - 2 July 2011
CALL FOR PARTICIPATION
Informal Presentation Deadline: 15 May 2011
Early Registration Deadline: 29 May 2011
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
* 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, Bjorn
Kjos-Hanssen): Mingzhong Cai (Cornell), Rachel Epstein (Harvard),
Charles Harris (Leeds), Guohua Wu (NTU, Singapore)
* Natural Computing (Organizers: Erzsébet Csuhaj-Varju, Ion Petre):
Natalio Krasnogor (University of Nottingham), Martin Kutrib
(University of Giessen), Victor Mitrana (University of Bucharest),
Agustin Riscos-Nunez (University of Seville)
* Relations between the physical world and formal models of
computability (Organizers: Viv Kendon, Sonja Smets): Pablo Arrighi
(University of Grenoble), Caslav Brukner (University of Vienna),
Joe Fitzsimons (University of Singapore), Prakash Panangaden (McGill
* Theory of transfinite computations (Organizers: Peter Koepke, C.T.
Chong): Philip Welch (University of Bristol), Sy D.
Friedman (University of Vienna), Wei Wang (Sun Yat-sen University),
Merlin Carl (Rheinische Friedrich-Wilhelms-Universitat Bonn)
* Computational Linguistics (Organizers: Tejaswini Deoskar, Tinko
Tinchev): Klaus U. Schulz (Ludwig-Maximilians-Universitat Munchen)&
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.
Women in Computability Workshop, 30 June 2011:
In 2011, we continue the programme "Women in Computability" supported by the
journal "Annals of Pure and Applied Logic" (Elsevier).
The Women in Computability workshop aims to bring together women in
Computing and Mathematical research to present and exchange their academic
and scientific experience with young researchers. The meeting will offer
the CIE scientific community the opportunity to encourage young students,
especially young female researchers, to have active careers in the
mathematical and computational sciences.
The mentorship programme allows junior female researchers to meet senior
women in their field, discuss career issues with them and get their
support. Junior female researchers who wish to participate in this
programme will be assigned a mentor for the duration of the conference
with whom they will meet several times, including a dinner invitation with
other junior researchers and the mentors.
Annual General Meeting, 1 July 2011
The deadline for nominations to the Association CiE Board is Monday
6th June, 2011.
The President and one other CiE Board member will be elected at the time
of the CiE AGM.
For current Board membership see:
Any member of CiE can be nominated for election to the Board. A valid
nomination from the membership requires a nomination by 10 CiE members.
Each nomination should state whether it is a nomination for President or a
nomination to the Board, and should be sent to:s.b.cooper at leeds.ac.uk
All questions about the conference could be send at
cie2011 at fmi.uni-sofia.bg
Association Computability in Europehttp://www.computability.org.uk
CiE Conference Serieshttp://www.illc.uva.nl/CiE
CiE Membership Application Formhttp://www.cs.swan.ac.uk/acie
More information about the Elsnet-list