From owner-reliable_computing [at] interval [dot] usl.edu Mon Jun 5 23:30:04 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id XAA28302 for reliable_computing-outgoing; Mon, 5 Jun 2000 23:30:03 -0500 (CDT) Received: from mmrc.iss.ac.cn (IDENT:ascm@[159.226.47.205]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id XAA28297 for ; Mon, 5 Jun 2000 23:29:47 -0500 (CDT) Received: (from ascm@localhost) by mmrc.iss.ac.cn (8.9.3/8.9.3) id MAA28472 for reliable_computing [at] interval [dot] usl.edu; Tue, 6 Jun 2000 12:36:58 +0800 Date: Tue, 6 Jun 2000 12:36:58 +0800 From: ASCM Message-Id: <200006060436.MAA28472 [at] mmrc [dot] iss.ac.cn> To: reliable_computing [at] interval [dot] usl.edu Subject: ASCM Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Please find the updated information on ASCM'2000. I apologize to those who might receive duplicate copies of this note. ************************************************************ ASCM '2000 - 4th Asian Symposium on Computer Mathematics (Chiang Mai, Thailand, December 17-21, 2000) * Invited speakers: Gaston H. Gonnet (ETH Zurich, Switzerland) Daniel Lazard (Universite Paris VI, France) William McCune (Argonne National Laboratory, USA) * The Proceedings of ASCM '2000 will be published by World Scientific, Singapore/River Edge. * Deadline for submission of papers: June 30, 2000 * Further information: http://www.mmrc.iss.ac.cn/~ascm/ ascm [at] mmrc [dot] iss.ac.cn From owner-reliable_computing [at] interval [dot] usl.edu Tue Jun 6 04:50:51 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id EAA29636 for reliable_computing-outgoing; Tue, 6 Jun 2000 04:50:51 -0500 (CDT) Received: from visla.utia.cas.cz (root [at] visla [dot] utia.cas.cz [147.231.12.1]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id EAA29631 for ; Tue, 6 Jun 2000 04:50:45 -0500 (CDT) Received: from [147.231.11.66] (klicava.site.cas.cz [147.231.11.66]) by visla.utia.cas.cz (8.9.3/8.9.3) with SMTP id LAA06497 for ; Tue, 6 Jun 2000 11:50:28 +0200 (METDST) X-NUPop-Charset: IBM 8-Bit Date: Tue, 6 Jun 00 11:44:29 CET From: "Jiri Rohn" Reply-To: rohn [at] uivt [dot] cas.cz Message-Id: <42271.rohn [at] uivt [dot] cas.cz> To: reliable_computing [at] interval [dot] usl.edu Subject: preconditioning and overestimation Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk % Dear colleagues, % I have recently found an example which shows that for arbitrarily small % data widths, preconditioning of a linear interval system by midpoint % inverse may cause a 100% overestimation in some component of the interval % hull even in case n=4 and for strongly regular interval matrices. % The example is described in the appended LaTeX file. % Best regards, % % Jiri Rohn \documentstyle[12pt,a4]{article} \pagestyle{empty} \begin{document} \newcommand{\eps}{\varepsilon} \noindent For an arbitrary $\eps>0$, consider a linear interval system $${\bf A}x={\bf b} \eqno{(1)}$$ where $${\bf A}=\left(\begin{array}{cccc} {\eps}^2&{[-\eps,\eps]}&{[-\eps,\eps]}&{[-\eps,\eps]}\\ 0&1&-3&-3\\ 0&-3&1&-3\\ 0&-3&-3&1 \end{array}\right)\quad{\rm and}\quad {\bf b}=\left(\begin{array}{c} 0\\{[-\eps,\eps]}\\{[-\eps,\eps]}\\{[-\eps,\eps]} \end{array}\right),$$ and the preconditioned system $$(A_c^{-1}\cdot {\bf A})x=A_c^{-1}\cdot {\bf b}, \eqno{(2)}$$ where $A_c$ is the midpoint of ${\bf A}$ and ``$\cdot$'' denotes multiplication in interval arithmetic. The interval matrix ${\bf A}$ is strongly regular ($\varrho=0$). Let $[\underline x,\overline x]$ be the interval hull of the solution set of (1), and $[\underline{\underline x}, \overline{\overline x}]$ the interval hull of the solution set of (2). Then there holds: \vspace*{1.5ex} {\bf Proposition.} {\it We have $$\overline x=\left(\begin{array}{c} 0.6\\0.4\eps\\0.4\eps\\0.4\eps \end{array}\right),\qquad \overline{\overline x}=\left(\begin{array}{c} 1.2\\0.4\eps\\0.4\eps\\0.4\eps \end{array}\right)$$ and $\underline x=-\overline x$, $\underline{\underline x}=-\overline{\overline x}$.} \vspace*{1.5ex} The {\it proof} can be done by direct, though tedious, computation along the lines of the proof of the main result of my paper in Reliable Computing 3(1997), 363-368. In particular, $${\overline{\overline x}}_1=2{\overline x}_1,$$ hence in this example preconditioning causes a $100\%$ overestimation of ${\overline x}_1$ {\bf independently of} $\eps$ {\bf (!)}. \vspace*{1.5ex} That means, any enclosure method based on midpoint inverse preconditioning may yield, for arbitrarily small data widths, an overestimation $\geq 100\%$ in some entry even in case $n=4$ and for strongly regular interval matrices. \end{document} From owner-reliable_computing [at] interval [dot] usl.edu Tue Jun 6 09:22:48 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id JAA00485 for reliable_computing-outgoing; Tue, 6 Jun 2000 09:22:47 -0500 (CDT) Received: from marnier.ucs.usl.edu (root@ucs-gw.usl.edu [130.70.40.2]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id JAA00480 for ; Tue, 6 Jun 2000 09:22:45 -0500 (CDT) Received: from u8174 (rbk5287 [at] goedel [dot] usl.edu [130.70.49.203]) by marnier.ucs.usl.edu (8.9.1/8.9.1/ucs-mx-host_1.4) with SMTP id JAA09036; Tue, 6 Jun 2000 09:22:30 -0500 (CDT) Message-Id: <2.2.32.20000606142052.0076faf0 [at] pop [dot] usl.edu> X-Sender: rbk5287 [at] pop [dot] usl.edu X-Mailer: Windows Eudora Pro Version 2.2 (32) Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Tue, 06 Jun 2000 09:20:52 -0500 To: rohn [at] uivt [dot] cas.cz, reliable_computing [at] interval [dot] usl.edu From: "R. Baker Kearfott" Subject: Re: preconditioning and overestimation Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Jiri, That's very interesting. I'll see if I can check out my width-optimal preconditioner on this example. By the way, I'll be in Dresden for the first two weeks in July. Best regards, Baker At 11:44 AM 6/6/00 CET, Jiri Rohn wrote: >% Dear colleagues, >% I have recently found an example which shows that for arbitrarily small >% data widths, preconditioning of a linear interval system by midpoint >% inverse may cause a 100% overestimation in some component of the interval >% hull even in case n=4 and for strongly regular interval matrices. >% The example is described in the appended LaTeX file. >% Best regards, >% >% Jiri Rohn > --------------------------------------------------------------- R. Baker Kearfott, rbk [at] louisiana [dot] edu (337) 482-5346 (fax) (337) 482-5270 (work) (337) 981-9744 (home) URL: http://interval.louisiana.edu/kearfott.html Department of Mathematics, University of Louisiana at Lafayette Box 4-1010, Lafayette, LA 70504-1010, USA --------------------------------------------------------------- From owner-reliable_computing [at] interval [dot] usl.edu Tue Jun 6 10:08:19 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id KAA00917 for reliable_computing-outgoing; Tue, 6 Jun 2000 10:08:19 -0500 (CDT) Received: from disi.unige.it (mailhost.disi.unige.it [130.251.61.19]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id KAA00907 for ; Tue, 6 Jun 2000 10:06:02 -0500 (CDT) Received: from [130.251.61.155] (reggio [130.251.61.155]) by disi.unige.it (8.8.8/8.8.8) with SMTP id QAA08437; Tue, 6 Jun 2000 16:06:08 +0200 (MET DST) Date: Tue, 6 Jun 2000 16:06:08 +0200 (MET DST) Message-Id: <200006061406.QAA08437 [at] disi [dot] unige.it> Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" To: etaps2001 [at] disi [dot] unige.it From: etaps2001 [at] disi [dot] unige.it (Etaps 2001) Subject: ETAPS 2001: FIRST ANNOUNCEMENT & CALL FOR SUBMISSIONS Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by interval.usl.edu id KAA00913 Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk [ Sorry for multiple copies. Do not reply to this message. If you believe we have sent this to a list not appropriate, please let us know by mailing to etaps2001 [at] disi [dot] unige.it ] ETAPS 2001 APRIL 2 - 6, 2001 GENOVA - ITALY The European Joint Conferences on Theory and Practice of Software (ETAPS) is a loose and open confederation of conferences and other events that has become the primary European forum for academic and industrial researchers working on topics relating to Software Science. http://www.disi.unige.it/etaps2001/ FIRST ANNOUNCEMENT & CALL FOR SUBMISSIONS ----------------------------------------------------------------------- 5 Conferences - Tutorials - Tool Demonstrations - 7 Satellite Events ----------------------------------------------------------------------- Conferences ----------------------------------------------------------------------- CC 2001: International Conference on Compiler Construction Chair: Reinhard Wilhelm ESOP 2001, European Symposium On Programming Chair: David Sands FASE 2001, Fundamental Approaches to Software Engineering Chair: Heinrich Hußmann FOSSACS 2001, Foundations of Software Science and Computation Structures Chair: Furio Honsell TACAS 2001, Tools and Algorithms for the Construction and Analysis of Systems Chairs: Tiziana Margaria and Wang Yi Prospective authors are invited to submit, before October 20, 2001, full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. In particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden. The proceedings of each main conference will be published as a separate volume in the Springer Verlag Lecture Notes in Computer Science series. Tutorials ----------------------------------------------------------------------- Proposals for half-day or full-day tutorials related to ETAPS 2001 are invited. Tutorial proposals will be evaluated on the basis of their assessed benefit for prospective participants to ETAPS 2001. Contact: Bernhard Rumpe, (Technische Universitaet Munchen, Germany) etaps2001-tut [at] forsoft [dot] de Tool Demonstrations ----------------------------------------------------------------------- Demonstrations of tools presenting advances on the state of the art are invited. Submissions in this category should present tools having a clear connection to one of the main ETAPS conferences, possibly complementing a paper submitted separately. These should not be confused with contributions to TACAS, which emphasizes principles of tool design, implementation, and use, rather than focusing on specific domains of application. Contact: Don Sannella (University of Edinburgh) etaps2001-demo [at] dcs [dot] ed.ac.uk Satellite Events ----------------------------------------------------------------------- Besides the five main conferences the following satellite events are planned for ETAPS 2001 CMCS: Co-algebraic Methods in Computer Science Contact: Ugo Montanari (Universita' di Pisa, Italy) ETI Day: Electronic Tool Integration platform Day Contacts: Tiziana Margaria (Universitaet Dortmund, Germany) and Andreas Podelski (MPI Saarbrucken, Germany) LDTA: Workshop on Language Descriptions, Tools and Applications Contact: Mark van den Brand (CWI Amsterdam, The Netherlands) PFM: Proofs For Mobility Contact: Davide Sangiorgi (INRIA-Sophia Antipolis, France) RelMiS: Relational Methods in Software Contact: Wolfram Kahl (Universitaet der Bundeswehr Munchen, Germany) UNIGRA: Uniform Approaches to Graphical Process Specification Techniques Contact: Julia Padberg (Technische Universitaet Berlin, Germany) WADT: Workshop on Algebraic Development Techniques Contact: Maura Cerioli (DISI-Universita' di Genova, Italy) Important Dates: ----------------------------------------------------------------------- October 20, 2000: Submissions Deadline for the Main Conferences, Demos and Tutorials December 15, 2000: Notification of Acceptance/Rejection January 15 2001: Camera-ready Version Due April 2-6, 2001: ETAPS 2001 in Genova March 31 - April 8, 2001: Satellite Events ----------------------------------------------------------------------- From owner-reliable_computing [at] interval [dot] usl.edu Thu Jun 8 05:58:29 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id FAA05533 for reliable_computing-outgoing; Thu, 8 Jun 2000 05:58:29 -0500 (CDT) Received: from judy.ic.ac.uk (judy.ic.ac.uk [155.198.5.28]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id FAA05528 for ; Thu, 8 Jun 2000 05:58:19 -0500 (CDT) From: h.haitao [at] ic [dot] ac.uk Received: from juliet.ic.ac.uk ([155.198.5.4]) by judy.ic.ac.uk with esmtp (Exim 2.12 #1) id 13000u-00017a-00 for reliable_computing [at] interval [dot] louisiana.edu; Thu, 8 Jun 2000 11:58:16 +0100 Received: from sunfs1-gw.ps.ic.ac.uk ([155.198.164.2] helo=sunfs1.ps.ic.ac.uk) by juliet.ic.ac.uk with esmtp (Exim 2.12 #1) id 13000v-0007CU-00 for reliable_computing [at] interval [dot] louisiana.edu; Thu, 8 Jun 2000 11:58:17 +0100 Received: from sunv44.ps.ic.ac.uk by sunfs1.ps.ic.ac.uk (8.8.8+Sun/4.1) id LAA05662; Thu, 8 Jun 2000 11:58:13 +0100 (BST) Date: Thu, 8 Jun 2000 11:58:12 +0100 (BST) Message-Id: <1091.200006081058 [at] sunv44 [dot] ps.ic.ac.uk> To: reliable_computing [at] interval [dot] louisiana.edu Subject: Profil/BIAS linux version Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Content-MD5: XhnncCU4UqCCl5j1iG0hWw== Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Dear members of "The Interval Community." I am user of your software 'Profil/BIAS'. It works well on my Sun works station. I still want to make it work on my Linux system (S.u.S.e ver 6.4 or Red Hat 6.2 on AMD-6-2-500 PC). Could you please be so kind to give me an idea whether there is a Linux version or how to do it? I am also interested in your INTLAB. However it is written in Matlab. I wander if I can call the INTLAB from C++ like call FORTRAN function? I am doing a work of designing a framework for flexible chemical process design. The basic tools for my work are C++ and interval arithmetic. Could you please give me any suggestion of which Interval software is more suitable? Thanks very much Haitao Huang From owner-reliable_computing [at] interval [dot] usl.edu Thu Jun 8 12:00:26 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id MAA06136 for reliable_computing-outgoing; Thu, 8 Jun 2000 12:00:26 -0500 (CDT) Received: from cosmos.imag.fr (cosmos.imag.fr [147.171.130.1]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id MAA06131 for ; Thu, 8 Jun 2000 12:00:21 -0500 (CDT) Received: from adraste.imag.fr (adraste.imag.fr [147.171.130.20]) by cosmos.imag.fr (8.9.3/8.8.5) with ESMTP id SAA18165; Thu, 8 Jun 2000 18:56:18 +0200 (MET DST) From: Dongming Wang Received: (from wang@localhost) by adraste.imag.fr (8.9.3/8.8.5) id SAA04917; Thu, 8 Jun 2000 18:56:01 +0200 (MET DST) Date: Thu, 8 Jun 2000 18:56:01 +0200 (MET DST) Message-Id: <200006081656.SAA04917 [at] adraste [dot] imag.fr> To: adg2000 [at] ethz [dot] ch Subject: ADG '2000 update Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk 3rd International Workshop on Automated Deduction in Geometry (Zurich, Switzerland, September 25-27, 2000) * Deadline for extended abstract submission: June 20, 2000 * Invited Speakers: Juergen Bokowski (TU Darmstadt, Germany) Christoph M. Hoffmann (Purdue University, USA) * Open Session Speaker: Wen-tsun Wu (Academia Sinica, China) * Further information: http://calfor.lip6.fr/~wang/ADG2000/ From owner-reliable_computing [at] interval [dot] usl.edu Thu Jun 8 13:16:47 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id NAA06531 for reliable_computing-outgoing; Thu, 8 Jun 2000 13:16:47 -0500 (CDT) Received: from cosmos.imag.fr (cosmos.imag.fr [147.171.130.1]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id NAA06525 for ; Thu, 8 Jun 2000 13:16:42 -0500 (CDT) Received: (from wang@localhost) by cosmos.imag.fr (8.9.3/8.8.5) id SAA17008; Thu, 8 Jun 2000 18:31:25 +0200 (MET DST) Date: Thu, 8 Jun 2000 18:31:25 +0200 (MET DST) From: Dongming Wang Message-Id: <200006081631.SAA17008 [at] cosmos [dot] imag.fr> To: adg2000 [at] ethz [dot] ch Subject: ADG '2000 update Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk 3rd International Workshop on Automated Deduction in Geometry (Zurich, Switzerland, September 25-27, 2000) * Deadline for extended abstract submission: June 20, 2000 * Invited Speakers: Juergen Bokowski (TU Darmstadt, Germany) Christoph M. Hoffmann (Purdue University, USA) * Open Session Speaker: Wen-tsun Wu (Academia Sinica, China) * Further information: http://calfor.lip6.fr/~wang/ADG2000/ From owner-reliable_computing [at] interval [dot] usl.edu Wed Jun 14 07:29:12 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id HAA18475 for reliable_computing-outgoing; Wed, 14 Jun 2000 07:29:12 -0500 (CDT) Received: from interval.usl.edu (rbk5287@interval [130.70.43.77]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with SMTP id HAA18470 for ; Wed, 14 Jun 2000 07:29:09 -0500 (CDT) Message-Id: <200006141229.HAA18470 [at] interval [dot] usl.edu> Date: Wed, 14 Jun 2000 07:29:09 -0500 (CDT) From: "Kearfott R. Baker" Reply-To: "Kearfott R. Baker" Subject: Results: Semiannual subscription verification To: reliable_computing [at] interval [dot] usl.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: 8Pzb42ScjRYR+ZgHQV5EIg== X-Mailer: dtmail 1.2.1 CDE Version 1.2.1 SunOS 5.6 sun4m sparc Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Dear colleagues, Thank you for your cooperation in the semiannual subscription verification. I have removed the following addresses, that have bounced. If you have current information about these persons, I would appreciate your help. Also, please inform me if you have any other questions or problems. Best regards, Baker Address reason for bounce regivan [at] dimap [dot] ufrn.br 554 Too many hops 26 (25 max) bedregal [at] dimap [dot] ufrn.br Too many hops 26 (25 max) ae20 [at] iamk4526 [dot] mathematik.uni-karlsruhe.de retry timeout exceeded jean-michel.muller [at] lip [dot] ens-lyon.fr Host unknown (Name server: lip.ens-lyon.fr: host not found) lidiya [at] mathematik [dot] uni-bremen.de User unknown hoon.hong [at] risc [dot] uni-linz.ac.at User unknown oliveira [at] andros [dot] inf.pucrs.br User unknown marc.daumas [at] lip [dot] ens-lyon.fr User unknown Franck.Delcroix [at] devinci [dot] fr User unknown hhong [at] risc [dot] uni-linz.ac.at User unknown stefano.depascale [at] vtt [dot] fi User unknown SMOL [at] prima [dot] tu-chel.ac.ru User unknown bloemer [at] tcs [dot] fu-berlin.de User unknown estela [at] etseccpb [dot] upc.es User Maria.Rosa.Estela (Maria.Rosa.Estela [at] upc [dot] es) not listed in public Name & Address Book falken [at] parc [dot] xerox.com Service unavailable nelid [at] iph [dot] bio.acad.bg Host unknown (Name server: iph.bio.acad.bg: host not found) immos [at] student [dot] dtu.dk Sorry, no mailbox here by that name mgmtrsh [at] osucc [dot] bitnet Node OSUCC is unknown as of VERS9916 eero.hyvonen [at] vtt [dot] fi User unknown obeaumon [at] irisa [dot] fr unknown user rioramr [at] yahoo [dot] com This account has been disabled or discontinued ongard [at] dt [dot] uh.edu Too Many Hops T.Csoka [at] rl [dot] ac.uk RAL mailer could not determine the intended recipient reid [at] bdc [dot] ubc.ca User unknown jerome [at] be [dot] com Sorry, no mailbox here by that name. --------------------------------------------------------------- R. Baker Kearfott, rbk [at] louisiana [dot] edu (337) 482-5346 (fax) (337) 482-5270 (work) (337) 981-9744 (home) URL: http://interval.louisiana.edu/kearfott.html Department of Mathematics, University of Louisiana at Lafayette Box 4-1010, Lafayette, LA 70504-1010, USA --------------------------------------------------------------- From owner-reliable_computing [at] interval [dot] usl.edu Fri Jun 16 06:02:56 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id GAA21669 for reliable_computing-outgoing; Fri, 16 Jun 2000 06:02:56 -0500 (CDT) Received: from zermelo.dcs.ed.ac.uk (zermelo.dcs.ed.ac.uk [129.215.96.75]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id GAA21664 for ; Fri, 16 Jun 2000 06:02:51 -0500 (CDT) Received: (from da@localhost) by zermelo.dcs.ed.ac.uk (8.9.3/8.9.3) id LAA19494; Fri, 16 Jun 2000 11:59:14 +0100 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <14666.2178.243872.648717 [at] zermelo [dot] dcs.ed.ac.uk> Date: Fri, 16 Jun 2000 11:59:14 +0100 (BST) From: David Aspinall To: coq-club [at] pauillac [dot] inria.fr, isabelle-users [at] cl [dot] cam.ac.uk, lego-club [at] dcs [dot] ed.ac.uk, uitp [at] dcs [dot] gla.ac.uk, bra-types [at] cs [dot] chalmers.se, info-hol [at] jaguar [dot] cs.byu.edu, pvs [at] csl [dot] sri.com, qed [at] mcs [dot] anl.gov, theorem-provers [at] ai [dot] mit.edu, types [at] cis [dot] upenn.edu, formal-methods [at] cs [dot] uidaho.edu, reliable_computing [at] interval [dot] usl.edu, prog-lang [at] diku [dot] dk Subject: Proof General --- Version 3.1 release X-Mailer: VM 6.72 under 21.1 (patch 9) "Canyonlands" XEmacs Lucid Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk [ Apologies for multiple copies. Also, this is a rather delayed announcement: Proof General 3.1 was actually released back in March but only advertised on the PG mailing list. ] Announcing Proof General Version 3.1 A Generic Emacs interface for Interactive Proof Assistants http://www.lfcs.informatics.ed.ac.uk/proofgen contact: David Aspinall ========================= Proof General is an Emacs interface for developing proof scripts. It can be instantiated for the proof assistant of your choice, and is supplied ready-customised for Isabelle, Coq, LEGO, and HOL. Proof General includes these features, amongst others: . Script management: proof assistant state reflected in editor . Toolbar and menus: commands for building and replaying proofs . Syntax highlighting of proof scripts and prover output . Display of real logical symbols, greek letters, etc . Simplified communication: proof assistant verbosity hidden . Menu for jumping to theorems in a proof script . Provision to easily run proof assistant on a remote host . Works on any platform Emacs does, in window system or plain console Summary of changes since 3.0: . New instantiation for HOL98! . Minor cosmetic improvements . Bug fixes for Emacs compatibility (FSF, Japanese versions, XEmacs on win32) . Fix for infamous Solaris ^G bug . Several other bug fixes . For full details, see http://www.lfcs.ed.ac.uk/proofgen/ProofGeneral-3.1/CHANGES The user manual contains full details, and is available on-line at: http://www.lfcs.informatics.ed.ac.uk/proofgen/index.phtml?page=doc Proof General needs a recent version of Emacs to run with, and it much prefers XEmacs to FSF GNU Emacs. Proof General 3.1 has been tested with XEmacs 21.1 and Emacs 20.5. (It should work back to XEmacs 20.4 and Emacs 20.2, though). Installing Proof General is easy. Why not give it a try? - David Aspinall June 2000. From owner-reliable_computing [at] interval [dot] usl.edu Sun Jun 18 10:19:22 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id KAA25619 for reliable_computing-outgoing; Sun, 18 Jun 2000 10:19:21 -0500 (CDT) Received: from kleene.math.wisc.edu (kleene.math.wisc.edu [144.92.166.90]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id KAA25614 for ; Sun, 18 Jun 2000 10:19:17 -0500 (CDT) Received: from bing.math.wisc.edu (bing.math.wisc.edu [144.92.166.133]) by kleene.math.wisc.edu (8.9.3/8.9.3) with SMTP id KAA24261; Sun, 18 Jun 2000 10:00:47 -0500 (CDT) Date: Sun, 18 Jun 2000 09:53:53 -0500 (CDT) From: Hans Schneider To: NETS -- at-net , "Hershkowitz, Danny -- Hershkowitz Daniel" , Danny Hershkowitz , E-LETTER , "na.digest" , ipnet-digest [at] math [dot] msu.edu, wim@bell-labs.com, hjt [at] eos [dot] ncsu.edu, vkm [at] eedsp [dot] gatech.edu, reliable_computing [at] interval [dot] louisiana.edu Subject: LAA contents Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Dear Net Organizer: Please circulate the attached LAA contents over your net. Thanks hans --- ------------------------------------------------------------------------------ Hans Schneider hans [at] math [dot] wisc.edu. Department of Mathematics 608-262-1402 (Work) Van Vleck Hall 608-271-7252 (Home) 480 Lincoln Drive 608-263-8891 (Work FAX) University of Wisconsin-Madison 608-271-8477 (Home FAX) Madison WI 53706 USA http://www.math.wisc.edu/~hans (URL) ------------------------------------------------------------------------------ ContentsDirect from Elsevier Science ===================================== Journal: Linear Algebra and its Applications ISSN : 0024-3795 Volume : 313 Issue : 1-3 Date : 01-Jul-2000 Please note that only subscribers can access full text and abstracts through the provided URLs. Visit the journal at http://www.elsevier.nl/locate/jnlnr/07738 pp 1-20 Matrix pencils and a generalized Clifford algebra C.J. Pappacena http://www.elsevier.nl/PII/S0024379500000252 pp 21-40 Linear systems with signed solutions S.-J. Kim, B.L. Shader http://www.elsevier.nl/PII/S0024379500000926 pp 41-51 A new relative perturbation theorem for singular subspaces R.-C. Li, G.W. Stewart http://www.elsevier.nl/PII/S0024379500000744 pp 53-100 Inner-outer factorization and the inversion of locally finite systems of equations P. Dewilde, A.-J. van der Veen http://www.elsevier.nl/PII/S0024379500000835 pp 101-105 A correction: orthogonal representations and connectivity of graphs L. Lovasz, M. Saks, A. Schrijver http://www.elsevier.nl/PII/S0024379500000914 pp 107-114 Fast and stable eigendecomposition of symmetric banded plus semi-separable matrices S. Chandrasekaran, M. Gu http://www.elsevier.nl/PII/S0024379500001063 pp 115-126 On the digraphs of sign solvable linear systems J.-Y. Shao http://www.elsevier.nl/PII/S0024379500001075 pp 127-139 On vector Hankel determinants A. Salam http://www.elsevier.nl/PII/S0024379500001026 pp 141-154 The cycle completable graphs for the completely positive and doubly nonnegative completion problems J.H. Drew, C.R. Johnson, S.J. Kilner, A.M. McKay http://www.elsevier.nl/PII/S0024379500001105 pp 155-161 Reducibility theorems for pairs of matrices as rational criteria Y.A. Al'pin, K.D. Ikramov http://www.elsevier.nl/PII/S0024379500001294 pp 163-171 Inverses of Perron complements of inverse M-matrices M. Neumann http://www.elsevier.nl/PII/S0024379500001282 pp 173-192 Inverse M-matrix completions of patterns omitting some diagonal positions L. Hogben http://www.elsevier.nl/PII/S0024379500001221 pp 193-201 On a discrete nonlinear boundary value problem S. Sun Cheng, H.-T. Yen http://www.elsevier.nl/PII/S0024379500001336 pp 203-206 A test for copositive matrices W. Kaplan http://www.elsevier.nl/PII/S0024379500001385 pp 207 Index http://www.elsevier.nl/PII/S0024379500001555 --- NOTE: ContentsDirect, which is automatically generated, lists the first author of each paper and the corresponding author (if different). From owner-reliable_computing [at] interval [dot] usl.edu Mon Jun 19 08:40:53 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id IAA27614 for reliable_computing-outgoing; Mon, 19 Jun 2000 08:40:53 -0500 (CDT) Received: from atilla.mim.itu.edu.tr (IDENT:root [at] atilla [dot] mim.itu.edu.tr [160.75.51.2]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id IAA27609 for ; Mon, 19 Jun 2000 08:40:46 -0500 (CDT) Received: from kasanova.mim.itu.edu.tr (ozsoya.mim.itu.edu.tr [160.75.52.86]) by atilla.mim.itu.edu.tr (8.9.3/8.9.3) with SMTP id QAA01637 for ; Mon, 19 Jun 2000 16:40:36 +0300 Message-ID: <03f601bfd9f3$9a5671a0$56344ba0 [at] kasanova [dot] mim.itu.edu.tr> From: "Simeon J. Simoff" To: Subject: DCNet'00: Call for papers Date: Mon, 19 Jun 2000 23:38:05 +1000 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 8bit X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 4.72.3612.1700 X-MimeOLE: Produced By Microsoft MimeOLE V4.72.3612.1700 Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Appologies for cross-postings =========================================================================== CALL FOR SUBMISSIONS: DCNet00 =========================================================================== DCNet00 is the third conference in a series of online conferences that focuses on the future of design computing. The online conference will run over four days in a Virtual Conference Room. DCNet00 is sponsored by The International Journal of Design Computing - an electronic journal whose objective is to promote research and technology transfer in design computing through the publication of interactive, multimedia journal articles within the general topic of design computing. This conference furthers those objectives by providing a focused forum on the future of design computing. Submissions Submissions are invited on the following broad topics: … Collaborative Design … Multimedia in Design … Virtual Reality … Artificial Intelligence in Design The submissions will be reviewed by at least two peers. Acceptance is based on their relevance to the conference and quality of presentation. Accepted sumissions will be presented and discussed using both threaded discusssions and synchronous question and answer sessions with online slide projectors. When preparing submissions, you are encouraged to use multimedia and hypertext to enhance the content. Submissions will not be printed and are not expected to be printable. Submissions must be accessible using http and html standards. Only the URL is submitted at this point. Please clearly indicate if plug-ins are required. The length of submission is difficult to specify, but aim for approximately 3000 words or a presentation that takes about 10-15 minutes to comprehend. Dates 28 August - Submissions due 20 November - Final submissions due 4-18 December - Conference papers are available for threaded discussion 18-21 December - Conference online presentations and discussions Publication The presentations and edited version of threaded and synchronous discussions will be published as part of the current volume of the International Journal of Design Computing. All published presentations will be peer reviewed and archived in a way consistent with the scholarly journal standards. Visit the conference web site at: http://www.arch.usyd.EDU.AU/kcdc/conferences/DCNet00/index.html for further information. Mary Lou Maher Simeon Simoff Conference Co-Chairs From owner-reliable_computing [at] interval [dot] usl.edu Wed Jun 21 19:11:51 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id TAA01847 for reliable_computing-outgoing; Wed, 21 Jun 2000 19:11:51 -0500 (CDT) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id TAA01842 for ; Wed, 21 Jun 2000 19:11:47 -0500 (CDT) Received: from earth (earth [129.108.5.21]) by cs.utep.edu (8.10.1/8.10.1) with SMTP id e5M0BeR01464; Wed, 21 Jun 2000 18:11:40 -0600 (MDT) Message-Id: <200006220011.e5M0BeR01464 [at] cs [dot] utep.edu> Date: Wed, 21 Jun 2000 18:11:40 -0600 (MDT) From: vladik Reply-To: vladik Subject: Special Issues: Interfaces Between Fuzzy Sets and Interval Analysis To: interval [at] cs [dot] utep.edu, reliable_computing [at] interval [dot] louisiana.edu, nafips-l [at] sphinx [dot] gsu.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=US-ASCII Content-MD5: l1W6O3wSIOZQj4/ToggOBA== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from QUOTED-PRINTABLE to 8bit by interval.usl.edu id TAA01843 Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk CALL FOR PAPERS Fuzzy Sets and Systems Special Issues: Interfaces Between Fuzzy Sets and Interval Analysis http://www-math.cudenver.edu/~wlodwick/journals/fss-call.html Fuzzy set theory when restricted to sets of real numbers can be approached via intervals and interval analysis. The intimate relationship between interval analysis and fuzzy set theory is especially apparent in fuzzy arithmetic, fuzzy optimization and some areas of fuzzy mathematical analysis. A unimodal fuzzy membership function can be formed from a continuum of intervals corresponding to alpha-levels or a continuum of disconnected intervals for multi-modal fuzzy membership functions. Intervals are one type of fuzzy set possessing a rectangular membership function. This being the case, the issues and mathematical analysis associated with fuzzy set theory and interval analysis are mutually relevant. We invite papers on advances that clearly demonstrate the interrelationships between fuzzy set theory and interval analysis. We list some examples of the types of papers we seek. This list is indicative and not exhaustive. * Fuzzy and interval mathematical analysis; for example, the role and interrelationship of the fuzzy extension principle of L. Zadeh and interval united extension of R.E. Moore in fuzzy functions, fuzzy mathematical analysis and foundational issues * Comparative analyses of the logics associated with fuzzy set theory, possibility theory and interval analysis * Upper and lower probability interpretation of possibility theory * Fuzzy extensions of interval ordering * The application of interval analysis to fuzzy algorithms and vice versa * Possibilistic, fuzzy, and interval optimization * Fuzzy and interval systems techniques in operations research * Fuzzy and interval logic controllers * Computer systems in support of fuzzy number data types and associated numerical algorithms akin to such interval analysis computer systems as that of S. Rump, "INTLAB - Interval Laboratory" (see version 3 of INTLAB and paper at: http://www.ti3.tu-harburg.de/~rump/intalb/index.html * Fuzzy and interval dynamical systems * Complexity issues in fuzzy and interval methods * One of the uses of interval analysis is in the validation of solutions under computational and data errors. Is there a comparable use of fuzzy set and possibility theory in the validation of solutions under uncertainty? In addition to new results in theoretical analysis, innovative applications, and computer implementations, we invite insightful surveys. Guest editor: Professor Weldon A. Lodwick Department of Mathematics - Campus Box 170 University of Colorado at Denver P.O. Box 173364 Denver, Colorado 80217-3364 weldon.lodwick [at] cudenver [dot] edu Telephone: + 303 556-8462 Procedure for Submission All contributions must be original, not published elsewhere, and written clearly in English. Please send 5 copies of your paper to the Guest Editor before 01/01/2001. From owner-reliable_computing [at] interval [dot] usl.edu Mon Jun 26 17:12:40 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id RAA10624 for reliable_computing-outgoing; Mon, 26 Jun 2000 17:12:40 -0500 (CDT) Received: from lukla.Sun.COM (lukla.Sun.COM [192.18.98.31]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id RAA10619 for ; Mon, 26 Jun 2000 17:12:37 -0500 (CDT) Received: from engmail1.Eng.Sun.COM ([129.146.1.13]) by lukla.Sun.COM (8.9.3+Sun/8.9.3) with ESMTP id QAA26186; Mon, 26 Jun 2000 16:12:34 -0600 (MDT) Received: from ha-sims.eng.sun.com (phys-thestorka.Eng.Sun.COM [129.146.1.231]) by engmail1.Eng.Sun.COM (8.9.3+Sun/8.9.3/ENSMAIL,v1.7) with ESMTP id PAA08843; Mon, 26 Jun 2000 15:12:33 -0700 (PDT) Received: from gww (gww.Eng.Sun.COM [129.146.78.116]) by ha-sims.eng.sun.com (Sun Internet Mail Server sims.4.0.1999.06.13.00.20) with SMTP id <0FWS00ML18CXTW@ha-sims.eng.sun.com>; Mon, 26 Jun 2000 15:12:33 -0700 (PDT) Date: Mon, 26 Jun 2000 15:12:33 -0700 (PDT) From: William Walster Subject: Fw: A Great Opportunity To: interval [at] cs [dot] utep.edu, reliable_computing [at] interval [dot] louisiana.edu Reply-to: William Walster Message-id: <0FWS00ML28CXTW@ha-sims.eng.sun.com> MIME-version: 1.0 X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.3.4 SunOS 5.7 sun4m sparc Content-type: TEXT/plain; charset=us-ascii Content-MD5: fK4Obr6UP2jXjq9Ogrx1dA== Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk It is important to demonstrate that interval users are doing real science. Now with an interval compiler from Sun, this is an opportunity to kill two birds with one stone by helping the the interval community and Sun. Please post interval and/or Sun success stories to: http://www.idc.com:8080/hpc/ Regards, Bill From owner-reliable_computing [at] interval [dot] usl.edu Tue Jun 27 04:46:01 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id EAA12212 for reliable_computing-outgoing; Tue, 27 Jun 2000 04:46:01 -0500 (CDT) Received: from satie.u-bourgogne.fr (satie.u-bourgogne.fr [192.134.59.2]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id EAA12207 for ; Tue, 27 Jun 2000 04:45:56 -0500 (CDT) Received: from catmull (catmull.u-bourgogne.fr [193.52.237.132]) by satie.u-bourgogne.fr (8.9.3/8.9.3) with ESMTP id LAA152510 for ; Tue, 27 Jun 2000 11:45:54 +0200 From: "Dominique Faudot" To: Subject: eigenvalues Date: Tue, 27 Jun 2000 11:49:11 +0200 Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook IMO, Build 9.0.2416 (9.0.2910.0) Importance: Normal X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2314.1300 Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Hi, I have a matrix A (symmetric) which is an interval matrix and i have to compute the eigenvalues of A. I do not find good results (because of divisions between intervals including 0). Is there somewhere a C++ function or a paper about this problem ? Thanks for help dominique From owner-reliable_computing [at] interval [dot] usl.edu Thu Jun 29 22:18:52 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id WAA16623 for reliable_computing-outgoing; Thu, 29 Jun 2000 22:18:52 -0500 (CDT) Received: from mtu.ru (ns.mtu.ru [195.34.32.10]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id WAA16618 for ; Thu, 29 Jun 2000 22:18:47 -0500 (CDT) Received: from ns1.glasnet.ru.glasnet.ru (ppp101-174.dialup.mtu-net.ru [212.188.101.174]) by mtu.ru (Postfix) with SMTP id E6EBA4680 for ; Fri, 30 Jun 2000 07:18:43 +0400 (MSD) (envelope-from Yakovlev@rc_journal.mtu-net.ru) Message-ID: <006401bfe241$9823d520$d103efc3 [at] glasnet [dot] ru.glasnet.ru> Reply-To: "Alexander G. Yakovlev" From: "Alexander G. Yakovlev" To: Subject: My address has been changed Date: Fri, 30 Jun 2000 07:14:59 +0400 MIME-Version: 1.0 Content-Type: text/plain; charset="koi8-r" Content-Transfer-Encoding: 7bit X-Priority: 1 X-MSMail-Priority: High X-Mailer: Microsoft Outlook Express 5.00.2417.2000 X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2314.1300 X-Recipient: reliable_computing [at] interval [dot] usl.edu Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Dear coleagues, I would like to inform you that my address Yakovlev [at] globlab [dot] msk.su is not actual starting this moment. Instead of the former address please write me to Yakovlev@rc_journal.mtu-net.ru However, it is preferable to send me to this address relatively small messages (for instance, not more than 15 KB). Large letters please send to another address: scdl [at] glasnet [dot] ru Usually, mail from the both addresses will be read at least once per day. Sincerely yours, Alexander Yakovlev, Managing Editor of the journal `Reliable Computing' From owner-reliable_computing [at] interval [dot] usl.edu Fri Jun 30 04:44:21 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id EAA17960 for reliable_computing-outgoing; Fri, 30 Jun 2000 04:44:21 -0500 (CDT) Received: from genie.eecs.lehigh.edu (genie.eecs.lehigh.edu [128.180.98.9]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id EAA17955 for ; Fri, 30 Jun 2000 04:44:16 -0500 (CDT) Received: by genie.eecs.lehigh.edu (8.9.3/8.9.3) id AAA21887 for asap-announce-outgoing; Fri, 30 Jun 2000 00:34:09 -0400 (EDT) X-Authentication-Warning: genie.eecs.lehigh.edu: majordom set sender to owner-asap-announce [at] majordomo [dot] eecs.lehigh.edu using -f From: ASAP User Date: Fri, 30 Jun 2000 00:34:04 -0400 (EDT) Message-Id: <200006300434.AAA05667 [at] pamir [dot] eecs.lehigh.edu> To: asap-announce [at] EECS [dot] Lehigh.EDU Subject: [ASAP] ASAP'2000 - Call for Participation Cc: mschulte [at] EECS [dot] Lehigh.EDU Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk ASAP'2000 IEEE International Conference on Application-specific Systems, Architectures and Processors July 10-12, 2000, Boston --------------------------------------------------------------------------- CALL FOR PARTICIATION This year's program includes a rich set of topics and outstanding papers by distinguished authors. Topics covered include video and multimedia processors, reconfigurable computing, modeling and synthesis, cryptography, digital signal processing, computer arithmetic, multiprocessor systems, application-specific architectures, and design methodology. In addition to thirty-three contributed papers, the conference features a keynote address by Dr. William S. Song of MIT Lincoln Laboratory on "High-Performance Front-End Signal Processors for Adaptive Sensor Arrays". The program for the IEEE International Conference on Application-Specific Systems, Architectures and Processors (ASAP 2000) is available from the conference web page at: http://www.eecs.lehigh.edu/ASAP/ The conference web page also has links to (1) Conference Registration (2) Hotel/Travel Information (3) Airline Travel Information More information about each of these topics is given below. If you have any questions, please send email to asap [at] eecs [dot] lehigh.edu or mschulte [at] eecs [dot] lehigh.edu. We look forward to seeing you at ASAP 2000! ----------------------------------------------------------------------- Conference Registration: Online conference registration for ASAP'2000 is available from https://secure.computer.org/conf/asap/register.htm If you are unable to access the online registration, please send email to asap [at] eecs [dot] lehigh.edu, along with your FAX number, and we will send you a copy of the registration form. ----------------------------------------------------------------------- Hotel/Travel Information: ASAP'2000 will be held in the the Fairmont Copley Plaza Hotel, which is located at 138 St. James Avenue in Boston, Massachusetts. The hotel is about 30 minutes by taxi, car or shuttle from Boston's Logan International Airport. For conference attendees who are flying into Logan Airport, you can rent a car, take a taxi (about $25 each way), or take the Back Bay Coach Shuttle (about $7.50 each way). Additional information about the hotel, including a map and directions are available from: http://www.fairmont.com/Hotels/Index_B.html Room reservations should be made by calling 800-441-1414 or +1-617-267-5300. Attendees should reference IEEE Computer Society ASAP when making reservations. The cut-off date will be Friday, 9 June 2000 at 5:00 p.m. Eastern time. Reservations received after 9 June will be accepted by the Hotel on a space available basis at the conference rates. The Hotel confirms the following special rates for ASAP. Single/Double: $189 Suites: $389 These rates are exclusive of applicable sales/room tax, currently twelve point four five (12.45) percent, and are net non-commissionable. These special rates will apply at least three (3) days prior to and three (3) days after the Meeting dates based on availability to accommodate those who wish to extend their visits and these nights will be credited back to the room block. ----------------------------------------------------------------------- Airline Travel Information: Conference attendees who plan to fly to the conference may want to consider flying into the Logan International Airport, since it is about 30 minutes (by car) from the conference hotel. IEEE Computer Society is pleased to announce that it has been able to secure a special discount agreement with United Airlines unavailable to the general public. A 5% discount off the lowest applicable fare will be offered ONLY when you or your travel agent call United's toll-free number 1-800-521-4041 and refer to the Meeting ID Number 538IQ. A 10% discount off the unrestricted mid-week coach fares is available when purchased 7 days in advance. An additional 5% discount will apply when you purchase your tickets at least 60 days in advance of your travel date. Discounts apply on United, Shuttle by United, and United Express. Dedicated reservationists are on duty 7 days a week, 7:00am to 12:00 midnight Eastern time. Book early to take advantage of promotional fares that give you the greatest discount. Mileage Plus members receive full credit for all miles flown to this meeting. From owner-reliable_computing [at] interval [dot] usl.edu Fri Jun 30 12:09:55 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id MAA18642 for reliable_computing-outgoing; Fri, 30 Jun 2000 12:09:54 -0500 (CDT) Received: from ns.di.fct.unl.pt (IDENT:root [at] ns [dot] di.fct.unl.pt [193.136.122.1]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id MAA18637 for ; Fri, 30 Jun 2000 12:09:49 -0500 (CDT) Received: from FACULDADF0QADT (gatekeeper.di.fct.unl.pt [193.136.122.225]) by ns.di.fct.unl.pt (8.9.3/8.9.3) with SMTP id SAA07801; Fri, 30 Jun 2000 18:16:52 +0100 Message-ID: <021001bfe2af$e9d04d40$3301000a@FACULDADF0QADT> Reply-To: =?iso-8859-1?Q?Miguel_Goul=E3o?= From: =?iso-8859-1?Q?Miguel_Goul=E3o?= To: Subject: CSMR 2001 call for papers Date: Fri, 30 Jun 2000 15:25:26 +0100 Organization: =?iso-8859-1?Q?Faculdade_de_Ci=EAncias_e_Tecnologia?= MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 8bit X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 5.00.2014.211 X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2014.211 Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Fifth European Conference on Software Maintenance and Reengineering Lisbon area, Portugal 14 to 16 March 2001 http://www.esw.inesc.pt/csmr2001 Call for Papers CSMR is the premier European Conference on Software Maintenance and Reengineering. Its purpose is to promote both discussion and interaction about maintenance and reengineering. Topics of interest include, but are not restricted to: * Maintenance and reengineering metrics and economics * Patterns languages for maintenance and reengineering * Experience reports on maintenance and reengineering * Maintenance and reengineering tools * Enabling technologies for maintenance and reengineering * Formal methods to support maintenance and reengineering * Software evolution and architecture recovery * System assessment for reengineering or maintenance * Migration and maintenance issues * Dealing with legacy systems towards new technologies One of the basic intentions of this conference is to offer an European forum for discussion and exchange of experiences among researchers and practitioners. Therefore, besides academics, we kindly invite all those in companies developing maintenance tools, offering reengineering services or going through legacy systems migration experiences to contribute by submitting papers or presenting innovative tools, solutions or experience reports. This conference is not limited to European participants. Authors from outside Europe are especially welcomed. SUBMISSIONS: Two types of submissions will be accepted: full length papers (not exceeding 4000 words in length and including a 150-200 word abstract) and short papers (not exceeding 2000 words in length and including a 75-100 word abstract). All papers should be in English. Authors are requested to submit electronically a PostScript or PDF version of their papers. In addition, they should send a separate file containing the title of the paper, full names, affiliations, postal and e-mail addresses, fax and telephone numbers of all authors. We encourage authors to make submissions through the web based submission system that will be available. For submission details please look at the conference web site. IEEE Computer Society Press will publish the CSMR=922001 Proceedings. Full papers exceeding 10 pages (4 pages for short papers) will be charged for pages in excess. Authors of accepted papers must sign the IEEE copyright form. At least one author of each accepted submission should register and present the paper at the conference. The official language will be English. IMPORTANT DATES: DEADLINE for submissions - Friday, September 15, 2000 Author's notification - Monday, November 20, 2000 DEADLINE for camera-ready of accepted papers - Friday, December 15, 2000 SPECIAL SESSIONS: Sessions of special interest proposed by delegates will be welcomed. Please send suggestions to the program chair before the submissions closing date. Program Chair: Pedro Sousa Lisbon Technical University (IST) & Link Av. D. =C1vila 23, 1000 Lisboa, Portugal. Phone: +351-21-3100124 Fax: +351-21-3100079 Email: pedro.sousa [at] link [dot] pt Program Co-Chair: Jürgen Ebert Institut für Softwaretechnik University of Koblenz-Landau Rheinau 1, D-56076 Koblenz, Germany Phone: +49-261-287-2722 Fax: +49-261-287-2721 Email: ebert@uni-koblenz.de General Chair: Fernando Brito e Abreu Lisbon New University (FCT) & INESC R Alves Redol 9, 1000 Lisboa, Portugal. Phone: +351-21-3100263 Fax: +351-21-3145843 Email: fba [at] inesc [dot] pt Web Chair: Miguel Goulão Lisbon New University (FCT) & INESC R Alves Redol 9, 1000 Lisboa, Portugal. Phone: +351-21-3100263 Fax: +351-21-3145843 Email: miguel.goulao [at] di [dot] fct.unl.pt Sponsors Chair: Mendes dos Santos Instituto de Informática (Min. Finanças) Email: mendes.santos@inst-informatica.pt Finance Chair: Paulo Gomes EUROCIBER Email: pagomes [at] eurociber [dot] pt Local Arrangements Chair: Judite Delgado APESI Email: apesi [at] treal [dot] pt CSMR Steering Committee: Lutz Richter, University of Zurich, Switzerland (Chair) Elliot Chikofsky, META Group, USA Franz Lehner, University of Regensburg, Germany Paolo Nesi, Università degli Studi di Firenze, Italy Harry Sneed, SES GmbH, Germany Chris Verhoef, University of Amsterdam, The Netherlands ------------------------------------------------------------------------- Please take our apologies if you receive this information more than once! -- Miguel Goulão Departamento de Informática - FCT/UNL email: mg [at] di [dot] fct.unl.pt Tel: 351 21 2948536 Ext: 0749 (DI) 351 21 2948300 Ext: 0749 (Geral)