From owner-reliable_computing [at] interval [dot] usl.edu Tue Jan 4 11:40:16 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id LAA13431 for reliable_computing-outgoing; Tue, 4 Jan 2000 11:40:16 -0600 (CST) Received: from zmit1.ippt.gov.pl (zmit1.ippt.gov.pl [148.81.53.8]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id LAA13426 for ; Tue, 4 Jan 2000 11:40:00 -0600 (CST) Received: (from zkulpa@localhost) by zmit1.ippt.gov.pl (8.8.5/8.7.3-zmit) id SAA05967; Tue, 4 Jan 2000 18:39:55 +0100 (MET) Date: Tue, 4 Jan 2000 18:39:55 +0100 (MET) From: Zenon Kulpa Message-Id: <200001041739.SAA05967 [at] zmit1 [dot] ippt.gov.pl> To: reliable_computing [at] interval [dot] usl.edu Subject: Re: INTERVAL'2000 Cc: zkulpa [at] zmit1 [dot] ippt.gov.pl, axel.facius [at] math [dot] uni-karlsruhe.de Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk > From owner-reliable_computing [at] interval [dot] usl.edu Tue Dec 14 18:08:34 1999 > From: Axel Facius > > Unfortunately, we forgot to mention, that Interval 2000 will jointly > be held in Karlsruhe next year. Last month I fixed this failing in > our scan2000 homepage http://www.scan2000.de and of course, the second > announcement (to be sent out in February 2000) will contain this > information too. > I have just had a look at the site, but besides the single sentence stating "Held jointly with the Interval 2000 conference" there is no further information about the Interval conference, nor any link to pages containing, possibly, that information. So, where I can find a place to see that information and possibly register my intent to take part in it? -- Zenon Kulpa From owner-reliable_computing [at] interval [dot] usl.edu Tue Jan 4 12:45:27 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id MAA13788 for reliable_computing-outgoing; Tue, 4 Jan 2000 12:45:27 -0600 (CST) 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 MAA13783 for ; Tue, 4 Jan 2000 12:45:24 -0600 (CST) Message-Id: <200001041845.MAA13783 [at] interval [dot] usl.edu> Date: Tue, 4 Jan 2000 12:45:24 -0600 (CST) From: "Kearfott R. Baker" Reply-To: "Kearfott R. Baker" Subject: CADE-17 submission deadline is January 15 To: reliable_computing [at] interval [dot] usl.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: q7IeINc/hI/L+LmQho2F+w== 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 ------------- Begin Forwarded Message ------------- From: David McAllester Subject: CADE-17 submission deadline is January 15 For the last 25 years CADE has been the major forum for the presentation of papers in automated deduction. CADE-17 The 17th International Conference on Automated Deduction Final Call for Papers http://www.research.att.com/conf/cade/ June 17-20, 2000 Pittsburgh, Pennsylvania, USA Submission Deadline January 15 ------------- End Forwarded Message ------------- From owner-reliable_computing [at] interval [dot] usl.edu Tue Jan 4 13:19:58 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id NAA14167 for reliable_computing-outgoing; Tue, 4 Jan 2000 13:19:58 -0600 (CST) Received: from mx.eng.iastate.edu (mx.eng.iastate.edu [129.186.23.116]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id NAA14160; Tue, 4 Jan 2000 13:19:54 -0600 (CST) Received: by mx.eng.iastate.edu with Internet Mail Service (5.5.2650.21) id ; Tue, 4 Jan 2000 12:59:26 -0600 Message-ID: <873F9637C545D311A5C500902771C8593215B6 [at] mx [dot] eng.iastate.edu> From: "Berleant, D." To: "'Kearfott R. Baker'" , reliable_computing [at] interval [dot] usl.edu Subject: Endowed Chair position Date: Tue, 4 Jan 2000 12:59:25 -0600 MIME-Version: 1.0 X-Mailer: Internet Mail Service (5.5.2650.21) Content-Type: text/plain; charset="iso-8859-1" Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Colleagues, Here is an opportunity to build a major research program in the interval computations field. Please consider it. DB --- An endowed chair position at the full professor rank is available in the ECE department at Iowa State University. Please consider the potential of this position for yourself, or nominate a qualified individual. Area of interest is flexible. Ames, IA is one of the most livable communities in the US with a public school system ranked among the best nationwide. ISU is the birthplace of the Atanasoff-Berry computer, often considered the first electronic digital computer (http://www.scl.ameslab.gov/ABC/). The official announcement is appended. Please feel free to email me informally if you have any questions. Best Regards, Dan POSITION ANNOUNCEMENT Department of Electrical and Computer Engineering Iowa State University of Science and Technology invites applications for The Jerry R. Junkins Chair, Information Systems. The areas of interest include software engineering, hardware/software codesign, human-computer interaction, information technology, internet technology, multimedia/hypermedia, software architectures, wireless/cellular communications, telecommunications, and VLSI systems/CAD for VLSI. Applicants should have a) an earned doctorate in electrical engineering or a related discipline, b) exceptional leadership capabilities in their technical area of expertise, c) demonstrated ability to interact productively with the industrial community and/or governmental agencies, d) outstanding record of scholarly activity, and e) national and international recognition. The responsibilities include 1) teaching at the undergraduate and graduate levels, 2) pursuing leading edge research and publishing research results in leading journals and conferences, 3) guiding graduate students, 4) seeking, establishing, and maintaining external research funding, 5) providing leadership in faculty and program development, and 6) participating in outreach activities. Full information can be found at http://www.ee.iastate.edu. Applicants should send a letter of application and a resume including names and addresses of at least 3 references to, Chair, Electrical and Computer Engineering, 2215 Coover Hall, Iowa State University, Ames, IA 50011. ISU is an EO/AA employer. From owner-reliable_computing [at] interval [dot] usl.edu Wed Jan 5 07:12:02 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id HAA16727 for reliable_computing-outgoing; Wed, 5 Jan 2000 07:12:02 -0600 (CST) Received: from skiff.cs.vu.nl (root [at] skiff [dot] cs.vu.nl [192.31.231.56]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id HAA16722 for ; Wed, 5 Jan 2000 07:11:59 -0600 (CST) Received: by skiff.cs.vu.nl (Smail #64) id m125qEE-000TggC; Wed, 5 Jan 2000 14:11 +0100 Message-Id: Subject: CL2000: 3rd call for papers To: reliable_computing [at] interval [dot] usl.edu Date: Wed, 5 Jan 2000 14:11:54 +0100 (MET) From: "Raamsdonk van F" X-Mailer: ELM [version 2.5 PL2] MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk *** apologies for multiple copies *** First International Conference on Computational Logic, CL2000 Imperial College, London, UK 24th to 28th July, 2000 http://www.doc.ic.ac.uk/cl2000 3rd call for papers The deadline for submission of papers to CL2000 is FEBRUARY 1, 2000. Papers on all aspects of the theory, implementation, and application of Computational Logic are invited, where Computational Logic is to be understood broadly as the use of logic in Computer Science. Papers can be submitted to one the following seven streams of CL2000 (each stream has its own separate program committee): - Database Systems (DOOD2000) - Program Development (LOPSTR2000) - Knowledge Representation and Non-monotonic Reasoning - Automated Deduction: Putting Theory into Practice - Constraints - Logic Programming: Theory and Extensions - Logic Programming: Implementations and Applications The last three streams effectively constitute the former ICLP conference series that will be now integrated into CL2000. Please note the following: - Further details on formatting of the papers, publisher, etcetera are available via the webpage of the conference. - Authors will be notified of acceptance/rejection by 15th April, 2000. - Camera-ready versions must be received by 15th May, 2000. CL2000 is co-locating with ILP2000, the 10th International Conference on Inductive Logic Programming. The call for papers of ILP2000 (deadline for submission of papers: 29 March 2000) and further information is available via http://www.cs.york.ac.uk/ILP-events/ILP-2000 From owner-reliable_computing [at] interval [dot] usl.edu Fri Jan 7 08:38:15 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id IAA22335 for reliable_computing-outgoing; Fri, 7 Jan 2000 08:38:15 -0600 (CST) Received: from automatix.informatik.uni-wuerzburg.de (root [at] wi2x40 [dot] informatik.uni-wuerzburg.de [132.187.10.40]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id IAA22330 for ; Fri, 7 Jan 2000 08:38:11 -0600 (CST) Received: from informatik.uni-wuerzburg.de (i2-dhcp-0 [132.187.10.130]) by automatix.informatik.uni-wuerzburg.de (8.8.8/8.8.8) with ESMTP id PAA28876; Fri, 7 Jan 2000 15:37:58 +0100 Message-ID: <38760856.2982A695 [at] informatik [dot] uni-wuerzburg.de> Date: Fri, 07 Jan 2000 16:37:58 +0100 From: "=?iso-8859-1?Q?J=FCrgen?= Wolff v. Gudenberg" X-Mailer: Mozilla 4.7 [de] (WinNT; I) X-Accept-Language: de MIME-Version: 1.0 To: Zenon Kulpa CC: reliable_computing [at] interval [dot] usl.edu, axel.facius [at] math [dot] uni-karlsruhe.de Subject: Re: INTERVAL'2000 References: <200001041739.SAA05967 [at] zmit1 [dot] ippt.gov.pl> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk I interpret the term 'held jointly with Interval 2000' in the way that everything is cupled tightly, so there is only one conference with 2 titles,but 1 call for paper, 1 scientific committee, 1 program , joint publication possibility. and I think that is a reasonable way to run the conference. Juergen WvG Zenon Kulpa schrieb: > > From owner-reliable_computing [at] interval [dot] usl.edu Tue Dec 14 18:08:34 1999 > > From: Axel Facius > > > > Unfortunately, we forgot to mention, that Interval 2000 will jointly > > be held in Karlsruhe next year. Last month I fixed this failing in > > our scan2000 homepage http://www.scan2000.de and of course, the second > > announcement (to be sent out in February 2000) will contain this > > information too. > > > I have just had a look at the site, > but besides the single sentence stating > "Held jointly with the Interval 2000 conference" > there is no further information about the Interval > conference, nor any link to pages containing, possibly, > that information. > > So, where I can find a place to see that information > and possibly register my intent to take part in it? > > -- Zenon Kulpa From owner-reliable_computing [at] interval [dot] usl.edu Fri Jan 7 08:58:02 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id IAA22622 for reliable_computing-outgoing; Fri, 7 Jan 2000 08:58:02 -0600 (CST) Received: from zmit1.ippt.gov.pl (zmit1.ippt.gov.pl [148.81.53.8]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id IAA22617 for ; Fri, 7 Jan 2000 08:57:53 -0600 (CST) Received: (from zkulpa@localhost) by zmit1.ippt.gov.pl (8.8.5/8.7.3-zmit) id PAA08485; Fri, 7 Jan 2000 15:57:56 +0100 (MET) Date: Fri, 7 Jan 2000 15:57:56 +0100 (MET) From: Zenon Kulpa Message-Id: <200001071457.PAA08485 [at] zmit1 [dot] ippt.gov.pl> To: wolff [at] informatik [dot] uni-wuerzburg.de Subject: Re: INTERVAL'2000 Cc: reliable_computing [at] interval [dot] usl.edu, axel.facius [at] math [dot] uni-karlsruhe.de Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk > From wolff [at] informatik [dot] uni-wuerzburg.de Fri Jan 7 15:38:25 2000 > Date: Fri, 07 Jan 2000 16:37:58 +0100 > From: "=?iso-8859-1?Q?J=FCrgen?= Wolff v. Gudenberg" > > I interpret the term 'held jointly with Interval 2000' in the way that > everything is cupled tightly, so there is only one conference > with 2 titles, but > 1 call for paper, > 1 scientific committee, > 1 program , > joint publication possibility. > > and I think that is a reasonable way to run the conference. > > Juergen WvG > Very good, I have no basic objections against such an arrangement, but then it should be explicitly stated at the website - that it is SCAN/IINTERVAL2000 Conference (or something like that), and the call for papers, conference topics, etc. should contain terminology & subject areas of both fields represented. Currently it is not so - the site specifically says only about SCAN, and the almost only mention of intervals is in this sentence: "Held jointly with the Interval 2000 conference" (the second one is in the laudable quote from Prof. Gustafson). And that somehow does not satisfy me. -- Zenon Kulpa > Zenon Kulpa schrieb: > [...] > > I have just had a look at the site, > > but besides the single sentence stating > > "Held jointly with the Interval 2000 conference" > > there is no further information about the Interval > > conference, nor any link to pages containing, possibly, > > that information. > > > > So, where I can find a place to see that information > > and possibly register my intent to take part in it? > > From owner-reliable_computing [at] interval [dot] usl.edu Fri Jan 7 09:53:07 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id JAA23045 for reliable_computing-outgoing; Fri, 7 Jan 2000 09:53:07 -0600 (CST) Received: (from rbk5287@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id JAA23039 for reliable_computing; Fri, 7 Jan 2000 09:53:05 -0600 (CST) Date: Fri, 7 Jan 2000 09:53:05 -0600 (CST) From: "Kearfott R. Baker" Message-Id: <200001071553.JAA23039 [at] interval [dot] usl.edu> To: reliable_computing [at] interval [dot] usl.edu Subject: LAA vol 304 X-Sun-Charset: US-ASCII Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk ----- Begin Included Message ----- 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 ===================================== URL: http://www.elsevier.nl/locate/jnlnr/07738 Journal: Linear Algebra and Its Applications ISSN : 0024-3795 Volume : 304 Issue : 1-3 Date : 06-Jan-2000 pp 1-31 The correlations with identity companion automorphism, of finite desarguesian planes BC Kestenband pp 33-43 On pseudomatroid property of matrices R Sridhar, SN Kabadi pp 45-68 A quantitative version of the observation that the Hadamard product is a principal submatrix of the Kronecker product G Visick pp 69-101 The Picard group of a structural matrix algebra J Haefner pp 103-108 Range kernel orthogonality of derivations BP Duggal pp 109-118 Semigroups of EP linear transformations G Lesnjak pp 119-129 On the cone of completely positive linear transformations DA Yopp pp 131-139 On factorization of matrix polynomials J Maroulas pp 141-159 Linear operators preserving multivariate majorization LB Beasley pp 161-171 A factorization of totally nonsingular matrices over a ring with identity M Fiedler pp 173-177 Gersgorin variations I: On a theme of Pupkov and Solov'ev AJ Hoffman pp 179-179 Challenges in Matrix Theory 2000 pp 181-192 Matrix rigidity B Codenotti pp 193-200 Matrix rank and communication complexity B Codenotti pp 201-201 Author index NOTE: ContentsDirect, which is automatically generated by Elsevier, lists the first author of each paper and the corresponding author (if different). ----- End Included Message ----- From owner-reliable_computing [at] interval [dot] usl.edu Sat Jan 8 16:20:06 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id QAA26451 for reliable_computing-outgoing; Sat, 8 Jan 2000 16:20:06 -0600 (CST) 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 QAA26446 for ; Sat, 8 Jan 2000 16:20:03 -0600 (CST) 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.3) with SMTP id QAA16725 for ; Sat, 8 Jan 2000 16:20:00 -0600 (CST) Message-Id: <2.2.32.20000108222223.00687c80 [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="iso-8859-1" Date: Sat, 08 Jan 2000 16:22:23 -0600 To: reliable_computing [at] interval [dot] usl.edu From: "R. Baker Kearfott" Subject: Re: INTERVAL'2000 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by interval.usl.edu id QAA26447 Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Yes, that seems reasonable. In particular some years back we discussed biennial versus annual conferences, with a view towards the rate of progress in the field, size of the community, etc. We did not want to dilute a conference or pose undue burdens by holding conferences too frequently. If I recall correctly, we recommended holding INTERVAL* and SCAN* meetings in alternate years. The same people appear to attend the INTERVAL* and SCAN* meetings. Finally, the number of experts in the field appears to be stable over the last decade (although there appears to be an increase in the number of people who are peripherally interested, and there have been some very interesting and important developments in recent years). Best regards, Baker At 04:37 PM 1/7/00 +0100, Jürgen Wolff v. Gudenberg wrote: >I interpret the term 'held jointly with Interval 2000' in the way that >everything is >cupled tightly, so there is only one conference >with 2 titles,but >1 call for paper, >1 scientific committee, >1 program , >joint publication possibility. > >and I think that is a reasonable way to run the conference. > >Juergen WvG > >Zenon Kulpa schrieb: > >> > From owner-reliable_computing [at] interval [dot] usl.edu Tue Dec 14 18:08:34 1999 >> > From: Axel Facius >> > >> > Unfortunately, we forgot to mention, that Interval 2000 will jointly >> > be held in Karlsruhe next year. Last month I fixed this failing in >> > our scan2000 homepage http://www.scan2000.de and of course, the second >> > announcement (to be sent out in February 2000) will contain this >> > information too. >> > >> I have just had a look at the site, >> but besides the single sentence stating >> "Held jointly with the Interval 2000 conference" >> there is no further information about the Interval >> conference, nor any link to pages containing, possibly, >> that information. >> >> So, where I can find a place to see that information >> and possibly register my intent to take part in it? >> >> -- Zenon Kulpa > > --------------------------------------------------------------- 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 Jan 11 02:03:48 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id CAA00873 for reliable_computing-outgoing; Tue, 11 Jan 2000 02:03:48 -0600 (CST) Received: from ostrich.prod.itd.earthlink.net (ostrich.prod.itd.earthlink.net [207.217.120.14]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id CAA00867 for ; Tue, 11 Jan 2000 02:03:40 -0600 (CST) Received: from thrush.prod.itd.earthlink.net (thrush.prod.itd.earthlink.net [207.217.121.96]) by ostrich.prod.itd.earthlink.net (8.8.7/8.8.5) with ESMTP id QAA20734 for ; Mon, 10 Jan 2000 16:37:08 -0800 (PST) Received: from company.mail (ip135.garden-city2.ny.pub-ip.psi.net [38.26.50.135]) by thrush.prod.itd.earthlink.net (8.9.3/8.9.3) with SMTP id QAA12364 for ; Mon, 10 Jan 2000 16:36:44 -0800 (PST) Received: from ramas.com [192.0.0.5] by company.mail [127.0.0.1] with SMTP (MDaemon.v2.7.SP5.R) for ; Mon, 10 Jan 2000 19:10:57 -0500 Message-ID: <387A73CD.B565C799 [at] ramas [dot] com> Date: Mon, 10 Jan 2000 19:05:33 -0500 From: Scott Ferson Organization: Applied Biomathematics X-Mailer: Mozilla 4.7 [en] (Win98; U) X-Accept-Language: en MIME-Version: 1.0 To: "reliable_computing [at] interval [dot] usl.edu" Subject: uncertainty workshop Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-MDaemon-Deliver-To: reliable_computing [at] interval [dot] usl.edu X-Return-Path: scott [at] ramas [dot] com Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk UNCERTAINTY Its Nature, Analytical Treatment and Interpretation 10-11 February 2000 Key Bridge Marriott Arlington, Virginia This two-day forum on uncertainty will bring together theorists and practitioners in risk analysis, policy making, philosophy and computer science to address the emerging issues about what it means to admit we're unsure. The questions to be addressed include What’s the real difference between wishful thinking and a prudent assumption? Is it essential to distinguish uncertainty from variability and ambiguity? Can Bayesian rationality be consistent with open and democratic decision making? Is probability theory the only consistent approach for handling uncertainty? What are the practical implications of epistemological constraints? When is a decision defensible even if the data it’s based on are incomplete? Do bright-line definitions of ‘adverse effects’ thwart optimal decision making? The conference is intended as a forum for discussion and debate, rather than merely a teaching workshop. The forum will be focused by short presentations by invited speakers and will allow ample time for open-format discussion and debate among all participants. Speakers include Timothy Barry, U.S. Environmental Protection Agency Vicki Bier, University of Wisconsin at Madison Rosina Bierbaum, Environment Director, White House OSTP Todd Bridges, U.S. Army Corps of Engineers Mark Colyvan, University of Tasmania Douglas Dixon, Electric Power Research Institute Scott Ferson, Applied Biomathematics, (organizer) Adam Finkel, Director of Health Standards, OSHA Kathryn Blackmond Laskey, George Mason University Deborah Mayo, Virginia Polytechnic Institute Richard Neapolitan, Northeastern Illinois University Teddy Seidenfeld, Carnegie Mellon University Ronald Yager, Iona College The forum is sponsored by the Society for Risk Analysis, with co-sponsorship by the U.S. Army Engineer Research and Development Center and the Electric Power Research Insitute. The deadline for early registration is 26 January 2000. Consult the webpage http://www.ramas.com/feb1011.htm for more information and registration details. From owner-reliable_computing [at] interval [dot] usl.edu Tue Jan 11 12:05:16 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id MAA00757 for reliable_computing-outgoing; Tue, 11 Jan 2000 12:05:16 -0600 (CST) 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 MAA00752 for ; Tue, 11 Jan 2000 12:05:08 -0600 (CST) Received: from earth (earth [129.108.5.21]) by cs.utep.edu (8.9.3+Sun/8.9.1) with SMTP id LAA05165 for ; Tue, 11 Jan 2000 11:04:53 -0700 (MST) Message-Id: <200001111804.LAA05165 [at] cs [dot] utep.edu> Date: Tue, 11 Jan 2000 11:04:53 -0700 (MST) From: vladik Reply-To: vladik Subject: TCS special issue on CCA To: reliable_computing [at] interval [dot] usl.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: fvMcsXLX6mYTWB7TpvPdqg== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.3.4 SunOS 5.7 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk ------------- Begin Forwarded Message ------------- Date: Tue, 11 Jan 2000 17:32:26 +0100 From: Vasco Brattka X-Accept-Language: en MIME-Version: 1.0 Subject: TCS special issue on CCA Content-Transfer-Encoding: 7bit ---------- C A L L F O R P A P E R S ---------- THEORETICAL COMPUTER SCIENCE Special issue : Computability and Complexity in Analysis This is a call for papers for a special issue of the Journal "Theoretical Computer Science". Guest Editors: Ker-I Ko, Anil Nerode, Klaus Weihrauch. Important Dates: - Deadline for submissions: March 15, 2000 - Notification of acceptance/rejection: May 15, 2000 - Deadline for final version: July 15, 2000 Computability and Complexity in Analysis is a field of increasing importance in theoretical computer science. On the one hand, it provides a theoretical background for numerical analysis and for the numerous numerical computations performed by digital computers. On the other hand, it is an important and very promising field of research. Computability and Complexity in Analysis combines discrete computability and complexity essentially based on the Turing machine model with concepts for approximation well known from Analysis, Functional Analysis, Measure Theory, Domain Theory etc. This special issue will contain papers presented on the seminar "CCA'99" which took place at Dagstuhl in November 1999 (http://www.informatik.fernuni-hagen.de/cca/). Also authors who have not participated are encouraged to submit. Language of presentation: English Please send 4 copies of a full paper to: Klaus Weihrauch Theoretische Informatik I FernUniversitaet D-58084 HAGEN GERMANY As an alternative, you are encouraged to send a PostScript version of your full paper to: klaus.weihrauch@fernuni-hagen.de (subject: TCS) If you prepare your paper in LaTeX, you should use Elsevier-LaTeX (see ``Guide for authors'' in http://www.elsevier.nl), standard LaTeX or AMS-LaTeX (in document style 'article'). ------------- End Forwarded Message ------------- From owner-reliable_computing [at] interval [dot] usl.edu Sun Jan 16 12:07:08 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id MAA14289 for reliable_computing-outgoing; Sun, 16 Jan 2000 12:07:08 -0600 (CST) 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 MAA14284 for ; Sun, 16 Jan 2000 12:07:04 -0600 (CST) Received: from forelli.math.wisc.edu (forelli.math.wisc.edu [144.92.166.70]) by kleene.math.wisc.edu (8.9.3/8.9.3) with SMTP id LAA18735; Sun, 16 Jan 2000 11:59:05 -0600 (CST) Date: Sun, 16 Jan 2000 12:18:04 -0600 (CST) 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 vol 305 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 ------------------------------------------------------------------------------ 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) ------------------------------------------------------------------------------ Dear Net Organizer: Please circulate the attached LAA contents over your net. Thanks hans --- ContentsDirect from Elsevier Science ===================================== URL: http://www.elsevier.nl/locate/jnlnr/07738 Journal: Linear Algebra and Its Applications ISSN : 0024-3795 Volume : 305 Issue : 1-3 Date : 21-Jan-2000 pp 1-14 Ranks of submatrices and the off-diagonal indices of a square matrix E Marques De Sa pp 15-21 The number of Kronecker indices of square pencils of a special kind E Marques De Sa pp 23-31 On the Hadamard product of inverse M-matrices B Wang, F Zhang pp 33-46 Order intervals of matrices ML Thornburg, RD Hill pp 47-65 Creation and annihilation in matrix theory R Hartwig pp 67-86 On transitive linear semigroups R Drnovsek, L Livshits pp 87-97 On the Hu-Hurley-Tam conjecture concerning the generalized numerical range CHEMAN Cheng, CHIKWONG Li pp 99-105 On an inequality for the Hadamard product of an M-matrix and its inverse Y Song pp 107-129 An integer programming problem and rank decomposition of block upper triangular matrices H Bart pp 131-149 Families of vectors with prescribed rank partition and a prescribed subfamily A Fonseca pp 151-159 Singular values, diagonal elements, and extreme matrices HF Miranda pp 161-171 The conjugacy classes of fixed point free elements in Gl_n(F) and SL_n(F) JIZHU Nan pp 173-185 Difference equations in a general setting DJ Hartfiel pp 187-190 Rank factorization and bordering of regular matrices over commutative rings E Ballico pp 191-201 A dimension formula for the nucleus of a Veronese variety J Gmainer, H Havlicek pp 203-203 Author index ------- 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 Sun Jan 16 12:21:43 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id MAA14600 for reliable_computing-outgoing; Sun, 16 Jan 2000 12:21:43 -0600 (CST) 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 MAA14595 for ; Sun, 16 Jan 2000 12:21:40 -0600 (CST) 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.3) with SMTP id MAA25085 for ; Sun, 16 Jan 2000 12:21:34 -0600 (CST) Message-Id: <2.2.32.20000116182405.00766bf0 [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: Sun, 16 Jan 2000 12:24:05 -0600 To: reliable_computing [at] interval [dot] usl.edu From: "R. Baker Kearfott" Subject: temporary service disruption on interval.louisiana.edu Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Colleagues, The power will be out on campus between 13:00 GMT and approximately 21:00 GMT on Monday, January 17, 2000. Postings to this mailing list will be delayed, and ftp services and web services on interval.louisiana.edu (alias interval.usl.edu) will be unavailable at that time. Rest assured that things are properly backed up, etc. Best regards, Baker --------------------------------------------------------------- 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 Wed Jan 19 15:07:53 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id PAA04058 for reliable_computing-outgoing; Wed, 19 Jan 2000 15:07:53 -0600 (CST) Received: from into.nit.spb.ru (into.nit.spb.ru [212.193.6.225]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id PAA04053 for ; Wed, 19 Jan 2000 15:07:30 -0600 (CST) Received: from slava.UUCP (uucp@localhost) by into.nit.spb.ru (8.8.7/8.8.7) with UUCP id AAA19443 for reliable_computing [at] interval [dot] usl.edu; Thu, 20 Jan 2000 00:11:19 +0300 (MSK) (envelope-from slava.nit.spb.su!nest [at] slava [dot] nit.spb.su) Received: by slava.nit.spb.su (dMail for DOS v1.23, 15Jun94); Thu, 20 Jan 2000 00:03:33 +0300 To: reliable_computing [at] interval [dot] usl.edu Message-Id: Organization: Slava Nesterov Date: Thu, 20 Jan 2000 00:03:33 +0300 (MSK) Reply-To: nest [at] into [dot] nit.spb.su From: "Slava Nesterov" X-Mailer: dMail [Demos Mail for DOS v1.23] Subject: Reliable Computing, issue 2, 2000 Lines: 60 Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Reliable Computing Volume 6, Issue 2, 2000 The Hull of Preconditioned Interval Linear Equations Eldon R. Hansen 95-103 Finding All Solutions of Nonlinear Equations Using Linear Combinations of Functions Kiyotaka Yamamura 105-113 Computation of the Bernstein Coefficients on Subdivided Triangles Ralf Hungerbuehler, Juergen Garloff 115-121 Jacobi and Gauss-Seidel Iterations for Polytopic Systems: Convergence via Convex M-Matrices Dusan M. Stipanovic, Dragoslav D. Siljak 123-137 A Coherence Space of Rational Intervals for a Construction of \IRhead Gracaliz P. Dimuro, Antonio Carlos da R. Costa, Dalcidio M. Claudio 139-178 Interval Branch and Bound Algorithm for Finding the First-Zero-Crossing-Point in One-Dimensional Functions Leocadio G. Casado, Inmaculada F. Garcia, Yaroslav D. Sergeyev 179-191 Accelerated Shift-and-Add Algorithms Nathalie Revol, Jean-Claude Yakoubsohn 193-205 Mathematical Function Software on the Web - Are Such Codes Useful for Verification Algorithms? Werner Hofschuster, Walter Kraemer 207-218 Every Superinterval of the Function Range Can Be an Interval-Computations Enclosure Misha Koshelev 219-223 Reminiscences Eldon R. Hansen 225 Erratum to: A Simple Derivation of the Hansen-Bliek-Rohn-Ning-Kearfott Enclosure for Linear Interval Equations (Reliable Computing {\bf 5 (2) (1999)) Arnold Neumaier 227  From owner-reliable_computing [at] interval [dot] usl.edu Wed Jan 19 16:35:51 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id QAA04497 for reliable_computing-outgoing; Wed, 19 Jan 2000 16:35:51 -0600 (CST) 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 QAA04492 for ; Wed, 19 Jan 2000 16:35:43 -0600 (CST) 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.3) with SMTP id QAA26403 for ; Wed, 19 Jan 2000 16:35:25 -0600 (CST) Message-Id: <2.2.32.20000119223529.00709a24 [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: Wed, 19 Jan 2000 16:35:29 -0600 To: reliable_computing [at] interval [dot] usl.edu From: "R. Baker Kearfott" Subject: Solution of systems with complex variables Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Colleagues, I am collecting references on specialized numerical methods (both verified methods and approximate methods) for solving systems of $n$ nonlinear equations in $n$ complex variables. I would be very appreciative if you could send me your work, work of others, or standard references, preferably (but not necessarily) in BibTeX format. Also, if I have overlooked a previous bibliography on the subject, please tell me. I can post the collection I get, as people wish. Best regards, Baker --------------------------------------------------------------- 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 Thu Jan 20 02:31:26 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id CAA05433 for reliable_computing-outgoing; Thu, 20 Jan 2000 02:31:26 -0600 (CST) Received: from mbox.diima.unisa.it (cesare.diiie.unisa.it [193.205.164.10]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with SMTP id CAA05428 for ; Thu, 20 Jan 2000 02:31:03 -0600 (CST) Received: from pc2.diiie.unisa.it [193.205.164.124] (HELO pc1) by mbox.diima.unisa.it (AltaVista Mail V2.0/2.0 BL23 listener) id 0000_0074_3886_c6b6_4441; Thu, 20 Jan 2000 09:26:30 +0100 Message-Id: <4.1.20000120091959.0091b8a0 [at] cesare [dot] diiie.unisa.it> X-Sender: spanish [at] cesare [dot] diiie.unisa.it X-Mailer: QUALCOMM Windows Eudora Pro Version 4.1 Date: Thu, 20 Jan 2000 09:30:06 +0100 To: reliable_computing [at] interval [dot] usl.edu From: "G.Spagnuolo" Subject: Systems of non linear equations Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk Dear researchers, I am searching for papers/software for solving systems of non linear equations characterized by a very sparse jacobian matrix of great dimensions (the order is 100-200, with less than 10 non-zero elements for each row). I think INTLAB could be a good environment to develop an algorithm that involves sparse matrices. Do you have any useful suggestion about some interval based approach oriented to this particular kind of non linear systems? Thanks in advance. Regards. Giovanni -- Dr. Giovanni Spagnuolo, Ph.D. Assistant Professor Dipartimento di Ingegneria dell'Informazione ed Ingegneria Elettrica D.I.I.I.E. University of Salerno Via Ponte Don Melillo I-84084 Fisciano (SA) - ITALY Phone +39 089 964258 Fax +39 089 964218 NOTE: NEW E-MAIL ADDRESS --> e-mail spanish [at] ieee [dot] org <--- From owner-reliable_computing [at] interval [dot] usl.edu Fri Jan 21 09:52:19 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id JAA09184 for reliable_computing-outgoing; Fri, 21 Jan 2000 09:52:19 -0600 (CST) Received: from happy.dt.uh.edu (happy.dt.uh.edu [129.7.174.25]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with SMTP id JAA09179 for ; Fri, 21 Jan 2000 09:52:04 -0600 (CST) Received: by happy.dt.uh.edu (950413.SGI.8.6.12/940406.SGI.AUTO) for reliable_computing [at] interval [dot] usl.edu id JAA00731; Fri, 21 Jan 2000 09:28:33 -0800 From: "Chenyi Hu" Message-Id: <10001210928.ZM729 [at] happy [dot] dt.uh.edu> Date: Fri, 21 Jan 2000 09:28:33 -0800 In-Reply-To: "G.Spagnuolo" "Systems of non linear equations" (Jan 20, 9:30am) References: <4.1.20000120091959.0091b8a0 [at] cesare [dot] diiie.unisa.it> X-Mailer: Z-Mail (3.2.3 08feb96 MediaMail) To: reliable_computing [at] interval [dot] usl.edu Subject: Re: Systems of non linear equations Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk On Jan 20, 9:30am, G.Spagnuolo wrote: > Subject: Systems of non linear equations > Dear researchers, > I am searching for papers/software for solving systems of non linear > equations characterized by a very sparse jacobian matrix of great > dimensions (the order is 100-200, with less than 10 non-zero elements for > each row). Yes, we have a paper published. Reliable Computing 1(3), 1995, pp. 251-263. A General Iterative Sparse Linear Solver and Its Parallelization for Interval Newton Methods. Chenyi Hu -- Ph.D., Associate Professor, Computer and Mathematical Sciences Center for Computational Science and Advanced Distributed Simulation University of Houston-Downtown Phone: 713 221-8414 One Main Street Fax: 713 221-8086 Houston, Texas 77002 E-mail: CHu [at] uh [dot] edu http://happy.dt.uh.edu/~hu/Hu.html On Jan 20, 9:30am, G.Spagnuolo wrote: > Subject: Systems of non linear equations > Dear researchers, > I am searching for papers/software for solving systems of non linear > equations characterized by a very sparse jacobian matrix of great > dimensions (the order is 100-200, with less than 10 non-zero elements for > each row). > I think INTLAB could be a good environment to develop an algorithm that > involves sparse matrices. > Do you have any useful suggestion about some interval based approach > oriented to this particular kind of non linear systems? > Thanks in advance. > Regards. > Giovanni > > > -- > Dr. Giovanni Spagnuolo, Ph.D. > Assistant Professor > Dipartimento di Ingegneria dell'Informazione ed Ingegneria Elettrica > D.I.I.I.E. > University of Salerno > Via Ponte Don Melillo > I-84084 Fisciano (SA) - ITALY > Phone +39 089 964258 > Fax +39 089 964218 > > NOTE: NEW E-MAIL ADDRESS > --> e-mail spanish [at] ieee [dot] org <--- >-- End of excerpt from G.Spagnuolo From owner-reliable_computing [at] interval [dot] usl.edu Mon Jan 24 09:20:21 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id JAA23068 for reliable_computing-outgoing; Mon, 24 Jan 2000 09:20:21 -0600 (CST) 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 JAA23063 for ; Mon, 24 Jan 2000 09:20:17 -0600 (CST) Received: from earth (earth [129.108.5.21]) by cs.utep.edu (8.9.3+Sun/8.9.1) with SMTP id IAA11854 for ; Mon, 24 Jan 2000 08:20:12 -0700 (MST) Message-Id: <200001241520.IAA11854 [at] cs [dot] utep.edu> Date: Mon, 24 Jan 2000 08:20:12 -0700 (MST) From: vladik Reply-To: vladik Subject: FYI: from NA Digest To: reliable_computing [at] interval [dot] usl.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: Qn8J/t+Ph5yvF28UBCWZyw== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.3.4 SunOS 5.7 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk From: U. Naumann Date: Wed, 19 Jan 2000 14:42:51 GMT Subject: Workshop on Automatic Differentiation Extension of Deadline for Abstract Submission to February 11. Refereed Proceedings to be published by Springer in LNCS Series. The third international workshop on Automatic Differentiation (AD) AD 2000 - FROM SIMULATION TO OPTIMIZATION will take place June 19th to June 23rd at Nice (Cote d'Azur, France) AD 2000 will be organized locally by INRIA Sophia-Antipolis under the direction of an international program committee. It represents a follow up on the two previous workshops held in Breckenridge (USA) in 1991 and in Santa Fe (USA) in 1996. Special emphasis will be placed on relationships and synergies between AD techniques and other software tools such as compilers and parallelizers. Apart from recent advances in research and software development conference topics include applications of AD to optimization, ODEs/DAEs, inverse problems, biomedical research, and mathematics of finance. Invited presentations have been confirmed by W. Klein, Siemens, Munich V. Selmin, Alenia, Turin D. Fylstra, Frontline Syst. Nev J.-D. Beley, CADOE, Lyon J. More, Argonne, Ill. F. Bodin, IRISA, Rennes S. Watt, Univ. of Western Ontario S. Hague, NAG, Oxford D. Keyes, NASA, Langley O. Pironneau, Univ Paris B. Walster, Sun Micro Systems F-X. LeDimet, Univ. Grenoble Abstracts for contributed talks and their publication in the proceedings must be submitted before February 11th. Specifics on the location, procedures for registration and submission (abstracts, posters, special interest groups), and the preliminary program can be found at http://www-sop.inria.fr/tropics/ad2000/ From owner-reliable_computing [at] interval [dot] usl.edu Wed Jan 26 22:07:10 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id WAA28905 for reliable_computing-outgoing; Wed, 26 Jan 2000 22:07:10 -0600 (CST) Received: from tik2.ethz.ch (kom-tik2.ethz.ch [129.132.66.10]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id WAA28900 for ; Wed, 26 Jan 2000 22:07:06 -0600 (CST) Received: from tec34.ethz.ch (tec34 [129.132.119.34]) by tik2.ethz.ch (8.8.8/8.8.8) with ESMTP id FAA22375 for ; Thu, 27 Jan 2000 05:07:04 +0100 (MET) From: Application Asm Received: (from asm@localhost) by tec34.ethz.ch (8.8.8/8.8.8) id FAA27444 for reliable_computing [at] interval [dot] usl.edu; Thu, 27 Jan 2000 05:07:03 +0100 (MET) Date: Thu, 27 Jan 2000 05:07:03 +0100 (MET) Message-Id: <200001270407.FAA27444 [at] tec34 [dot] ethz.ch> To: reliable_computing [at] interval [dot] usl.edu Subject: call for participation: ASM2000, March 19th - March 24th X-Sun-Charset: ISO-8859-1 Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk -> We apologize if you received multiple copies <- ______________________________________________________________ _______ _______ _______ Call for Participation, Preliminary Program _______ _______ _______ _______ ASM2000 _______ _______ _______ _______ http://www.tik.ee.ethz.ch/~asm/2000 _______ _______ Monte Verita, Switzerland _______ _______ March 19th - 24th 2000 _______ ______________________________________________________________ In March 2000, an Abstract State Machine (ASM) Workshop will be held at Monte Verita, Switzerland. The aim of the workshop is to bring together domain-experts using ASMs as practical specification formalisms and theore- ticians using ASMs as formal starting point for their investi- gations, as well as people generally interested in ASMs. See http://www.eecs.umich.edu/gasm for more info on ASMs. The technical program consists of invited lectures, tutorials, presentations of refereed papers, and software demonstrations. A significant part of the time will be devoted to discussions. Arrival is on Sunday afternoon, June 19th, and the workshop program will end on Friday noon, June 24th. A limited number of grants covering registration and part of travel costs are available for undergraduate students. Applications shall include a short CV and resumee of scientific interests. ______________________________________________________________ _______ _______ _______ Important Dates _______ ______________________________________________________________ Grant applications deadline : February 15th Registration deadline : March 1st Earlier registrants get nicer rooms with view over lake and mountains! ASM2000 is just before ETAPS'2000 (Berlin, March 25-April 2,2000) so that attendance to both events can be suitably combined. ______________________________________________________________ _______ _______ _______ Location _______ ______________________________________________________________ Monte Verita served for over hundred year as a boiling meeting place for a variety of movements, ranging from naturalism, over anarchism, to various artistic tendencies. (see http://http://www.csf-mv.ethz.ch/Official/MonteVerita/History.html) The workshop takes place in the newly restored historic Bauhaus buildings, situated in a scenic park with a marvelous view onto the lake Lago Maggiore and the mountains. A 10 minutes walk away the participants can take advantage of Ascona, a picturesque medieval village on the shore of a splendid and sunny bay. (see http://www.ascona.ch/etale.htm) Ascona and the Monte Verita are situated in the heart of Europe, easily accessible from Milano, Italy and Zurich, Switzerland. For travel instructions see http://www.csf-mv.ethz.ch/Official/Additional/Additional.html _______________________________________________________________ _______ _______ _______ Registration Form _______ _______________________________________________________________ Please fill out the registration form below and send it until March 1st to Monica Fricker at the address on the form (regular mail only, no e-mail or fax) to register for the workshop. =============================================================== Send to: Monica Fricker (e-mail/fax not acceptable) Institut TIK ETH Zentrum Gloriastrasse 35 CH-8092 Zurich Switzerland ph: +41-1-632-7035 fax: +41-1-632-1035 EMail: fricker [at] tik [dot] ee.ethz.ch Please Print or Type: Name:__________________________________________________________ Last/Family First MI Affiliation:___________________________________________________ Address:_______________________________________________________ _______________________________________________________ City:_________________________ State or Region:________________ Zip/Postal code:___________________ Country:___________________ Daytime Phone:_____________________ Fax Number:________________ Email:_________________________________________________________ Do you have any special needs?_________________________________ (special meals, access, etc.) Please circle appropriate fee * Workshop Registration, Accommodation, and Full Board: Student Regular Dollar $ 310 $ 510 Swiss Francs CHF 465 CHF 765 Charges: (please fill out) Total Enclosed: ________ (Swiss Francs (CHF)) PAYMENT MUST BE ENCLOSED: BANK-TO-BANK-TRANSFER (INTERNATIONAL MONEY ORDER) MUST BE DRAWN ON THE FOLLOWING BANK ACCOUNT: SCHWEIZERISCHE NATIONALBANK, BERN BC: 110 Acc.#: 1530-5-30-ETHZ Credit: ASM97 1-67-234-97 E_MAIL REGISTRATIONS CANNOT BE ACCEPTED BECAUSE WE NEED TO HAVE SIGNATURES ON FILE. CHECKS NOT ACCEPTED. Method of Payment ______ BANK-TO-BANK-TRANSFER ______ VISA ______ MASTERCARD ______ AMERICAN EXPRESS ______ DINERS CLUB Credit Card Number:____________________________________________ Exp. Date:____________________ Cardholder Name: ______________________________________________ Exactly as it is printed on the card Date:___________Signature:_____________________________________ We will have to bill no-show registered persons in full. Sorry, we cannot accept cancellations after March 1st, and refunds for cancellations before March 1st may take several months to process. _______________________________________________________________ _______ _______ _______ Program _______ _______________________________________________________________ Discussion sessions, ad hoc meetings, .... Invited Talks: -------------- Andreas Blass, Univ. of Michigan "Pure Mathematics and ASM's." Egon Börger, Univ. of Pisa "Composition and Structuring Principles for ASMs" Gerhard Goos, Univ. of Karlsruhe title to be anounced Martin Odersky, EPFL Lausanne "Functional Nets as a Composition Method for ASM's" Wolfgang Reisig, Humbold Univ. Berlin "Towards a Distributed ASM Thesis" Natarajan Shankar, SRI International "Symbolic Analysis of Transition Systems" Tutorials: ---------- Tutorials include tool-demonstrations and hands-on experience with the used tools. Infrastructure includes 12 SUN-workstations. Uwe Glaesser, Giuseppe del Castillo "Specifying Concurrent Systems with ASMs" The ASM-workbench is introduced and used for experiments with concurrent systems. Harald Ruess, ... , Natarajan Shankar "Verifying ASMs with PVS" The basic features of the PVS proof development system are introduced and demonstrated. Matthias Anlauff, Philipp Kutter, Alfonso Pierantonio "Developing Domain Specific Languages" The Gem-Mex system is used to prototype and visualize small domain specific languages with ASM semantics. Industrial Applications: ------------------------ Peter Paeppinghaus and Joachim Schmid, Siemens AG "Report about a practical application of ASMs in Software Design" Wolfram Schulte, Microsoft Research "ASM applications in industrial research and development" Presentations: -------------- M. Anlauff "Xasm - An Extensible, Component-Based Abstract State Machines Language" D. Beauquier and A. Slissenko "Verification of Timed Algorithms: Gurevich Abstract State Machines versus First Order Timed Logic" A. Blass, Y. Gurevich and J. Van den Bussche "Abstract state machines and computionally complete query languages" E. Boerger, A. Cavarra, and E. Riccobene "An ASM semantics for UML Activity Diagrams and UML State Machines" S.C. Cater and J.K. Huggins "An ASM Dynamic Semantics for Standard ML" J. Cohen and A. Slissenko "On Verification of Refinements of Timed Distributed Algorithms" R. Eschbach, U. Glaesser, R. Gotzhein, A. Prinz "The Semantics of Programming Languages: A transformational operational approach using Abstract State Machines" V.O. Di Iorio, R. da Silva Bigonha, and M. Maia "A Self-Applicable Partial Evaluator for ASM" A. Gargantini and E. Riccobene "Encoding Abstract State Machines in PVS" Y. Gurevich and D. Rosenzweig "Partially Ordered Runs: a Case Study" Y. Gurevich, W. Schulte, and C. Wallace "Investigating Java concurrency using Abstract State Machines" A. Heberle, W. Loewe, and W. Zimmermann "On Modular Definitions and Implementations of Programming Languages using Order-Sorted Partial Abstract State Machines" J.K. Huggins and W. Shen "The Static and Dynamic Semantics of C" B. Intrigila, G.D. Penna, and D. Ciccomartino "Extending Boerger's JVM Model to Compile Safe C++ Code: 1. The Pointers' Problem" J.W. Janneck and P.W. Kutter "Mapping Automaton - Simple Abstract State Machines" C. Pahl "Towards an Action Refinement Calculus for Abstract State Machines" H. Rust "Hybrid Abstract State Machines: Using the Hyperreals for Describing Continuous Changes in a Discrete Notation" J. Teich, P.W. Kutter, and R. Weper "Description and Simulation of Microprocessor Instruction Sets Using ASMs" K. Winter "Methodology for Model Checking ASM: Lessons learned from the FLASH Case Study" M. Spielmann "Model Checking Abstract State Machines and Beyond" A.V. Zamulin "Specifications In-the-large by Typed ASMs" A.V. Zamulin "Generic Facilities in Object-Oriented ASMs" _______________________________________________________________ _______ _______ _______ Organization _______ _______________________________________________________________ The workshop is sponsored by the Swiss Federal Institute of Technology, Microsoft Research, and BlueCapital. Organizers: Yuri Gurevich, Microsoft Research, Redmond, Washington Philipp W. Kutter, Federal Institute of Technology, Zürich Martin Odersky, Federal Institute of Technology, Lausanne Lothar Thiele, Federal Institute of Technology, Zürich From owner-reliable_computing [at] interval [dot] usl.edu Fri Jan 28 12:04:24 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id MAA03462 for reliable_computing-outgoing; Fri, 28 Jan 2000 12:04:24 -0600 (CST) Received: from trueno.cs.tu-berlin.de (root [at] trueno [dot] cs.tu-berlin.de [130.149.17.160]) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) with ESMTP id MAA03457 for ; Fri, 28 Jan 2000 12:04:20 -0600 (CST) Received: from iks.cs.tu-berlin.de (iks [at] freno [dot] cs.tu-berlin.de [130.149.17.167]) by trueno.cs.tu-berlin.de (8.9.3/8.9.1) with ESMTP id SAA23561; Fri, 28 Jan 2000 18:52:32 +0100 (MET) Received: from mail.cs.tu-berlin.de (root [at] mail [dot] cs.tu-berlin.de [130.149.17.13]) by iks.cs.tu-berlin.de (8.9.3/8.8.8) with ESMTP id SAA05750 for ; Fri, 28 Jan 2000 18:49:28 +0100 (MET) Received: from keiner.cs.tu-berlin.de (doris [at] keiner [dot] cs.tu-berlin.de [130.149.19.36]) by mail.cs.tu-berlin.de (8.9.3/8.9.1) with ESMTP id SAA20492; Fri, 28 Jan 2000 18:44:46 +0100 (MET) Received: (from doris@localhost) by keiner.cs.tu-berlin.de (8.9.3/8.9.3) id SAA10666; Fri, 28 Jan 2000 18:44:45 +0100 (MET) Date: Fri, 28 Jan 2000 18:44:45 +0100 From: Doris Faehndrich To: cfpart-l [at] iks [dot] cs.tu-berlin.de, etaps-news [at] cs [dot] tu-berlin.de Subject: ETAPS 2000 - Call for Participation Message-ID: <20000128184444.G20372 [at] keiner [dot] cs.tu-berlin.de> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Mailer: Mutt 1.0i Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk (Sorry, if you receive multiple copies of this Call. Doris Faehndrich) ----------------------------------------------------------------- ETAPS 2000 - EUROPEAN JOINT CONFERENCES ON THEORY AND PRACTICE OF SOFTWARE Technical University of Berlin, March 25 - April 2, 2000 -------------------- CALL FOR PARTICIPATION ------------------------- Welcome to Berlin, welcome to ETAPS, the European Joint Conferences on Theory and Practice of Software, the european forum for academic and industrial researchers working on these topics! For 9 days you will be able to choose between 5 conferences with more than 120 regular papers and tool demonstrations covering a wide range of topics from theory and practice, 7 invited lectures, 10 tutorials, and 5 satellite events. -------------------------------------------------------------------- Please, check for details http://iks.cs.tu-berlin.de/etaps2000/ Use the option of online registration or one of the downloadable registration forms! -------------------------------------------------------------------- EARLY REGISTRATION UNTIL FEBRUARY 29, 2000 -------------------------------------------------------------------- Main Conferences, March 27 - March 31 ------------------------------------- CC 2000 International Conference on Compiler Construction Chair: David Watt (University of Glasgow, UK) ESOP 2000 European Symposium on Programming Chair: Gert Smolka (Saarland University, D) FASE 2000 Fundamental Approaches to Software Engineering Chair: Tom Maibaum (King's College London, UK) FOSSACS 2000 Foundations of Software Science and Computation Structures, Chair: Jerzy Tiuryn (University of Warsaw, PL) TACAS 2000 Tools and Algorithms for the Construction and Analysis of Systems, Chair: Susanne Graf (VERIMAG, Grenoble, F) Invited Speakers ---------------- Abbas Edalat (Imperial College, London, UK) ``A Data Type for Computational Geometry and Solid Modelling'' David Harel (The Weizmann Institute of Science, Rehovot, IL) ``From play-in scenarios to code: an achievable dream'' Martin Odersky (EPF Lausanne, CH) ``Functional nets'' Richard Mark Soley (OMG Object Management Group, USA) ``Memex isn't Enough'' Wladyslaw M. Turski (University of Warsaw, PL) ``An essay on software engineering at the turn of century'' Reinhard Wilhelm (Saarland University, D) ``Shape analysis'' Pierre Wolper (University of Liege, B) ``On the representation of constraints by automata in the verification of infinite systems'' Panel: ``Standard Components of the Shelf - Do they carry and need a (Formal) Standard Semantics?'' Chair: Herbert Weber (TU Berlin, D) Satellite Events ---------------- GRATRA - Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation Systems, Contact: Hartmut Ehrig (TU Berlin, D) March 25 - March 27 Invited Lecture by Grzegorz Rozenberg (University of Leiden, NL) ``DNA Computing in vivo and graph transformation'' (open for all ETAPS participants) CMCS - Workshop on Coalgebraic Methods in Computer Science Contact: Horst Reichel (TU Dresden, D) March 25 - March 26 CBS - International Workshop on Communication-Based Systems Contact: Guenter Hommel(TU Berlin, D) March 31 - April 1 INT - Integration of Specification Techniques with Applications in Engineering, Contact: Martin Grosse-Rhode(TU Berlin, D) March 31 - April 1 CoFI - Common Framework Initiative for Algebraic Specification and Development of Software Contact: Don Sannella (University of Edinburgh, UK) April 1 - April 2 Tutorials --------- XML for Software Engineers Andrea Zisman, Anthony Finkelstein (University College London, UK) March 25, p.m., half-day A tutorial on Maude Narciso Marti Oliet (Universidad Complutense, Madrid, E), Jose Meseguer (SRI International, USA) March 25, p.m., half-day Rigorous Requirements for Safety-Critical Systems: Fundamentals and Applications of the SCR Method Constance L. Heitmeyer (Naval Research Laboratory, USA) March 26, full-day Multi-Paradigm Programming Michael Hanus (RWTH Aachen, D) March 26, a.m., half-day Query-based Automated Debugging Mireille Ducasse (IRISA/INSA, F) March 26, p.m., half-day The Unified Modelling Language Perdita Stevens (University of Edinburgh, UK) April 1, full-day Swinging Types Peter Padawitz (University of Dortmund, D) April 1, a.m., half-day Tables and computation A.J.Wilder (University of Wales, UK) April 1, p.m., half-day SDL 2000 Joachim Fischer (HU Berlin, D), Andreas Prinz (Research Digital Media Systems GmbH, D), Eckhardt Holz (HU Berlin, D) April 2, full-day Software Metrology Basis Hans-Ludwig Hausen (GMD Bonn, D) April 2, a.m., half-day ------------------------------------------------------------------ ETAPS Steering Committee Don Sannella (Chairman, UK), Egidio Astesiano (I), Jan Bergstra (NL), Pierpaolo Degano (I), Hartmut Ehrig (D), Jose Luiz Fiadeiro (P), Marie-Claude Gaudel (F), Susanne Graf (F), Furio Honsell (I), Heinrich Hussmann (D), Stefan Jaehnichen (D), Paul Klint (NL), Tom Maibaum (UK), Tiziana Margaria (D), Ugo Montanari (I), Hanne Riis Nielson (DK), Fernando Orejas (E), Andreas Podelski (D), David Sands (S), Gert Smolka (D), Bernhard Steffen (D), Wolfgang Thomas (D), Jerzy Tiuryn (PL), David Watt (UK), Reinhard Wilhelm (D) Organizing Chairs: Bernd Mahr, Hartmut Ehrig, Peter Pepper, Stefan Jaehnichen, Radu Popescu-Zeletin Conference Address: ETAPS 2000, TU Berlin, Sekr. FR 6-10, Franklinstr. 28/29, D-10587 Berlin Germany Tel: ++49 30 314 -73540, Fax: -73622 Email: etaps2000 [at] iks [dot] cs.tu-berlin.de http://iks.cs.tu-berlin.de/etaps2000/ Registration Address: BWO Marketing Service GmbH Mohrenstr. 63-64 D-10117 Berlin-Mitte Germany Fax: ++49 30 22 66 84-64 Email: Etaps2000@BWO-Berlin.de -=-=-=-==-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= Doris Fähndrich: TU Berlin FB-13 Sekr. FR 5-6, Franklinstr. 28/29, 10587 Berlin, Tel: 030/31473436 -=-=-=-==-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= From owner-reliable_computing [at] interval [dot] usl.edu Fri Jan 28 20:32:37 2000 Received: (from root@localhost) by interval.usl.edu (8.9.1/8.9.1/interval-math-majordomo-1.0) id UAA04428 for reliable_computing-outgoing; Fri, 28 Jan 2000 20:32:37 -0600 (CST) 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 UAA04423 for ; Fri, 28 Jan 2000 20:32:33 -0600 (CST) Received: from pamir.eecs.lehigh.edu (pamir [128.180.98.184]) by genie.eecs.lehigh.edu (8.8.5/8.8.5) with ESMTP id OAA12601; Fri, 28 Jan 2000 14:32:17 -0500 (EST) From: ASAP User Received: (from asap@localhost) by pamir.eecs.lehigh.edu (8.8.5/8.8.5) id OAA08303; Fri, 28 Jan 2000 14:32:16 -0500 (EST) Date: Fri, 28 Jan 2000 14:32:16 -0500 (EST) Message-Id: <200001281932.OAA08303 [at] pamir [dot] eecs.lehigh.edu> To: asap-announce [at] EECS [dot] Lehigh.EDU Subject: ASAP'2000 Call for Papers Cc: mschulte [at] EECS [dot] Lehigh.EDU Sender: owner-reliable_computing [at] interval [dot] usl.edu Precedence: bulk ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ ASAP 2000 CALL FOR PAPERS ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 12th International Conference on Application-specific Systems, Architectures and Processors Boston, Massachusetts Dates and Deadlines Submission: February 28, 2000 Acceptance notification: March 30, 2000 Conference: July 10-12, 2000 Topics: The conference will cover the theory and practice of application- specific computing systems. Of particular interest are contributions that either achieve large performance gains, present formal methods for the specification, design and evaluation, analyze technology dependencies and the integration of hardware and software components, or describe and evaluate fabricated systems. Areas for application-specific computing systems are many and varied. Some sample areas include information systems, signal and image processing, multimedia systems, high-speed networks, compression, cryptography. Aspects of application-specific computing systems that are of interest include, but are not limited to: * Application-specific architectures: special purpose designs, design methodology, CAD tools, fault tolerance strategies, specification and interfaces, hardware/software codesign * Application-specific processors: digital signal processing, computer arithmetic, configurable/custom computing, implementation methodology & rapid prototyping, new technologies, fine-grain parallelism * Application-specific systems: network computing, special-purpose systems for exotic applications, performance evaluation, standard software objects, languages, compilers, operating systems, hardware/software integration The conference will feature a keynote speech, paper presentations, and a poster session. The proceedings will be published by IEEE Computer Society Press. Information for authors: Your paper should be maximum of 5000 words. A cover page should contain: * paper title; complete name, address, telephone, fax and email of each author; * author which is responsible for correspondence; * which of the conference areas is most relevant to your paper. A PDF version of the complete paper, and a separate cover page text file with the above information, should be submitted via the conference web page at http://www.eecs.lehigh.edu/ASAP. For further information about the conference, please see the conference web page. General Chair: Earl Swartzlander e.swartzlander [at] compmail [dot] com Program Chairs: Graham Jullien jullien [at] engn [dot] uwindsor.ca Michael Schulte mschulte [at] eecs [dot] lehigh.edu Program committee: Magdy Bayoumi, Wayne Burleson, Peter Capello, Liang-Gee Chen, Ed Deprettere, Milos Ercegovac, Gerhard Fettweis, Jose Fortes, Sayfe Kiaei, Israel Koren, S. Y. Kung, Tomas Lang, Wayne Luk, John McCanny, Jean-Michel Muller, Takao Nishitani, Tobias Noll, Peter Pirsch, Patrice Quinton, Sanjay Rajopadhye, Vwani Roychowdhury, Valerie Taylor, Juergen Teich, Lothar Thiele, Mateo Valero, Benjamin Wah, Doran Wilde, Roger Woods, Kung Yao, Pen Yew.