[TYPES/announce] Workshop Novosibirsk

Thomas Streicher streicher at mathematik.tu-darmstadt.de
Thu Apr 19 07:21:38 EDT 2007


Dear colleagues,

Below (also as a pdf-attachment) you find the call for submission of
contributed talks to the Joint Workshop 'Domains8' and 'Computability
Over Continuous Data Types', Novosibirsk, September 11--15, 2007.   

It suffices to submit a title with an abstract. 
             The Deadline is May 15.
As foreign participants need a visa, registration has to be done 
             until June 30 
through the webpage indicated below. As the procedure to obtain a visa
is time consuming (see below), these dates are mandatory.  

You also find the list of invited speakers below. Usually, in the
middle of September the weather is nice and sunny in Novosibirsk with
temperatures around 15 C.

Kind regards,
Klaus Keimel

_________________________________________________________-
         
                 Call for Contributed Talks

                      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 at 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 at 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, Göteborg
  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

 WEATHER
  The weather in Novosibirsk in the middle of September is usually warm and 
  sunny, with temperatures around +15 C.

 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 at math.nsc.ru)

-------------- next part --------------
A non-text attachment was scrubbed...
Name: call3.pdf
Type: application/octet-stream
Size: 65460 bytes
Desc: 
Url : http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20070419/bb5a6be8/call3.dll


More information about the Types-announce mailing list