From: Thomas Streicher <streicher@mathematik.tu-darmstadt.de>
To: categories@mta.ca
Subject: Workshop announcement (Domains VIII)
Date: Thu, 11 Jan 2007 11:52:44 +0100 (CET) [thread overview]
Message-ID: <13435.3308626034$1241019386@news.gmane.org> (raw)
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@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@math.nsc.ru
SUBMISSION OF ABSTRACTS
One page abstracts should be submitted 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\\[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@math.nsc.ru)
reply other threads:[~2007-01-11 10:52 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to='13435.3308626034$1241019386@news.gmane.org' \
--to=streicher@mathematik.tu-darmstadt.de \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).