[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 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@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, 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@math.nsc.ru)