From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Jul 1 03:22:19 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id g618MIO26602 for reliable_computing-outgoing; Mon, 1 Jul 2002 03:22:18 -0500 (CDT) Received: from liasun15.epfl.ch (liasun15.epfl.ch [128.178.155.42]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id g618M2226597 for ; Mon, 1 Jul 2002 03:22:04 -0500 (CDT) Received: from epfl.ch (haroud@localhost [127.0.0.1]) by liasun15.epfl.ch (8.8.X/EPFL-8.1a) with ESMTP id KAA11621; Mon, 1 Jul 2002 10:21:32 +0200 (MET DST) Message-ID: <3D20110B.BFF6E2C7 [at] epfl [dot] ch> Date: Mon, 01 Jul 2002 10:21:32 +0200 From: haroud X-Mailer: Mozilla 4.5 [en] (X11; I; SunOS 5.6 sun4u) X-Accept-Language: en MIME-Version: 1.0 To: na.digest@na-net.ornl.gov, scicomp@uni-erlangen.de, opt-net [at] zib [dot] de, opt [at] turing [dot] siam.org, global-l [at] gamsworld [dot] org, minlp-l [at] gamsworld [dot] org, reliable_computing [at] interval [dot] louisiana.edu, clp [at] comp [dot] nus.edu.sg, csp [at] carlit [dot] toulouse.inra.fr CC: bliek [at] ilog [dot] fr Subject: CFP: Cocos'02 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk 1st International Workshop on Global Constrained Optimization and Constraint Satisfaction (Cocos'02) Valbonne - Sophia Antipolis, France 2-4 October 2002 http://liawww.epfl.ch/Cocos02/cocos02.html WORKSHOP OBJECTIVES Continuous constraints are often a natural way to represent practical problems and the knowledge they involve. Such constraints may be simple or complex, linear or non-linear and may, or may not, involve transcendental functions. They are widely used to express chemical or mechanical models, process descriptions, building codes or cost restrictions for example. Many industrial problems involving continuous constraints can be modelled as continuous constraint satisfaction and optimization problems (CSOPs). In practice, such models are often large in size and non-linear. This workshop focuses on complete solving techniques for continuous CSOPs that provide all solutions with full rigor. Less rigorous solution techniques are not excluded, since they may be part of complete relevant techniques. Complete solution techniques guarantee that all the constraints - e.g. security or tolerance criteria - are satisfied and the global optima identified. Completeness would thus benefit directly the quality and reliability of decisions or analyses based on the provided solutions. This has obvious implications in many industrial and economic areas. None of the existing approaches for solving non-linear CSOPs is fully satisfactory in practice. Non-linear programming techniques are routinely used and can solve large-scale non-linear problems. However, they are complete only in the convex case and if roundoff errors are controlled. In contrast, constraint programming solvers preserve completeness, but suffer from poor scalability. The respective strengths of mathematical and constraint programming appear however to be highly complementary and a number of recent development showed that there is a lot to be gained by merging the different inference techniques they provide and by combining their specific advantages. The goal of this workshop is to bring together communities from global optimization, mathematical programming and constraint programming, giving the opportunity to promote presentation and discussion of ongoing work on solving techniques for continuous CSOPs. The workshop aims to encourage cross-fertilization between the various approaches, including the study of adapted cooperation strategies between mathematical and constraint programming, and of new representations and abstractions for which they can efficiently interact. TOPICS: Relevant topics include, but are by no means restricted to the following: - Solution techniques for global optimization problems - Integration of constraint programming with non-linear programming techniques - Linear programming enclosures of nonlinear programs - Improved consistency techniques for continuous constraints - Combination of symbolic methods with mathematical and constraint programming techniques - Solution techniques for under-constrained systems - Adaptation of sparse matrix techniques to the non-linear case - Enclosures by polytopes or nonlinear boundaries - Representation and exploitation of monotonicity and convexity properties - Abstractions based on convex decomposition - Partial boundary representation based on critical points and topological abstractions. IMPORTANT DATES: 15th July 2002: Submission deadline 10th August 2002: Notification of acceptance 31th August 2002: Pre-registration ends 15th September 2002: Final camera-ready copies WORKSHOP FORMAT: The workshop will last three days. Invited talks by well-known researchers in the field of numerical constraint satisfaction and global optimisation are expected to occur at the beginning of each day. The remaining sessions will consist of paper presentations followed by a discussion panel. SUBMISSION REQUIREMENTS FOR CONTRIBUTIONS: The final deadline for submissions is July 15th. Two categories of submissions are welcome: full papers and extended abstracts. The organizers plan to publish selected full papers in an appropriate book series or a special issue of a journal. The accepted full papers and extended abstracts will be presented during the workshop. Full papers must be no longer than 15 pages in length, using the provided latex format (the style files are given below), and are expected to describe in detail solving techniques for constraint satisfaction and global optimization problems. Extended abstracts must be no longer than 5 pages in the same format, and are expected to address research proposals and reports. Submitted papers shall be written in English. Papers are expected in Latex and postscript format. The title page should include the name, address, telephone number and electronic mailing address for each author as well as a list of keywords. A contact author should also be provided. The submitted papers have to be sent electronically to "cocos02 [at] ilog [dot] fr". REVIEWING PROCESS: Submissions will be judged on significance, originality, quality and clarity. Each paper will be cross-reviewed by at least two referees. Authors will receive feedback in the form of reviewers' comments. PROCEEDINGS: The organizers plan to publish selected papers in an appropriate book series or a special issue of a journal. STYLE FILES: The submissions must be formatted in lncs/lnai format (http://www.springer.de/comp/lncs/authors.html ). SCIENTIFIC COMMITTEE: Frédéric Benhamou, Université de Nantes, France Christian Bliek, ILOG, France Boi Faltings, Ecole Polytechnique Fédérale de Lausanne, Switzerland Arnold Neumaier, University of Vienna, Austria Peter Spellucci, Darmstadt University, Germany Pascal Van Hentenryck, Brown University, USA Luis N. Vicente, University of Coimbra, Portugal INVITED TALKS (preliminary list) -"Possibilities and Limitations of the GlobSol Software Package" by: R. Baker Kearfott -"Deterministic Global Optimization: Theoretical, Computational and Implementation Advances" by: Chris Floudas LOCATION: The workshop will take place at the Mediathel (http://www.mediathel.com) conference centre in Valbonne-Sophia Antipolis. The Mediathel will host the attendees in a nice setting amidst the Sophia Antipolis pine forests. It is located 10 min away from Antibes and the sea, and 15 km away from Cannes, Nice and the Nice-Côte d'Azur International Airport. ACCOMODATION: Preferential rates are proposed by the Mediathel (http://www.mediathel.com) to the workshop attendees (55 euros/night). Other hotels can be found at http://www.alpes-azur.com/vsa/english/vsamain.htm FEES: The registration fees are of 150 euros, 75 euros for students. The fees includes all conference material, access to conference rooms, breaks and lunches. ORGANIZING COMMITTEE and CONTACT ADDRESSES: - Christian Bliek (ILOG) ILOG 1681 HB-2, Route des Dolines 06560 Valbonne, France Email: bliek [at] ilog [dot] fr WWW: http://www.ilog.com -Djamila Sam-Haroud Artificial Intelligence Laboratory Institute of Core Computing Science School of Computer and Communication Sciences Swiss Federal Institute of Technology IN (Ecublens), CH-1015 Lausanne (Switzerland) e-mail: jamila.sam [at] epfl [dot] ch Fax: +4121- 693 5225 Phone: +4121- 693 5209 SPONSORS: The workshop is organised by the partners of the COCONUT project (IST-2000-26063)(http://www.mat.univie.ac.at/~neum/glopt/coconut/) with the financial support from the European Commission and the Swiss Federal Education and Science Office (OFES). -- ------------------------------------------------------------------------------- Djamila Sam-Haroud| jamila.sam [at] epfl [dot] ch Artificial Intelligence Laboratory Institute of Core Computing Science School of Computer and Communication Sciences Swiss Federal Institute of Technology IN (Ecublens), CH-1015 Lausanne (Switzerland) Voice: +41 21 693 52 09 Fax: +41 21 693 52 25 ------------------------------------------------------------------------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Jul 1 10:45:06 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id g61Fj6i28327 for reliable_computing-outgoing; Mon, 1 Jul 2002 10:45:06 -0500 (CDT) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id g61Fj0228323 for ; Mon, 1 Jul 2002 10:45:00 -0500 (CDT) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.3/8.11.3) with SMTP id g61Fivb26111; Mon, 1 Jul 2002 09:44:57 -0600 (MDT) Message-Id: <200207011544.g61Fivb26111 [at] cs [dot] utep.edu> Date: Mon, 1 Jul 2002 09:44:55 -0600 (MDT) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: Call for Papers - ISIPTA '03 To: reliable_computing [at] interval [dot] louisiana.edu, interval [at] cs [dot] utep.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=ISO-8859-1 Content-MD5: KO7ea4MzoHloey3baIgl3Q== 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.louisiana.edu id g61Fj1228324 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk ------------- Begin Forwarded Message ------------- Date: Sat, 29 Jun 2002 13:21:19 +0200 From: "ISIPTA '03" X-Accept-Language: en MIME-Version: 1.0 To: interval [at] cs [dot] utep.edu Subject: Call for Papers - ISIPTA '03 Content-Transfer-Encoding: 8bit Your help with circulating this announcement locally is much appreciated. We apologise if you receive multiple copies of this message. +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ ISIPTA '03 3rd International Symposium on Imprecise Probabilities and Their Applications First Call for Papers July 14-17, 2003 Lugano, Switzerland http://www.sipta.org/~isipta03 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ The ISIPTA meetings are one of the primary international forums to present and discuss new results on the theory and applications of imprecise probabilities. Imprecise probability has a wide scope, being a generic term for the many mathematical or statistical models which measure chance or uncertainty without sharp numerical probabilities. These models include belief functions, Choquet capacities, comparative probability orderings, convex sets of probability measures, fuzzy measures, interval-valued probabilities, possibility measures, plausibility measures, and upper and lower expectations or previsions. Imprecise probability models are needed in inference problems where the relevant information is scarce, vague or conflicting, and in decision problems where preferences may also be incomplete. Themes of the symposium ----------------------- Although the third symposium will be open to contributions on all aspects of imprecise probability, three main themes will be emphasised. Papers will be encouraged that report advances in the following subjects: - Inference (e.g., statistical inference, machine learning). - Algorithms and computational complexity (e.g., exact and approximate inference algorithms, optimisation procedures to compute bounds on lower and upper expectations/probabilities, complexity analyses). - Real applications (e.g., artificial intelligence and expert systems, economics, engineering, environmental modeling, experimental psychology, medicine, reliability, robotics, statistics, systems and control). Location -------- ISIPTA '03 will be held at the University of Lugano, Switzerland. The symposium sessions will be held from July 15 till July 17, and they will be preceded by tutorials on July 14. Lugano (http://www.lugano-tourism.com) is a beautiful city on the shores of Lake Lugano, in the southern part of Switzerland. Lugano is close to Zurich (3 hours by train), Milan (1 hour by train) and Venice (4 hours by train). How to submit a paper --------------------- Those wishing to present a contribution at the symposium should electronically submit a paper, no more than 10 pages long, by February the 1st, 2003. Style files will be made available on the symposium web site. The Program Committee will decide which of these papers are accepted, by carefully evaluating their originality, significance, technical soundness, and clarity of exposition. The successful authors will be invited to submit a final version of their paper, for publication in a volume of symposium proceedings. Each accepted paper will be given the opportunity for both a brief oral presentation as well as a poster session. Important dates --------------- Paper submission deadline: 1 February 2003 Notification of acceptance: 1 April 2003 Deadline for revised papers: 1 May 2003 Tutorial day: 14 July 2003 Symposium: 15-17 July 2003 Program Board ------------- Jean-Marc Bernard (Université Paris 5, France) Teddy Seidenfeld (Carnegie Mellon University, USA) Marco Zaffalon (IDSIA, Switzerland) Steering Committee ------------------ Gert de Cooman (Universiteit Gent, Belgium) Serafin Moral (Universidad de Granada, Spain) Questions --------- If you have any questions about the symposium, please contact the Organising Committee, at the following address: Marco Zaffalon IDSIA Galleria 2 CH-6928 Manno Switzerland phone +41 91 610 8665 fax +41 91 610 8661 e-mail zaffalon [at] idsia [dot] ch (If you did not receive this e-mail through a mailing list and you do not want to receive further announcements concerning ISIPTA '03, please reply to this message writing "remove" in the body of the e-mail.) ------------- End Forwarded Message ------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Jul 2 09:25:12 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id g62EPC001175 for reliable_computing-outgoing; Tue, 2 Jul 2002 09:25:12 -0500 (CDT) Received: from info14.uni-trier.de (info14.uni-trier.de [136.199.54.24]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id g62EP5201171 for ; Tue, 2 Jul 2002 09:25:06 -0500 (CDT) Received: from info14 (localhost [127.0.0.1]) by info14.uni-trier.de (8.11.6/8.11.6/SuSE Linux 0.5) with ESMTP id g62E0tG26807; Tue, 2 Jul 2002 16:00:55 +0200 From: Norbert Mueller To: cca-list@fernuni-hagen.de, reliable_computing [at] interval [dot] louisiana.edu Subject: Call for Papers - special issue of JLAP Date: Tue, 2 Jul 2002 16:00:54 +0200 X-Mailer: KMail [version 1.4] MIME-Version: 1.0 Content-Type: Multipart/Mixed; boundary="------------Boundary-00=_I9KM4RZTAZ677MY1FH8U" Message-Id: <200207021600.54746.mueller@uni-trier.de> Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk --------------Boundary-00=_I9KM4RZTAZ677MY1FH8U Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable The Journal of Logic and Algebraic Programming is preparing a=20 Special issue on the practical development of exact real number computation. You may find the Call for Papers at: http://www.informatik.uni-trier.de/~mueller/JLAP/ Attached please find the ASCII-Version of the CfP. =20 ------------------------------------------ I am sorry if you receive multiple copies! ------------------------------------------ Kind regards --=20 Dr. Norbert Mueller FB IV - Abteilung Informatik * Universitaet Trier * D-54286 Trier (Germ= any) email: mueller@uni-trier.de * http://www.informatik.uni-trier.de/~muel= ler/ Tel: ..49-(0)651-201-2845/2848 * Fax: ..49-(0)651-201-3805 --------------Boundary-00=_I9KM4RZTAZ677MY1FH8U Content-Type: text/plain; charset="us-ascii"; name="JLAP-CfP.txt" Content-Transfer-Encoding: quoted-printable Content-Disposition: attachment; filename="JLAP-CfP.txt" ------------------------------------------------------------------------ Journal of Logic and Algebraic Programming Special issue on=20 =09the practical development of exact real number computation Web Page: http://www.informatik.uni-trier.de/~mueller/JLAP Deadline for submissions: December 31, 2002 ------------------------------------------------------------------------ Exact real number computation addresses the gap between the practice and theory of working with real numbers. On the practical side, floating=20 point numbers with fixed precision (being a finite set... ) dominate the daily use of real numbers on computers. On the theoretical side, models of computability and computational complexity in analysis have grown in parallel. We seek to close the gap by e.g.=20 - research on programming languages for non denumerable data sets=20 - algorithms of approximate nature but with unrestricted precision=20 Here 'unrestricted precision' denotes the possibility to achieve results with an arbitrary high precision, usually combined with a strict error analysis or with the use of interval methods.=20 The Journal of Logic and Algebraic Programming is an international journal whose aim is to publish original work in the areas of logical and algebraic methods and techniques for programming in its broadest sense.=20 The Journal of Logic and Algebraic Programming complements Elsevier's Science of Computer Programming and Theoretical Computer Science by its focus on the foundations of logical, algebraic and categorical methods for programming.=20 For more information, visit http://www.elsevier.com/locate/jlap.=20 This special issue covers the spectrum from theoretical results to=20 concrete applications of exact real number computation, with an emphasis on programming languages and implementations.=20 Submissions are sollicited on topics including, but not limited to:=20 - abstract models of computation for non denumerable sets=20 - programming languages for exact real arithmetic=20 - data structures for exact real numbers or for `large=B4 subsets of the reals=20 - algorithms for exact arithmetic on real numbers=20 - algorithms for approximate arithmetic or interval arithmetic, but with unrestricted precision=20 - complexity theory related to arithmetic on real numbers=20 - symbolic or algebraic computations on real numbers=20 - survey articles or case studies on the area=20 We look for original, unpublished contributions of high quality that are not submitted elsewhere. All submissions will be evaluated on the the=20 ususal criteria (like technical content, originality... ), but also on=20 how they "bridge the gap", i.e. having both theoretical aspects and=20 practical experiments will be a bonus.=20 Deadline for submissions is December 31, 2002.=20 Authors will be notified of acceptance or rejection before May 1, 2003. We anticipate publication of the special issue about end of 2003. Authors are requested to submit their paper (in either Postscript or PDF) electronically to the chief editor indicated below. We encourage the use of the Elsevier style file with LaTeX=20 (see http://www.elsevier.com/locate/latex).=20 In order to speed up the review process, authors are strongly encouraged to send (tentative) title and abstract to the chief editor as soon as= =20 available.=20 Chief editor: Norbert Mueller mueller@uni-trier.de Fachbereich IV - Abteilung Informatik Universitaet Trier D-54286 Trier Germany Guest editors: Martin Escardo m.escardo [at] cs [dot] bham.ac.uk School of Computer Science University of Birmingham Birmingham B15 2TT England =09=09=09 Paul Zimmermann Paul.Zimmermann [at] loria [dot] fr INRIA Lorraine Technopole de Nancy-Brabois =09=09=09615 rue du Jardin Botanique, BP 101=20 F-54600 Villers-les-Nancy =09=09=09France --------------Boundary-00=_I9KM4RZTAZ677MY1FH8U-- From owner-reliable_computing [at] interval [dot] louisiana.edu Sun Jul 7 11:23:11 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id g67GNBe15006 for reliable_computing-outgoing; Sun, 7 Jul 2002 11:23:11 -0500 (CDT) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id g67GN5215001 for ; Sun, 7 Jul 2002 11:23:06 -0500 (CDT) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.3/8.11.3) with SMTP id g67GN2929764 for ; Sun, 7 Jul 2002 10:23:02 -0600 (MDT) Message-Id: <200207071623.g67GN2929764 [at] cs [dot] utep.edu> Date: Sun, 7 Jul 2002 10:23:00 -0600 (MDT) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: SYNASC Deadline Extended To: reliable_computing [at] interval [dot] louisiana.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=ISO-8859-1 Content-MD5: oqsCqzAUggqKp1xTR1k6Fg== 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.louisiana.edu id g67GN7215002 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk One more attempt to bring together numerical and symbolic computation folks. Please notice that Reliable computing is specificlaly mentioned and emphasized. Vladik ------------- Begin Forwarded Message ------------- Date: Sun, 07 Jul 2002 10:53:56 +0100 From: Dana Petcu X-Accept-Language: en MIME-Version: 1.0 To: petcu [at] info [dot] uvt.ro Subject: SYNASC Deadline Extended Content-Transfer-Encoding: 8bit Apologies if you receive multiple copies! --------------------------------------------------------------- SYNASC 2002 - DEADLINE EXTENDED 4th International Workshop on Symbolic and Numeric Algorithms for Scientific Computing - SYNASC 02 Timisoara, Romania October 9 - 12, 2002 http://synasc02.info.uvt.ro --------------------------------------------------------------- Organized by: Department. of Computer Science University of the West, Timisoara, Romania and Research Institute for Symbolic Computation Johannes Kepler University , Linz, Austria -------------------------------------------------------- Topic: The workshop will be an interaction forum between the two scientific communities of symbolic and numeric computing, with the purpose of exhibiting interesting applications of these areas both in theory and in practice. Topics for submissions to SYNASC02: - solving systems of nonlinear equations; - symbolic techniques applied to numerics; - applications of automated reasoning; - artificial intelligence in numeric solving; - multi-agent systems for complex problem solving; - parallel computation for symbolics and numerics; - programming with constraints, narrowing; - reliable approximative computation with reals; - numerics and symbolics for geometry; - scientific visualization. but this list is not intended to be exhaustive. We also welcome system descriptions related to these areas. The choice of this topic is motivated by the belief of the organizers that the dialogue of the two communities is very necessary in order to make significant progress in making the computer a truly intelligent aid for mathematicians and engineers. A special symposium concerning numerical methods will be organized in honour of Prof.Dr. Stefan Maruster, the mentor of the Department of Computer Science from Timisoara University. The official language of the workshop is English. -------------------------------------------------------- Publication: The submissions will be accepted according to their quality and relevance to the conference topics. The proceedings (with ISBN) will be available at the workshop. The articles must be written in English. Following the workshop, authors are encouraged to prepare an improved final version of their papers which will be published in the journal "Annals of the University of Timisoara, Mathematics and Computer Science series", ISSN 1224-97-OX (reviewed in Mathematical Reviews and Zentralblatt für Mathematik). The journal is distributed, through librarian exchange, to more than 200 academic libraries all over the world (http://www.math.uvt.ro/anmath/index.html). -------------------------------------------------------- Chairs: Stefan Maruster, University of the West Bruno Buchberger, Johannes Kepler University -------------------------------------------------------- Programme Chairs: Viorel Negru, University of the West Tudor Jebelean, Johannes Kepler University Local Chair: Dana Petcu, University of the West -------------------------------------------------------- Programme Committee Stefano Cerri, France Gheorghe Coman, Romania Vladimir Cretu, Romania Mircea Dragan, Romania Christo Dichev, Bulgaria Adina Florea, Romania Laureano Gonzales-Vega, Spain Vladimir Gorodetsky, Russia Stefan Holban, Romania Tetsuo Ida, Japan Calin Ignat, Romania Boris Konev, Russia Mircea Marin, Japan Petru Pau, Austria Bazil Parv, Romania Dana Petcu, Romania Eugene Roventa, Canada Luminita State, Romania Marie-Claude Thomas, France Ioan Tomescu, Romania Brigitte Trousse, France Dan Tufis, Romania Lucia Vaina, USA Organizing Committee Alexandru Cicortas, Lucian Cucu, Mircea Dragan, Florin Fortis, Cornel Izbasa, Ciprian Jichici, Daniel Pop, Horia Popa, Adriana Popovici, Daniela Zaharie --------------------------------------------------------- Submission: Authors are invited to submit papers electronically by e-mail at the address synasc02 [at] info [dot] uvt.ro. Electronic submissions should be in PostScript or PDF format (printable in a standard UNIX environment). The length of each paper should not exceed 12 pages (text width 16cm, text height 24 cm, 12 points). Extended abstracts (3 - 4 pages) will be also accepted. The articles must be written in English. --------------------------------------------------------- Important dates: Submission deadline extended: August 7, 2002 Acceptance: September 2, 2002 Registration: September 9, 2002 Final paper: September 9, 2002 (LaTeX source of final versions will be required) Workshop starts: October 9, 2002 --------------------------------------------------------- Conferences fee: 100 Euro (50 Euro for students) covers proceedings, refreshments during breaks, cocktail, and banquet. Participants from Eastern Europe may apply for reduced participation fee: 50 Euro (25 Euro for students). --------------------------------------------------------- Travel arrangements: Bucuresti: various (from Bucharest to Timisoara by plane - 1h or by train - 10 h). Air travel from Vienna to Timisoara: daily 13:45 and back 16:30 (Austrian airlines). Budapest: various (from Budapest to Timisoara by train - 7h or by bus - 5h). --------------------------------------------------------- Venue: The city of Timisoara hosts several prestigious academic institutions (the University of the West, the "Politehnica" University, the University of Medicine, and others). The city and the surrounding region have an unique history in Romania, being over the centuries an object of dispute for several states (Roman, Hungarian, Ottoman, Austrian), which left their still visible marks, and, above all, a very multicultural society which constitutes a beautiful example of harmony in Romania and in the Balkans (30 Km from Serbia). The openness of mind of its inhabitants is probably one of the reasons for starting the anti-Communist movement in Romania and for being now one of the economically most advanced locations in the country. Online information about Timisoara: http://www.uvt.ro(University of the West) http://www.eng.timisoara.ro http://www.timisoara.com http://www.timisoara.ro http://www.ici.ro/romania/servere/serv_tm.shtml --------------------------------------------------------- Social programme: A social programme including visits to the historical city, museum, trip to the Cave of the Bears or to the Dracula castle, etc. will be planned in detail depending on the programme and wishes of the participants. --------------------------------------------------------- Address for correspondence SYNASC 2002 University of the West Dept. of Computer Science Bd. V. Parvan 4, 1900 Timisoara, Romania tel./fax: + (40) 56 194002 e-mail: synasc02 [at] info [dot] uvt.ro For special problems: petcu [at] info [dot] uvt.ro (Dana Petcu) --------------------------------------------------------- Additional info: http://synasc02.info.uvt.ro/ http://web.info.uvt.ro/~synasc02/ --------------------------------------------------------- ------------- End Forwarded Message ------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Jul 8 09:58:47 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id g68Ewk217535 for reliable_computing-outgoing; Mon, 8 Jul 2002 09:58:46 -0500 (CDT) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id g68Ewe217530 for ; Mon, 8 Jul 2002 09:58:41 -0500 (CDT) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.3/8.11.3) with SMTP id g68EwZo03349 for ; Mon, 8 Jul 2002 08:58:35 -0600 (MDT) Message-Id: <200207081458.g68EwZo03349 [at] cs [dot] utep.edu> Date: Mon, 8 Jul 2002 08:58:34 -0600 (MDT) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: from NA Digest; job opportunity To: reliable_computing [at] interval [dot] louisiana.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: czs80a82XIe7/7c7QmKZeQ== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk apologizes for possible multiple copies From: Brigitte Verdonk Date: Thu, 4 Jul 2002 21:43:36 -0200 (GMT+2) Subject: Doctoral and Postdoctoral Positions at the University of Antwerp The numerical research team at the University of Antwerp (Belgium) is currently hiring starting researchers (usually two times 2 years towards the completion of a doctoral thesis) or experienced researchers (at most 3 times one year post-doctoral work) with interest in one of the following topics: - Pole curve detection using the multivariate qd-algorithm - Shape reconstruction from moment information - Reliable multiprecision library of some multivariate special functions - Efficient adaptive sampling applied to multivariate rational models More information on this subjects can be obtained from Annie Cuyt (Annie.Cuyt [at] ua [dot] ac.be) or Brigitte Verdonk (Brigitte.Verdonk [at] ua [dot] ac.be) or from our website at http://win-www.uia.ac.be/u/cant/ From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Jul 8 10:00:32 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id g68F0VY17584 for reliable_computing-outgoing; Mon, 8 Jul 2002 10:00:31 -0500 (CDT) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id g68F0Q217580 for ; Mon, 8 Jul 2002 10:00:27 -0500 (CDT) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.3/8.11.3) with SMTP id g68F0M103356 for ; Mon, 8 Jul 2002 09:00:22 -0600 (MDT) Message-Id: <200207081500.g68F0M103356 [at] cs [dot] utep.edu> Date: Mon, 8 Jul 2002 09:00:21 -0600 (MDT) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: from NA Digest To: reliable_computing [at] interval [dot] louisiana.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: W5sgy5NwYwAKs/fqY4YC7w== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk From: Nina Shokina Date: Mon, 1 Jul 2002 19:09:40 +0700 Subject: Contents, Journal of Computational Technologies Contents of Journal "Computational Technologies" 2002 Volume 7 Number 1 S.N. Avdeenko, V.V. Dombrovsky Using generalized interval arithmetic for analysis of finance operation 3-14 B.S. Dobronets, E.L. Roshchina Applications of interval sensitivity analysis 75-82 From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Jul 8 11:28:38 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id g68GSc017893 for reliable_computing-outgoing; Mon, 8 Jul 2002 11:28:38 -0500 (CDT) Received: from postit.sciences.univ-nantes.fr (postit.sciences.univ-nantes.fr [193.52.109.9]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id g68GSW217889 for ; Mon, 8 Jul 2002 11:28:32 -0500 (CDT) Received: from localhost (localhost.localdomain [127.0.0.1]) by postit.sciences.univ-nantes.fr (Postfix) with ESMTP id 8A1B4F0016; Mon, 8 Jul 2002 18:28:27 +0200 (CEST) Received: from narech.irin.sciences.univ-nantes.fr (narech.irin.sciences.univ-nantes.fr [193.52.99.2]) by postit.sciences.univ-nantes.fr (Postfix) with ESMTP id 51C21F0013; Mon, 8 Jul 2002 18:28:27 +0200 (CEST) Received: from localhost (localhost [127.0.0.1]) by narech.irin.sciences.univ-nantes.fr (Postfix) with ESMTP id 94CC348044; Mon, 8 Jul 2002 18:28:26 +0200 (CEST) Received: from irin.univ-nantes.fr (erebus [193.52.99.69]) by narech.irin.sciences.univ-nantes.fr (Postfix) with ESMTP id DBFE74803C; Mon, 8 Jul 2002 18:28:25 +0200 (CEST) Message-ID: <3D29C309.AA88828D [at] irin [dot] univ-nantes.fr> Date: Mon, 08 Jul 2002 18:51:21 +0200 From: Laurent Granvilliers X-Mailer: Mozilla 4.78 [fr] (X11; U; Linux 2.4.7-10 i686) X-Accept-Language: en MIME-Version: 1.0 To: csp [at] carlit [dot] toulouse.inra.fr, clp [at] comp [dot] nus.edu.sg, reliable_computing [at] interval [dot] louisiana.edu Subject: COSOLV'2002 !!! Extended deadline !!! Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Virus-Scanned: by AMaViS snapshot-20010714 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk !!! EXTENDED DEADLINE !!! SUBMISSION: JULY 15, 2002 ============================================================================ 2nd CALL FOR PAPERS COSOLV'2002 Second Workshop on Cooperative Solvers in Constraint Programming http://www.sciences.univ-nantes.fr/irin/cosolv2002/ Held in conjunction with the Eighth International Conference on Principles and Practice of Constraint Programming, CP'2002 http://www.cs.cornell.edu/cp2002/ Ithaca, NY, USA. September 8, 2002 ============================================================================ Solver cooperation is now well-known as a concept for improving efficiency and performance of constraint solvers. Generic solvers are generally far too inefficient for solving numerous real-life problems. However, a large part of these problems can often be handled by specific and efficient solvers. The goal of cooperation is to share and exchange data between solvers in order to tackle new types of problems, to improve the representation of solutions, and/or to speed-up computation. Nevertheless, three major problems arise when dealing with cooperation of solvers: theoretical issues, communication, and strategies. This workshop addresses all aspects (theory, specific cooperations, systems and applications) of cooperative solving processes. Topics of interest include (but are not limited to): Theory, Languages: . Models for cooperation and strategies, e.g., coordination, multi-agent, parallel, distributed, concurrent frameworks, . Cooperation/strategy languages, and platforms. Specific Classes of Cooperation: . Integration of constraint programming and mathematical programming techniques such as integer programming, relaxations and heuristics, . Local-global view of problems, . Symbolic-numeric algorithms. Systems, Applications: . Interoperability issues and architecture for inter solvers communication, . Problems/Applications solved by cooperation. ============================================================================ SUBMISSION To submit send an email containing four consecutive ASCII paragraphs with title, authors, emails, abstract and WWW link directly to compressed PS or PDF file, to Laurent Granvilliers (granvilliers [at] irin [dot] univ-nantes.fr) AND Eric Monfroy (monfroy [at] irin [dot] univ-nantes.fr). Papers must be composed of 5 to 15 LNCS/article-style pages. The submission deadline is July 15, 2002. Accepted papers will be available electronically from the web-page and in hard-copy proceedings (available at the workshop). ============================================================================ IMPORTANT DATES July 15, 2002: Paper submissions July 17, 2002: Acceptance decisions July 22, 2002: Final version due September 8, 2002: Workshop at CP'2002 ============================================================================ PARTICIPATION This will be a one-day workshop, with open attendance. At least one author of each accepted submission must attend the workshop. All workshop participants must pay the CP-2002 workshop registration fee. ============================================================================ PROGRAM COMMITTEE Carlos Castro Federico Santa María Technical University Hani El Sakkout Parc Technologies Limited Thom Fruehwirth University of Munich Laurent Granvilliers University of Nantes Eric Monfroy University of Nantes Christophe Ringeissen LORIA Nancy Alexander Semenov Institute of System Informatics, Novosibirsk From owner-reliable_computing [at] interval [dot] louisiana.edu Wed Jul 10 10:01:20 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id g6AF1J223070 for reliable_computing-outgoing; Wed, 10 Jul 2002 10:01:19 -0500 (CDT) Received: from ns5.trafficmagnet.net ([211.157.101.52]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id g6AF1A223062 for ; Wed, 10 Jul 2002 10:01:12 -0500 (CDT) Received: from 181-Dispatcher ([211.101.236.181]) by ns5.trafficmagnet.net (8.11.6/8.11.6) with SMTP id g6B3vlR06614 for ; Wed, 10 Jul 2002 22:57:47 -0500 Message-Id: <200207110357.g6B3vlR06614 [at] ns5 [dot] trafficmagnet.net> From: Christine Hall To: "reliable_computing [at] interval [dot] louisiana.edu" Subject: INTERVAL.LOUISIANA.EDU Date: Wed, 10 Jul 2002 23:09:42 +0800 X-Mailer: CSMTPConnection v2.17 MIME-Version: 1.0 Content-Type: multipart/related; boundary="31cc621b-9f9c-441f-a097-4371d24410c9" Content-Transfer-Encoding: quoted-printable Reply-To: Christine Hall Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk This is a multi-part message in MIME format --31cc621b-9f9c-441f-a097-4371d24410c9 Content-Type: text/html; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable
Hi

I visited INTERVAL.LOUISIANA.EDU, and noticed that you're not listed on some search engines! I think we can = offer you a service which can help you increase traffic and the number of = visitors to your website.

I would like to introduce you to TrafficMagnet.net. We offer a unique = technology that will submit your website to over 300,000 search engines and = directories every month.


You'll be surprised by the low cost, and by how effective this website = promotion method can be.

To find out more about TrafficMagnet and the cost for submitting your = website to over 300,000 search engines and directories, visit www.TrafficMagnet.net.

I would love to hear from you.


Best Regards,

Christine Hall
Sales and Marketing
E-mail: christine [at] trafficmagnet [dot] net
http://www.TrafficMagnet.net
--31cc621b-9f9c-441f-a097-4371d24410c9-- From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Jul 11 08:47:38 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id g6BDlbg25604 for reliable_computing-outgoing; Thu, 11 Jul 2002 08:47:37 -0500 (CDT) Received: from mion.elka.pw.edu.pl (root [at] mion [dot] elka.pw.edu.pl [194.29.160.35]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id g6BDlU225600 for ; Thu, 11 Jul 2002 08:47:31 -0500 (CDT) Received: from mion.elka.pw.edu.pl ([194.29.160.35]:42618 "EHLO mion.elka.pw.edu.pl") by mion.elka.pw.edu.pl with ESMTP id ; Thu, 11 Jul 2002 15:47:04 +0200 Date: Thu, 11 Jul 2002 15:46:45 +0200 (MET DST) From: Bartlomiej Jacek KUBICA To: Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Virus-Scanned: by AMaViS perl-11 mion Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk How do You do, I'm a Ph.D. student at Warsaw University of Technology. I've been reading the List for some time, but I haven't write here yet. About December 2001 there was a very short talk about ,,interval statistics''. I'm very interested if any of You know ather papers about using intervals to process probabilistic and stochastic data (not including Mr Wiliam Walster's paper). I would be very pleased for any help. Best regards Bartlomiej Kubica From owner-reliable_computing [at] interval [dot] louisiana.edu Thu Jul 11 10:45:12 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id g6BFjCh25916 for reliable_computing-outgoing; Thu, 11 Jul 2002 10:45:12 -0500 (CDT) Received: from life2.bio.sunysb.edu (life2.bio.sunysb.edu [129.49.19.43]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id g6BFj6225912 for ; Thu, 11 Jul 2002 10:45:07 -0500 (CDT) Received: from localhost (jhajagos@localhost) by life2.bio.sunysb.edu (8.9.3/8.9.3) with ESMTP id LAA10272; Thu, 11 Jul 2002 11:45:05 -0400 (EDT) Date: Thu, 11 Jul 2002 11:45:05 -0400 (EDT) From: "Janos Hajagos (EE)" To: Reliable Computing mailing list cc: B.Kubica [at] elka [dot] pw.edu.pl Subject: Re: Interval statistics Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk I hope this will be helpful. There are some useful references in the response to a similar question at: http://studsys.mscs.mu.edu/~georgec/IFAQ/nivlet1.html Also check out a recent paper by Vladik Kreinovich with the title EXACT BOUNDS ON SAMPLE VARIANCE OF INTERVAL DATA at http://www.cs.utep.edu/vladik/2002/abstr02.html You will have to scroll down the page to find links to the reprint of this article. If you are interested in probabilistic convolutions, for example, adding two stochastic numbers together when there is unknown dependency between the two variable, see papers on Daniel Berleant's web page http://class.ee.iastate.edu/berleant/home/me/cv/cv.html For applications in risk analysis of probabilistic convolutions using a bounding approach see references at: http://www.ramas.com/Rcal-faq.htm#refs -Janos Homepage: From owner-reliable_computing [at] interval [dot] louisiana.edu Fri Jul 12 06:35:34 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id g6CBZSh06526 for reliable_computing-outgoing; Fri, 12 Jul 2002 06:35:28 -0500 (CDT) Received: from ifp.ifp.fr (ifp.ifp.fr [156.118.212.2]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id g6CBZ8206521 for ; Fri, 12 Jul 2002 06:35:11 -0500 (CDT) Received: from irsun76.ifp.fr (irsun76.ifp.fr [156.118.20.70]) by ifp.ifp.fr (8.9.3/8.9.3) with ESMTP id NAA26501; Fri, 12 Jul 2002 13:34:49 +0200 (MET DST) Received: from ifp.fr (localhost [127.0.0.1]) by irsun76.ifp.fr (8.8.5/8.8.5) with ESMTP id NAA05060; Fri, 12 Jul 2002 13:34:45 +0200 (MET DST) Message-ID: <3D2EBED4.85C96BC2 [at] ifp [dot] fr> Date: Fri, 12 Jul 2002 13:34:44 +0200 From: "Philippe.NIVLET" Organization: IFP X-Mailer: Mozilla 4.7 [en] (X11; I; SunOS 5.6 sun4u) X-Accept-Language: en MIME-Version: 1.0 To: Reliable Computing mailing list , B.Kubica [at] elka [dot] pw.edu.pl Subject: Re: Interval statistics References: Content-Type: multipart/mixed; boundary="------------2C3F899C2190087FB52BC055" Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk This is a multi-part message in MIME format. --------------2C3F899C2190087FB52BC055 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Bartlomiej, In complement to Janos' answers, I invite you to read some of my papers : NIVLET P., FOURNIER F., ROYER J-J. (2002) A new nonparametric discriminant analysis algorithm accounting for bounded data errors Mathematical Geology 34 (2), 223-246 NIVLET P., FOURNIER F., ROYER J-J. (2001) Interval Discriminant Analysis: An efficient method to intergrate errors in supervised pattern recognition In the ISIPTA'01 proceedings, available at the following URL : http://ippserv.rug.ac.be/~isipta01/proceedings/020.html NIVLET P., FOURNIER F., ROYER J-J. (2001) Propagating errors in statistical pattern recognition for reservoir characterization Paper SPE 71327, presented at the 2001 Annual Technical Conference and Exhibition of the SPE in New Orleans. NIVLET P., FOURNIER F., ROYER J-J. (2001) A new methodology to account for uncertainties in 4D seismic interpretation Paper presented at the Annual meeting of the SEG in San Antonio. You may also find useful references, links and persons to contact on the IPP web page (Imprecise Probability Project) at the following URL: http://ippserv.ac.rug.be. I hope this will help you. Philippe --------------2C3F899C2190087FB52BC055 Content-Type: text/x-vcard; charset=us-ascii; name="philippe.nivlet.vcf" Content-Transfer-Encoding: 7bit Content-Description: Card for Philippe.NIVLET Content-Disposition: attachment; filename="philippe.nivlet.vcf" begin:vcard n:NIVLET;Philippe tel;fax:+ 33 (0)1 47 52 70 98 tel;work:+ 33 (0)1 47 52 60 06 x-mozilla-html:FALSE url:http://www.ifp.fr org:Institut Français du Pétrole;Div. Géophysique adr:;;1&4, avenue de Bois-Préau;Rueil-Malmaison;;92852;FRANCE version:2.1 email;internet:Philippe.NIVLET [at] ifp [dot] fr title:Ingénieur x-mozilla-cpt:;22816 fn:Philippe NIVLET end:vcard --------------2C3F899C2190087FB52BC055-- From owner-reliable_computing [at] interval [dot] louisiana.edu Fri Jul 12 09:44:43 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id g6CEihR00554 for reliable_computing-outgoing; Fri, 12 Jul 2002 09:44:43 -0500 (CDT) Received: from sceaux.ilog.fr (sceaux.ilog.fr [193.55.64.10]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id g6CEhwG00549 for ; Fri, 12 Jul 2002 09:43:59 -0500 (CDT) Received: from ftp.ilog.fr (ftp.ilog.fr [193.55.64.11]) by sceaux.ilog.fr (8.11.6/8.11.6) with SMTP id g6CEeVi06266 for ; Fri, 12 Jul 2002 16:40:41 +0200 (MET DST) Received: from laposte.ilog.fr ([193.55.64.67]) by ftp.ilog.fr (NAVGW 2.5.1.16) with SMTP id M2002071216430216477 ; Fri, 12 Jul 2002 16:43:02 +0200 Received: from ilog.fr ([172.17.4.224]) by laposte.ilog.fr (8.11.6/8.11.5) with ESMTP id g6CEh1w07466; Fri, 12 Jul 2002 16:43:01 +0200 (MET DST) Message-ID: <3D2EEAF4.6CE896E0 [at] ilog [dot] fr> Date: Fri, 12 Jul 2002 16:43:00 +0200 From: Christian Bliek X-Mailer: Mozilla 4.79 [en] (X11; U; SunOS 5.8 sun4u) X-Accept-Language: en MIME-Version: 1.0 To: global-l [at] gamsworld [dot] org, na.digest@na-net.ornl.gov, scicomp@uni-erlangen.de, opt-net [at] zib [dot] de, opt [at] turing [dot] siam.org, minlp-l [at] gamsworld [dot] org, reliable_computing [at] interval [dot] louisiana.edu, clp [at] comp [dot] nus.edu.sg, csp [at] carlit [dot] toulouse.inra.fr Subject: Cocos'02: Last Call Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk [Please note that the list of invited speakers has been updated] 1st International Workshop on Global Constrained Optimization and Constraint Satisfaction (Cocos'02) Valbonne - Sophia Antipolis, France 2-4 October 2002 http://liawww.epfl.ch/Cocos02/cocos02.html WORKSHOP OBJECTIVES Continuous constraints are often a natural way to represent practical problems and the knowledge they involve. Such constraints may be simple or complex, linear or non-linear and may, or may not, involve transcendental functions. They are widely used to express chemical or mechanical models, process descriptions, building codes or cost restrictions for example. Many industrial problems involving continuous constraints can be modelled as continuous constraint satisfaction and optimization problems (CSOPs). In practice, such models are often large in size and non-linear. This workshop focuses on complete solving techniques for continuous CSOPs that provide all solutions with full rigor. Less rigorous solution techniques are not excluded, since they may be part of complete relevant techniques. Complete solution techniques guarantee that all the constraints - e.g. security or tolerance criteria - are satisfied and the global optima identified. Completeness would thus benefit directly the quality and reliability of decisions or analyses based on the provided solutions. This has obvious implications in many industrial and economic areas. None of the existing approaches for solving non-linear CSOPs is fully satisfactory in practice. Non-linear programming techniques are routinely used and can solve large-scale non-linear problems. However, they are complete only in the convex case and if roundoff errors are controlled. In contrast, constraint programming solvers preserve completeness, but suffer from poor scalability. The respective strengths of mathematical and constraint programming appear however to be highly complementary and a number of recent development showed that there is a lot to be gained by merging the different inference techniques they provide and by combining their specific advantages. The goal of this workshop is to bring together communities from global optimization, mathematical programming and constraint programming, giving the opportunity to promote presentation and discussion of ongoing work on solving techniques for continuous CSOPs. The workshop aims to encourage cross-fertilization between the various approaches, including the study of adapted cooperation strategies between mathematical and constraint programming, and of new representations and abstractions for which they can efficiently interact. TOPICS: Relevant topics include, but are by no means restricted to the following: - Solution techniques for global optimization problems - Integration of constraint programming with non-linear programming techniques - Linear programming enclosures of nonlinear programs - Improved consistency techniques for continuous constraints - Combination of symbolic methods with mathematical and constraint programming techniques - Solution techniques for under-constrained systems - Adaptation of sparse matrix techniques to the non-linear case - Enclosures by polytopes or nonlinear boundaries - Representation and exploitation of monotonicity and convexity properties - Abstractions based on convex decomposition - Partial boundary representation based on critical points and topological abstractions. IMPORTANT DATES: 15th July 2002: Submission deadline 10th August 2002: Notification of acceptance 31th August 2002: Pre-registration ends 15th September 2002: Final camera-ready copies WORKSHOP FORMAT: The workshop will last three days. Invited talks by well-known researchers in the field of numerical constraint satisfaction and global optimisation are expected to occur at the beginning of each day. The remaining sessions will consist of paper presentations followed by a discussion panel. SUBMISSION REQUIREMENTS FOR CONTRIBUTIONS: The final deadline for submissions is July 15th. Two categories of submissions are welcome: full papers and extended abstracts. The organizers plan to publish selected full papers in an appropriate book series or a special issue of a journal. The accepted full papers and extended abstracts will be presented during the workshop. Full papers must be no longer than 15 pages in length, using the provided latex format (the style files are given below), and are expected to describe in detail solving techniques for constraint satisfaction and global optimization problems. Extended abstracts must be no longer than 5 pages in the same format, and are expected to address research proposals and reports. Submitted papers shall be written in English. Papers are expected in Latex and postscript format. The title page should include the name, address, telephone number and electronic mailing address for each author as well as a list of keywords. A contact author should also be provided. The submitted papers have to be sent electronically to "cocos02 [at] ilog [dot] fr". REVIEWING PROCESS: Submissions will be judged on significance, originality, quality and clarity. Each paper will be cross-reviewed by at least two referees. Authors will receive feedback in the form of reviewers' comments. PROCEEDINGS: The organizers plan to publish selected papers in an appropriate book series or a special issue of a journal. STYLE FILES: The submissions must be formatted in lncs/lnai format (http://www.springer.de/comp/lncs/authors.html ). SCIENTIFIC COMMITTEE: Frédéric Benhamou, Université de Nantes, France Christian Bliek, ILOG, France Boi Faltings, Ecole Polytechnique Fédérale de Lausanne, Switzerland Arnold Neumaier, University of Vienna, Austria Peter Spellucci, Darmstadt University, Germany Pascal Van Hentenryck, Brown University, USA Luis N. Vicente, University of Coimbra, Portugal INVITED TALKS (preliminary list) - "Possibilities and Limitations of the GlobSol Software Package" by: R. Baker Kearfott - "Deterministic Global Optimization: Theoretical, Computational and Implementation Advances" By Chris Floudas - "Global Optimization and Constraint Satisfaction: The Branch and Reduce Approach" by Nick Sahinidis LOCATION: The workshop will take place at the Mediathel (http://www.mediathel.com) conference centre in Valbonne-Sophia Antipolis. The Mediathel will host the attendees in a nice setting amidst the Sophia Antipolis pine forests. It is located 10 min away from Antibes and the sea, and 15 km away from Cannes, Nice and the Nice-Côte d'Azur International Airport. ACCOMODATION: Preferential rates are proposed by the Mediathel (http://www.mediathel.com) to the workshop attendees (55 euros/night). Other hotels can be found at http://www.alpes-azur.com/vsa/english/vsamain.htm FEES: The registration fees are of 150 euros, 75 euros for students. The fees includes all conference material, access to conference rooms, breaks and lunches. ORGANIZING COMMITTEE and CONTACT ADDRESSES: - Christian Bliek (ILOG) ILOG 1681 HB-2, Route des Dolines 06560 Valbonne, France Email: bliek [at] ilog [dot] fr WWW: http://www.ilog.com -Djamila Sam-Haroud Artificial Intelligence Laboratory Institute of Core Computing Science School of Computer and Communication Sciences Swiss Federal Institute of Technology IN (Ecublens), CH-1015 Lausanne (Switzerland) e-mail: jamila.sam [at] epfl [dot] ch Fax: +4121- 693 5225 Phone: +4121- 693 5209 SPONSORS: The workshop is organised by the partners of the COCONUT project (IST-2000-26063)(http://www.mat.univie.ac.at/~neum/glopt/coconut/) with the financial support from the European Commission and the Swiss Federal Education and Science Office (OFES). From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Jul 15 06:07:30 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id g6FB7TE12722 for reliable_computing-outgoing; Mon, 15 Jul 2002 06:07:29 -0500 (CDT) Received: from imeil.udg.es (imeil.udg.es [130.206.45.97]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id g6FB7MG12717 for ; Mon, 15 Jul 2002 06:07:23 -0500 (CDT) Received: from imeil.udg.es (localhost.localdomain [127.0.0.1]) by imeil.udg.es (8.11.6/out/otb) with ESMTP id g6FI32p27496 for ; Mon, 15 Jul 2002 13:03:02 -0500 Received: from pceianose.udg.es (pceianose.udg.es [130.206.129.208]) by imeil.udg.es (8.11.6/in/otb) with ESMTP id g6FI32j27489 for ; Mon, 15 Jul 2002 13:03:02 -0500 Received: from sratscha by pceianose.udg.es with local (Exim 3.35 #1 (Debian)) id 17U3gt-0000Y7-00; Mon, 15 Jul 2002 13:06:55 +0200 From: Stefan Ratschan To: reliable_computing [at] interval [dot] louisiana.edu Subject: share room SCAN User-Agent: SEMI/1.14.3 (Ushinoya) FLIM/1.14.3 (=?UTF-8?B?VW5lYmlnb3J58m1h?= =?UTF-8?B?ZQ==?=) APEL/10.3 Emacs/21.2 (i386-debian-linux-gnu) (with unibyte mode) MIME-Version: 1.0 (generated by SEMI 1.14.3 - "Ushinoya") Content-Type: text/plain; charset=UTF-8 Message-Id: Date: Mon, 15 Jul 2002 13:06:55 +0200 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by interval.louisiana.edu id g6FB7OG12718 Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Does anybody want to share a hotel room with me at SCAN'02 in Paris? If yes, please contact me offlist. Stefan Ratschan ----------------------------------- Stefan Ratschan WWW: http://www.risc.uni-linz.ac.at/people/sratscha Marie Curie Postdoctoral Fellow e-mail: stefan.ratschan [at] ima [dot] udg.es Universitat de Girona phone: +34 972 41 88 88 (office) Departament d'Electrònica, Informàtica i Automàtica. Campus Montilivi. Edifici P-II E-17071 Girona Spain From owner-reliable_computing [at] interval [dot] louisiana.edu Sun Jul 21 23:21:59 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id g6M4Lw600073 for reliable_computing-outgoing; Sun, 21 Jul 2002 23:21:58 -0500 (CDT) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id g6M4LqG00069 for ; Sun, 21 Jul 2002 23:21:53 -0500 (CDT) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.3/8.11.3) with SMTP id g6M4LmW26289 for ; Sun, 21 Jul 2002 22:21:48 -0600 (MDT) Message-Id: <200207220421.g6M4LmW26289 [at] cs [dot] utep.edu> Date: Sun, 21 Jul 2002 22:21:48 -0600 (MDT) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: from NA Digest To: reliable_computing [at] interval [dot] louisiana.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: aDUJr3l/Q8kqV0PAB3lpIg== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk From: Alexandre Tenca Date: Tue, 16 Jul 2002 16:00:30 -0700 Subject: IEEE Symposium on Computer Arithmetic CALL FOR PAPERS ARITH 16 - 16th Symposium on Computer Arithmetic Santiago de Compostela, Spain June 15-18 2003 Authors are invited to submit papers describing recent advances in all aspects of computer arithmetic, including, but not restricted to the following topics: Foundations of number systems and arithmetic, Arithmetic processor design and implementation, Arithmetic algorithms and their analysis, Highly parallel arithmetic units and systems, New floating-point units and systems, Standards for number representation and arithmetic, Impact of high level languages on arithmetic systems, Special function implementations, and Applications of computer arithmetic for cryptography, DSP, data compression, etc. An electronic version of the complete paper and other contact information should be submitted before October 15, 2002. Follow the instructions at the conference web site: http://www.dec.usc.es/arith16/ (The trailing / is part of the URL.) Further instructions about submission procedure, guidelines for paper preparation, and information about the symposium will be posted at the web site. GENERAL CHAIR: Tomas Lang Electrical and Computer Eng., University of California, Irvine, USA tlang [at] uci [dot] edu LOCAL ARRANGEMENTS: Javier Diaz Bruguera Electrical and Computer Eng., University of Santiago de Compostela, Spain bruguera [at] dec [dot] usc.es STEERING COMMITTEE CHAIR: Jean-Michel Muller CNRS - Laboratoire LIP, Ecole Normale Superieure de Lyon, France Jean-Michel.Muller@ens-lyon.fr PROGRAM CHAIRS: Michael Schulte Computer Science and Eng., Lehigh University, USA, mschulte [at] cse [dot] lehigh.edu Jean-Claude Bajard LIRMM CNRS, Universit? de Montpellier, France bajard [at] lirmm [dot] fr PUBLICITY CHAIR: Alexandre Ferreira Tenca Electrical and Computer Eng, Oregon State University, USA tenca [at] ece [dot] orst.edu This Symposium is sponsored by the IEEE Computer Society From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Jul 22 09:43:04 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id g6MEh3201645 for reliable_computing-outgoing; Mon, 22 Jul 2002 09:43:03 -0500 (CDT) Received: from mion.elka.pw.edu.pl (root [at] mion [dot] elka.pw.edu.pl [194.29.160.35]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id g6MEgxG01641 for ; Mon, 22 Jul 2002 09:42:59 -0500 (CDT) Received: from mion.elka.pw.edu.pl ([194.29.160.35]:57334 "EHLO mion.elka.pw.edu.pl") by mion.elka.pw.edu.pl with ESMTP id ; Mon, 22 Jul 2002 16:42:56 +0200 Date: Mon, 22 Jul 2002 16:42:46 +0200 (MET DST) From: Bartlomiej Jacek KUBICA To: Subject: Re: interval statistisc In-Reply-To: <003601c2299a$183abc00$2016a8c0 [at] atomnet [dot] int> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Virus-Scanned: by AMaViS perl-11 mion Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk How do You do, Thank You for all help. Suggested papers were very interesting to me. I hope to present a work on a similar topic on the SYNASC conference. The considered problem is probably quite simple, but maybe my work will be interesting to You. Best Regards Bartlomiej Kubica From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Jul 23 05:36:41 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id g6NAafL04013 for reliable_computing-outgoing; Tue, 23 Jul 2002 05:36:41 -0500 (CDT) Received: from imit.co.kr ([210.121.248.2]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id g6NAaWG04009 for ; Tue, 23 Jul 2002 05:36:34 -0500 (CDT) Received: from hh.hosp.dk ([202.88.132.48]) by imit.co.kr (8.10.2+Sun/8.10.2) with SMTP id g6NAFR505182; Tue, 23 Jul 2002 19:15:31 +0900 (KST) Message-ID: <00007941200a$000076b5$000057fd [at] hh [dot] hosp.dk> To: From: "Telcom center" Subject: Minimize your phone expenses Date: Tue, 23 Jul 2002 03:22:31 -1900 MIME-Version: 1.0 Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable X-Mailer: Microsoft Outlook Express Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Take Control Of Your Conference Calls

=
Crystal Clear Conference Calls
Only 18 Cents Per Minute!

(Anytime/Anywhere)

<= /TABLE>

  • No setup fees
  • No contracts or monthly fees
  • Call anytime, from anywhere, to anywhere
  • Connects up to 100 Participants
  • International Dial In 18 cents per minute
  • Simplicity in set up and administration
  • Operator Help available 24/7
  • G= et the best quality, the easiest to use, and lowest rate in the industry.

    If you like saving m= oney, fill out the form below and one of our consultants will contact you.

    Required Input Field*

    Name*
    Web Address
    Company Name*
    State*
    Business Phone*
    Home Phone
    Email Address*
    Type of Business



    From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Jul 23 13:21:45 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id g6NILjt04902 for reliable_computing-outgoing; Tue, 23 Jul 2002 13:21:45 -0500 (CDT) Received: from imf11bis.bellsouth.net (mail211.mail.bellsouth.net [205.152.58.151]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id g6NILeG04897 for ; Tue, 23 Jul 2002 13:21:41 -0500 (CDT) Received: from u8174 ([65.81.242.71]) by imf11bis.bellsouth.net (InterMail vM.5.01.04.19 201-253-122-122-119-20020516) with SMTP id <20020723182307.WBJV28883.imf11bis.bellsouth.net@u8174> for ; Tue, 23 Jul 2002 14:23:07 -0400 Message-Id: <2.2.32.20020723182137.00c5c878 [at] pop [dot] louisiana.edu> X-Sender: rbk5287 [at] pop [dot] louisiana.edu X-Mailer: Windows Eudora Pro Version 2.2 (32) Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Tue, 23 Jul 2002 13:21:37 -0500 To: reliable_computing [at] interval [dot] louisiana.edu From: "R. Baker Kearfott" Subject: GlobSol update Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear reliable_computing members: I have just fixed a bug in GlobSol and updated the new version. The bug was only apparent when the Sun compiler was used with optimization. Sun Microsystems personnel (including Alexander Sem{\"e}nov and his team) tracked down the error. My understanding is that the Sun compiler, in future, may automatically report such user-errors (which span more than one compiled file). I have posted the new version of GlobSol (dated July 23) at the usual place, accessible from: http://interval.louisiana.edu/GlobSol/download_GlobSol.html Please tell me if you have troubles with it. The relevant section of the "release notes" is the following: ======================================================================= ===================================================================== April 18, 2002 -- 1. Note the extensive modifications done to describe the Taylor models, including a nonlinear_systems mode. (See C:\GlobSol\Taylor\running_notes.txt) --- These modifications are not yet in the distributed version of GlobSol. 2. Corrected a bug in precond\optinlgq.f90: IF( IC(I) >= 0 ) THEN should be IF( IC(I) > 0 ) THEN FLAG = 0 N_REJECT_INEQUALITY = N_REJECT_INEQUALITY + 1 EXIT SOLUTION_LOOP END IF 3. A GLOBSOL LIMITATION: GlobSol cannot presently verify feasibility for more active inequality constraints (or for more equality constraints) than variables, since it does not try the Fritz-John equations. We can perhaps change this later by changing verify_feasible_point. 4. Changed overload\error_handler\error_hand.f90 so no arguments are "optional". (Version 6.6A of the COMPAQ compiler complained, for some unknown reason.) =================================================================== July 23, 2002 1. Removed a bug in precond/findopt.f90. In the interface blocks to MOVE_OFF_BOUNDS and MOVE_ONE_BY_ONE, VERIFIED was declared to have "INTENT(IN)" but should have been declared with "INTENT(OUT)". This bug only showed up when the Sun compiler was used with higher optimization levels. ======================================================================= ===================================================================== Best regards, Baker P.S. Having just completed a significant software project using "C", I'd like to express my opinion that the modern Fortran 95 standard has been underappreciated, especially for larger vector-oriented applications such as setting up discretizations of partial differential equations. However, I prefer not to get into an extensive discussion about this at this time. ------------------------------------------------------------------------ --------------------------------------------------------------- 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] louisiana.edu Wed Jul 24 09:43:42 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id g6OEheU07429 for reliable_computing-outgoing; Wed, 24 Jul 2002 09:43:40 -0500 (CDT) Received: from lcyoung.math.wisc.edu (lcyoung.math.wisc.edu [144.92.166.90]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id g6OEhQG07425 for ; Wed, 24 Jul 2002 09:43:26 -0500 (CDT) Received: from ultra7.math.wisc.edu (ultra7.math.wisc.edu [144.92.166.188]) by lcyoung.math.wisc.edu (8.11.6/8.11.6) with ESMTP id g6OEeiW24208; Wed, 24 Jul 2002 09:40:44 -0500 (CDT) Date: Wed, 24 Jul 2002 09:40:41 -0500 (CDT) From: Hans Schneider To: NETS -- at-net , E-LETTER , Shaun Fallat , "na.digest" , ipnet-digest [at] math [dot] msu.edu, wim@bell-labs.com, hjt [at] eos [dot] ncsu.edu, SMBnet [at] smb [dot] org, vkm [at] eedsp [dot] gatech.edu, reliable_computing [at] interval [dot] louisiana.edu cc: Richard Brualdi , Volker Mehrmann , "LAA/MB editors -- Dellnitz. Michael" , Steve Kirkland , Miki Neumann , Christof Schuette Subject: LAA special issue announcements Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-MailScanner: Found to be clean Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Dear Net Organizer: Please circulate the attached LAA announcement 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 No Home FAX at present Madison WI 53706 USA http://www.math.wisc.edu/~hans (URL) ------------------------------------------------------------------------------ LINEAR ALGEBRA AND ITS APPLICATIONS Special issue on Matrices and Mathematical Biology Call for papers In the last decade the field of mathematical biology has expanded very rapidly. Biological research furnishes both data on and insight into the workings of biological systems. However, qualitative and quantitative modelling and simulation are still far from allowing current knowledge to be organized into a well-understood structure. Further, the diversity present in mathematical biology, coupled with the absence of a single unifying approach, has inspired the formation of entirely new scientific disciplines such as bioinformatics. Theoretical research activity in mathematical biology is naturally of an interdisciplinary character. It involves mathematical and statistical investigations, sometimes in combination with techniques originating from the computational sciences. In many of these approaches, linear algebra is key to solving the mathematical problems which arise. For instance, in some population models, the asymptotic rate of increase of the population turns out to be the spectral radius of a certain matrix associated with the population, while the other eigenvalues also yield information on the evolution of the population's structure. Conversely, problems in mathematical biology can enrich linear algebra. For example, in attempting to measure the influence of a single matrix entry on a simple eigenvalue, linear algebraists frequently employ the derivative of that eigenvalue with respect to the entry. However, some biologists have proposed the use of the elasticity, or a logarithmic derivative, of an eigenvalue with respect to a matrix entry in order to measure the effect on that eigenvalue of perturbing a matrix entry. Thus linear algebraists are challenged to deepen and develop the understanding of the ways in which the effects of changes in the ecological conditions on the populations can be measured through further theoretical investigations. A recent book by Caswell on matrix population models makes extensive use of linear algebraic techniques. Quoting from the introduction to that book: "Matrix population models -- carefully constructed, correctly analyzed, and properly interpreted - provide a theoretical basis for population models... A goal of this book is to raise the bar of what constitutes rigorous analysis in population models.... The work of the population biologist is too important to settle for less." But Caswell's call for careful mathematical construction and analysis applies to areas beyond the subject of population models; clearly a rigorous approach would benefit all areas of interaction between biology and mathematics. The Special Issue of LAA dedicated to Matrices and Mathematical Biology is intended to both foster and accelerate cross fertilization between those working primarily in linear algebra and those working primarily in mathematical biology. The editors hope that such an issue of LAA will be of benefit to both fields. This special issue will be open for all submissions containing new and meaningful results that advance interaction between linear algebra and mathematical biology. The editors welcome submissions in which linear algebraic methods play an important role for novel approaches to problems arising in mathematical biology, or in which investigations in mathematical biology motivate new tools and problems in linear algebra. Survey papers which discuss specific areas involving the interaction between biology and linear algebra, particularly where such interaction has been successful, are also very welcome. Areas and topics of interest for the special issue include, but are not limited to: metabolistic pathways statistical data analysis linear algebra problems in graph partitioning matrix population models model discrimination in biokinetics linear algebra problems in network analysis and synchronization subspace oriented eigenvalue problems aggregation/disaggregation or related techniques hidden Markov models epidemic models modelling phylogenetic trees All papers submitted must meet the publication standards of Linear Algebra and its Applications and will be refereed in the usual way. They should be submitted to one of the special editors of this issue listed below by 31 May 2003. Michael Dellnitz Department of Mathematics and Computer Science University of Paderborn D-33095 Paderborn Germany dellnitz [at] upb [dot] de Steve Kirkland Department of Mathematics and Statistics University of Regina Regina, Saskatchewan Canada S4S 0A2 kirkland [at] math [dot] uregina.ca Michael Neumann Department of Mathematics University of Connecticut Storrs, Connecticut O6269-3OO9 USA neumann [at] math [dot] uconn.edu Christof Schuette Department of Mathematics & Computer Science Numerical Mathematics/Scientific Computing Free University Berlin Arnimallee 2-6 D-14195 Berlin Germany schuette [at] math [dot] fu-berlin.de *********************************************************************** See http://www.math.wisc.edu/~hans/speciss.html for the calls for papers of the following LAA special issues all of which invite submissions at the present time. -------------------------------------------------------------------------------- Special issue devoted to the ILAS conference at Auburn in June 2002. -------------------------------------------------------------------------------- Special issue on the occasion of Peter Lancaster's 75th birthday. -------------------------------------------------------------------------------- Special issue on Large Scale Linear and Nonlinear Eigenvalue Problems. -------------------------------------------------------------------------------- Special issue on Linear Algebra in Signal and Image Processing -------------------------------------------------------------------------------- Special Issue on Order Reduction of Large-Scale Systems. -------------------------------------------------------------------------------- Tenth Special Issue on Linear Algebra and Statistics -------------------------------------------------------------------------------- Special Issue on Matrices and Mathematical Biology -------------------------------------------------------------------------------- From owner-reliable_computing [at] interval [dot] louisiana.edu Sat Jul 27 05:36:02 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id g6RAa1x15068 for reliable_computing-outgoing; Sat, 27 Jul 2002 05:36:01 -0500 (CDT) Received: from bao.task.com.br (bao.task.com.br [200.162.176.5]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with SMTP id g6RAZgG15064 for ; Sat, 27 Jul 2002 05:35:43 -0500 (CDT) Received: (qmail 9161 invoked from network); 27 Jul 2002 10:35:25 -0000 Received: from 200-162-180-6.task.com.br (HELO angra.skynet.com.br) (200.162.180.6) by bao.task.com.br with SMTP; 27 Jul 2002 10:35:25 -0000 Received: (qmail 7187 invoked by uid 7794); 27 Jul 2002 10:35:24 -0000 Date: 27 Jul 2002 10:35:24 -0000 Message-ID: <20020727103524.7186.qmail [at] angra [dot] skynet.com.br> From: "System Anti-Virus Administrator" To: reliable_computing [at] interval [dot] louisiana.edu Subject: Virus encontrado na mensagem "A excite game" [Virus found in received message "A excite game"] X-Tnz-Problem-Type: 40 MIME-Version: 1.0 Content-type: text/plain Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Atenção [Attention] Uma mensagem enviada por dkzinho para você continha o seguinte virus: [A message sent to you by dkzinho contains the following virus:] the W32/Klez.h@MM virus !!! A Estrelar dispõe de um sistema antivirus que detecta e elimina automaticamente as mensagens contendo virus. [Estrelar.com has an antivirus system that detects and blocks messages with virus.] Por questões de segurança a mensagem é bloqueada antes que chegue em sua máquina. [For security reasons the message is blocked before it reaches your machine.] Um comunicado também foi enviado para o remetente informando-o do acontecido. [A mesage was also sent to the sender warnning him about this ] Qualquer dúvida sobre este assunto, entre em contato através do email suporte [at] estrelar [dot] com [If you have any doubts about this procedure please contact us on the email suporte [at] estrelar [dot] com] Atenciosamente [Regards] Estrelar - Internet Profissional [Estrelar - Professional Internet Services] ------------------------------------------------------------- A mensagem enviada para você tinha o seguinte envelope: [The message sent to you had the following envelope:] MAIL FROM: venus [at] venus [dot] com.br RCPT TO: reliable_computing [at] interval [dot] louisiana.edu E os seguintes cabeçalhos: [... and with the following headers:] From: dkzinho To: reliable_computing [at] interval [dot] louisiana.edu Subject: A excite game Date: Sun, 27 Jul 2002 7:35:23 O software antivirus emitiu o seguinte relatório quando verificou esta mensagem: [The Email scanner reported the following when it scanned that message:] --- ---uvscan results --- /var/spool/qmailscan/angra.skynet.com.br.10277661237169/picacu.exe Found the W32/Klez.h@MM virus !!! --- From owner-reliable_computing [at] interval [dot] louisiana.edu Mon Jul 29 20:10:01 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id g6U1A0s21883 for reliable_computing-outgoing; Mon, 29 Jul 2002 20:10:00 -0500 (CDT) Received: from inf.ufrgs.br (puma.inf.ufrgs.br [143.54.11.5]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id g6U19oG21879; Mon, 29 Jul 2002 20:09:51 -0500 (CDT) Received: from puma.inf.ufrgs.br (localhost.localdomain [127.0.0.1]) by inf.ufrgs.br (8.11.6/8.11.3) with ESMTP id g6U121729417 for ; Mon, 29 Jul 2002 22:02:02 -0300 Date: Mon, 29 Jul 2002 22:02:02 -0300 Message-Id: <200207300102.g6U121729417 [at] inf [dot] ufrgs.br> Subject: Your message to Prof-int awaits moderator approval From: prof-int-admin [at] inf [dot] ufrgs.br To: reliable_computing [at] interval [dot] louisiana.edu X-BeenThere: prof-int [at] inf [dot] ufrgs.br X-Mailman-Version: 2.0.8 List-Help: List-Post: List-Subscribe: , List-Id: Lista Professores INT-II/UFRGS (acesso RESTRITO) List-Unsubscribe: , Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Your mail to 'Prof-int' with the subject Helvetica, sans Is being held until the list moderator can review it for approval. The reason it is being held: Post by non-member to a members-only list Either the message will get posted to the list, or you will receive notification of the moderator's decision. From owner-reliable_computing [at] interval [dot] louisiana.edu Tue Jul 30 10:00:50 2002 Received: (from daemon@localhost) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) id g6UF0n325402 for reliable_computing-outgoing; Tue, 30 Jul 2002 10:00:49 -0500 (CDT) Received: from cs.utep.edu (mail.cs.utep.edu [129.108.5.3]) by interval.louisiana.edu (8.11.3/8.11.3/ull-interval-math-majordomo-1.3) with ESMTP id g6UF0hG25398 for ; Tue, 30 Jul 2002 10:00:43 -0500 (CDT) Received: from aragorn (aragorn [129.108.5.35]) by cs.utep.edu (8.11.3/8.11.3) with SMTP id g6UF0dp05450 for ; Tue, 30 Jul 2002 09:00:39 -0600 (MDT) Message-Id: <200207301500.g6UF0dp05450 [at] cs [dot] utep.edu> Date: Tue, 30 Jul 2002 09:00:38 -0600 (MDT) From: Vladik Kreinovich Reply-To: Vladik Kreinovich Subject: Can u help in my research work To: reliable_computing [at] interval [dot] louisiana.edu MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: OY5DTBAe+Pv591UJDgYhzw== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4 SunOS 5.8 sun4u sparc Sender: owner-reliable_computing [at] interval [dot] louisiana.edu Precedence: bulk Please reply to him re free (probably) software for solving interval linear equations ------------- Begin Forwarded Message ------------- Date: Tue, 30 Jul 2002 15:37:39 +0530 (IST) Subject: Can u help in my research work From: "M.V.Rama Rao" To: X-Priority: 1 Importance: High X-MSMail-Priority: High X-Confirm-Reading-To: "M.V.Rama Rao" Disposition-Notification-To: "M.V.Rama Rao" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit >From M.V.Rama Rao, Senior Lecturer in Civil Engineering, Vasavi College of Engineering, Hyderabad-500 031 India Sir, I am pursuing my Ph.D. entitled "Dynamic Analysis of Cable-stayed bridges by fuzzy-finite element modelling" at Osmania University,Hyderabad,India. Can u kindly help me in the following aspects: 1. Algorithm/ Program to solve a set of interval linear equations 2. Algorithm to perform fuzzy eigen value analysis for the problem |k-lambda*M| = 0 Thanking you Yours sincerely M.V.Rama Rao ------------- End Forwarded Message -------------
    To be removed from our list, please Click here..