(Message inbox:27) Return-Path: Received: from THEORY.CS.CMU.EDU by missing.link.cs.cmu.edu id aa25512; 23 Jul 96 8:06 EDT Received: from listserv.NoDak.edu by THEORY.CS.CMU.EDU id ab14115; 23 Jul 96 8:02:19 EDT Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.0a) with SMTP id 1E5ACAF0 ; Tue, 23 Jul 1996 6:56:48 -0500 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8b) with spool id 339683 for THEORYNT@LISTSERV.NODAK.EDU; Tue, 23 Jul 1996 06:56:35 -0500 Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.0a) with SMTP id 134592D0 ; Tue, 23 Jul 1996 6:56:30 -0500 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8b) with spool id 339628 for THEORY-A@LISTSERV.NODAK.EDU; Tue, 23 Jul 1996 06:56:17 -0500 Received: from pollux.usc.edu by listserv.nodak.edu (LSMTP for Windows NT v1.0a) with SMTP id 0883D1E0 ; Tue, 23 Jul 1996 6:56:11 -0500 Received: (from ierardi@localhost) by pollux.usc.edu (8.7.2/8.7.2/usc) id EAA23848 for theory-a@listserv.nodak.edu; Tue, 23 Jul 1996 04:56:09 -0700 (PDT) X-Sun-Charset: ISO-8859-1 Approved-By: Doug Ierardi Approved-By: Theory-A - TheoryNet World-Wide Events Message-ID: <199606271040.MAA03655@hilbert.fernuni-hagen.de> Date: Tue, 23 Jul 1996 04:56:09 PDT Reply-To: Theory-A - TheoryNet World-Wide Events , Vasco Brattka Sender: TheoryNet List From: Vasco Brattka Subject: CCA'96 Call for papers (ASCII) Comments: To: Multiple recipients of list THEORY-A To: Local Distribution SECOND WORKSHOP on COMPUTABILITY and COMPLEXITY in ANALYSIS August 22-23, 1996 Universitaet Trier Trier, Germany ANNOUNCEMENT and CALL for PAPERS During the last 60 years an extensive theory of computability and computational complexity has been developed. Without doubt this "Type 1 theory" models the behaviour of real world computers quite adequately for computations on discrete objects such as natural numbers, finite words, finite graphs etc. A large part of computers, however, is used for solving numerical problems. Therefore, convincing theoretical foundations are indispensible also for computable analysis. Several theories for studying aspects of effectivity in analysis have been developed in the past. Although each of these approaches has its merits, none of them has been accepted by the majority of mathematicians or computer scientists. Moreover, compared with Type 1 computability theory, foundations of computable analysis have been neglected in research and almost disregarded in teaching. The aim of this workshop is to bring together people who are interested in computational aspects of analysis. New results in computability and complexity theory of analysis will be presented. Additionally, the workshop will be a forum for discussing foundations. Contributions comparing existing models or presenting modified or new models of computabilty or complexity in analysis are encouraged. TOPICS (not exclusive): - computability in analysis - computational complexity in analysis - models of computation in analysis DETAILED INFORMATION: For up to date information consult our www-page http://www.informatik.uni-trier.de/cca-96 You can also use it for interactive registration and for e-mailing to the organizers. SUBMISSION: Participants who wish to give a talk must send an extended abstract (approx. 5-10 pages) as a hardcopy by mail or a PostScript/LaTeX file by email to the workshop address or to one of the organizers. DEADLINE: August 4, 1996 Copies of the abstracts will be available at the meeting and will be published later as a technical report. WORKSHOP ADDRESS: Mail: CCA'96, Informatik , Universitt Trier, D-54286 Trier, Germany email: cca-96@uni-trier.de telephone: +49-651-201-2845 or -2848 fax: +49-651-201-3805 WORKSHOP FEE There will be only a small fee of 50,- DM. The fee is payable at the workshop site. ORGANIZERS: Ker-I Ko Department of Computer Science tel: (516)632-8460 State University of New York fax: (516)632-8334 Stony Brook, NY 11794, U.S.A. email: keriko@cs.sunysb.edu Norbert Mueller Abteilung Informatik tel: +49-651-201-2845 Universitaet Trier fax: +49-651-201-3805 D-54286 Trier email: mueller@uni-trier.de Klaus Weihrauch Theoretische Informatik I tel: +49-2331-987 2722 FernUniversitaet fax: +49-2331-987 313 D-58084 Hagen, Germany email: Klaus.Weihrauch@FernUni-Hagen.de REGISTRATION: Interactive registration via www-form is encouraged. Otherwise, please fill out the following registration form and send it by mail, fax or email to the workshop address or to N. Mueller before August 10, 1996. You will get a notification by email as well as travelling and hotel information. Early hotel reservation is recommended. ------------------------REGISTRATION FORM-------------------------------- Name ______________________________________ Affiliation _______________________________ Address ___________________________________ ____________________________________ ____________________________________ Telephone ___________________________ Email _________________________________ Date of Arrival _____________________ Date of Departure _____________________ Intended to talk? Yes _________ No ___________ If yes, title of talk and desired length of presentation: __________________________________________________________________________