[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