[TYPES/announce] CiE 2011 in Sofia - Call for Participation

S Barry Cooper pmt6sbc at maths.leeds.ac.uk
Wed May 11 08:13:33 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.

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 in Sofia, Bulgaria              http://cie2011.fmi.uni-sofia.bg
 CiE 2012: Turing Centenary Conference              http://www.cie2012.eu
 CiE Membership Application Form            http://www.cs.swan.ac.uk/acie
 ALAN TURING YEAR                           http://www.turingcentenary.eu

More information about the Types-announce mailing list