[FOM] [CiE] CiE 2011 in Sofia - Call for Participation

S Barry Cooper pmt6sbc at maths.leeds.ac.uk
Wed May 11 20:16:25 EDT 2011

    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
ON, Canada).

* 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).


Alexandra Shlapentokh

Valentina Harizanov

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.

Mentorship Programme

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 Europe http://www.computability.org.uk
CiE Conference Series http://www.illc.uva.nl/CiE
CiE 2011 http://cie2011.fmi.uni-sofia.bg
CiE Membership Application Form http://www.cs.swan.ac.uk/acie

More information about the FOM mailing list