[TYPES/announce] Workshop announcement (Domains VIII)

Thomas Streicher streicher at mathematik.tu-darmstadt.de
Thu Jan 11 05:54:54 EST 2007


This announcement is also attached as a pdf-file


           Announcement and 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/ (Switch to English - upper right corner)
 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.

 PARTICIPATION
 If you would like to participate in this workshop, please
 let us know your interest at an early stage. Please indicate whether
 you intend to give a talk:

          domains at math.nsc.ru

 SUBMISSION OF ABSTRACTS
 One page abstracts should be submitted 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\\[2mm]

 INVITED SPEAKERS
 will be announced later on.

 PROCEEDINGS
 Conference Proceedings will be published in a Journal. Submission for
 the Proceddings will be after the Workshop. They will be refereed
 according to the usual requirements 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.
 We will inform you later about details. You also can find details at
          http://www.ict.nsc.ru/ws/ALC-9/visa.htm
 For obtaining a visa, one needs an official invitation issued by the
 local authorities at Novosibirsk.
 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 at math.nsc.ru)



-------------- next part --------------
A non-text attachment was scrubbed...
Name: announcement.pdf
Type: application/octet-stream
Size: 50821 bytes
Desc: 
Url : http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20070111/08564d85/announcement.bin


More information about the Types-announce mailing list