Logic List Mailing Archive

Domains VIII / Computability Over Continuous Data Types, Novosibirsk (Russia), 11-15 Sep 2007

[ The following text is in the "X-UNKNOWN" character set. ]
    [ Your display is set for the "iso-8859-1" character set.  ]
    [ Some characters may be displayed incorrectly. ]


                     Call for Abstracts

                       Joint Workshop

                        Domains VIII
                            and
             Computability Over Continuous Data Types

               Novosibirsk, September 11 -- 15, 2007


  The Workshop 'Domains' series is aimed at computer scientists and
  mathematicians alike who share an interest in the mathematical
  foundations of computation. It focusses on domain theory, its
  applications and related topics. It will be combined with topics based
  on the German--Russian project
  'Computability Over Non-discrete Structures: Models, Semantics,
Complexity'
  supported by Russian Foundation for Basic Research (RFBR) and Deutsche
  Forschungsgemeinschaft (DFG).

  Webpage: www.sbras.ru/ws/domains/index.en.html
  email:   domains@math.nsc.ru

  SCOPE
   Topics for this workshop include, but are not limited to

      domains and topology for semantics
      effective domains and spaces
      computation over continuous spaces
      program semantics
      models of sequential computation
      lambda calculus
      realizability
      proof mining
      constructive mathematics and its semantics
      computability theory
      computable models
      admissible sets

  LOCATION
   The Workshop will take place at the Sobolev Instituts of Mathematics
   of the Siberian Branch of the Russian Academy of Sciences
   located in Akademgorodok, which is formally a district of Novosibirsk.


  CONTRIBUTED TALKS
   There will be ample time available for contributed talks. If you would
   like to participate and to give a talk, please submit a one page
abstract
   to
           domains@math.nsc.ru

   Shortly after an abstract is submitted (usually a few weeks),
   the authors will be notified by the programme committee. Abstracts
   will be dealt with on a first come/first served basis. Submit as soon
   as possible.
  DEADLINE   15 May 2007

  INVITED SPEAKERS
   Andrej Bauer, Ljubljana
   Ulrich Berger, Swansea
   Thierry Coquand, Gteborg
   Martin Escardo, Birmingham
   Sergei Godunov, Novosibirsk
   Peter Hertling, Munich
   Alex Simpson, Edinburgh
   Atsushi Yoshikawa, Kyushu University

  PROCEEDINGS
   Conference Proceedings will be published as a special issue of
   'Annals in Pure and Applied Logic'. Submission for
   the Proceddings will be after the Workshop. They will be refereed
   according to the usual standards of the Journal.

  ACCOMODATION
   All participants will be accommodated in the Hotel ``Zolotaya Dolina''
   (Gold Valley) situated at walking distance from the Instituts of
   Mathematics.

  FEES
   There will be a registration fee of 85 Euros for covering
   expenses.  For participants from Eastern Europa and the former
   Soviet Union
   we set the fee 300 Russian Roubles. PhD students do not pay a fee. If
   the fee is a problem, please contact the organizers for a possible
   arrangement in advance.

  VISAS AND REGISTRATION
   Most foreign participants will need a visa to enter Russia.
   For obtaining a visa, one needs an official invitation issued by the
   local authorities at Novosibirsk. For this, you should fill in the
   registration. form available at the conference web page

           www.sbras.ru/ws/domains/index.en.html

   and you will have to provide to the local organizers the informations
   enumerated on the web page

           www.sbras.ru/ws/domains/visa.html

   The processing of invitations takes about one month; in addition,
   please allow some time for sending it by mail!

  DEADLINE for registration: 30 June, 2007

  PROGRAMME COMMITTEE
   Yuri Ershov           Sobolev Institute of Mathematics, Novosibirsk
   Sergei Goncharov      Sobolev Institute of Mathematics, Novosibirsk
   Achim Jung            University of Birmingham, Birmingham
   Klaus Keimel (Chair)  Darmstadt Technical University, Darmstadt
   Ulrich Kohlenbach     Darmstadt Technical University, Darmstadt
   Andrei Morozov (Co-Chair) Sobolev Institute of Mathematics, Novosibirsk
   Victor Selivanov      Novosibirsk State Pedagogical University,
Novosibirsk
   Dieter Spreen         University of Siegen, Siegen

  WORKSHOP SECRETARY
   Alexei Stukachev (domains@math.nsc.ru)