Institute for Logic, Language and Computation
CiE-CS: CiE 2011
CiE 2011: Models of Computation in Context
Sofia, Bulgaria, 27 June - 2 July 2011.

Organizers. Angel Dichev, Stefan Gerdjikov, Hristo Ganchev, Dimitar Guelev, Mariya Soskova, Stela Nikolova, Dimitar Shiachki, Alexandra Soskova (chair), Stefan Vatev, Mitko Yanchev, Anton Zinoviev.

Programme Committee. Selim Akl (Kingston ON), Albert Atserias (Barcelona), Anthony Beavers (Evansville IN), Arnold Beckmann (Swansea), Paola Bonizzoni (Milan), Anne Condon (Vancouver BC), Thierry Coquand (Gothenburg), Anuj Dawar (Cambridge), Fernando Ferreira (Lisbon), Denis Hirschfeldt (Chicago IL), Radha Jagadeesan (Chicago IL), Neil Jones (Copenhagen), Natasha Jonoska (Tampa FL), Achim Jung (Birmingham), Viv Kendon (Leeds), Julia Knight (Notre Dame IN), Phokion Kolaitis (San Jose CA), Benedikt Löwe (Amsterdam), Elvira Mayordomo (Zaragoza), Dag Normann (Oslo, co-chair), Jan-Willem Romeijn (Groningen), Marie-France Sagot (Lyon), Dirk Schlimm (Montréal QC), Anthony Seda (Cork), Nir Shavit (Tel Aviv), Ivan Soskov (Sofia, co-chair), Alexandra Soskova (Sofia), Sarah Teichmann (Cambridge), Peter van Emde Boas (Amsterdam), Jan van Leeuwen (Utrecht), Klaus Wagner (Würzburg), Andreas Weiermann (Ghent).

Plenary and Tutorial Speakers.


Special Sessions.

  • Computability in Analysis, Algebra, and Geometry (Organizers: Dimiter Skordev, N.N.)
  • Classical Computability Theory (Organizers: Doug Cenzer, Bjørn Kjos-Hanssen)
  • Natural Computing (Organizers: N.N., N.N.)
  • Relations between the physical world and formal models of computability (Organizers: N.N., N.N.)
  • Theory of transfinite computations (Organizers: Chi Tat Chong, Peter Koepke)
  • Computational Linguistics (Organizers: Tejaswini Deoskar, N.N.)