From raghu@cs.wisc.edu Tue May 28 20:17:44 1996 Received: from ricotta.cs.wisc.edu (ricotta.cs.wisc.edu [128.105.67.19]) by sea.cs.wisc.edu (8.6.12/8.6.12) with ESMTP id UAA05976 for ; Tue, 28 May 1996 20:17:37 -0500 Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.6.12/8.6.12) id UAA00729 for dbworld; Tue, 28 May 1996 20:17:36 -0500 Date: Tue, 28 May 1996 20:17:36 -0500 From: Devashish Worah Message-Id: <199605290117.UAA00729@ricotta.cs.wisc.edu> To: dbworld@ricotta.cs.wisc.edu ================================================================================= First IFCIS International Conference on Cooperative Information Systems (CoopIS'96) Brussels, Belgium, June 19-21, 1996 Organized by IFCIS, The Intn'l Foundation on Cooperative Information Systems ================================================================================= The International Conference on Cooperative Information Systems (CoopIS) is the first event sponsored by the International Foundation on Cooperative Information Systems (IFCIS). The Foundation and the conference series bring together the scientific community previously served by the international workshops on Interoperability in Multidatabase Systems (IMS'91 Kobe and IMS'93 Vienna) and the conference series on Cooperative Information Systems (ICICIS'93 Rotterdam, CoopIS'94 Toronto and CoopIs'95 Vienna). A summary of the program follows. Additional details including registration forms are at http://lsids.cs.uga.edu/activities Technical Program ================= The scientific program opens on Wednesday June 19 at 9:30 (registration from 8:30, and on June 18, 17:00-18:00 at the Albert I.er Hotel). There are 21 contributions rigorously selected by an international Program Committee chaired by Prof A. Elmagarmid (Purdue) and Prof E. Neuhold (GMD), two panels, and 4 representative invited lectures: * Christopher Stone, President, Object Management Group (OMG) "The Future of Software is Distributed Components" (Keynote Lecture) * Horst Biller Vice President, Software AG "From Distributed DBMS to Cooperative Information Systems - We have the Solutions, what are the Problems" * Marek Rusinkiewicz Professor, U. of Houston, and MCC, Austin "From Interoperability to Cooperation" * Ray Whitehouse Vice President, ICL E.U. Business Development "Live, Learn, Play, and Do Business with Information" Topics of the technical program are: Classification and Ontologies. Data Integration. Heterogeneous and Federated Databases. Workflow Management. Cooperative Query Processing. Database research in Workflow Management Systems: do we have anything to contribute ? (Panel) Potpourri. Architectures for Cooperation. How to Meet the Challenges of the Global Computing Revolution. (Panel) CoopIS Industry Day (Friday June 21, start 10:00) ================================================= The last day of the CoopIS'96 conference is devoted to a unique combination of invited speakers from industry (Stone, Biller, Whitehouse) and a discussion on "How to meet the Challenges of the Global Computing Revolution", led by a panel of top industry experts. Industry day is an integral part of the CoopIS'96 technical program, but may also be registered for separately. See the registration form for details. Tutorial Program ================ Separately from the technical program, 4 half-day tutorials cover the state of the art in both practice and theory on a number of subjects related to databases, interoperability, cooperation, standards, and the migration from legacy situations to distributed computing. The 4 tutorials to be presented are: 1: Standards for Database Interoperability and Portability: CORBA, ODMG and SQL3 Ramez Elmasri, The University of Texas at Arlington. Abdelsalam Helal, Purdue University 2: From Legacy To Cooperative Information Systems: Visions and Challenges For Large-Scale Deployment. Michael L. Brodie, GTE Laboratories. 4: Architectural Issues in Cooperative Information Systems John Mylopoulos (University of Toronto), Giorgio De Michelis (Universita di Milano), Florian Matthes (University of Hamburg). 3: Data Mining Techniques: An Overview From A Database Perspective Jiawei Han, Simon Fraser University, Canada. General Chairs ============== Robert Meersman Amit Sheth VUB, STARlab Large Scale Distr. Info. Sys. Lab, U. of GA Belgium Athens, GA 30602 e-mail: meersman@vub.ac.be e-mail: amit@cs.uga.edu telephone: (706) 542-2310 http://lsdis.cs.uga.edu Program Chairs: =============== Ahmed K. Elmagarmid Erich J. Neuhold Department of Computer Science GMD - IPSI 1398 Computer Science Building Informationstechnik GmbH West Lafayette, IN 47907-1398 Dolivostr. 15 USA D-64293 Darmstadt e-mail: ake@cs.purdue.edu Germany e-mail: neuhold@darmstadt.gmd.de For Additional Information ========================== Visit: http://LSDIS.cs.uga.edu/activities/CoopIS96 ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help ------------------------------------------------------------------------FOOTER- From raghu@cs.wisc.edu Wed May 29 10:46:13 1996 Received: from ricotta.cs.wisc.edu (ricotta.cs.wisc.edu [128.105.67.19]) by sea.cs.wisc.edu (8.6.12/8.6.12) with ESMTP id KAA20508 for ; Wed, 29 May 1996 10:46:01 -0500 Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.6.12/8.6.12) id KAA01282 for dbworld; Wed, 29 May 1996 10:46:01 -0500 Date: Wed, 29 May 1996 10:46:01 -0500 From: "M. Tamer Ozsu" Message-Id: <199605291546.KAA01282@ricotta.cs.wisc.edu> To: dbworld@ricotta.cs.wisc.edu This is to inform everyone that SIGMOD/PODS'96 conference hotel, Sheraton, is almost full (no vacancy on June 1st and 3rd) and the special rate (122$) for guest rooms is no longer applied. Room rate is now $160!! The following is a list of hotels that are within 15 minutes' walking distance from Sheraton. All prices are in CND dollars. ****** The Queen Elizabeth Hotel (very close to Sheraton) ****** 900, Rene-Levesque Blvd West Phone : (514) 861-3511, 1-800-441-1414 Fax : (514) 954-2256 Rates: $117 (simple/double). ****** Le Chateau Champlain (very close to Sheraton) ****** 1, Place du Canada Phone : (514) 878-9000, 1-800-200-5909 Fax : (514) 878-6761. Rates: $119 (simple/double). ****** Hotel TRAVELODGE ****** 50, Rene-Levesque Blvd. West (corner Saint-Urbain St.) Phone : (514) 874 9090, 1-800-363 6535 Fax : (514) 874 0907 SPECIAL Rates: $72 (simple), $79 (double), $86 (quadruple). (please make reference to ACM SIGMOD/PODS'96). Rooms booked: 20 Access to Sheraton : Bus #150 or #410 ****** Hotel La Tour Centre-Ville (close to Sheraton) ****** Address : 400, Rene-Levesque Blvd. West Phone : (514) 866 8861, 1-800-361-2790 Fax : (514) 866 7257 SPECIAL Rates: $60 (standard studio), $70 (standard suite) ****** McGill University Residences ****** 3935, University Street, metro McGill. Phone : (514) 398 6367 Fax : (514) 398 6770. Rates: $28/night or $150/week (student), $36.75 (non student). Rooms booked: 20. ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help ------------------------------------------------------------------------FOOTER- From raghu@cs.wisc.edu Wed May 29 13:05:16 1996 Received: from ricotta.cs.wisc.edu (ricotta.cs.wisc.edu [128.105.67.19]) by sea.cs.wisc.edu (8.6.12/8.6.12) with ESMTP id NAA22964 for ; Wed, 29 May 1996 13:05:07 -0500 Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.6.12/8.6.12) id NAA01489 for dbworld; Wed, 29 May 1996 13:05:06 -0500 Date: Wed, 29 May 1996 13:05:06 -0500 From: JICSLP96 Information Account Message-Id: <199605291805.NAA01489@ricotta.cs.wisc.edu> To: dbworld@ricotta.cs.wisc.edu ************************************************************************* * * * J I C S L P ' 9 6 * * * * * * JOINT INTERNATIONAL CONFERENCE AND SYMPOSIUM ON LOGIC PROGRAMMING * * * * * * * * September, 2 - 6, 1996 * * * * Bonn, Germany * * * ************************************************************************* CALL FOR PARTICIPATION and ADVANCE PROGRAM ========================================================================= More detailed information can be obtained via the WWW conference homepage http://www.informatik.uni-bonn.de/~jicslp96. ========================================================================= ========================================================================= INVITATION TO BONN (by the Conference Co-Chairmen Rainer Manthey and Lutz Pluemer) ========================================================================= Every four years, the two major scientific events of the Logic Programming community, the International Conference ICLP and the International Sympo- sium ILPS, are organized jointly in one place and during one week. Both conference series are managed by ALP, the Association of Logic Programming. JICSLP'88 took place in Seattle, JICSLP'92 in Washington, D.C. This year, the joint conference will be held in Europe for the first time. We would like to invite all researchers active in the area of Logic Programming as well as every scientist interested in the most recent results and trends in LP to come to Germany in September and to participate in JICSLP'96 - this year's only scientific conference on Logic Programming. As many of you will have noticed, Logic Programming is not among the most fashionable or trendy branches of computer science these days. Like other more traditional fields in computing, LP currently suffers from decreasing numbers of paper submissions and conference attendees. We believe that it is particularly important for researchers to actively demonstrate their interest and support for the area they are working in during such periods when ``their'' field seems to appear less exciting than other new and booming areas. Apart from that, we believe that quite independent of the overall situation in science this year's JICSLP offers quite an attractive program which we try to enrich by a pleasant and stimulating athmosphere. The Scientific Program ====================== First and foremost, a competitive scientific program has been selected by an international program committee - chaired by Michael Maher of Brisbane. The number of accepted papers (35) is a bit lower than in previous years, reflecting the PC's intention not to allow standards to decline in times of lower submission rates (121 this year). The twelve regular paper sessions will be complemented by four invited talks to be presented by prominent researchers in the field: Wolfgang Bibel, Michael Genesereth, Jean-Francois Puget, and Ehud Shapiro. Two tutorials of two hours each - placed as plenary sessions in the confe- rence program - will be devoted to new logic languages turned into efficient systems: The Mercury language developed in Melbourne will be presented, and the LP group of D.S. Warren from Stony Brook will summarize their work on combining LP with tabulation techniques. In a separate evaluation, a poster committee chaired by Norbert E. Fuchs of Zurich and Ulrich Geske of Berlin about 20 submissions have been accep- ted for short presentation in a special poster session. Like in previous years, a number of attractive and up-to-date topics will be covered by a series of post-conference workshops (organized in parallel during the last one and a half days of JICSLP): - Non-Monotonic Extensions of Logic Programming - Verification and Analysis of Logic Programs - What Can Logic Programmers Learn From Functional Programmers? - Parallelism and Implementation Technology for (Constraint) Logic Programming Languages - Logic Programming and Soft Computing - Deductive Databases and Logic Programming - Multi-Paradigm Logic Programming - Logic Programming Tools for INTERNET Applications - Metaprogramming and Metareasoning in Logic (META96) More detailed information on workshops, their topics and organizers can be found at the end of this announcement. Workshop proposals have been reviewed and selected by Michael Hanus of Aachen. Last not least, we hope to be able to equip the conference site with a sufficient number of machines in order to run a Prolog Programming Contest again this year. Bart Demoen of Leuven offered to organize this competition as he did before (see the most recent LP Newsletter for a report about the 1995 contest in Portland). The full schedule of the conference, titles and authors of papers to be presented and abstracts of the tutorials will follow after this invitation. The Social Events ================= Apart from the scientific program, we have been busy organizing attractive social events for conference participants from all over the world. The main such event will be the conference dinner at the ``Kunst- und Ausstellungs- halle der Bundesrepublik Deutschland'' (which means: Arts and Exhibition Center of the Federal Republic of Germany). This piece of modern architec- ture has been completed just five years ago and features varying major arts exhibitions. It is located within Bonn's ``museum mile'' at a few minutes walking distance from all major political places in Germany's (still) capi- tal: the parliament, the Chancellor's and the President's residence as well as the headquarters of all major German parties. The trip to the dinner site will be performed by boat on the Rhine river. The conference venue - Bad Honnef - is located some ten miles up the river, at the gate to the most scenic and romantic part of the Rhine valley. During two hours we will first cruise south towards this famous and beautiful area which has inspired many painters and poets since centuries. The boat will then head north again towards Bonn and land very close to the German ``Bun- destag'' (the federal parliament) from where participants can walk within a few minutes up to the dinner place. We hope that the boat tour will present ample opportunity for meeting each other, talking and drinking, or just quiet- ly enjoying the landscape. Our banquet speaker will be Alan Robinson, the ``father of resolution'', who is well-known as a brilliant speaker (not only on proofs and logic). There will be smaller, optional social events on each of the remaining con- ference days, such as a ``Weinprobe'' (which literally means: wine testing) in a local vineyard or a ``Rheinischer Abend'', an evening featuring typical food and drinks from the Rhine area in a historical restaurant from the 17th century. A highlight of the non-scientific program will be another performance of classical music by the famous ``Logic Programming Trio'' (Jacques Cohen/violin, Koichi Furukawa/cello and Alan Robinson/piano), who first performed at the previous JICSLP in Washington four years ago. Of course, the only appropriate composer for this occasion will be Ludwig van Beethoven, who was born in Bonn over two-hundred years ago. They promised to rehearse one of his piano trios which will be played during a small concert on the second evening of the conference. Unfortunately, our initial plan to organize this performance in Beethoven's birthplace in downtown Bonn failed due to a professional concert taking place in that place at the same day, but we are looking for an appropriate replacement. The Conference Venue ==================== Bonn is not one of the major places in Germany, but a medium-sized, rather traditional city of 300.000 inhabitants. Nevertheless, Bonn is well-known all over the world due to the fact that it has been the capital of the Fede- ral Republic of Germany since 1949. After the Reunification of Germany, the old capital, Berlin, has been reassigned this role. Parliament and govern- ment will move from Bonn to Berlin during the next decade, but Bonn will remain the seat of several ministeries and many international organizations. Besides its political role, Bonn has been a famous academic place for long time. The University of Bonn has been founded in 1808 and is one of the biggest in Germany by now (about 36.000 students). Many famous scientists have been teaching at the university since the early 19th century. Bonn's mathematicians are world-famous, not least because of the Max-Planck-Insti- tute of Mathematics situated in Bonn as well. The Institute of Computer Science has been founded more than 25 years ago and offers a good mix of strong theoretical and attractive applied and practical research areas. One of the biggest LP groups in Germany has been working in Bonn since many years. The site of the conference will be Bad Honnef, a small town situated at the Eastern shore of the Rhine opposite to Bonn, surrounded by the Siebengebirge mountains. The most famous of these seven mountains - the ``Drachenfels'' - overlooks Bad Honnef. It is closely linked to the ancient tale of Siegfried and the Dragon (as featured in Richard Wagner's operas). The Drachenfels is visited by millions of tourists every year and can be reached on foot or by train. Bad Honnef is situated within the most Northern wine growing area in Germany. In September, there will be plenty of ``Winzerfeste'' (wine growers feasts) going on in the area attracting ten thousands of people from all over the country. Of course, one of the social events will be devoted to studies of local wine both from a theoretical and practical perspective. Bad Honnef has been the residence of Germany's famous post-war Chancellor, Konrad Adenauer. His former home can still be visited today. The conference will be held at a specialized conference hotel, called Semina- ris, offering ideal facilities for every aspect of a conference like JICSLP: all sessions, workshops, meetings, poster presentations, breaks and meals will be available in this place. The hotel offers a sufficient number of modern, comfortable and fully equipped rooms at very reasonable rates. In addition, a wide range of recreational facilities is available at the Semina- ris including swimming pool, sauna, fitness room and so on. Seminaris will be reserved to JICSLP attendees during the conference week so that there will be no danger of ``getting lost''. The cosy downtown area of Bad Honnef offering shops, restaurants and leisure facilities (``Bad'' means ``spa'' in English) can be reached by just a few minutes walking. For the more energetic (and for those feeling like having to escape the one or the other session) there is a wide choice of activities such as walks along the river or through the mountains and vineyards, boat trips, excursions to downtown Bonn or to near-by Cologne (a one-million-inhabitants city with a rich cultural and historical heritage including the world-famous cathedral, the ``Koelner Dom''). Bonn and Bad Honnef can be reached easily by car (a motorway leads into Bad Honnef, free parking space is available in front of the hotel). By plane you may either go directly to the Cologne-Bonn airport, or - if you come from overseas - go to Frankfurt or Duesseldorf international airports and go to Bonn by train. The trip from Frankfurt airport (train station inside the air- port building) directly to Bonn takes less than two hours and offers a very scenic ride along the most beautiful part of the Rhine river - don't miss it if you have the choice! The conference organizers will be happy to assist you in planning your trip. Publicity and Registration ========================== Activities for announcing JICSLP and advertising the event have been compara- tively restricted till now. This is mainly due to the fact that a major funding initiative could still not be finalized to this date. A consequence of this pending decision is that conference fees haven't yet been fixed so that regi- stration is not yet possible. In case the funding will be granted we can offer considerably lower fees than usual, in the unlikely case of a negative decision fees will be comparable to those in previous years. A Call for Registration including registration forms and hotel reservation forms will be issued separately in June both electronically and physically. In order to make sure that you do get this information as soon as it is avai- lable, please reply to this announcement by e-mail to jicslp96@informatik.uni-bonn.de indicating your intention to attend and your postal coordinates. All members of ALP will receive a hardcopy call by mail automatically. The conference poster - featuring a romantic 19th century painting of the landscape around Bad Honnef - will be available very soon as well and is going to be distributed to ALP members too. If you are not (yet) a member and make sure you get your personal copy, please send mail as well. Just make use of the ``reply'' button of your mailtool (but, please, don't use the ``reply all'' option!). Since a couple of months we have been maintaining a WWW homepage for JICSLP'96 offering links to further pages containing all kind of information about the conference. These pages will be constantly upgraded during the forthcoming weeks and months. In particular information about the conference site (inclu- ding photographs), travel information and the like will be inserted soon. An electronic version of the poster will be available too. So, please check this WWW site regularly in order to be up-to-date. The http address is given at the top of this announcement. The remainder of the announcement contains more detailed information about the conference schedule and the presentations. If you have any further ques- tion or remark concerning the conference, don't hesitate to contact any of the organizers by mail whenever you like. We hope to see many of you in Bonn in September for a hopefully enjoyable and worthwhile conference! ========================================================================= ADVANCE PROGRAM ========================================================================= Sunday, September 1 19:00 Welcome reception in the conference hotel (incl. early registration) ------------------------------------------------------------------------- Monday, September 2 8:00 Registration 9:00 Opening session 9:30 Invited talk Ehud Shapiro: "Virtual Places: An Architecture for Live Interaction on the Internet" 10:30 Coffee break 11:00 Sessions 1 1A: Constraint Logic Programming 1B: Non-Classical Logic Programming 12:30 Lunch 14:00 Tutorial I. V. Ramakrishnan, K. Sagonas, T. Swift, D. S. Warren: "Principles, Practice and Applications of Tabled Logic Programming" 16:00 Coffee break 16:30 Sessions 2 2A: Implementation 2B: Deductive Database Updates evening: ``Weinprobe'' at a local vineyard (optional) and Prolog Programming Contest (to be decided) ------------------------------------------------------------------------- Tuesday, September 3 9:00 Invited talk Michael Genesereth: -title to be announced- 10:00 Coffee break 10:30 Sessions 3 3A: Modes and Types 3B: Higher-Order LP 12:00 Lunch 13:30 Tutorial Z. Somogyi: "The Design and Implementation of Mercury" 15:30 Coffee break 16:00 Sessions 4 4A: Computation of the Well-Founded Semantics 4B: Analysis and Optimization 17:30 Short break 17:45 ALP General Assembly evening: Concert of The Logic Programming Trio ------------------------------------------------------------------------- Wednesday, September 4 9:00 Invited talk Jean-Francois Puget: "Constraint Programming" 10:00 Coffee break 10:30 Sessions 5 5A: Constraint Solving 5B: Stable Model Semantics 12:00 Lunch 13:30 Poster session afternoon: Boat cruise to downtown Bonn evening: Conference dinner ------------------------------------------------------------------------- Thursday, September 5 9:00 Sessions 6 6A: Semantics of Negation 6B: Parallelism 10:30 Coffee break 11:00 Invited talk Wolfgang Bibel: -title to be announced- 12:00 Closing session 12:30 Lunch 14:00 Post-conference workshops evening: ``Rheinischer Abend'' at the ``Alte Kapelle'' in Bad Honnef (optional) ------------------------------------------------------------------------- Friday, September 6 Post-conference workshops (all day, details to be announced) ========================================================================= SESSIONS ========================================================================= +-----------------------------------------------------------------------+ | Monday, 2 September, 11:00 - 12:30 | | Session 1A - Constraint Logic Programming | +-----------------------------------------------------------------------+ * Inferring Left-terminating Classes of Queries for Constraint Logic Programs FRED MESNARD * CLP(Rlin) Revised PHILIPPE REFALO, PASCAL VAN HENTENRYCK * Effectiveness of Optimizing Compilation for CLP(R) ANDREW D. KELLY, ANDREW MACDONALD, KIM MARIOTT, PETER J. STUCKEY, ROLAND H. C. YAP +-----------------------------------------------------------------------+ | Monday, 2 September, 11:00 - 12:30 | | Session 1B - Non-Classical Logic Programming | +-----------------------------------------------------------------------+ * A Framework for a Modal Logic Programming MATTEO BALDONI, LAURA GIORDANO, ALBERTO MARTELLI * A Linear Logic Calculus Objects MICHELE BUGLIESI, GIORGIO DELZANNO, MAURIZIO MARTELLI, LUIGI LIQUORI * Representing Priorities in Logic Programs CHIAKI SAKAMA, KATSUMI INOUE +-----------------------------------------------------------------------+ | Monday, 2 September, 16:30 - 18:00 | | Session 2A - Implementation | +-----------------------------------------------------------------------+ * A Novel Implementation Method of Delay NENG-FA ZHOU * A Thread in Time Saves Tabling Time PRASAD RAO, C. R. RAMAKRISHNAN, I. V. RAMAKRISHNAN * Interprocedural Register Allocation for the WAM based on Source to Source Transformations ULRICH NEUMERKEL +-----------------------------------------------------------------------+ | Monday, 2 September, 16:30 - 18:00 | | Session 2B - Deductive Database Updates | +-----------------------------------------------------------------------+ * Concurrency and Communication in Transaction Logic ANTHONY J. BONNER, MICHAEL KIFER * An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases HENDRIK DECKER * A Realistic Experiment in Knowledge Representation in Open Event Calculus: Protocol Specification MARC DENECKER, KRISTOF VAN BELLEGHEM, GUY DUCHATELET, FRANK PIESSENS, DANNY DE SCHREYE +-----------------------------------------------------------------------+ | Tuesday, 3 September, 10:30 - 12:00 | | Session 3A - Types and Modes | +-----------------------------------------------------------------------+ * A Declarative View of Modes LEE NAISH * Type Synthesis for Logic Programs JICHANG TAN, I-PENG LIN * Diagnosing Non-Well-Moded Concurrent Logic Programs KENTA CHO, KAZUNORI UEDA +-----------------------------------------------------------------------+ | Tuesday, 3 September, 10:30 - 12:00 | | Session 3B - Higher-Order Logic Programming | +-----------------------------------------------------------------------+ * Declarative Logic Programming with Primitive Recursive Relations on Lists ANDREAS HAMFELT, JORGEN FISCHER NILSSON * Engineering Attributed Grammar Transformations in LambdaProlog OLIVIER RIDOUX * Unification via Explicit Substitutions: The Case of Higher-Order Patterns GILLES DOWEK, THERESE HARDIN, CLAUDE KIRCHNER, FRANK PFENNIG +-----------------------------------------------------------------------+ | Tuesday, 3 September, 16:00 - 17:30 | | Session 4A - Computation of Well-Founded Semantics | +-----------------------------------------------------------------------+ * An Abstract Machine for Computing the Well-Founded Semantics. KONSTANTINOS SAGONAS, TERRANCE SWIFT, DAVID S. WARREN * Efficient Implementation of the Well-founded and Stable Model Semantics ILKKA NIEMELA, PATRIK SIMONS * Adding Flexibility to Query Evaluation for Modularly Stratified Databases ULRICH ZUKOWSKI, BURKHARD FREITAG +-----------------------------------------------------------------------+ | Tuesday, 3 September, 16:00 - 17:30 | | Session 4B - Analysis and Optimization | +-----------------------------------------------------------------------+ * A Conceptual Embedding of Folding into Partial Deduction: Towards a Maximal Integration MICHAEL LEUSCHEL, DANNY DE SCHREYE, ANDRE DE WAAL * Demand Transformation Analysis for Concurrent Constraint Programs MORENO FALASCHI, PATRICK HICKS, WILLIAM WINSBOROUGH * Complementation of Abstract Domains made Easy GILBERTO FILE, FRANCESCO RANZATO +-----------------------------------------------------------------------+ | Wednesday, 4 September, 10:30 - 12:00 | | Session 5A - Constraint Solving | +-----------------------------------------------------------------------+ * Cumulative Scheduling with Task Intervals YVES CASEAU, FRANCOIS LABURTHE * Boosting the Interval Narrowing Algorithm OLIVIER LHOMME, ARNAUD GOTLIEB, MICHEL RUEHER, PATRICK TAILLIBERT * Completeness Results for Basic Narrowing in Non-Copying Implementations M. R. K. KRISHNA RAO +-----------------------------------------------------------------------+ | Wednesday, 4 September, 10:30 - 12:00 | | Session 5B - Stable Model Semantics | +-----------------------------------------------------------------------+ * Extremal Problems in Logic Programming and Stable Model Computation PAWEL CHOLEWINSKI, MIROSLAW TRUSZCZYNSKI * Logic Programs with Contested Information SHEKHAR PRADHAN * Asserting Lemmas in the Stable Model Semantics STEFANIA COSTANTINI, GAETANO AURELIO LANZARONE, GIUSEPPE MAGLIOCCO +-----------------------------------------------------------------------+ | Thursday, 5 September, 9:00 - 10:30 | | Session 6A - Semantics of Negation | +-----------------------------------------------------------------------+ * A Compositional Semantics for Logic Programs and Deductive Databases FRANCOIS BRY * A Compositional Semantics for Normal Open Programs SANDRO ETALLE, FRANK TEUSINK * A Nonmonotonic Disputation-Based Semantics and Proof Procedure for Logic Programs MICHAEL THIELSCHER +-----------------------------------------------------------------------+ | Thursday, 5 September, 9:00 - 10:30 | | Session 6B - Parallelism | +-----------------------------------------------------------------------+ * Visualizing Parallel Logic Program Execution for Performance Tuning ANTHONY J. KUSALIK, STEVEN D. PRESTWICH * Initial results of the parallel implementation of DASWAM KISH SHEN ========================================================================= TUTORIALS ========================================================================= +-----------------------------------------------------------------------+ | Monday, 2 September, 14:00 - 16:00 | | | | Tutorial I | +-----------------------------------------------------------------------+ "Principles, Practice and Applications of Tabled Logic Programming" I. V. RAMAKRISHNAN, K. SAGONAS, T. SWIFT, D. S. WARREN Department of Computer Science State University of New York at Stony Brook Abstract: --------- The last two decades have witnessed the development and application of numerous logic programming systems based on Prolog. While these systems demonstrate both the power and praticality of logic programming, deficiencies in Prolog's SLD evaluation mechanism have limited the full exploitation of the logic programming paradigm. For instance, SLD's susceptability to infinite looping and redundant subcomputations render Prolog unsuitable as a query language for deductive databases. Prolog's weak termination properties have rendered its negation as failure rule inadequate for non-monotonic reasoning. Tabulation methods in logic programming address these shortcomings. The past ten years of research in tabulation methods have produced major theoretical and practical advancements --- so much so that one can now claim that from a computational viewpoint tabled logic programming has tightly integrated logic programming, deductive databases and non-monotonic reasoning. Consequently, a number of applications that were beyond the reach of Prolog-based logic programming systems have now been made feasible. Examples include parsing of automatically generated grammars, dataflow and other types of program analyses, automated verification of correctness of program properties, and certain non-monotonic reasoning applications --- such as hierarchical reasoning and reasoning about actions --- which stem from the addition of explicit negation to the default negation of the well-founded semantics. This tutorial will present a three-part survey of the developments in tabled logic programming. The theoretical foundations of tabled logic programming will constitute the first part. Techniques for implementing high-performance tabulation methods will be covered in the second part. New applications will be surveyed in the last part. +-----------------------------------------------------------------------+ | Tuesday, 3 September, 13:30 - 15:30 | | | | Tutorial II | +-----------------------------------------------------------------------+ "The Design and Implementation of Mercury" Z. SOMOGYI Department of Computer Science University of Melbourne Abstract: --------- Mercury is a new logic programming language that breaks with the traditions of the field in two respects. First, the language has no no-logical constructs; even I/O is implemented in a declarative fashion. This gives the language a useful declarative semantics, which makes it much easier to apply existing theory (about program analysis, transformation, parallelization etc.) to Mercury programs. Second, the language has strong type, mode and determinism systems. These systems allow the Mercury compiler to detect a large fraction of program errors and to generate very fast yet compact code. We will discuss the reasons for our language design decisions, and show how these decisions affect the implementation. In the process, we will give an introduction to Mercury, including features such as higher-order predicates and functions. ========================================================================= POST-CONFERENCE WORKSHOPS ========================================================================= +-----------------------------------------------------------------------+ | Workshop 1 | | | | Non-Monotonic Extensions of Logic Programming: Theory, Applications | | and Implementations | +-----------------------------------------------------------------------+ During the last decade a significant body of knowledge has been accumu- lated providing us with a better understanding of semantic issues in logic programming and the theory of deductive databases. In particular, well-founded and stable models were introduced and extensively investi- gated. The problem of extending these approaches with a second kind of negation, of dealing with contradiction, of defining a suitable semantics (with computationally efficient implementation) for the class of dis- junctive logic programs has turned out to be a difficult one. Such extensions may also turn out to be inference engines for other non-monotonic formalisms. ORGANIZERS: ----------- Juergen Dix (dix@informatik.uni-koblenz.de) Luis M. Pereira (lmp@fct.unl.pt) Teodor Przymusinski (teodor@cs.ucr.edu) +-----------------------------------------------------------------------+ | Workshop 2 | | | | Verification and Analysis of Logic Programs | +-----------------------------------------------------------------------+ The workshop aims at discussing methods for the analysis and the verification of (constraint) logic programs and their concurrent extensions. In particular, it seeks to investigate, in the context of these languages, the relations existing among mode and type systems, proof-methods for verification (e.g. Hoare logics) and analysis techniques based on abstract intepretation. ORGANIZERS: ----------- Frank S. de Boer Maurizio Gabbrielli (gabbri@di.unipi.it) +-----------------------------------------------------------------------+ | Workshop 3 | | | | What Can Logic Programmers Learn From Functional Programmers? | +-----------------------------------------------------------------------+ Functional programming and logic programming share a declarative style of programming, yet the two communities remain largely separate. This workshop wants to stimulate the discussion between both communities. In particular, it adresses the following question: Which concepts and techniques from functional programming can be benefically integrated into logic programming and how can this be accomplished? Topics of interest are among others: types, higher order functions, monads, list comprehensions, lazy evaluation, program analysis and transformation techniques. ORGANIZERS: ----------- Herbert Kuchen (herbert@informatik.rwth-aachen.de) Juan Jose Moreno-Navarro (jjmoreno@fi.upm.es) Philip Wadler (wadler@dcs.glasgow.ac.uk) For latest information see: http://www-i2.informatik.rwth-aachen.de/~herbert/JICSLP96WS.html +-----------------------------------------------------------------------+ | Workshop 4 | | | | Parallelism and Implementation Technology for (Constraint) Logic | | Programming Languages | +-----------------------------------------------------------------------+ This workshop will focus on both design and implementation of logic and parallel logic programming systems, including sequential implementation schemes, balance between run-time and compile-time machinery, parallel implementation techniques, and implementation of extensions of logic programming. Papers describing problems found in real implementations, and solutions adopted, are welcome, as well as system demonstrations. This workshop will also be the 1996 Compulog Net Area Meeting on Implementation and Parallelism. ORGANIZERS: ----------- Manuel Carro (http://www.clip.dia.fi.upm.es/~boris) Enrico Pontelli (http://www.cs.nmsu.edu/~epontell) Manuel Hermenegildo (http://www.clip.dia.fi.upm.es/~herme) For latest information see http://www.clip.dia.fi.upm.es:80/Projects/COMPULOG/meeting96/ or http://www.cs.nmsu.edu/lldap/jicslp96.html +-----------------------------------------------------------------------+ | Workshop 5 | | | | Logic Programming and Soft Computing: Theory and Applications | +-----------------------------------------------------------------------+ The workshop is aimed at presenting recent works and discussing new ideas and trends related to the advancements in the research joining the two fields of soft computing and logic programming. Soft computing is the natural evolution of fuzzyness in a computational context. Many concepts of computer science have been tackled within the framework of a fuzzy interpretation of classic computational models. In particular logic programming has a computational model and a theoretical background that are well suited for a fruitful investigation in the area of soft computing. ORGANIZERS: ----------- Francesca Arcelli (arcelli@ponza.dia.unisa.it) Ferrante Formato (formato@ponza.dia.unisa.it) Trevor Martin (Trevor.Martin@bristol.ac.uk) For latest information see http://www.diima.unisa.it/~formato/lpsc.html +-----------------------------------------------------------------------+ | Workshop 6 | | | | Deductive Databases and Logic Programming | +-----------------------------------------------------------------------+ The workshop deals with techniques for extending the expressive power and the computational efficiency of deductive database systems. Topics are: disjunctive databases, incomplete information, data mining, program transformations, execution and debugging models, query languages and optimization, constraint reasoning, object-orientation, active databases, updates, temporal databases, non-monotonic semantics. ORGANIZERS: ----------- Fosca Giannotti Dmitri Boulanger Ulrich Geske (geske@first.gmd.de) Dietmar Seipel (seipel@informatik.uni-wuerzburg.de) For latest information see http://www.first.gmd.de/~geske/dd_lp_96.html or http://www-info1.informatik.uni-wuerzburg.de/staff/seipel/dd_lp_96.html +-----------------------------------------------------------------------+ | Workshop 7 | | | | Multi-Paradigm Logic Programming | +-----------------------------------------------------------------------+ This workshop is designated to multi-paradigm logic programming (LP) languages combining different declarative programming paradigms by means of integration of their logical foundations (e.g., integrating functional and Horn clause LP, combining LP languages with constraints and computer algebra systems, integrating LP with process calculi as well as unifying various LP models by exploiting new logical foundations such as linear logic and rewriting logic). ORGANIZERS: ----------- Yike Guo (http://www-ala.doc.ic.ac.uk/~yg/) Tetsuo Ida (http://www.is.tsukuba.ac.jp/~ida/) For latest information see http://www.cs.tu-berlin.de/~chak/mplp/ +-----------------------------------------------------------------------+ | Workshop 8 | | | | Logic Programming Tools for INTERNET Applications | +-----------------------------------------------------------------------+ The workshop explores the use of logic programming tools for developing practical INTERNET applications as well as theoretical work giving new insights on emerging net technologies. Agents, net search, hyper-text tools, HTML/VRML generators and parsers, CGI and Java interfaces, collaborative work technologies, distributed and coordination logic programming systems are among the topics of interest. ORGANIZERS: ----------- Paul Tarau (tarau@info.umoncton.ca) Andrew Davison (ad@cs.mu.oz.au) Koen De Bosschere (kdb@elis.rug.ac.be) Manuel Hermenegildo (herme@fi.upm.es) For latest information see http://clement.info.umoncton.ca/~lpnet +-----------------------------------------------------------------------+ | Workshop 9 | | | | Metaprogramming and Metareasoning in Logic (META96) | +-----------------------------------------------------------------------+ The workshop is intended as a forum for recent and ongoing work on metaprogramming in logic. This includes systems and techniques for program manipulation (e.g., synthesis and transformation), interpreters, partial evaluation, etc. as well as formalisms and techniques for metareasoning, e.g., in multiagent systems. New methodologies and applications for metaprogramming and metareasoning are welcome. ORGANIZERS: ----------- Jonas Barklund (http://www.csd.uu.se/~jonas/) Stefania Costantini (costanti@dsi.unimi.it) Frank van Harmelen (http://www.cs.vu.nl/~frankh/) For latest information see http://www.csd.uu.se/~jonas/META96/ ========================================================================= CONFERENCE CHAIRPERSONS & ORGANIZERS ========================================================================= GENERAL CHAIRS: --------------- Rainer Manthey (University of Bonn, Germany) Lutz Pluemer (University of Bonn, Germany) PROGRAM CHAIR: -------------- Michael Maher (Griffith University, Australia) WORKSHOP CHAIR: --------------- Michael Hanus (RWTH Aachen, Germany) POSTER CHAIRS: -------------- Norbert E. Fuchs (University of Zurich, Switzerland) Ulrich Geske (GMD-FIRST Berlin, Germany) PUBLICITY CHAIR: ---------------- Thomas H. Kolbe (University of Bonn, Germany) LOCAL ORGANIZATION: ------------------- Christine Harms (GMD, Germany) ========================================================================= PROGRAM COMMITTEE ========================================================================= Annalisa Bossi (Universita di Venezia, Italy) Philippe Codognet (INRIA, France) Saumya Debray (University of Arizona, USA) Bart Demoen (Katholieke Universiteit Leuven, Belgium) Juergen Dix (University of Koblenz, Germany) Mireille Ducasse (IRISA, France) Steve Gregory (University of Bristol, UK) Gopal Gupta (New Mexico State University, USA) Sverker Janson (SICS, Sweden) Paris Kanellakis (Brown University, USA) Helene Kirchner (INRIA, France) Jean-Louis Lassez (New Mexico Inst. of Mining & Techn., USA) Giorgio Levi (Universita di Pisa, Italy) Rainer Manthey (University of Bonn, Germany) Wiktor Marek (University of Kentucky, USA) Kim Marriott (Monash University, Australia) Dale Miller (University of Pennsylvania, USA) Lutz Pluemer (University of Bonn, Germany) Peter Reintjes (Netspeak Corp., USA) Mario Rodriguez-Artalejo (Universidad Complutense de Madrid, Spain) Taisuke Sato (Totyo Institute of Technology, Japan) Divesh Srivastava (AT&T Research, USA) Peter Stuckey (University of Melbourne, Australia) Paul Tarau (Universite de Moncton, Canada) Kazunori Ueda (Waseda University, Japan) Mark Wallace (IC-Parc, UK) ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help ------------------------------------------------------------------------FOOTER- From raghu@cs.wisc.edu Wed May 29 22:36:02 1996 Received: from ricotta.cs.wisc.edu (ricotta.cs.wisc.edu [128.105.67.19]) by sea.cs.wisc.edu (8.6.12/8.6.12) with ESMTP id WAA01371 for ; Wed, 29 May 1996 22:35:57 -0500 Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.6.12/8.6.12) id WAA01927 for dbworld; Wed, 29 May 1996 22:35:56 -0500 Date: Wed, 29 May 1996 22:35:56 -0500 From: mike@illustra.com (Mike Stonebraker) Message-Id: <199605300335.WAA01927@ricotta.cs.wisc.edu> To: dbworld@ricotta.cs.wisc.edu Informix Corporation has appointed me the Chief Technology Officer for the company and charged me with creating advanced technology prototypes and products that will ensure the competitiveness of the company through the next decade. To achieve this goal, I have between 10 and 20 open positions for computer scientists who want a low-to-moderate research, moderate-to-big development position investigating leading edge ideas and their application to the commercial DBMS marketplace. I am looking for professionals with interests in many areas of data base systems including data mining, visualization, advanced 4GLs, data base design, storage management, rules systems, distributed data bases, high transaction rate systems, and novel application areas. If you are highly motivated, very bright and interested in turning ideas into real code, then send me your resume, either electronically to mike@informix.com or via paper to Michael Stonebraker Chief Technology Officer Informix Corporation 4100 Bohannon Dr. Menlo Park, Ca. 94025 Positions can be in Oakland, Ca., Menlo Park, Ca. or Portland, Or. ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help ------------------------------------------------------------------------FOOTER- From raghu@cs.wisc.edu Thu May 30 10:45:03 1996 Received: from ricotta.cs.wisc.edu (ricotta.cs.wisc.edu [128.105.67.19]) by sea.cs.wisc.edu (8.6.12/8.6.12) with ESMTP id KAA12104 for ; Thu, 30 May 1996 10:44:31 -0500 Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.6.12/8.6.12) id KAA02577 for dbworld; Thu, 30 May 1996 10:44:28 -0500 Date: Thu, 30 May 1996 10:44:28 -0500 From: "Dr. R. Sadananda" Message-Id: <199605301544.KAA02577@ricotta.cs.wisc.edu> To: dbworld@ricotta.cs.wisc.edu Call for Papers An International Journal on Failures and Lessons Learned in Information Technology Management has been founded. The journal will be published four times a year, starting from January 1997. The publisher is Cognizant Communication Corp., New York. One of the special issues to which I will be acting as a guest editor is one on the "Information Systems for Sustainable Development". Sustainable Development as a concept is under intense research and variety of definitions are offered. However, what is relevant here is the importance of Information Technology as emphasized in chapter 40 of Agenda 21 of the United Nations Conference on Environment and Development held on June 14, 1992 in the context of Environment. A number of agencies have followed the broad directive therein and are drawing up research agenda. Research on Sustainable Development demands a great deal of acquiring, archiving, and retrieving enormous amount of data including sensed data. The emerging information systems have to handle ever changing government regulations, environmental constraints and dynamic market demands for product and services. Here are thus specific challenges for researchers in Computing, Communications and Information Technology. Some of them are; * Representation of vast data depositories that enable reasoning, information extraction and dissemination * Simulation and Modeling of complex inter-related phenomena * Reasoning under uncertainty, incomplete information, under time and space constraints * Multi-media tools together with Computer Communications Systems * User Interface. * Image compression and techniques of managing on low bandwidth communication. * Cooperative and distributive problem solving methods. * Problems of cooperation between information system. * Paradigms for training and retraining of Information Technology Tools. * Managing Information Resources on the internet These are representative issues and have a great deal of technical content with implications spanning across disciplines. The papers have to face the usual peer review and selection process. Our decisions on this matter will be final. Please let me know if you are interested. sada ******************************************************************* * Dr R. Sadananda Email :sada@cs.ait.ac.th * * Co-ordinator, * * Computer Science and Information * * Management Programs * * School of Advanced Technology :r.sadananda@ieee.org * * Asian Institute of Technology Tel :(66-2) 524-5702 * * G.P.O Box 2754 (66-2) 524-5906(H) * * Bangkok 10501,Thailand Fax (66-2) 524-5721 * * * * * ******************************************************************* * * * P.s:i use email infomally. so please overlook spellling and * * gramatical errrors if any. * * * ******************************************************************* ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help ------------------------------------------------------------------------FOOTER- From raghu@cs.wisc.edu Thu May 30 10:48:58 1996 Received: from ricotta.cs.wisc.edu (ricotta.cs.wisc.edu [128.105.67.19]) by sea.cs.wisc.edu (8.6.12/8.6.12) with ESMTP id KAA12207 for ; Thu, 30 May 1996 10:48:48 -0500 Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.6.12/8.6.12) id KAA02592 for dbworld; Thu, 30 May 1996 10:48:48 -0500 Date: Thu, 30 May 1996 10:48:48 -0500 From: vldb96@kailash.cse.iitb.ernet.in Message-Id: <199605301548.KAA02592@ricotta.cs.wisc.edu> To: dbworld@ricotta.cs.wisc.edu 22nd INTERNATIONAL CONFERENCE ON VERY LARGE DATA BASES September 3-6, 1996, Taj Mahal Hotel, Mumbai (Bombay), India Registration Form Please type or print clearly in large letters. Last Name:......................... First Name:......................... Affiliation:............................................................. Mailing Address: ......................................................... ......................................................... ......................................................... Tel:............................... Fax:................................. E-mail:................................................................... Registration Fees: On or before August 1st After August 1st Regular registration fee US$ 350 Rs. 9500 US$ 390 Rs. 12000 Student registration fee US$ 175 Rs. 4750 US$ 175 Rs. 4750 Note: Only participants from India are permitted to make payment in rupees. Others have to pay in US dollars. Amount enclosed: US$................. or Rs. ........................... To be allowed to pay the student registration fee, this form must be signed by the student's advisor: Advisor's name:...................... Advisor's signature: ............... Advisor's affiliation:..................................................... Payment will be accepted by credit cards or by draft/banker checks payable to "Hongkong Bank A/C VLDB'96". If paying by credit cards: (1) Please add an additional 2 processing fee. (2) Please enclose a photocopy of both sides of your credit cards. (3) Please sign the following authorisation: I authorise VLDB'96 to charge the registration fees of ...................... to my Credit Card number:..................... Visa(yes/no):........ Mastercard(yes/no):......... Exp. Date: (MM/YY):............................... issued by:................................................ (Name of the Bank) Cardholder's name:......................................... Signature:.................................................. Do you need a personalized invitation to help your visa application: (Yes/No)................................... Please indicate which tutorials you plan to attend: Tutorial 1 (Yes/No) ............. Tutorial 2 (Yes/No) ............. Tutorial 3 (Yes/No) ............. Tutorial 4 (Yes/No) ............. Tutorial 5 (Yes/No) ............. Tutorial 6 (Yes/No) ............. Tutorial 7 (Yes/No) ............. Special offer :(Yes/No)............ Check here if you want to subscribe to the VLDB journal (starting 1997) and get the last issue of 1996 (Vol. 5, No. 4) for FREE. Yearly cost:US$ 48 for individuals, US$ 192 for institutions. (Issue 5(4) will be sent to you along with a bill later.) Please mail this registration form (with payment enclosed) to: VLDB Secretariat, Attn: Prof. D.B. Phatak, Dept. of Computer Science and Engineering, I.I.T. Powai, Mumbai 400 076. INDIA Fax: +91.22 578 3480 .5cm email: vldb96@cse.iitb.ernet.in Web : http://www.cse.iitb.ernet.in/ ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help ------------------------------------------------------------------------FOOTER- From raghu@cs.wisc.edu Fri May 31 09:33:07 1996 Received: from ricotta.cs.wisc.edu (ricotta.cs.wisc.edu [128.105.67.19]) by sea.cs.wisc.edu (8.6.12/8.6.12) with ESMTP id JAA10640 for ; Fri, 31 May 1996 09:32:32 -0500 Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.6.12/8.6.12) id JAA03482 for dbworld; Fri, 31 May 1996 09:32:31 -0500 Date: Fri, 31 May 1996 09:32:31 -0500 From: rahm@informatik.uni-leipzig.de (Prof. Rahm) Message-Id: <199605311432.JAA03482@ricotta.cs.wisc.edu> To: dbworld@ricotta.cs.wisc.edu ___ ___ _ ___ __ | __| _ _ _ ___ ___| _ \__ _ _ _( ) _ \/ / | _| || | '_/ _ \___| _/ _` | '_|/\_, / _ \ |___\_,_|_| \___/ |_| \__,_|_| /_/\___/ >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>><<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<< >>>>>>>>>>>>>>>> PRELIMINARY PROGRAM <<<<<<<<<<<<<<<<<<<<< >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>><<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<< Lyon, France August 26-29, 1996 >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>><<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<< >>>>>>>>><<<<<<<< Executive Summary >>>>>>>>><<<<<<<< Invited Talks: = Robert CYPHER Iain DUFF Ian FOSTER Bill McCOLL Patrice QUINTON Erhard RAHM Tutorials: Fran=E7ois BACCELLI Francky CATTHOOR Jack DONGARRA Apostolos GERASOULIS Chris JESSHOPE Burkhard MONIEN = Vendors Exhibition Proceedings are published by Springer Verlag Bids to host Euro-Par'98 (see our Web site) 15 Parallel Workshops: >>>>>>>>>><<<<<<<<<<<< Workshop 01: Programming environment and tools Chair: Jack Dongarra Workshop 02: Routing and communication in interconnection networks Chair: Robert Cypher Workshop 03: Automatic parallelization and high performance compilers Chair: Chris Lengauer Workshop 04: Distributed systems and algorithms Chair: Friedemann Mattern Workshop 05+21: Parallel languages, programming, and high-level control Chair: Ian Foster Co-chair: Jean-Pierre Briot Workshop 06: Parallel discrete algorithms Chair: Burkhard Monien Workshop 07: Parallel numerical algorithms Chair: Iain Duff Workshop 08+09+10: Parallel image/video processing and computer arithmet= ic Chairs: Larry Davis and Jean-Marc Delosme Co-chairs: Francky Catthoor and Joseph Jaja = Workshop 11: High performance computing and application Chair: Wolfgang Gentzsch Workshop 12 (16): Theory and models for parallel computing Chair: Bill McColl Workshop 13 (15): Parallel computer architecture Chair: Chris Jesshope Workshop 17: Scheduling and load balancing Chair: Apostolos Gerasoulis Workshop 19: Performance evaluation Chair: Francois Baccelli Workshop 20: Instruction level parallelism Chair: Guang Gao Workshop 22: Parallel and distributed databases Chair: Erhard Rahm Early registration deadline: June 30, 1996 Conference fee: Full 3000 Frs Student: 1500 Frs = Conference Web site: http://www.ens-lyon.fr/LIP/europar96 E-mail: europar96@ens-lyon.fr >>>>>>>>>>><<<<<<<<<<< Welcome to Euro-Par'96 >>>>>>>>>>><<<<<<<<<<< Euro-Par is the annual European Conference on Parallel Processing. It merges the former CONPAR-VAPP and PARLE conferences, already two major events in the field. The goal of Euro-Par'96 is to gather people interested in any aspects of parallel computing and architectures. Euro-Par'96 consists of a large panel of highly focused workshops on all aspects of parallel processing, from theory to practice, from academy to industry. These workshops are expected to present the latest advances in their respective domains and are chaired by major leading researchers in the field. They are introduced by several high level invited talks and tutorials of general interest. 15 workshops take place in parallel, ranging from 1/2 to 2 days. All presented papers appear in the proceedings published by Springer-Verlag in the LNCS Series. There are distinguished papers (12 pages), regular papers (8 pages), and short papers (4 pages). We are looking forward to meeting you in Lyon, The Organizing Committee Euro-Par'96 takes place at ENS Lyon (Ecole Normale Sup=E9rieure de Lyon). It is organized by LIP (Laboratoire de l'Informatique du Parall=E9lisme). General Chair: Pierre FRAIGNIAUD Program co-Chairs: Luc BOUGE and Yves ROBERT Organization Chair: Anne MIGNOTTE Secretary: Val=E9rie ROGER For any question related to Euro-Par'96 please e-mail to: europar96@ens-lyon.fr Additional information is available on W3 at URL http://www.ens-lyon.fr/LIP/europar96 >>>>>>>>>>>>>>><<<<<<<<<<<<<<<< Euro-Par'96 Preliminary Program >>>>>>>>>>>>>>><<<<<<<<<<<<<<<< Monday, August 26, 1996 - Morning: Tutorials >>>>>>>>>>>>>>>>>>>>>>><<<<<<<<<<<<<<<<<<<<<<<<<< 9 h 00 -> 12 h 00 Algebraic Methods for Performance Evaluation of Parallel Systems Francois Baccelli, INRIA, Nice, F System Memory Architecture Exploration for Data-Intensive Applications Francky Catthoor, IMEC, Leuven, B Scheduling and Run-Time Systems = Apostolos Gerasoulis, Rutgers University, USA & Tao Yang, University of California at Santa Barbara, USA Monday, August 26, 1996 - Afternoon: Tutorials >>>>>>>>>>>>>>>>>>>>>>><<<<<<<<<<<<<<<<<<<<<<<<<< 14 h 00 -> 17 h 00 Mapping and Load Balancing Burkhard Monien, University of Paderborn, D Some Architectural Issues for the Next Century Chris Jesshope, University of Surrey, UK Software Standards and Tools for Concurrent Computing Jack Dongarra, University of Tennessee, Knoxville, USA Tuesday, August 27, 1996 - Morning: Invited talks >>>>>>>>>>>>>>>>>>>>>>><<<<<<<<<<<<<<<<<<<<<<<<<<<<<< 09 h 00 -> 10 h 00 High-Performance Distributed Computing: = The I-WAY Experiment and Beyond = Ian Foster, Argonne National Laboratory (Grand Amphi) 10 h 00 -> 10 h 30 Coffee Break 10 h 30 -> 11 h 30 Issues in the Solution of Large Sparse Systems = Iain Duff, Didcot, UK (Grand Amphi) 11 h 30 -> 12 h 30 Design and Implementation of a Parallel Architecture = for Biological Sequence Comparison = Patrice Quinton, IRISA Rennes, France (Grand Amphi) Tuesday, August 27, Afternoon: Workshops >>>>>>>>>>>>>>>>>>>>>>><<<<<<<<<<<<<<<<<<<<<<<<<< _____________________________________________________________ Workshop 01: "Programming environment and tools" _____________________________________________________________ 14h15 -> 16h00 Session "Debugging and monitoring" 14h15 -> 14h45 Distributed Array Query and Visualization for High Performance Fortran Steven T. Hackstadt, Allen D. Malony 14h45 -> 15h00 Annai Scalable Run-time Support for Interactive Debugging and Performance Analysis of Large-scale Parallel Programs Christian Cl=E9men=E7on, Akiyoshi Endo, Josef Fritscher, Andreas M=FCller, Brian J. N. Wylie 15h00 -> 15h15 On the implementation of a replay mechanism M. A. Ronsse, L. J. Levrouw 15h15 -> 15h30 Monitoring Distributed Shared Memory Applications: concepts, protocols and experiments Lionel Brunie, Olivier Reymann 15h30 -> 15h45 An Open Monitoring System for Parallel and Distributed Programs Thomas Ludwig, Michael Oberhuber, Roland Wismueller 15h45 -> 16h00 Millipede: Easy Parallel Programming in Available Distributed Environments Roy Friedman, Maxim Goldin, Ayal Itzkovitz, Assaf Schuster =3D=3D=3D 16h00 -> 16h30 Coffee Break! _____________________________________________________________ 16h30 -> 18h15 Session "Tools" 16h30 -> 17h00 An Adaptive Cost System for Parallel Program Instrumentation Jeffrey K. Hollingsworth, Barton P. Miller 17h00 -> 17h30 SVMview: a Performance Tuning Tool for DSM-based Parallel Computers Didier Badouel, Thierry Priol, Luc Renambot 17h30 -> 18h00 Cautious, machine-independent performance tuning for shared-memory multiprocessors Andrew J. Bennett, Paul H. J. Kelly, Sarah A. M. Talbot 18h00 -> 18h15 Dealing with Heterogeneity in Stardust: an Environment for Parallel Programming on Networks of Heterogeneous Workstations. Isabelle Puaut, Gilbert Cabillic _____________________________________________________________ Workshop 02: "Routing and communication in interconnection networks" _____________________________________________________________ 14h00 -> 18h15 Session "Interconnection networks" 14h00 -> 14h30 Low-Latency Communication over Fast Ethernet Matt Welsh, Anindya Basu, Chi-Chao Chang, Grzegorz Czajkowski, Thorsten von Eicken 14h30 -> 15h00 A Comparison of Input and Output Driven Routers Melanie L. Fulgham, Lawrence Snyder 15h00 -> 15h30 Optimal Topology for Distributed Shared Memory Multiprocessors: Hypercubes Again? Jos=E9 Duato, M. P. Malumbres 15h30 -> 15h45 A Pattern-Associative Router for Interconnection Network Adaptive Algorithms Daniel G. Rice, Jos=E9 G. Delgado-Frias, and Douglas H. Summerville 15h45 -> 16h00 A performance comparison between Hypergraph-based and Graph-based WDM lightwave networks H. Bourdin, A. Ferreira, K. Marcus =3D=3D=3D 16h00 -> 16h30 Coffee Break! 16h30 -> 17h00 A General Method for Efficient Embeddings of Graphs into Optimal Hypercubes Volker Heun, Ernst W. Mayr 17h00 -> 17h30 The Size Complexity of Strictly Non- blocking Fixed Ratio Concentrators with Constant Depth H. K. Dai 17h30 -> 17h45 Bandwidth and cutwidth of the mesh of d- ary trees Dominique Barth 17h45 -> 18h00 Variable-Dilation Embeddings of Hypercubes into Star Graphs: Performance Metrics, Mapping Functions, and Routing Marcelo Moraes de Azevedo, Nader Bagherzadeh, Shahram Latifi 18h00 -> 18h15 Overlapping Communication and Computation in Hypercubes Luis Diaz de Cerio, Miguel Valero, Antonio Gonzalez _____________________________________________________________ Workshop 05+21: "Parallel languages, programming, and high- level control" _____________________________________________________________ 14h00 -> 17h45 Session "Parallel programming languages" 14h00 -> 14h30 A Framework for Integrated Communication and I/O Placement Rajesh Bordawekar, Alok Choudhary, J. Ramanujam 14h30 -> 15h00 Formal Derivation of Parallel Program for 2-Dimensional Maximum Segment Sum Problem Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi 15h00 -> 15h30 The Migrating Tasks: an Execution Model for Irregular Codes Yvon Jegou 15h30 -> 16h00 HPF Design Issues Fabien Coelho =3D=3D=3D 16h00 -> 16h30 Coffee Break! 16h30 -> 17h00 Parallelizing Conditional Recurrences Wei-Ngan Chin, John Darlington, Yike Guo 17h00 -> 17h30 Adaptive Data Parallel Computation in the Parallel Object-Oriented Language OCore Hiroki Konaka, Yoshiaki Itoh, Takashi Tomokiyo, Munenori Maeda, Yutaka Ishikawa, Atsushi Hori 17h30 -> 17h45 The use of interpreted languages for implementing parallel algorithms on distributed systems Noemi Rodriguez, Cristina Ururahy, Roberto Ierusalimschy, Renato Cerqueira _____________________________________________________________ 17h45 -> 18h30 Session "Discussion" _____________________________________________________________ Workshop 08+09+10: "Parallel image/video processing and computer arithmetic" _____________________________________________________________ 13h30 -> 16h00 Session "Parallel imaging algorithms" 13h30 -> 14h00 A High Performance Image Database System for Remotely Sensed Imagery Carter T. Shock, Chialin Chang, Lary Davis, Samuel Goward, Joel Saltz, Alan Sussman 14h00 -> 14h30 Parallel Algorithms for Intermediate- Level Vision on Distributed Memory Machines Yongwha Chung, Viktor K. Prasanna, Jongwook Woo 14h30 -> 15h00 A parallel pipelined Hough Transform Nicolas Guil, Emilio L. Zapata 15h00 -> 15h30 High-Performance SAR-Image Formation and Post-Processing Enrico Appiani, Marco Corvi, Giovanni Garibotto 15h30 -> 15h45 A Parallel Implementation of Image Coding Using Linear Prediction and Iterated Functions Systems Riccardo Distasi, Michele Nappi, Domenico Vitulano 15h45 -> 16h00 Parallel Algorithms for using Non- stationary MRA in Image compression A. Uhl =3D=3D=3D 16h00 -> 16h30 Coffee Break! _____________________________________________________________ 16h30 -> 18h00 Session "Computer arithmetic 1" 16h30 -> 17h00 High radix Cordic rotation based on selection by rounding Elisardo Antelo, Javier D. Bruguera, Tomas Lang, Julio Villalba, Emilio L. Zapata 17h00 -> 17h30 On-line Algorithms for Computing Exponentials and Logarithms Asger Munk Nielsen, Jean-Michel Muller 17h30 -> 18h00 Parallel and on-line addition in negative base and some complex number systems Christiane Frougny _____________________________________________________________ Workshop 17: "Scheduling and load balancing" _____________________________________________________________ 14h00 -> 18h45 Session "Scheduling" 14h00 -> 14h30 An asymptotically optimal affine schedule on bounded convex polyhedric domains Patrick Le Goueslier d'Argence 14h30 -> 15h00 List Scheduling in the Presence of Branches - A Theoretical Evaluation Franco Gasperoni, Uwe Schwiegelshohn 15h00 -> 15h30 Iterative approach for the clustering problem Christophe Rapine, Denis Trystram 15h30 -> 15h45 Compile-time Task Scheduling for Multi- phase Programming Abdelhamid Benaini, David Laiymani 15h45 -> 16h00 Scheduling with unit processing and communication times on a ring network: Approximation results Chams Lahlou =3D=3D=3D 16h00 -> 16h30 Coffee Break! 16h30 -> 17h00 Efficient Parallel Algorithms for Scheduling with Tree Precedence Constraints Ernst W. Mayr, Hans Stadtherr 17h00 -> 17h30 Bulk synchronous parallel scheduling of uniform dags Radu Calinescu 17h30 -> 18h00 Generalized Multiprocessor Scheduling Zhonghua Li, Chris Kirkham 18h00 -> 18h15 A Static Scheduling Heuristic for Heterogeneous Processors Hyunok Oh, Soonhoi Ha 18h15 -> 18h30 On the cyclic scheduling problem with small communication delays A. Giannakos, J.-C. Konig, A. Munier 18h30 -> 18h45 On the algorithm LPT upper bounds for two-level multiprocessor systems L. K. Babenko, O. B. Makarevich, A. G. Chefranov _____________________________________________________________ Workshop 20: "Instruction level parallelism" _____________________________________________________________ 14h15 -> 17h45 Session "ILP Architectures" 14h15 -> 14h45 Instruction Fetching Mechanisms for Superscalar Microprocessors Steven Wallace, Nader Bagherzadeh 14h45 -> 15h15 Designing dynamic two-level branch predictors based on pattern locality Chien-Ming Chen, Chung-Ta King 15h15 -> 15h45 Streaming Prefetch Olivier Temam 15h45 -> 16h00 Functionality Distribution on a Superscalar Architecture Eliseu M. C. Filho, Edil S. T. Fernandes, Andrew Wolfe =3D=3D=3D 16h00 -> 16h30 Coffee Break! 16h30 -> 17h00 Investigating the Limits of Fine Grained Parallelim in a Statically Scheduled Superscalar Architecture Richard Potter, Gordon Steven 17h00 -> 17h30 On-Chip Multiprocessing Bernard Goossens, Duc Thang Vu 17h30 -> 17h45 Identifying Bottlenecks in a Multithreaded Superscalar Microprocessor Ulrich Sigmund, Theo Ungerer _____________________________________________________________ Workshop 22: "Parallel and distributed databases" _____________________________________________________________ 14h30 -> 17h45 Session "Parallel and distributed databases" 14h30 -> 15h00 Triangular Grid Protocol: An Efficient Scheme for Replica Control with Uniform Access Quorums Cheng-Hong Cho, Jer-Tsang Wang 15h00 -> 15h30 Mapping a Parallel Complex-Object DBMS to Operating System Processes Michael Gesmann 15h30 -> 15h45 A Transaction Model for Multidatabase Systems Timucin Devirmis, Ozgur Ulusoy 15h45 -> 16h00 Multidimensional Declustering Methods for Parallel Database Systems Pedro de Miguel, Juan Hernandez, Jos=E9 M. Martinez, Antonio Polo, Manuel Barrena =3D=3D=3D 16h00 -> 16h30 Coffee Break! 16h30 -> 17h00 Modelling Resource Utilization in Pipelined Query Execution M. Spiliopoulou, J. C. Freytag 17h00 -> 17h15 On Transforming a Sequential SQL-DBMS into a Parallel One: First Results and Experiences of the MIDAS Project Giannis Bozas, Michael Jaedicke, Andreas Listl, Bernhard Mitschang, Angelika Reiser, Stephan Zimmermann 17h15 -> 17h30 DPLgraphs - A powerful representation of parallel relational query execution plans Lionel Brunie, Harald Kosch 17h30 -> 17h45 BLOCKER: A variable and Multiattribute Declustering for parallel Database Machines O. Dikenelli, M. O. Unalyr, E. Ozkarahan Wednesday, August 28, Morning Workshops >>>>>>>>>>>>>>>>>>>>>>><<<<<<<<<<<<<<<<<<<<<<<<<< _____________________________________________________________ Workshop 02: "Routing and communication in interconnection networks" _____________________________________________________________ 09h00 -> 12h15 Session "Routing" 09h00 -> 09h30 Efficient delay routing Miriam Di Ianni 09h30 -> 10h00 Multipacket Hot-Potato Routing on Processor Arrays Danny Krizanc, Christos Kaklamanis 10h00 -> 10h15 A necessary and sufficient condition for proper routing in omega-omega network Myung-Kyun Kim, Hyunsoo Yoon, Seung-Ryoul Maeng 10h15 -> 10h30 Rubik routing permutations on graphs Charles Delorme, Petrisor Panaite =3D=3D=3D 10h30 -> 11h00 Coffee Break! 11h00 -> 11h30 The Effect of Flow Control an Routing Adaptivity on Priority-driven Traffic in Multiprocessor Networks Shobana Balakrishnan, Fusun Ozguner 11h30 -> 12h00 Routing on Networks of Optical Crossbars Friedhelm Meyer auf der Heide, Klaus Schroeder, Frank Schwarze 12h00 -> 12h15 Latency and Bandwidth Requirements of Massively Parallel Programs: FFT as a Case Study Fabrizio Petrini, Marco Vanneschi _____________________________________________________________ Workshop 03: "Automatic parallelization and high performance compilers" _____________________________________________________________ 09h00 -> 12h30 Session "Dependance analysis and scheduling" 09h00 -> 09h30 On the optimality of Allen and Kennedy's algorithm for parallelism extraction in nested loops Alain Darte, Fr=E9d=E9ric Vivien 09h30 -> 10h00 Memory Reuse Analysis in the Polyhedral Model Sanjay Rajopadhye, Doran Wilde 10h00 -> 10h15 Cycle shrinking by dependence reduction Kunio Okuda 10h15 -> 10h30 A Unified Transformation Technique for Multilevel Blocking Marta Jimenez, Jos=E9 M. Llaberia, Agustin Fernandez, Enric Morancho =3D=3D=3D 10h30 -> 11h00 Coffee Break! 11h00 -> 11h30 Array Dataflow Analysis for Explicitly Parallel Programs Jean-Fran=E7ois Collard, Martin Griebl 11h30 -> 12h00 Semantic Foundations of Commutativity Analysis Martin Rinard, Pedro Diniz 12h00 -> 12h15 Applications of Fuzzy Array Dataflow Analysis Denis Barthou, Jean-Fran=E7ois Collard, Paul Feautrier 12h15 -> 12h30 Contention-Free Scheduling of Communication Induced by Array Operations Andreas Eberhart, Jingke Li _____________________________________________________________ Workshop 05+21: "Parallel languages, programming, and high- level control" _____________________________________________________________ 09h00 -> 12h30 Session "Functional programming and programming environments" 09h00 -> 09h30 Co-ordinating Heterogeneous Parallel Computation Peter Au, John Darlington, Moustafa Ghanem, Yi-ke Guo, Hing Wing To, Jin Yang 09h30 -> 10h00 Correctness of a Distributed-Memory Model for Scheme Luc Moreau 10h00 -> 10h30 Partial Evaluation Scheme for Concurrent Languages and its Correctness Haruo Hosoya, Naoki Kobayashi, Akinori Yonezawa =3D=3D=3D 10h30 -> 11h00 Coffee Break! 11h00 -> 11h30 Support for implementation of Evolutionary Concurrent systems in concurrent programming languages R. Pandey, J. C. Browne 11h30 -> 12h00 Structured Dagger: A coordination Language for Message-Driven Programming L. V. Kal=E9, M. A. Bhandarkar 12h00 -> 12h15 TPascal - A Language for Task Parallel Programming Ansgar Bruell, Herbert Kuchen 12h15 -> 12h30 OB(PN)2: An Object Based Petri Net Programming Notation Johan Lilius _____________________________________________________________ Workshop 07: "Parallel numerical algorithms" _____________________________________________________________ 09h00 -> 12h00 Session "Linear systems and eigenvalues" 09h00 -> 09h30 Optimization of the ScaLAPACK LU Factorization Routine Using Communication/Computation Overlap Fr=E9d=E9ric Desprez, St=E9phane Domas, Bernard Tourancheau 09h30 -> 10h00 On Experiments with a Parallel Direct Solver for Diagonally Dominant Banded Linear Systems Peter Arbenz 10h00 -> 10h15 The Computation of Partial Eigensolutions on a Distributed Memory Machine Using a Modified Lanczos Method Kieran Murphy, Maurice Clint, Marek Szularz, Jim Weston 10h15 -> 10h30 On optimal parallel algorithm for Gaussian Elimination Mounir Marrakchi =3D=3D=3D 10h30 -> 11h00 Coffee Break! 11h00 -> 11h30 The Parallel Computation of Partial Eigensolutions of Large Matrices on a Massively Parallel Processor James Weston, Marek Szularz, Maurice Clint, Kieran Murphy 11h30 -> 12h00 On the Preprocessing of Sparse Unassembled Linear Systems for Efficient Solution Using Element-by-element Preconditioners Michel J. Dayde, Jean-Yves L'Excellent, Nicholas I. M. Gould _____________________________________________________________ Workshop 08+09+10: "Parallel image/video processing and computer arithmetic" _____________________________________________________________ 09h15 -> 10h30 Session "Computer arithmetic 2" 09h15 -> 09h45 A Variable Latency Pipelined Floating- Point Adder Stuart Oberman, Michael Flynn 09h45 -> 10h15 Basic linear algebra operations in SLI arithmetic Michael A. Anuta, Daniel W. Lozier, Nicolas Schabanel, Peter R. Turner 10h15 -> 10h30 Data-Dependent Truncation Scheme for Parallel Multipliers Earl Swartzlander, Jr., Eric J. King =3D=3D=3D 10h30 -> 11h00 Coffee Break! _____________________________________________________________ 11h00 -> 13h00 Session "Architecture for image and DSP processing" 11h00 -> 11h30 CAM2: A Highly-parallel 2-D Cellular Automata Architecture for Real-time and Palm-top Pixel-level Image Processing Takeshi Ikenaga, Takeshi Ogura 11h30 -> 11h45 A Self-Optimising Coprocessor Model for Portable Parallel Image Processing D. Crookes, T. J. Brown, Y. Dong, G. Mc~Aleese, P. J. Morrow, D. K. Roantree, I. T. A. Spence 11h45 -> 12h15 System-level memory management for weakly parallel image processing Koen Danckaert, Francky Catthoor, Hugo De Man 12h15 -> 12h45 Multidimensional Periodic Scheduling: Model and Complexity (extended abstract) W. F. J. Verhaegh, P. E. R. Lippens, E. H. L. Aarts, J. L. van Meerbergen, A. van der Werf 12h45 -> 13h00 Global Approach for Compiled Bit-True Simulation of DSP Systems Luc De Coster, Marc Engels, Rudy Lauwereins, J. A. Peperstraete _____________________________________________________________ Workshop 12 (16): "Theory and models for parallel computing" _____________________________________________________________ 09h00 -> 12h00 Session "PRAM computing" 09h00 -> 09h30 The Queue-Read Queue-Write Asynchronous PRAM Model P. B. Gibbons, Y. Matias, V. Ramachandran 09h30 -> 10h00 ERCW PRAMs and Optical Communication Philip D. MacKenzie, Vijaya Ramachandran 10h00 -> 10h15 Goodness of Time-Processor Optimal PRAM Simulations Ville Lepp=E4nen 10h15 -> 10h30 Simulations of PRAM on Complete Optical Networks Anssi Kautonen, Ville Lepp=E4nen, Martti Penttonen =3D=3D=3D 10h30 -> 11h00 Coffee Break! 11h00 -> 11h30 Adaptive Parallelism in the Bulk- Synchronous Parallel model Mohan Nibhanupudi, Boleslaw Szymanski 11h30 -> 12h00 Implementation Issues Relating to the WPRAM Model for Scalable Computing Jonathan Nash, Peter Dew, John Davy, Martin Dyer _____________________________________________________________ Workshop 13 (15): "Parallel computer architecture" _____________________________________________________________ 08h30 -> 13h00 Session "Parallel computer architecture" 08h30 -> 09h00 HPP: A High Performance PRAM Arno Formella, Joerg Keller, Thomas Walle 09h00 -> 09h30 Relaxing Inclusion Property in Cache Only Memory Architecture Jinseok Kong, Gyungho Lee 09h30 -> 10h00 Using Proxies to Reduce Controller Contention in Large Shared-Memory Multiprocessors Andrew J. Bennett, Paul H. J. Kelly, Jacob G. Refstrup, Sarah A. M. Talbot 10h00 -> 10h15 Implementation of a new weak cache coherence protocol Juergen Risau, Alfred Mikschl, Werner Damm 10h15 -> 10h30 3D Optoelectronic Computer Architectures for the Conjugate Gradient and Multigrid Benchmark Algorithms George A. Betzos, Pericles A. Mitkas =3D=3D=3D 10h30 -> 11h00 Coffee Break! 11h00 -> 11h30 MSPARC: A multithreaded Sparc Alfred Mikschl, Werner Damm 11h30 -> 12h00 A New Concept for Parallel Neurocomputer Architectures Alfred Strey, Narcis Avellana 12h00 -> 12h30 Transformation of a 2-D VLSI systolic adder circuit in 3-D circuits using optical interconnections Dietmar Fey 12h30 -> 12h45 Scalable Software Latency Hiding Schemes: Evaluation of the Poststore and Prefetch Options Chaitanya Tumuluri, Alok N. Choudhary 12h45 -> 13h00 Reducing Coherence Overheads in Shared- Bus multiprocessors S. Cho, G. Lee _____________________________________________________________ Workshop 19: "Performance evaluation" _____________________________________________________________ 09h30 -> 12h30 Session "Speedup estimation" 09h30 -> 10h00 Speedup and efficiency of large size applications on heterogeneous networks Laurent Colombet, Laurent Desbat 10h00 -> 10h30 DiP: A Parallel Program Development Environment Jesus Labarta, Sergi Girona, Vincent Pillet, Toni Cortes, Luis Gregoris =3D=3D=3D 10h30 -> 11h00 Coffee Break! 11h00 -> 11h30 Accurate Performance Prediction for Massively Parallel Systems and its Applications Jens Simon, Jens-Michael Wierum 11h30 -> 12h00 Contention in the Cray T3D Communication network Thierry Cornu, Michel Pahud 12h00 -> 12h30 Theory, practice, and a tool for BSP performance prediction Jonathan M. D. Hill, Paul I. Crumpton, David A. Burgess _____________________________________________________________ Workshop 20: "Instruction level parallelism" _____________________________________________________________ 09h30 -> 12h00 Session "Compilers for ILP" 09h30 -> 10h00 Aggregate Operation Movement: A Min-Cut Approach to Global Code Motion Raymond Lo, Sun Chan, Jim Dehnert, Ross Towle 10h00 -> 10h15 Global Instruction Scheduling - a Practical Approach Sebastian Schmidt 10h15 -> 10h30 Generation de micro-code parallele pour la carte coprocesseur Rapid-2 Laurent Winckel =3D=3D=3D 10h30 -> 11h00 Coffee Break! 11h00 -> 11h30 RESIS: A New Methodology for Register Optimization in Software Pipelining Fermin Sanchez, Jordi Cortadella 11h30 -> 12h00 Optimal Software Pipelining Through Enumeration of Schedules Erik R. Altman, Guang R. Gao Wednesday, August 28, Afternoon Workshops >>>>>>>>>>>>>>>>>>>>>>><<<<<<<<<<<<<<<<<<<<<<<<<< _____________________________________________________________ Workshop 01: "Programming environment and tools" _____________________________________________________________ 14h00 -> 16h00 Session "Software" 14h00 -> 14h30 An Integrated Environment to Design Parallel Object-Oriented Applications Ottmar Kraemer-Fuhrmann, Klaus Wolf 14h30 -> 15h00 MPI-2: Extending the Message-Passing Interface Al Geist, William Gropp, Steve Huss- Lederman, Andrew Lumsdaine, Ewing Lusk, William Saphir, Tony Skjellum, Marc Snir 15h00 -> 15h30 Optimizing Sisal Programs: a Formal Approach Isabelle Attali, Denis Caromel, Romain Guider, Andrew Wendelborn 15h30 -> 15h45 A design methodology for Data-parallel applications L. Nyland, J. Prins, A. Goldberg, P. Mills, J. Reif, R. Wagner 15h45 -> 16h00 New directions in software design and how to evaluate them Silvia A. Crivelli, Elizabeth R. Jessup =3D=3D=3D 16h00 -> 16h30 Coffee Break! _____________________________________________________________ 16h30 -> 18h00 Session "Redistribution" 16h30 -> 17h00 Efficient Block Cyclic Data Redistribution Lo=EFc Prylli, Bernard Tourancheau 17h00 -> 17h30 Optimal Grain Size Computation for Pipelined Algorithms Fr=E9d=E9ric Desprez, Pierre Ramet, Jean Roman 17h30 -> 17h45 Dynamic Redistribution on Heterogeneous Parallel Computers Dominique Sueur, Jean Luc Dekeyser 17h45 -> 18h00 Supporting distributed sparse matrix objects C. Addison, T. Oliver, A. Sunderland _____________________________________________________________ Workshop 02: "Routing and communication in interconnection networks" _____________________________________________________________ 14h00 -> 17h45 Session "Collective communications" 14h00 -> 14h30 Induced broadcasting algorithms in iterated line digraphs Jean-Claude Bermond, Xavier Mu=F1oz, Alberto Marchetti-Spaccamela 14h30 -> 15h00 Lower bounds on broadcasting time of de Bruijn type networks St=E9phane Perennes 15h00 -> 15h30 Performant Gossip in Trees in Line- Communication Mode Christian Laforest 15h30 -> 15h45 Total exchange in Cayley networks Vassilios V. Dimakopoulos, Nikitas J. Dimopoulos 15h45 -> 16h00 Leaf communications in complete trees Vassilios V. Dimakopoulos, Nikitas J. Dimopoulos =3D=3D=3D 16h00 -> 16h30 Coffee Break! 16h30 -> 17h00 A gossip algorithm for bus networks with buses of limited length Satoshi Fujita, Christian Laforest 17h00 -> 17h30 Worm-Hole Gossiping on Meshes Ben H. H. Juurlink, P. S. Rao, Jop F. Sibeyn 17h30 -> 17h45 Circuit-switched gossiping in 3- dimensional torus networks Olivier Delmas, St=E9phane Perennes _____________________________________________________________ Workshop 04: "Distributed systems and algorithms" _____________________________________________________________ 13h30 -> 17h15 Session "Distributed systems and algorithms" 13h30 -> 14h00 PACA: a Cooperative File System Cache for Parallel Machines Toni Cortes, Sergi Girona, Jesus Labarta 14h00 -> 14h30 A System For Fault-Tolerant Execution of Data and Compute Intensive Programs Over a Network Of WorkStations J. A. Smith, S. K. Shrivastava 14h30 -> 15h00 A Framework for Viewing Atomic Events in Distributed Computations Ajay Kshemkalyani 15h00 -> 15h15 Worker-Based Parallel Computing on PVM Dae-Kyun Yoon, Jean-Luc Gaudiot 15h15 -> 15h30 An efficient distributed tuple space implementation for networks of heterogenous workstations Antony Rowstron, Alan Wood 15h30 -> 16h00 A Highly Available Partition-Processing Protocol for Distributed Shared Memory Systems Jenn-Wei Lin, Sy-Yen Kuo =3D=3D=3D 16h00 -> 16h30 Coffee Break! 16h30 -> 16h45 I/O Data Mapping in ParFiSys: Support for High-Performance I/O in Parallel and Distributed Systems Jesus Carretero, Fernando Perez, Pedro de Miguel, Felix Garcia, Luis Alonso 16h45 -> 17h00 Correctness Proof for a Distributed Shared Memory System Vicente Cholvi Juan, Jos=E9 M. Bernabeu Auban 17h00 -> 17h15 Distributed Shared Memory Based on Group Large Causality Jos=E9 M. Piquer _____________________________________________________________ Workshop 05+21: "Parallel languages, programming, and high- level control" _____________________________________________________________ 13h30 -> 17h15 Session "High-level control of parallel languages" 13h30 -> 14h00 Reusable Coordinator Modules for Massively Concurrent Applications F. Arbab, C. L. Blom, F. J. Burger, C. T. H. Everaars 14h00 -> 14h30 Introducing dynamicity in the data- parallel language 81/2 Olivier Michel 14h30 -> 15h00 Astro-Gofer: Parallel Functional Programming with Co-ordinating Processes A. Douglas, N. Rojemo, C. Runciman, A. Wood 15h00 -> 15h30 Multiple OR-Parallel Resolution: Meta- Level Control of Parallel Logic Programs P. Kefalas, I. Vlahavas 15h30 -> 15h45 Coordinators:Declarative Parallel Programming in Imperative Settings Juergen Knopp, Matthias Reich 15h45 -> 16h00 Eden - The Paradise of Functional Concurrent Programming S. Breitinger, R. Loogen, Y. Ortega-Mallen, R. Pena-Mari =3D=3D=3D 16h00 -> 16h30 Coffee Break! 16h30 -> 17h00 Synthesis of massively pipelined algorithms for list manipulation Ali E. Abdallah 17h00 -> 17h15 A high-level data-parallel language in the field of parallel rewriting systems: the case of the D0L systems Olivier Michel _____________________________________________________________ 17h15 -> 18h00 Session "Discussion" _____________________________________________________________ Workshop 06: "Parallel discrete algorithms" _____________________________________________________________ 14h00 -> 17h30 Session "Parallel non-numerical algorithms" 14h00 -> 14h30 Optimal Query in the Parallel Dictionary Matching problem Paolo Ferragina 14h30 -> 15h00 A Shared-Memory Implementation of the Hierarchical Radiosity Method Axel Podehl, Thomas Rauber, Gudula R=FCnger 15h00 -> 15h30 List Ranking on Interconnection Networks Jop F. Sibeyn 15h30 -> 15h45 Note on a Parallel Algorithm for Computing the Fragment Vector in Steiner Triple Systems Erik Urland 15h45 -> 16h00 Representation of the Gabow algorithm for finding smallest spanning trees with a degree constraint on associative parallel processors Ann Nepomniaschaya =3D=3D=3D 16h00 -> 16h30 Coffee Break! 16h30 -> 16h45 Runtime Support for Replicated Parallel Simulators of an ATM Network on Workstation Clusters Kam Hong Shum, Shuo-Yen Robert Li 16h45 -> 17h00 Shared-Memory Implementation of An Irregular Particle Simulation Method Thomas Rauber, Gudula R=FCnger, Carsten Scholtes 17h00 -> 17h15 A Parallel Algorithm for the Technology Mapping of LUT-based FPGAs Vamsi Boppana, Prashant Saxena, Prithviraj Banerjee, W. Kent Fuchs, C. L. Liu 17h15 -> 17h30 Parallel String Matching Algorithm With Long Texts Fouzia Moussouni, Christian Lavault _____________________________________________________________ Workshop 12 (16): "Theory and models for parallel computing" _____________________________________________________________ 14h45 -> 17h45 Session "BSP computing" 14h45 -> 15h15 The Bulk-Synchronous Parallel Random Access Machine Alexandre Tiskin 15h15 -> 15h45 The E-BSP Model: Incorporating General Locality and Unbalanced Communication into the BSP Model Ben H. H. Juurlink, Harry A. G. Wijshoff 15h45 -> 16h00 Communication Efficient Data Structures on the BSP model with Applications in Computational Geometry Alex V. Gerbessiotis, Constantinos J. Siniolakis =3D=3D=3D 16h00 -> 16h30 Coffee Break! 16h30 -> 16h45 Submachine Locality in the Bulk Synchronous Parallel Setting Pilar de la Torre, Clyde P. Kruskal 16h45 -> 17h15 Algebraic Laws for BSP Programming J. Je, R. Q. Miller, L. Chen 17h15 -> 17h45 Realistic Parallel Algorithms: Priority Queue Operations and Selection for the BSP Model Armin Baeumker, Wolfgang Dittrich, Friedhelm Meyer auf der Heide, Ingo Rieping _____________________________________________________________ Workshop 17: "Scheduling and load balancing" _____________________________________________________________ 14h00 -> 18h00 Session "Load balancing and related problems" 14h00 -> 14h30 A New Scheduling Method for Parallel Discrete-Event Simulation E. Naroska, U. Schwiegelshohn 14h30 -> 15h00 Minimum Length Scheduling of Precedence Constrained Messages in Distributed Systems Piera Barcaccia, Maurizio A. Bonuccelli, Miriam Di Ianni 15h00 -> 15h30 Optimization of Parallel Programs on Machines with Expensive Communication Welf L=F6we, J=F6rn Eisenbiegler, Wolf Zimmermann 15h30 -> 15h45 Eager scheduling with lazy retry for dynamic task scheduling Huey-Ling Chen, Chung-Ta King 15h45 -> 16h00 Load Management for Load Balancing on Heterogeneous Platforms: A Comparison of Traditional and Neural Network Based Approaches Bettina Schnor, Stefan Petri, Horst Langendoerfer =3D=3D=3D 16h00 -> 16h30 Coffee Break! 16h30 -> 17h00 Application-assisted dynamic scheduling on large-scale multi-computer systems R. B. Konuru, J. E. Moreira, W. K. Naik 17h00 -> 17h15 Economic-Based Dynamic Load Distribution In Large Workstation Networks Martin Backschat, Alexander Pfaffinger, Christoph Zenger 17h15 -> 17h30 Flexible Scheduling and Memory Management for non-deterministic and parallel execution of logic programs K. Shen, M. Hermenegildo 17h30 -> 17h45 A Load Balancing Task Allocation Scheme in a Hard Real Time System Jean-Louis Lanet 17h45 -> 18h00 A Library Implementation of the Nano- Threads Programming Model Xavier Martorell, Jesus Labarta, Nacho Navarro, Eduard Ayguade Thursday, August 29, Morning Workshops >>>>>>>>>>>>>>>>>>>>>>><<<<<<<<<<<<<<<<<<<<<<<<<< _____________________________________________________________ Workshop 03: "Automatic parallelization and high performance compilers" _____________________________________________________________ 09h00 -> 11h30 Session "Mapping and parallelizing compilers" 09h00 -> 09h30 Compiler Reduction of Invalidation Traffic in Virtual Shared Memory Systems Michael O'Boyle, Rupert Ford, Andrew Nisbet 09h30 -> 10h00 Partial Dead Code Elimination for Parallel Programs Jens Knoop 10h00 -> 10h15 Solving the Constant-Degree Parallelism Alignment Problem Claude G. Diderich, Marc Gengler 10h15 -> 10h30 Topographic Data Mapping by Balanced Hypersphere Tesselation Matthias Besch, Hans Werner Pohl =3D=3D=3D 10h30 -> 11h00 Coffee Break! 11h00 -> 11h15 Implementing Pipelined Computation and Communication in an HPF Compiler Thomas Brandes, Fr=E9d=E9ric Desprez 11h15 -> 11h30 Efficient Mapping of Interdependent Scans Michel Barreteau, Paul Feautrier _____________________________________________________________ 11h30 -> 12h00 Session "Invited talk by Prof. Lengauer" _____________________________________________________________ 12h00 -> 12h30 Session "Discussion" _____________________________________________________________ Workshop 05+21: "Parallel languages, programming, and high- level control" _____________________________________________________________ 09h00 -> 12h30 Session "Abstract models for parallel programming" 09h00 -> 09h30 Parallel Programming in an Imperative Language with Algorithmic Skeletons George Horatiu Botorog, Herbert Kuchen 09h30 -> 10h00 A Loosely Synchronized Execution Model for a Simple Data-Parallel Language Yann Le~Guyadec, Emmanuel Melin, Bruno Raffin, Xavier Rebeuf, Bernard Virot 10h00 -> 10h30 A nonannotative approach to data- parallel computing A. Shafarenko =3D=3D=3D 10h30 -> 11h00 Coffee Break! 11h00 -> 11h30 Petri net modelling of PARSE designs Stefano Russo, Carlo Savy, Innes Jelly, Peter Collingwood 11h30 -> 12h00 Synchronization Expressed in Types of Communication Channels Franz Puntigam 12h00 -> 12h15 Laws of data parallel assignment J. P. Wray 12h15 -> 12h30 Proving Progress Properties of non Terminating Programs under Fairness Assumptions Ricardo Pe=F1a, Luis A. Gal=E1n _____________________________________________________________ Workshop 07: "Parallel numerical algorithms" _____________________________________________________________ 09h00 -> 12h30 Session "Numerical problems" 09h00 -> 09h30 Implementing The Parallel Quasi- Laguerre's Algorithm For Symmetric Tridiagonal EigenproblemS T. Y. Li, Xiulin Zou 09h30 -> 10h00 Diagonal-Implicitly Iterated Runge-Kutta Methods on Distributed Memory Multiprocessors Thomas Rauber, Gudula R=FCnger 10h00 -> 10h15 Numerical Turbulence Simulation on different Parallel Computers using the Sparse Grid Combination Method Walter Huber 10h15 -> 10h30 Parallel Fourier-Motzkin Elimination Christoph W. Kessler =3D=3D=3D 10h30 -> 11h00 Coffee Break! 11h00 -> 11h30 Comparison of Three Monte Carlo Methods for Matrix Inversion Vassil Alexandrov, Spyridoula Lakka 11h30 -> 12h00 Parallel Solution of the Volume Integral Equation of Electromagnetic Scattering Jussi Rahola 12h00 -> 12h15 Optimization of Parallel Multilevel- Newton Algorithms on Workstation Clusters Robert Graeb, Michael Guenther, Utz Wever, Qinghua Zheng 12h15 -> 12h30 A time and space parallel algorithm for the heat equation: the implicit collocation method Fabienne Jezequel _____________________________________________________________ Workshop 11: "High performance computing and application" _____________________________________________________________ 08h45 -> 10h30 Session "High performance computing" 08h45 -> 09h15 Parallel Implementation of RBF Neural Networks Vladimir Demian, Fr=E9d=E9ric Desprez, H=E9l=E8ne Paugam-Moisy, Makan Pourzandi 09h15 -> 09h30 Selected Results from the ParkBench Benchmark Jack J. Dongarra, Tony Hey, Erich Strohmaier 09h30 -> 09h45 Exploiting Symmetry in Parallel Computations for Structural Biology Ioana M. Boier Martin, Dan C. Marinescu 09h45 -> 10h00 An Object-Oriented and Parallel Simulation of a Power-Plant Klaus Wolf, Antonio Mano, Sergio Prata dos Santos, Jean-Marc Letteron 10h00 -> 10h15 A Planning System for Aircraft Production with Parallel Constraint Logic Programming Albers Patrick, Bellone Jacques 10h15 -> 10h30 Modelling and Optimising flows using parallel spatial interaction models Ian Turton, Stan Openshaw =3D=3D=3D 10h30 -> 11h00 Coffee Break! _____________________________________________________________ Workshop 12 (16): "Theory and models for parallel computing" _____________________________________________________________ 09h15 -> 12h15 Session "Other models" 09h15 -> 09h45 Multilayer Perceptron Learning Control Gilles Verley, Jean-Pierre Asselin de Beauville 09h45 -> 10h15 Evaluating the Hyperbolic Model on a Variety of Architectures Ion Stoica, Florin Sultan, David Keyes 10h15 -> 10h30 SPC: A Model of Parallel Computation Arjan J. C. van Gemund =3D=3D=3D 10h30 -> 11h00 Coffee Break! 11h00 -> 11h30 Systematic Efficient Parallelization of Scan and Other List Homomorphisms Sergei Gorlatch 11h30 -> 12h00 Array structures and data-parallel algorithms Ga=E9tan Hains, John Mullins 12h00 -> 12h15 A Higher-order Parallel Programming Model Roopa Rangaswami _____________________________________________________________ Workshop 19: "Performance evaluation" _____________________________________________________________ 09h30 -> 12h00 Session "Analytical models" 09h30 -> 10h00 Applying the Semi-Markov Memory and Cache Coherence Interference Model to an Updating Based Cache Coherence Protocol Kazuki Joe, Akira Fukuda 10h00 -> 10h30 Analytical models of multithreading with data prefetching Vladimir Vlassov, Lars-Erik Thorelli =3D=3D=3D 10h30 -> 11h00 Coffee Break! 11h00 -> 11h30 IDRA (IDeal Resource Allocation): Computing Ideal Speedups in Parallel Logic Programming Maria Jos=E9 Fernandez, Manuel Carro, Manuel Hermenegildo 11h30 -> 11h45 Estimation of the thruput for some stochastic resources sharing systems Matthieu Brilman, Jean-Marc Vincent 11h45 -> 12h00 Some Closed Form Results for Circuit Switching in a Hypercube Network with Input Queueing Vishal Sharma, Emmanouel A. Varvarigos _____________________________________________________________ Industrial Session: 11h00--12h00 _____________________________________________________________ Thursday, August 29, 1996 - Afternoon: Invited talks >>>>>>>>>>>>>>>>>>><<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<< 14 h 00 -> 15 h 00 Universal Computing = Bill McColl, Oxford University (Grand Amphi) 15 h 00 -> 16 h 00 Dynamic Load Balancing in Parallel Database Systems = Erhard Rahm, Leipzig, D (Grand Amphi) 16 h 00 -> 16 h 30 Coffee Break 16 h 30 -> 17 h 30 Portable and Repeatable Message-Passing Programs = Robert Cypher, Baltimore, USA (Grand Amphi) ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help ------------------------------------------------------------------------FOOTER- From raghu@cs.wisc.edu Fri May 31 16:09:02 1996 Received: from ricotta.cs.wisc.edu (ricotta.cs.wisc.edu [128.105.67.19]) by sea.cs.wisc.edu (8.6.12/8.6.12) with ESMTP id QAA19766 for ; Fri, 31 May 1996 16:08:52 -0500 Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.6.12/8.6.12) id QAA03949 for dbworld; Fri, 31 May 1996 16:08:51 -0500 Date: Fri, 31 May 1996 16:08:51 -0500 From: Bob Abarbanel 206-865-2734 Message-Id: <199605312108.QAA03949@ricotta.cs.wisc.edu> To: dbworld@ricotta.cs.wisc.edu Information Management/Database Specialist The Boeing Company is known for some of the most exciting accomplishments in aviation history. At present we have a job opportunity for an Advanced Computing Technologist in the Research and Technology organization with the Boeing Information and Support Services Division in Seattle, Washington. The Research and Technology Organization provides the technology leadership in the identification, assessment, development, and deployment of information technologies critical to the Boeing Company products and processes. We have been responsible for the high performance visualization and product data management systems widely deployed in support of 777 and other airplane programs. If your qualifications meet the following requirements, please consider joining us. QUALIFICATIONS The individual must have an advanced degree or equivalent experience in computer science with an emphasis on database technology. We are interested in experience with: data base management tools such as relational, object oriented and deductive data base management software; information access which implies distributed data management, and understanding of the tradeoffs between the transactional data systems and decision support (warehouse) data organizations. Knowledge about emerging data types as multimedia, i.e. video, graphics audio etc. will prove quite valuable. We are interested in innovative approaches to enterprise and departmental data services and approaches to helping get the Boeing company's huge systems working faster and better. Innovative ideas about query interfaces and web related services and techniques will be of high value to us. The candidate must have a demonstrated track record in research or advanced development in the area of Information Management. The candidate must have excellent written and oral communication skills. JOB DESCRIPTION This is a technical contributor position in the Technology division of Boeing Information and Support Services (ISS). The responsibility is to formulate and execute research and development of new technology in data management systems and techniques and to transfer that technology to the Boeing Divisions. Our role is to assess what's out there, and to integrate external technologies with our own developments, all directed at excellent, leading edge advantages for Boeing. We can offer a competitive salary, comprehensive benefits and the satisfaction of joining one of the most respected companies in the world. Please send your resume to Rober Abarbanel, The Boeing Co., PO Box 3707, MS 7L-40, Seattle WA. 98124-2207, or fax your resume to (206) 865-2965, or use the Internet address: bob.abarbanel@boeing.com. -- ========================================================================== Bob Abarbanel, Advanced Design Systems, Research & Technology, Boeing Information & Support Serv. PO Box 3707, MS 7L-40, Seattle, WA 98124-2207 Work phone: 206-865-2734 FAX: 206-865-2965 Email: bob.abarbanel@boeing.com ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help ------------------------------------------------------------------------FOOTER- From raghu@cs.wisc.edu Fri May 31 18:21:23 1996 Received: from ricotta.cs.wisc.edu (ricotta.cs.wisc.edu [128.105.67.19]) by sea.cs.wisc.edu (8.6.12/8.6.12) with ESMTP id SAA22737 for ; Fri, 31 May 1996 18:21:15 -0500 Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.6.12/8.6.12) id SAA04069 for dbworld; Fri, 31 May 1996 18:21:14 -0500 Date: Fri, 31 May 1996 18:21:14 -0500 From: lieuwen@allegra.att.com (Daniel Lieuwen) Message-Id: <199605312321.SAA04069@ricotta.cs.wisc.edu> To: dbworld@ricotta.cs.wisc.edu Exciting database research opportunities at Bell Labs! We are hiring top database researchers! Open House: Tuesday, June 4, 1996 Time: 6:30 - 8:00 pm Place: Salon 8 (fourth floor, near elevator) of Le Centre Sheraton-Montreal Come join us. Catch up with old friends, make new friends, and learn about opportunities for database researchers at Bell Labs. Hors d'oeuvres, beer, wine, and soda! If you cannot come but would like information about job opportunities at Bell Labs, send CV to either o Narain Gehani (nhg@research.bell-labs.com), or o Avi Silberschatz (silber@research.bell-labs.com), or o Both of the above. ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help ------------------------------------------------------------------------FOOTER- From raghu@cs.wisc.edu Fri May 31 21:27:17 1996 Received: from ricotta.cs.wisc.edu (ricotta.cs.wisc.edu [128.105.67.19]) by sea.cs.wisc.edu (8.6.12/8.6.12) with ESMTP id VAA25579 for ; Fri, 31 May 1996 21:27:09 -0500 Received: (from raghu@localhost) by ricotta.cs.wisc.edu (8.6.12/8.6.12) id VAA04181 for dbworld; Fri, 31 May 1996 21:27:08 -0500 Date: Fri, 31 May 1996 21:27:08 -0500 From: hasan@informix.com (Waqar Hasan) Message-Id: <199606010227.VAA04181@ricotta.cs.wisc.edu> To: dbworld@ricotta.cs.wisc.edu Check out exciting opportunities at Informix in Portland (Oregon), Oakland (California) and Menlo Park (California). We will have an open house with ping-pong, hors d'oeuvres, drinks ... Open House: Tuesday, June 4, 1996 Time: 5:30 - 8:00 pm Place: Salon 1, Le Centre Sheraton-Montreal If you cannot come but would like information about job opportunities at Informix, contact Perry Brunner (perryb@informix.com, 415-926-6585) ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help ------------------------------------------------------------------------FOOTER-