From adam@adam.rutgers.edu Sun Mar 26 10:48:43 1995 Received: from lucy.cs.wisc.edu by sea.cs.wisc.edu; Sun, 26 Mar 95 10:48:35 -0600; AA17579 Received: from adam.rutgers.edu by lucy.cs.wisc.edu; Sun, 26 Mar 95 10:48:32 -0600 Received: (from adam@localhost) by adam.rutgers.edu (8.6.10+bestmx+oldruq+newsunq+grosshack/8.6.10) id LAA10667; Sun, 26 Mar 1995 11:49:47 -0500 Date: Sun, 26 Mar 95 11:49:45 EST From: "Nabil R. Adam" To: dbworld@lucy.cs.wisc.edu Subject: 1995 Digital Lib. Forum, May 15-17, 1995 Message-Id: PRELIMINARY PROGRAM ADL'95 A Forum on Research and Technology Advances in Digital Libraries McLean Hilton at Tysons Center, Virginia Monday, May 15, 7:00pm - 9:30pm - Reception (McLean Hilton) Tuesday, May 16, 8:30am - 5:00pm and Wednesday, May 17 8:30am - 5:00pm SPONSORED BY: NASA-GSFC IN COOPERATION WITH: ACM, ARPA, IEEE Computer Society, NIST-CAIT NSF, Purdue University, Rutgers-CIMIC and UMBC CORPORATE SUPPORT FROM: AT&T and Bellcore HONORARY CHAIR: Michael R. Nelson, Special Asst. to the President for Information Technology, The White House GENERAL CHAIR: Milton Halem, NASA-GSFC STEERING COMMITTEE: A. Aho, Columbia University; D. Atkins, Univ. of Michigan; W. Day, Prodigy; L. Holcomb, NASA; S. Howe, NCO/HPCC; D. Tiedeman, AT&T; J. Ullman, Stanford Univ. PROGRAM CO-CHAIRS: Nabil R. Adam, Rutgers Univ.; Bharat Bhargava, Purdue Univ.; Yelena Yesha, UMBC/NASA PROGRAM COMMITTEE: L. Baron, Univ. of Toronto; T. Finin, UMBC; P. Hunter, NASA; P. Kanellakis, Brown Univ.; M. Lesk, Bellcore; C. Pu, OGI; D. Rosenkrantz, Univ. at Albany-SUNY; J. Schwartz, NYU; J. Slonim, IBM Canada; H. Stone, NEC; H. Wactlar, CMU; R. Wilensky, UC Berkeley INTERNATIONAL CO-COORDINATORS: Erich Neuhold, GMD-IPSI, Germany; Shigeo Sugimoto, Univ. of Library & Info. Science, Japan PUBLICITY CO-CHAIRS: Susan Hoban, NASA-GSFC; Elke Rundensteiner, University of Michigan EXHIBIT CHAIR: Susan Hoban, NASA-GSFC This forum is intended to bring together researchers from universities, industry and government to discuss evolving research issues and applications in digital libraries. Invited speakers will share their experiences in building and using prototype systems, present their vision for the future, and address applied and theoretical research related to such areas as: capturing, and organizing data, management of heterogeneous databases and knowledge bases, and effective use of multimedia databases and knowledge bases available on various national and international networks. =============================================================================== Monday, May 15, 1995 5:30-7:00pm - Poster Session 7:00pm - 9:30pm - Reception (McLean Hilton) =============================================================================== Tuesday, May 16, 1995 8:30-9:00 Registration and Coffee 9:00-9:15 Welcome Remarks Dr. M. Halem, Chief, Space Data and Computing Division, Goddard Space Flight Center, NASA 9:15-10:00 Keynote Speaker Dr. Cordova, Chief Scientist, NASA 10:00-10:20 BREAK 10:20-11:40 Session#1.1: VISUALIZATION IN DIGITAL LIBRARIES 1. Video as Scholarly Material in the Digital Library W. Wolf, B. Liu, M. Yeung, B. Yeo, and D. Markham (Princeton Univ.) 2. Digital Libraries for Electronic News M. A. Shepherd (Dalhousie Univ., Canada), C.R. Watters (Acadia Univ., Canada), and F.J. Burkowski (Univ. of Waterloo, Canada) 3. The Visual Analysis of Textual Information: Browsing Large Document Sets J. Thomas, K. Pennock, T. Fiegel, J. Wise, M. Pottier, A. Schur, D. Lantrip, and V. Crow (Battelle, Pacific Northwest Laboratory) 4. WebJounal: Visualization of a Web Journey B. C. Dasai and S. Swiercz (Concordia Univ., Canada) 11:40-1:00 LUNCH 1:00-2:20 Forum Discussion #1 ``Research Issues in Digital Libraries'' Chair: A. Aho (Columbia University) Rapporteur: TBA 2:20-2:35 BREAK 2:35-3:05 Invited Speaker#1.1 3:05-3:35 Invited Speaker#1.2 3:35-3:50 BREAK 3:50-5:30 Session#2.1: DOCUMENT HANDLING AND INFORMATION RETRIEVAL IN DIGITAL LIBRARIES 1. Uniform Structured Document Handling Using a Constraint-based Object Approach A. Nica and E. A. Rundensteiner (Univ. of Michigan) 2. Digital Software and Data Repositories for Support of Scientific Computing R. Boisvert (NIST), S. Browne (Univ. of Tennessee), J. Dongarra (Univ. of Tennessee and Oak Ridge National Lab.), and E. Grosse (AT&T Bell Laboratories) 3. Semantic Hypermedia Retrieval in Digital Libraries S. Wiesener (Bayerisches Forschungszentrum Fur Wissensbasierte Sys., Germany), W. Kowarschick, P. Vogel, and R. Bayer (Univ. of Munchen, Germany) 4. Fuzzy Multilinkage Thesaurus Builder in Multimedia Information Systems Y. J. Gao, J.J. Lim, and A.D. Narasimhalu (National Univ. of Singapore) 5. Fuzzy Full-Text Searches in OCR Databases A. Myka and U. Guntzer (Univ. of Tubingen, Germany) 6:30-7:30 Cocktail Hour and Informal Question and Answer Session with Representatives from: ARPA, NASA and NSF 7:30- Banquet Speaker Dr. L. Smarr, Director, National Center for Supercomputing Applications. =============================================================================== Wednesday, May 17, 1995 8:30-9:00 Registration and Coffee 9:00-9:15 Welcome Remarks Dr. M. R. Nelson, Special Asst. to the President for Information Technology, The White House 9:15-10:00 Keynote Speaker The Honorable J. Billington, The Librarian of Congress 10:00-10:20 BREAK 10:20-11:40 Forum Discussion #2 ``Economic Issues in Digital Libraries'' Chair: M. Lesk, Bellcore Rapporteur: TBA 11:40-1:00 LUNCH 1:00-1:30 Invited Speaker#2.1 1:30-2:00 Invited Speaker#2.2 2:00-2:15 BREAK 2:15-3:35 Session#2.1: NETWORK-BASED INFORMATION AND RESOURCE DISCOVERY 1. Data Discovery in Large Scale Heterogeneous and Autonomous Databases S. Milliner and A. Bouguettaya (Queensland Univ. of Technology, Australia) 2. An Intelligent Agent for the K-12 Educational Community M. E. Rorvig (NASA), M. W. Hutchison (Science Applications International Corporation), R. O. Shelton (NASA), S. L. Smith (Hernandz Engineering Incorporared), and M. E. Yazbeck (LinCom Corporation) 3. Interface Issues for Interactive Multimedia Documents R. B. Allen (Bellcore) 4. Searching and Discovery of Resources in Digital Libraries N. Gershon, W. Ruh, J. LeVasseur, J. Winstead, and A. Kleiboemer (MITRE Corp.) 2:15-3:35 Session#2.2: DESIGN ISSUES AND PROTOTYPING IN DIGITAL LIBRARIES 1. The Almaden Distributed Digital Library System D.Choy, R. Dievendorff, C. Dwork, J. B. Lotspiech, R. T. Morris, L. C. Anderson, A. E. Bell, S. K. Boyer T. D. Griffin, B. A. Hoenig, J. M. McCrossin, A. M. Miller N. J. Pass, F. Pestoni, and D. S. Picciano (IBM, Almaden Research Center and Institute of Scientific Information) 2. The Alexandria Rapid Prototype: Building A Digital Library for Spatial Information J. Frew, M. Aurand, B. Buttenfield, L. Carver, P. Chang, R. Ellis, C. Fischer, M. Gardner, M. Goodchild, G. Hajic, M. Larsgaard, K. Park, M. Probert, T. Smith, and Q. Zheng (Univ. of California at Santa Barbara) 3. The ELINOR Electronic Library D. Zhao (Information Center, De Montfort Univ., UK) 4. Dienst: Building a Production Technical Report Server J. Davis, D. Krafft and C. Lagoze (Cornell Univ.) 3:35-3:50 BREAK 3:50-5:10 Forum Discussion #3 "Global Telecommunications Issues for Digital Libraries" Chair: Burton Edelson, GWU Rapporteur: TBA 5:10-5:30 Forum Issues and Responses : Recap ============================================================================= ************************* *REGISTRATION INFORMATION ************************* Please complete this form (TYPE or PRINT), and return with your payment to: Ms. Kelly Whetzel, Jorge Scientific, 7500 Greenway Center Dr.#1130, Greenbelt, MD 20770. Phone:(301)220-1701, Fax:(301)220-1704. ============================================================================== (Dr/Mr/MS/Prof.): First Name:________________Last Name:_______________________ Company/Univ.:_______________________________ Dept.:__________________________ Address:______________________________________________________________________ City:_________________________ State:_____________ Zip/Postal Code:___________ Country:____________________ Phone:________________________________ Fax:_________________________________ E-mail:_________________________________ ADVANCE (Received by May 1, 1995): ========================================== Reg. Fee ACM/IEEE ______Member($220) ______Non-Member($250) ______Student ($75) LATE/ONSITE (Received AFTER May 1, 1995): ================================================ Reg. Fee ACM/IEEE ______Member($250) ______Non-Member($280) ______Student($100) Signature:_____________________________________ Date:______________________ ************* **CCOMMODATION ************* All attendees are welcome to stay at the McLean Hilton at Tysons Corner, VA 22102-3308 (703)761-5111, Fax(703):. A block of rooms is reserved at a special rate of \$118 (single) and \$128 (double) per night (ask for the Digital Libraries Group). Reservation must be made before April 18, 1995. ====================================================== URL: http://sdcd.gsfc.nasa.gov/ISTO/DLT/ADL95/ ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- From jfpl95@depinfo.u-bourgogne.fr Sun Mar 26 15:54:52 1995 Received: from lucy.cs.wisc.edu by sea.cs.wisc.edu; Sun, 26 Mar 95 15:54:29 -0600; AA20062 Message-Id: <9503262154.AA19550@lucy.cs.wisc.edu> Received: from depinfo.u-bourgogne.fr by lucy.cs.wisc.edu; Sun, 26 Mar 95 15:54:26 -0600 Received: by depinfo.u-bourgogne.fr (1.37.109.4/16.2) id AA22451; Sun, 26 Mar 95 22:50:44 +0100 From: jfpl95@depinfo.u-bourgogne.fr Subject: Appel a Participation : JFPL95 To: dbworld@lucy.cs.wisc.edu Date: Sun, 26 Mar 95 22:50:44 "MET Mailer: Elm [revision: 70.85] ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- From jfpl95@depinfo.u-bourgogne.fr Mon Mar 27 05:10:41 1995 Received: from lucy.cs.wisc.edu by sea.cs.wisc.edu; Mon, 27 Mar 95 05:10:18 -0600; AA07744 Message-Id: <9503271110.AA11809@lucy.cs.wisc.edu> Received: from depinfo.u-bourgogne.fr by lucy.cs.wisc.edu; Mon, 27 Mar 95 05:10:10 -0600 Received: by depinfo.u-bourgogne.fr (1.37.109.4/16.2) id AA07223; Mon, 27 Mar 95 13:10:13 +0200 From: jfpl95@depinfo.u-bourgogne.fr Subject: Appel a Participation : JFPL95 To: dbworld@lucy.cs.wisc.edu Date: Mon, 27 Mar 95 13:10:10 MET Mailer: Elm [revision: 70.85] *************************************************************** * APPEL A PARTICIPATION * * * * JFPL'95 * * Journees Francophones de Programmation en Logique * * * * Universite de Bourgogne * * Dijon - France * * 17, 18 et 19 mai 1995 * *************************************************************** Organisees par : CRID, Universite de Bourgogne. LAB, Universite de Franche-Comte. AFCET - GT Programmation en Logique (ALP France) Parrainees par : AFCET INRIA Region de Bourgogne Ville de Dijon Universite de Bourgogne President des journees : Jean-Jacques Chabrier Vice-President : Bruno Legeard Responsable du challenge prototype : Francois Jacquenet Comite d'organisation : Jean-Jacques Chabrier, CRID Jacqueline Chabrier, CRID Dominique Belime, CRID Francois Jacquenet, CRID Buno Legeard, LAB Comite de lecture : H. AIT KACI, SFU (Canada) H. BERINGER, IBM P. BOIZUMAULT, Ecole des Mines de Nantes J.F. BOULICAUT, LISI - Lyon F. BRY, Universite de Munich P. CODOGNET, INRIA Rocquencourt M.M. CORSINI, LaBRI - Bordeaux P. DERANSART, INRIA Rocquencourt P. DEVIENNE, LIFL - Lille Y. DEVILLE, UCL (Louvain-La-Neuve Belgique) M. DINCBAS, COSYTEC - Orsay M. DUCASSE, IRISA/INSA - Rennes G. FERRAND, LIFO - Orleans L. FRIBOURG, LIENS/CNRS - Paris E. HUBERT, SLIGOS-DELPHIA J.L. IMBERT, Universite de Clermont-Ferrand J. JOURDAN, THOMSON LCR H. KIRCHNER, CRIN et INRIA Lorraine J.F. PUGET, ILOG O. RIDOUX, IRISA/INRIA - Rennes M. RUEHER, I3S - Nice P. SAINT-DIZIER, IRIT - Toulouse P. TAILLIBERT, DASSAULT ELECTRONIQUE M. VAN CANEGHEM, LIM - Marseille M.C. VILAREM, LIRMM - Montpellier Apres les precedentes Journees Francophones de Programmation en Logique qui se sont tenues a Lille (1992), Nimes (1993) et Bordeaux (1994), le groupe de travail Programmation en Logique de l'AFCET, chapitre francais de l'ALP, a choisi Dijon, capitale des Ducs de Bourgogne, comme site d'accueil pour son edition 1995. JFPL'95 sera organise conjointement par le Centre de Recherche en Informatique de Dijon (CRID) de l'Universite de Bourgogne et le Laboratoire d'Automatique de Besancon (LAB) de l'Universite de Franche-Comte. ------------------------------------------------------------------------------- + PROGRAMME DES JOURNEES + ------------------------------------------------------------------------------- MERCREDI 17 MAI 1995 8:45 - 9:15 Accueil et enregistrement des participants 9:15 - 9:30 Message de Bienvenue 9:30 - 11:00 Session CONTRAINTES 1 * Un modele d'execution reactif et interactif pour la programmation logique avec contraintes (J. Fowler, T. Sola - LCR Thomson-CSF ; F. Fages - LIENS) * Constraint rewrite programs : a way to evaluate CLP programs (G. Richard, F. Saubion - LIFO, Universite d'Orleans) * Prolog IV : langage et algorithmes (F. Benhamou - LIFO, Universite d'Orleans ; Touraivane - PROLOGIA) 11:00 - 11:30 Pause cafe 11:30 - 13:00 Session SEMANTIQUE * A generic fixpoint semantics for PROLOG and its application for abstract interpretation (B. Le Charlier - Universite de Namur (Belgique) ; P. Van Hentenryck - Brown University (USA)) * Redefinir l'enlisement pour la resolution SLDNF (J.H. Rety - INRIA Rocquencourt) * Preuves compositionnelles en programmation logique (A. Lallouet - LIFO, Universite d'Orleans) 13:00 - 14:15 Dejeuner 14:15 - 15:00 CONFERENCE INVITEE * Solvable set/hyperset context (E. Omodeo - Universite de Rome (Italie)) 15:00 - 15:30 Session EXTENSION * Logic Programming with Monads and Comprehensions (Y. Bekkers - Universite de Rennes 1 ; P. Tarau - Universite de Moncton (Canada)) 15:30 - 16:00 Pause cafe 16:00 - 17:30 Session BASES DE CONNAISSANCES - BASES DE DONNEES * Evaluation des methodes d'achevement par parties (O. Roussel, P. Mathieu - LIFL, CNRS URA 369, Universite de Lille 1) * Fixpoint definitions of the well-founded semantics for disjunctive logic programs and deductive databases (C. Papp - University "Al. I. Cuza" Iasi (Roumanie)) * A mixed approach to negation in general datalog programs (V. Phan Luong - LIM, CNRS URA 1787, Universite de Marseille) 17:30 Depart pour la visite de cave ------------------------------------------------------------------------------- JEUDI 18 MAI 1995 8:30 - 10:00 Demonstration de prototypes 10:00 - 10:45 CONFERENCE INVITEE Applications et evolutions du langage CHIP M. Dincbas (COSYTEC) 10:45 - 11:15 APPLICATION Programmation par contraintes appliquee a l'industrie agro-alimentaire au Bresil A. Fernandez De Alencar, B. Vich (ABC BULL - Bresil) J.J. Chabrier (CRID, Universite de Dijon) 11:15 - 11:45 APPLICATION Utilisation de la PLC pour des systemes d'aide a la decision en planification et ordonnancement chez Dassault Aviation A. Chamard (DASSAULT Aviation) 11:45 - 13:15 Demonstration de prototypes 13:15 - 14:30 Dejeuner 14:30 - 15:15 CONFERENCE INVITEE Applications industrielles de PROLOG III et presentation de PROLOG IV Touraivane (PROLOGIA) 15:15 - 16:00 CONFERENCE INVITEE Applications et evolutions d'ILOG SOLVER J.F. Puget (ILOG) 16:00 - 16:30 Pause cafe 16:30 - 18:00 TABLE RONDE Les apports de la resolution par contraintes pour la resolution d'applications industrielles Avec la participation des societes COSYTEC, ILOG, PROLOGIA, DASSAULT Aviation, ABC BULL (Bresil) ; Animateur : B. Legeard (LAB, Universite de Franche-Comte) 18:00 - 19:00 Demonstration de prototypes 19:00 Reunion ALP France ------------------------------------------------------------------------------- VENDREDI 19 MAI 1995 9:00 - 10:00 TUTORIAL * Bases de Donnees Deductives (F. Bry - Universite de Munich) 10:00 - 11:00 Session BASES DE DONNEES * An Algebraic semantics for Datalog (E. Foustoucos, N. Spyratos - LRI, CNRS URA 410, Universite d'Orsay ; K. Lellahi - LIPN, CNRS URA 1507, Universite de Paris 13) * Regles de mises a jour et programmes Datalog (M. Halfeld Ferrari Alves, N. Spyratos - LRI, CNRS URA 410, Universite d'Orsay ; D. Laurent - LIFO, Universite d'Orleans) 11:00 - 11:30 Pause cafe 11:30 - 13:00 Session CONTRAINTES * Une application pragmatique de la consistance de chemins (P. Berlandier - I3S, Universite de Nice) * Resolution de problemes continus en PLC avec les intervalles (S. N'Dong, M. Van Caneghem - LIM, CNRS URA 1787, Universite de Marseille) * Algorithmes pour le traitement incremental des contraintes lineaires sur les nombres rationnels (N. Singer - Laboratoire d'informatique de Clermont-Ferrand) 13:00 - 14:15 Dejeuner 14:15 - 14:30 Remise des prix du challenge du prototype 14:30 - 16:00 Session RESOLUTION * Controle dynamique de la resolution pour les programmes logiques avec contraintes (F. Mesnard, S. Hoarau - Iremia, Universite de la Reunion) * Logique des defauts de Lukaszewicz : un demonstrateur base sur la SLD-resolution pour les theories ouvertes (P. Nicolas, B. Duval - Universite d'Angers) * Typage et validation - une adaptation du point de vue de Lee Naish (B. Malfon - LIFO, Universite d'Orleans) 16:00 Cloture des journees ------------------------------------------------------------------------------- + CHALLENGE PROTOTYPE + ------------------------------------------------------------------------------- Pour "connaitre et faire connaitre" les travaux d'experimentation en programmation logique et ses extensions, JFPL'95 organise, en parallele avec le programme scientifique, un challenge des meilleurs prototypes de recherche developpes dans les laboratoires francophones. Les prototypes presentes seront les suivants : * Programme de diagnostic de circuits electroniques (E. Loiez - Departement signaux et systemes, ISEN, Lille) * Approche par contraintes : application a un probleme de gestion de production (M. Sicard, L. Haudot - DASSAULT AVIATION ; P. Esquirol, P. Lopez - LAAS, Toulouse) * Verification de declarations en programmation logique avec contraintes (E. V etillard - LIM, CNRS URA 1787, Marseille) * CLPS : un langage de PLC ensembliste (F. Ambert, B. Legeard, H. Zidoum - LAB, CNRS URA 1785, Besan5on) * Demonstration du prototype Chimera : un systeme de Base de Donnees Deductif et Oriente Objet (P. Bonnet, S. Bressan - ECRC Munich (Allemagne)) * MINOS, Analyse et Simulation d'Hypernets (A. Lefort, P. Yim - LAIL, CNRS URA 1440, Lille) * The theorem prover SATCHMO : strategies, heuristics and applications (F. Bry - Universite de Munich) * Concept : a system for deriving datalog inheritance (M.A. Oros, P.Y. Gloess - LaBRI, ENSERB et Universite de Bordeaux I, CNRS URA 1304) * The clp(FD) system (P. Codognet, D. Diaz - INRIA Rocquencourt) * SCORE(FD/B) : resolution de problemes SAT aleatoires et structures (J. Chabrier, V. Juliard, J.M. Richer - CRID, Dijon) * Outil d'aide a l'elaboration d'ordonnancement cyclique pour les lignes de traitement de surface (C. Varnier, P. Baptiste, B. Legeard - LAB, ENSMM, CNRS URA 1785, Besancon) * U-Log 3 = datalog + constraints (P.Y. Gloess, M.A. Oros - LaBRI, ENSERB et Universite de Bordeaux I, CNRS URA 1304 ; Chu Min Li - UTC, CNRS URA 817 et LAMIFA, Amiens) * Une implementation d'un systeme cooperatif pour la resolution de contraintes sur les reels (P. Marti - ESSI, Nice) * Conjunto : un langage de programmation en logique avec contraintes sur domaines finis d'ensembles (C. Gervet - ECRC, Munich (Allemagne)) * Un modele d'architecture multi-agents entierement ecrit en Prolog (N. Bensaid, P. Mathieu - LIFL, CNRS URA 369, Lille 1) * Overview of Miles and its constraint solving mechanism (P. Bellot - ENST Paris ; O. Camp, C. Matiachoff - IBM Paris) * Une approche declarative et non deterministe de la programmation logique par objets mutables (M. Ngomo, J.P. Pecuchet, A. Drissi-Talbi - LIR INSA de Rouen) * SetX2 : un langage logico-fonctionnel manipulant des ensembles finis et infinis (P. Yim - LAIL, EC Lille, CNRS URA 1440) * TALC : un tuteur pour la construction de figures geometriques logiquement correctes (C. Desmoulins - CRIN, Nancy) * Evaluation repartie asynchrone de requetes DATALOG (V. Berry, P. Ezequel - LIRMM, Montpellier) * Un langage de programmation en logique propositionnelle base sur des techniques de reecriture (C. Roblot - CRID, UniversitE de Dijon) * Optimisation de dEcoupe tridimensionnelle dans un processus de transformation du bois (S. Laduguie, O. Decroux - CRID, UniversitE de Dijon ; C. Tripier - SociEtE Mauchamp, Dijon) * ELYCE : Optimisation de l'emploi du temps des lycEes et des colleges (D. Guinaudeau - BULL) ------------------------------------------------------------------------------- + INFORMATIONS PRATIQUES + ------------------------------------------------------------------------------- Lieu : Universite de Bourgogne Faculte de droit Amphitheatre Guitton (extension de la faculte de droit) Boulevard Gabriel Campus universitaire 21000 DIJON France Acces : Jusqu'a Dijon : SNCF : TGV a 1h35 de Paris AUTOROUTE : A6-A38 vers Paris Lyon A26 vers Reims, Calias, Lille A31 vers Nancy, Metz, Luxembourg A36 vers Mulhouse, Strasbourg A39 vers Dole AEROPORT : Dijon-Bourgogne Liaisons regulieres, nationales et internationales a 6 km au sud-est de Dijon B.P. 25 21601 Longvic Cedex Tel : 80.67.67.67 Fax : 80.63.02.99 Jusqu'a la faculte de droit : * autobus : ligne 9 a prendre en gare, arret sur le campus : ERASME ou SAVARY * taxis a prendre en gare. Hebergement : Nombreux hotels. Une liste des hotels vous sera adressee des reception de votre bulletin d'inscription. (ATTENTION !!!, Dijon est une ville touristique et les hotels sont assez charges au mois de mai.) Vous pouvez aussi contacter l'office du tourisme de Dijon : Office du tourisme de Dijon Place Darcy B.P. 1309 21022 Dijon Cedex Tel : 80.44.11.44 Minitel : 3615 ITOUR ------------------------------------------------------------------------------- + BULLETIN D'INSCRIPTION A JFPL'95 + ------------------------------------------------------------------------------- Droits d'inscription : Avant le 20 avril 1995 : Universitaire : 1 000FF Industriel : 1 700FF Etudiant : 400FF (envoyer une photocopie de la carte d'etudiant de l'annee en cours) Apres le 20 avril 1995 : Universitaire : 1 300FF Industriel : 2 000FF Etudiant : 500FF (envoyer une photocopie de la carte d'etudiant de l'annee en cours) Reduction accordee aux membres de l'ALP : (a deduire des tarifs ci-dessus) Universitaire : 200FF Industriel : 200FF Etudiant : 100FF Reglement par : * Cheque postal ou bancaire etabli en FRANCS FRANCAIS a l'ordre de : APIAB (Association pour la Promotion de l'Informatique Avancee en Bourgogne) compte numero 00050084562 a la Societe Generale agence Dijon Clemenceau * Bon de commande Vous pouvez decouper le bon ci-dessous et l'envoyer au secretariat des journees ou demander un programme et un bulletin d'inscription au secretariat des journees. ------------------------------------------------------------------------------- Nom : Prenom : Organisme : Adresse : Code postale : Ville : Pays : Telephone : Fax : e-mail : Facture souhaitee en exemplaire(s) Adresse de facturation si differente : Desire s'inscrire aux quatrieme journees Francophones de Programmation en Logique (JFPL'95) et s'engage a verser les droits d'inscription. Date : Signature : Je desire recevoir une fiche de reduction congres sur le transport SNCF OUI NON Ci joint mon reglement par : CHEQUE BON DE COMMANDE ------------------------------------------------------------------------------- ------------------------------------------------------------------------------- Pour tout renseignement complementaire concernant les journees, contacter : Secretariat : Mme Dominique BELIME CRID - Faculte des Sciences Mirande B.P. 138 21004 DIJON Cedex Tel : (33).80.39.58.87 - Fax : (33).80.39.58.15 e-mail : jfpl95@crid.u-bourgogne.fr Responsable du challenge : Francois JACQUENET CRID - Faculte des Sciences Mirande B.P. 138 21004 DIJON Cedex Tel : (33).80.39.58.85 - Fax : (33).80.39.58.15 e-mail : jfpl95@crid.u-bourgogne.fr ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- From pp@dcs.gla.ac.uk Mon Mar 27 06:30:28 1995 Received: from cs.wisc.edu by sea.cs.wisc.edu; Mon, 27 Mar 95 06:29:53 -0600; AA08901 Received: from [130.209.240.50] by cs.wisc.edu; Mon, 27 Mar 95 06:29:15 -0600 Received: from hoy.dcs.gla.ac.uk by vanuata.dcs.gla.ac.uk with LOCAL SMTP (PP); Mon, 27 Mar 1995 13:26:29 +0100 Received: by hoy.dcs.gla.ac.uk (4.1/Dumb) id AA24197; Mon, 27 Mar 95 13:26:27 BST Date: Mon, 27 Mar 95 13:26:27 BST From: pp@dcs.gla.ac.uk Message-Id: <9503271226.AA24197@hoy.dcs.gla.ac.uk> To: dbworld Subject: POS-6 proceedings available The proceedings of the sixth international workshop on Persistent Object Systems held in Tarascon, France last year are now available through Springer-Verlag: Persistent Object Systems Atkinson, M.P., Benzaken, V. and Maier, D. (eds.) Springer-Verlag and British Computer Society, 1995 Workshops in Computing Series ISBN 3-540-19912-8 29 papers with summaries of sessions and keynote discussions (object store engineering, object caching, concurrency, applications, system evolution, optimization, reflection). Paul ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- From raghu@quarg.cs.wisc.edu Mon Mar 27 13:06:36 1995 Received: from quarg.cs.wisc.edu by sea.cs.wisc.edu; Mon, 27 Mar 95 13:06:32 -0600; AA14968 Date: Mon, 27 Mar 95 13:06:30 -0600 From: Leopoldo Bertossi Message-Id: <9503271906.AA06864@quarg.cs.wisc.edu> Received: by quarg.cs.wisc.edu; Mon, 27 Mar 95 13:06:30 -0600 To: dbworld@quarg.cs.wisc.edu CATHOLIC UNIVERSITY OF CHILE SCHOOL OF ENGINEERING DEPARTMENT OF COMPUTER SCIENCE We wish to appoint, in July/August 1995, an assistant professor of computer science. Theoretical and applied research in artificial intelligence, software engineering, collaborative systems, data communications, distributed systems, and performance evaluation is carried out in our Department. We will give preference to applicants with active research interests in distributed systems, data communication and networks, or multimedia systems. Typical duties of a professor in our Department include research, teaching, and extension. The applicant should be able to lecture at all levels, including large first--year classes. Please, send your curriculum vitae together with names, addresses, telephone and fax numbers of three contactable referees not later than April 20th 1995 to Dr. Leopoldo Bertossi (Chairman), Catholic University of Chile, School of Engineering, Dept. of Computer Science, Casilla 306, Santiago 22, Chile. Fax: (56-2) 552 4054. E-mail: bertossi@ing.puc.cl. ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- From raghu@quarg.cs.wisc.edu Tue Mar 28 10:07:20 1995 Received: from quarg.cs.wisc.edu by sea.cs.wisc.edu; Tue, 28 Mar 95 10:07:06 -0600; AA08246 Date: Tue, 28 Mar 95 10:07:04 -0600 From: felty@research.att.com (Amy Felty) Message-Id: <9503281607.AA21672@quarg.cs.wisc.edu> Received: by quarg.cs.wisc.edu; Tue, 28 Mar 95 10:07:04 -0600 To: dbworld@quarg.cs.wisc.edu [This announcement is being sent to email lists. Our apologies for multiple copies. This information is also available on the world-wide web at http://www.research.att.com/lics/, and via anonymous ftp from research.att.com, directory /dist/lics.] Tenth Annual IEEE Symposium on Logic in Computer Science June 26-29, 1995 San Diego, California Organized by University of California, San Diego Sponsored by IEEE Technical Committee on Mathematical Foundations of Computing IEEE COMPUTER SOCIETY with support from AT&T Bell Laboratories IBM Almaden Research Center Rice University University of California, San Diego CONFERENCE PROGRAM ****************** SUNDAY, June 25 =============== CONFERENCE AND HOUSING CHECK-IN (11:00am - Midnight) Muir Conference Desk, Tenaya Hall WELCOME RECEPTION (6:00pm-9:00pm) Price Center Plaza MONDAY, June 26 =============== INTRODUCTION (8:30-8:45) Moshe Y. Vardi, LICS General Chair INVITED LECTURE (8:45-9:45) Chair: Moshe Y. Vardi (Rice) Amir Pnueli (Weizmann Institute): Quantified Temporal Logic - Axiomatization and Applications SESSION 1: PROGRAM LOGICS (10:15-11:45) Chair: Dexter Kozen (Cornell) 10:15 Completeness of Kozen's Axiomatisation of the Propositional Mu-Calculus, Igor Walukiewicz (Aarhus) 10:45 Once and For All, Orna Bernholtz (Technion) & Amir Pnueli (Weizmann Institute) 11:15 Complete Proof Systems for First Order Interval Temporal Logic, Bruno Dutertre (London) LUNCH (11:45-1:30) SESSION 2: FINITE MODELS I (1:30-3:30) Chair: Val Tannen (U Penn & Paris-Sud) 1:30 The Infinitary Logic of Sparse Random Graphs, James F. Lynch (Clarkson) & Jerzy Tyszkiewicz (RWTH Aachen) 2:00 Generalized Quantifiers and 0-1 Laws, Anuj Dawar (Wales) & Erich Graedel (RWTH Aachen) 2:30 Relativized Logspace and Generalized Quantifiers over Finite Structures, Georg Gottlob (TU Wien) 3:00 First-order Queries on Finite Structures over the Reals, Jan Paredaens (Antwerp), Jan Van den Bussche (INRIA) & Dirk Van Gucht (Indiana) SESSION 3: MODEL CHECKING AND VERIFICATION Chair: A. P. Sistla (U Illinois, Chicago) (4:00-6:00) 4:00 Model-Checking of Causality Properties, Rajeev Alur (AT&T Bell Labs), Doron Peled (AT&T Bell Labs) & Wojciech Penczek (Eindhoven) 4:30 On the Complexity of Modular Model Checking, Moshe Y. Vardi (Rice) 5:00 Timing Behavior Analysis for Real-Time Systems, Farn Wang (Academia Sinica) 5:30 On the Verification Problem of Nonregular Properties for Nonregular Processes, Ahmed Bouajjani (Verimag-Spectre), Peter Habermehl (Verimag-Spectre) & Rachid Echahed (LGI-IMAG) DEMO SESSION (8:30pm) TUESDAY, June 27 ================ INVITED LECTURE (8:30-9:30) Chair: Ed Clarke (CMU) Michael Gordon (Cambridge): The Semantic Challenge of Verilog HDL SESSION 4: THEOREM PROVING AND AI (10:00-12:00) Chair: Thomas Henzinger (Cornell) 10:00 Uniform Proofs and Disjunctive Logic Programming, Gopalan Nadathur & Donald W. Loveland (Duke) 10:30 Structural Cut Elimination, Frank Pfenning (CMU) 11:00 Paramodulation without Duplication, Christopher Lynch (INRIA) 11:30 Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning, V. Wiktor Marek (Kentucky), Anil Nerode (Cornell) & Jeffrey B. Remmel (UC San Diego) LUNCH (12:00-1:30) SESSION 5: CONCURRENCY I (1:30-3:30) Chair: Carolyn Brown (Sussex) 1:30 Control Structures, Alex Mifsud (Malta), Robin Milner (Cambridge) & John Power (Edinburgh) 2:00 Configuration Structures, R. J. Van Glabbeek (Stanford) & G. D. Plotkin (Edinburgh) 2:30 A Typed Calculus of Synchronous Processes, Simon Gay & Rajagopal Nagarajan (Imperial College) 3:00 Modal Mu-Types for Processes, Marino Miculan & Fabio Gadducci (Pisa) SESSION 6: SEMANTICS I (4:00-5:30) Chair: Martin Abadi (DEC SRC) 4:00 Games and Full Abstraction for the Lazy Lambda-Calculus, Samson Abramsky & Guy McCusker (Imperial College) 4:30 Domain Theory in Stochastic Processes Abbas Edalat (Imperial College) 5:00 A Fully Abstract Semantics for a Concurrent Functional Language with Monadic Types Alan Jeffrey (Sussex) GENERAL MEETING (8:30pm) WEDNESDAY, June 28 ================== INVITED LECTURE (8:30-9:30) Chair: Dexter Kozen (Cornell) Robert Constable (Cornell): Experience with Type Theory as a Foundation for Computer Science SESSION 7: LAMBDA-CALCULUS AND TYPES Chair: Jerzy Tiuryn (Warsaw) (10:00-12:00) 10:00 Equality Between Functionals in the Presence of Coproducts, Daniel J. Dougherty & Ramesh Subrahmanyam (Wesleyan) 10:30 A Logic of Subtyping, Giuseppe Longo (LIENS-CNRS & DMI, Paris), Kathleen Milsted (France Telecom CNET) & Sergei Soloviev (Aarhus) 11:00 Normalization and Extensionality, Adolfo Piperno (Roma) 11:30 New Notions of Reduction and Non-Semantic Proofs of Beta-Strong Normalization in Typed Lambda-Calculi A. J. Kfoury & J. B. Wells (Boston U) LUNCH (12:00-1:30) SESSION 8: FINITE MODELS II (1:30-3:30) Chair: Phokion Kolaitis (UC Santa Cruz) 1:30 Finitely Monotone Properties, Alexei P. Stolboushkin (UC Los Angeles) 2:00 Tree Canonization and Transitive Closure, Kousha Etessami & Neil Immerman (U Mass, Amherst) 2:30 Ptime Canonization for Two Variables with Counting, Martin Otto (RWTH Aachen) 3:00 When Do Fixed Point Logics Capture Complexity Classes?, Anil Seth (Institute of Mathematical Sciences, Madras) SESSION 9: UNIFICATION AND REWRITING (4:00-5:30) Chair: Leo Bachmair (SUNY Stony Brook) 4:00 Higher-Order Unification via Explicit Substitutions, Gilles Dowek (INRIA), Therese Hardin (LITP & INRIA) & Claude Kirchner (INRIA & CRIN-Villers-les-Nancy) 4:30 Sequentiality, Second Order Monadic Logic and Tree Automata, Hubert Comon (CNRS & LRI-U Paris) 5:00 Orderings, AC-Theories and Symbolic Constraint Solving, Hubert Comon (CNRS & LRI-U Paris), Robert Nieuwenhuis (TU Catalonia) & Albert Rubio (TU Catalonia) RECEPTION (5:30pm-6:30pm) Stephen Birch Aquarium DINNER (6:30pm-8:30pm) Stephen Birch Aquarium After dinner speaker: B. Trakhtenbrot (Tel Aviv) Origins and Metamorphoses of the Trinity: Logical Nets, Automata, Specifications in Monadic Logic THURSDAY, June 29 ================= SESSION 10: MODEL CHECKING II (8:30-10:00) Chair: E. Allen Emerson (UT Austin) 8:30 Efficient On-the-Fly Model Checking for CTL* Girish Bhat (NC State), Rance Cleaveland (NC State) & Orna Grumberg (Technion) 9:00 Partial Model Checking Henrik Reif Andersen (TU Denmark) 9:30 Hardware Verification via Boolean Logic Programming Enrico Tronci (L'Aquila) SESSION 11: CONCURRENCY II (10:30-11:30) Chair: Ursula Goelz (Hildesheim) 10:30 Compositionality via Cut-Elimination: Hennessy-Milner Logic for an Arbitrary GSOS Alex K. Simpson (Edinburgh) 11:00 Compositional Testing Preorders for Probabilistic Processes Bengt Jonsson & Wang Yi (Uppsala) LUNCH (11:30-1:00) SESSION 12: SEMANTICS II (1:00-2:30) Chair: C.-H. Luke Ong (Oxford & Natl. U Singapore) 1:00 The Stone Gamut: A Coordinatization of Mathematics Vaughan R. Pratt (Stanford) 1:30 Logically Presented Domains Erik Palmgren & Viggo Stoltenberg-Hansen (Uppsala) 2:00 Games Semantics for Full Propositional Linear Logic Francois Lamarche (Imperial College) SESSION 13: LINEAR LOGIC (3:00-4:30) Chair: Dale Miller (U Penn) 3:00 Decision Problems for Second Order Linear Logic Patrick Lincoln (SRI), Andre Scedrov (U Penn) & Natarajan Shankar (SRI) 3:30 The Complexity of Neutrals in Linear Logic Max I. Kanovich (Tohoku & Russian Humanities State) 4:00 Decidability of Linear Affine Logic Alexei P. Kopylov (Moscow State) END OF CONFERENCE. CONFERENCE INFORMATION ********************** CONFERENCE OFFICE ================= Please address registration form and inquiries to: UCSD, Conference Services Cindy Laurence Conf. Coordinator LICS'95 9500 Gilman Drive, Dept. 0513 La Jolla, CA 92093-0513 USA Phone: (01) (619) 534-4220 Fax: (01) (619) 534-2042 Email: claurence@ucsd.edu REGISTRATION ============ Mail or fax the completed registration form with payment in U.S. Currency to UCSD, Conference Services at the above address. For early registration, payment must be received by May 26, 1995. Fees will be returned in full for any written cancellation received before June 14. No refunds will be made after June 14. A table of registration fees can be found on the registration form. The member rate applies to: members of ACM, IEEE, and EATCS, members of the organizing and program committee, and authors of accepted papers. The student rate applies to full time students only. Students must enclose a copy of their 1994-95 student card with the registration form. The registration fee includes conference participation, a copy of the proceedings, coffee breaks and an invitation to the welcome reception. There is a separate charge for the banquet. Payment must be in U.S. currency in the form of Visa, Mastercard, check or money order. All forms of payment must be drawn on a U.S. bank. Checks and money orders should be made payable to: "UC Regents". Once the registration form and remittance have been received, the Conference Manager will send a receipt and confirmation letter to the participant's address. ACCOMMODATION ============= Reasonably priced and comfortable apartment housing is available on the UCSD campus within walking distance from the conference site. Each apartment houses three or four people who will share a living room and a bathroom. Double rooms with two single beds may be rented as a double or single room. Campus housing is sold as a package housing/meal plan only. The package includes: four nights accommodations, Sunday through Thursday, and breakfast Monday through Thursday. Breakfast will be served near the meeting site. Dinner for Monday and Tuesday can either be taken on-campus or at a nearby restaurant. For restaurant information inquire at the check-in desk upon arrival. The banquet will be held at the Aquarium on Wednesday evening. Housing is also available to anyone who wishes to arrive early or depart late. A fee schedule is printed on the registration form. The pre-registration deadline for on-campus housing is May 26. Registration received after May 26 is subject to availability. Refunds are available for housing/meal plan if cancellation is made in writing before June 14. LOCATION ======== The conference is being held at the Price Center of the University of California, San Diego campus. The campus is located in La Jolla north of downtown San Diego. Nearby attractions include the San Diego Zoo and Seaworld. UCSD is also well known for the Scripps Institute of Oceanography which rests on the west end of campus and overlooks the pacific. The weather in La Jolla in June is usually pleasant with temperatures around 25 degrees C and low humidity. Evenings can be cooler, down to 17 degrees C, so a light jacket or sweater may be useful. Occasionally very hot, dry weather (Santa Ana) can occur for a few days if the prevailing winds shift and come from the inland deserts. The Pacific Ocean is warm enough for swimming. We suggest you bring along swim wear and a beach towel. You may also wish to bring a hat. RECEPTIONS ========== A Welcome Reception will be held on Sunday evening from 6pm-9pm at UCSD in the Price Center Plaza. The Conference Banquet will be held at the Stephen Birch Aquarium on Wednesday, June 28. Please reserve a banquet ticket when you complete the registration form. LOCAL ARRANGEMENTS ================== Lunch and dinner are at the participant's own expense. Participants may dine at one of seven restaurants within the Price Center or at one of the other food service facilities throughout campus. Participants staying on campus may have dinner at one of the dining facilities on campus or at one of the many fine restaurants located in La Jolla. La Jolla is approximately 4 miles from campus and may be reached by cab or bus. Additional local arrangements information may be obtained on the World Wide Web at: http://math.ucsd.edu/lics95 The organizers cannot be held liable to conference participants for injury, damage or loss of their personal property. It is suggested that participants make their own insurance arrangements. REGISTRATION AND INFORMATION DESKS ================================== Tenaya Hall: Daily 8am-Midnight Price Center: Sunday 6pm-9pm Mon.-Thurs. 8am-5pm Housing registration is at Tenaya Hall. Conference registration is at the Price Center at the hours listed above and at Tenaya Hall otherwise. TRAVEL INFORMATION ================== Please make travel arrangements early. Summers are a busy travel period in Southern California. A special conference fare has been negotiated with American Airlines for the LICS '95 Conference. This applies to domestic reservation only, though international flights may reference the ID Number to assist us with tracking arrivals and departures. Please contact the American Airlines Meeting Services Desk at (800) 433-1790; to obtain the discount please reference Star File #S0465HN. Travelers are entitled to either: 5% off the lowest applicable fare available 10% off full coach or first class fare Allowable travel dates: June 21-30, 1995 A cab fare from the airport to La Jolla is approximately $30. A number of shuttles operate continually outside the baggage claim area. Peerless Shuttle is recommended as they cost $15/person; see ground transportation or contact them on a courtesy phone (619-554-1700) at the airport. Ask the driver to take you to the Tenaya Hall Conference Desk on the Muir Campus. (You will probably need to show the driver the campus map to find Tenaya Hall but he will know where UCSD is!). Rooms will become available for occupancy starting at 11am on Sunday. PARKING ======= A parking permit is required for participants arriving by private or rental car. For those being housed on campus, a parking permit is included in the package plan. For those housed off campus, a parking permit may be purchased at the registration desk (current price is $15/week). Parking permits are required seven days a week from 7am to 11pm. Monitoring of permits tends to be quite diligent! SMOKING ======= UCSD has been designated by the University Chancellor as a non-smoking environment. Smoking is not permitted within any public buildings on the campus. However, smoking is permitted on the grounds and in campus housing. RELATED EVENTS ============== The following events will be held in La Jolla, California, June 18-28. - PLDI'95, ACM SIGPLAN Conference on Programming Language Design and Implementation, June 18-21 - Workshop on Language, Compiler, and Tool Support for Real-Time Systems, June 21-22 - PEPM'95, ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, June 21-23 - Haskell Workshop, June 25 - FPCA'95, SIGPLAN/SIGARCH/WG2.8 Conference on Functional Programming Languages and Computer Architecture, June 25-28 Information may be obtained on the Web at: http://www.research.digital.com/wrl/projects/sigplan95/ LOCAL ARRANGEMENTS CHAIRS ========================= Sam Buss (619) 534-6455 Jeff Remmel (619) 534-2643 University of California, San Diego Mathematics Department 9500 Gilman Drive, 0112 La Jolla, CA 93093-0112 USA Email: lics95@math.ucsd.edu LICS ON THE WORLD WIDE WEB ========================== LICS'95: http://math.ucsd.edu/lics95 LICS: http://www.research.att.com/lics/ LICS'95 REGISTRATION FORM ************************* Please type or print. Last Name: ______________________________________________________________ First Name: _____________________________________________________________ Affiliation: ____________________________________________________________ Street Address: _________________________________________________________ _________________________________________________________________________ City: ___________________________________________________________________ State/Zip: ______________________________________________________________ Country: ________________________________________________________________ Phone(s): _______________________________________________________________ Fax: ____________________________________________________________________ E-mail: _________________________________________________________________ CONFERENCE REGISTRATION RATES. All fees are in U.S. Currency. Please circle the applicable fees. Before On or after May 26 May 26 Regular $380.00 $480.00 *Member $290.00 $380.00 Student $185.00 $250.00 Before On or after June 19 June 19 Banquet $50.00 Not Available **Breakfast Only $23.60 Not Available * Includes members of ACM, IEEE, and EATCS, members of the organizing and program committee, and authors of accepted papers. ** Only available to participants who do not reside on campus. Rate justification: _____________________________________________________ Full-time student at: ___________________________________________________ LICS'95 REGISTRATION FORM (cont.) ********************************* ON-CAMPUS HOUSING. June 26-29, 1995 (includes 4 breakfasts). All fees are in U.S. Currency. ** Payment due with registration. ** Single Room $179.50 Double Room $147.60 Additional nights lodging: Single Room $39.00 Double Room $31.00 Family Apartment: Please call for rates. TOTAL DUE (REGISTRATION AND ACCOMMODATION): _____________________________ PAYMENT. Circle one: Check or Money Order Visa/Mastercard ** All funds must be drawn on a U.S. bank. ** Credit card #: __________________________________________________________ Expiration Date: ________________________________________________________ Signature: ______________________________________________________________ Date: ___________________________________________________________________ PREFERRED ROOMMATE (for those choosing double rooms): _________________________________________________________________________ ARRIVAL DATE: ___________________________________________________________ DEPARTURE DATE: _________________________________________________________ CONFERENCE ORGANIZATION *********************** LICS General Chair: Moshe Y. Vardi 1995 Conference Co-chairs: Samuel R. Buss & Jeffrey B. Remmel 1995 Program Chair: Dexter Kozen Publicity Co-chairs: Amy Felty & Douglas Howe Program Committee: M. Abadi, L. Bachmair, C. Brown, E. Clarke, E.A. Emerson, U. Goelz, T. Henzinger, P. Kolaitis, D. Kozen (Chair), D. Miller, C.-H.L. Ong, A.P. Sistla, V. Tannen, J. Tiuryn. Organizing Committee: M. Abadi, S. Abramsky, S. Artemov, E. Borger, A. Borodin, W. Brauer, A. Bundy, S. Buss, E. Clarke, R. Constable, A. Felty, U. Goltz, D. Howe, G. Huet, J.-P. Jouannaud, D. Kapur, C. Kirchner, P. Kolaitis, D. Kozen, T. Leighton, D. Leivant, A.R. Meyer, D. Miller, J. Mitchell, Y. Moschovakis, M. Okada, P. Panangaden, J. Remmel, J. Riecke, S. Ronchi della Rocca, A. Scedrov, D. Scott, J. Tiuryn, M.Y. Vardi (Chair). %************************************************************************ %************************ LATEX VERSION ********************************* %************************************************************************ \documentstyle[twocolumn]{article} \pagestyle{empty} \topmargin 0pt \advance \topmargin by -\headheight \advance \topmargin by -\headsep \marginparsep 10pt \oddsidemargin 0pt \evensidemargin \oddsidemargin \marginparwidth 0.5in \textwidth 6.5in \textheight 20in % We'll do our own pagebreaks. \newcommand{\mynewpage}{ \newpage\noindent} \advance \oddsidemargin by -.3in \advance \evensidemargin by -.3in \advance \textwidth by .6in \advance \columnsep by .3in \newcommand{\eightmm}{\makebox[8mm]{}} \newcommand{\smc}[1]{{\small\rm #1}} \renewcommand{\sp}{\makebox[1.5mm]{}} \newcommand{\tlk}[1]{\vspace*{1.0mm}\newline{\sf #1}\hspace*{1mm}} \newcommand{\ttlk}[1]{\noindent{\sf #1}\hspace*{1.6mm}} \newcommand{\new}{\vspace*{0.7mm}\newline{$\bullet$}\hspace*{1mm}} \newcommand{\ttalk}{$\bullet$\hspace*{1mm}} \newcommand{\next}{\newline\hspace*{4mm}} \newcommand{\nextctd}{\linebreak\rule{0in}{0in}\hspace{4mm}} \newcommand{\aut}{\newline\hspace*{4mm}} \newcommand{\bx}{$\Large \Box$} \newcommand{\twocm}{\makebox[2cm]{}} \newcommand{\onecm}{\makebox[1cm]{}} \newcommand{\zero}{\makebox[0cm]{}} \newcommand{\onemm}{\makebox[1mm]{}} \newcommand{\twomm}{\makebox[2mm]{}} \newcommand{\threemm}{\makebox[3mm]{}} \newcommand{\ulonecm}{\rule{1.4cm}{0.3mm}} \newcommand{\tulonecm}{\rule{1.4cm}{0.15mm}} \newcommand{\nlg}{{\sc nlg}} \newcommand{\sbf}{\bf} \newlength{\talktimelength} \newlength{\talknamelength} \settowidth{\talktimelength}{\sf{}00:000} \setlength{\talknamelength}{.5\textwidth} \addtolength{\talknamelength}{-.5\columnsep} \addtolength{\talknamelength}{-\talktimelength} \newcommand{\talk}[3]% { \zero\\ \noindent \parbox[t]{\talktimelength}{\sf #1}% \parbox[t]{\talknamelength}{{\it #2,} {#3}} } \newcommand{\sessionskip}{\vspace{1ex}} \newcommand{\firsttalkskip}{\newline\vspace{-10pt}} \begin{document} % ******** TITLE PAGE ************* \begin{center} {\large\bf Tenth Annual IEEE Symposium on}\\[3mm] {\Large\bf Logic in Computer Science}\\[3mm] \makebox[1mm]{}\\ {\bf June 26--29, 1995}\\[2mm] {\bf San Diego, California}\\[1.0in] {\sf Organized by}\\[3mm] {\it University of California, San Diego}\\[.5in] {\sf Sponsored by}\\[3mm] {\it IEEE Technical Committee on\\ Mathematical Foundations of Computing}\\[2mm] %\begin{minipage}[c]{.25in} %\psfig{figure=ieee-cs-logo.ps,width=.25in} %\end{minipage} {\sf\bf IEEE COMPUTER SOCIETY}\\[.5in] {\sf with support from}\\[2mm] {\it AT\&T Bell Laboratories\\[1.4mm] IBM Almaden Research Center\\[1.4mm] Rice University\\[1.4mm] University of California, San Diego}\\[0in] \vfill \end{center} \newpage \begin{center} {\large\bf Conference Information} \end{center} \noindent{\sbf Conference Office.} \ \ Please address registration form and inquiries to: \begin{verse}\it UCSD, Conference Services\\ Cindy Laurence,\\ Conf. Coordinator LICS'95\\ 9500 Gilman Drive, Dept. 0513\\ La Jolla, CA 92093-0513 USA\\[3mm] Phone: (01) (619) 534-4220\\ Fax: (01) (619) 534-2042\\ Email: claurence@ucsd.edu \end{verse} \medskip \noindent{\sbf Registration.} \ \ Mail or fax the completed registration form with payment in U.S. Currency to UCSD, Conference Services at the above address. For early registration, payment must be received by May 26, 1995. Fees will be returned in full for any written cancellation received before June 14. No refunds will be made after June 14. A table of registration fees can be found on the registration form. The member rate applies to: members of ACM, IEEE, and EATCS, members of the organizing and program committee, and authors of accepted papers. The student rate applies to full time students only. Students must enclose a copy of their 1994-95 student card with the registration form. The registration fee includes conference participation, a copy of the proceedings, coffee breaks and an invitation to the welcome reception. There is a separate charge for the banquet. Payment must be in U.S. currency in the form of Visa, Mastercard, check or money order. All forms of payment must be drawn on a U.S. bank. Checks and money orders should be made payable to: ``UC Regents''. Once the registration form and remittance have been received, the Conference Manager will send a receipt and confirmation letter to the participant's address. \medskip \noindent{\sbf Accommodation.} \ \ Reasonably priced and comfortable apartment housing is available on the UCSD campus within walking distance from the conference site. Each apartment houses three or four people who will share a living room and a bathroom. Double rooms with two single beds may be rented as a double or single room. Campus housing is sold as a {\it package housing/meal plan only}. The package includes: four nights accommodations, Sunday through Thursday, and breakfast Monday through Thursday. Breakfast will be served near the meeting site. Dinner for Monday and Tuesday can either be taken on-campus or at a nearby restaurant. For restaurant information inquire at the check-in desk \mynewpage upon arrival. The banquet will be held at the Aquarium on Wednesday evening. Housing is also available to anyone who wishes to arrive early or depart late. A fee schedule is printed on the registration form. The pre-registration deadline for on-campus housing is May 26. Registration received after May 26 is subject to availability. Refunds are available for housing/meal plan if cancellation is made in writing before June 14. \medskip \noindent{\sbf Location.} \ \ The conference is being held at the Price Center of the University of California, San Diego campus. The campus is located in La Jolla north of downtown San Diego. Nearby attractions include the San Diego Zoo and Seaworld. UCSD is also well known for the Scripps Institute of Oceanography which rests on the west end of campus and overlooks the pacific. The weather in La Jolla in June is usually pleasant with temperatures around 25 degrees C and low humidity. Evenings can be cooler, down to 17 degrees C, so a light jacket or sweater may be useful. Occasionally very hot, dry weather (Santa Ana) can occur for a few days if the prevailing winds shift and come from the inland deserts. The Pacific Ocean is warm enough for swimming. We suggest you bring along swim wear and a beach towel. You may also wish to bring a hat. \medskip \noindent{\sbf Receptions.} \ \ A Welcome Reception will be held on Sunday evening from 6pm-9pm at UCSD in the Price Center Plaza. The Conference Banquet will be held at the Stephen Birch Aquarium on Wednesday, June 28. Please reserve a banquet ticket when you complete the registration form. \medskip \noindent{\sbf Local Arrangements.}\ \ Lunch and dinner are at the participant's own expense. Participants may dine at one of seven restaurants within the Price Center or at one of the other food service facilities throughout campus. Participants staying on campus may have dinner at one of the dining facilities on campus or at one of the many fine restaurants located in La Jolla. La Jolla is approximately 4 miles from campus and may be reached by cab or bus. Additional local arrangements information may be obtained on the World Wide Web at: \vspace{-2mm} \begin{center} {\it http://math.ucsd.edu/lics95.} \end{center} \vspace{-1mm} The organizers cannot be held liable to conference participants for injury, damage or loss of their personal property. It is suggested that participants make their own insurance arrangements. \medskip \noindent{\sbf Registration and Information Desks.}\ \ \vspace{-1mm} \begin{center} \begin{tabular}{llr} Tenaya Hall: & Daily & 8am-Midnight \\ Price Center: & Sunday & 6pm-9pm \\ & Mon.-Thurs. & 8am-5pm \end{tabular} \end{center}\mynewpage Housing registration is at Tenaya Hall. Conference registration is at the Price Center at the hours listed above and at Tenaya Hall otherwise. \medskip \noindent{\sbf Travel Information.}\ \ Please make travel arrangements early. Summers are a busy travel period in Southern California. A special conference fare has been negotiated with American Airlines for the LICS '95 Conference. This applies to domestic reservation only, though international flights may reference the ID Number to assist us with tracking arrivals and departures. Please contact the American Airlines Meeting Services Desk at (800) 433-1790; to obtain the discount please reference Star File \#S0465HN. Travelers are entitled to either: \vspace{-1mm} \begin{center} \begin{tabular}{l} 5\% off the lowest applicable fare available \\ 10\% off full coach or first class fare \\ Allowable travel dates: June 21-30, 1995 \end{tabular} \end{center} A cab fare from the airport to La Jolla is approximately \$30. A number of shuttles operate continually outside the baggage claim area. Peerless Shuttle is recommended as they cost \$15/person; see ground transportation or contact them on a courtesy phone (619-554-1700) at the airport. Ask the driver to take you to the Tenaya Hall Conference Desk on the Muir Campus. (You will probably need to show the driver the campus map to find Tenaya Hall but he will know where UCSD is!). Rooms will become available for occupancy starting at 11am on Sunday. \medskip \noindent{\sbf Parking.}\ \ A parking permit is required for participants arriving by private or rental car. For those being housed on campus, a parking permit is included in the package plan. For those housed off campus, a parking permit may be purchased at the registration desk (current price is \$15/week). Parking permits are required seven days a week from 7am to 11pm. Monitoring of permits tends to be quite diligent! \medskip \noindent{\sbf Smoking.}\ \ UCSD has been designated by the University Chancellor as a non-smoking environment. Smoking is not permitted within any public buildings on the campus. However, smoking is permitted on the grounds and in campus housing. \medskip \noindent{\sbf Related Events.}\ \ The following events will be held in La Jolla, California, June 18--28. \vspace{-2mm} \begin{itemize} \setlength{\itemsep}{-1 mm} \item PLDI'95, ACM SIGPLAN Conference on Programming Language Design and Implementation, June 18--21 \item Workshop on Language, Compiler, and Tool Support for Real-Time Systems, June 21--22 \item PEPM'95, ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, June 21--23\mynewpage \item Haskell Workshop, June 25 \item FPCA'95, SIGPLAN/SIGARCH/WG2.8 Conference on Functional Programming Languages and Computer Architecture, June 25--28 \end{itemize} \vspace{-2mm} Information may be obtained on the Web at: \vspace{-2mm} \begin{center} {\small {\it http://www.research.digital.com/wrl/projects/sigplan95/.}} \end{center} \medskip \noindent{\sbf Local Arrangements Chairs.}\ \ \vspace{-1mm} \begin{verse}\it Sam Buss (619) 534-6455\\ Jeff Remmel (619) 534-2643\\ University of California, San Diego\\ Mathematics Department\\ 9500 Gilman Drive, 0112\\ La Jolla, CA 93093-0112 USA\\ Email: lics95@math.ucsd.edu \end{verse} \medskip \noindent{\sbf LICS on the World Wide Web.}\ \ \vspace{-1mm} \begin{center} \begin{tabular}{ll} LICS'95: & {\it http://math.ucsd.edu/lics95}\\ LICS: & {\it http://www.research.att.com/lics/} \end{tabular} \end{center} % ************ PROGRAM ************** \bigskip\bigskip \begin{center} {\large\bf Conference Program} \end{center} \smallskip \begin{center} {\sf SUNDAY, June 25} \end{center} \noindent {\bf Conference and Housing Check-in} \hfill {\sf (11:00am--{}}\\ Muir Conference Desk, Tenaya Hall \hfill {\sf \ Midnight)} \sessionskip \noindent {\bf Welcome Reception} \hfill {\sf (6:00pm--9:00pm)}\\ Price Center Plaza \medskip \begin{center} {\sf MONDAY, June 26} \end{center} \noindent {\bf Introduction} \hfill {\sf (8:30--8:45)}\\[0mm] Moshe Y. Vardi, LICS General Chair \sessionskip \noindent {\bf Invited Lecture} \hfill {\sf (8:45--9:45)} \next Chair: Moshe Y. Vardi (Rice)\\[0mm] Amir Pnueli (Weizmann Institute): \next {\it Quantified Temporal Logic --- Axiomatization and\nextctd Applications} \sessionskip \noindent {\bf Session 1: Program Logics} \hfill {\sf (10:15--11:45)} \next Chair: Dexter Kozen (Cornell) \smallskip \talk{10:15}% {Completeness of Kozen's Axiomatisation of the Propositional $\mu$-Calculus}% {Igor Walukiewicz (Aarhus)} \talk{10:45}% {Once and For All}% {Orna Bernholtz (Technion) \& Amir Pnueli (Weizmann Institute)} \talk{11:15}% {Complete Proof Systems for First Order Interval Temporal Logic}% {Bruno Dutertre (London)} \sessionskip \mynewpage \noindent {\bf Lunch} \hfill {\sf (11:45--1:30)} \sessionskip \noindent {\bf Session 2: Finite Models I} \hfill {\sf (1:30--3:30)} \next Chair: Val Tannen (U Penn \& Paris-Sud) \smallskip \talk{1:30}% {The Infinitary Logic of Sparse Random Graphs}% {James F. Lynch (Clarkson) \& Jerzy Tyszkiewicz (RWTH Aachen)} \talk{2:00}% {Generalized Quantifiers and 0-1 Laws}% {Anuj Dawar (Wales) \& Erich Gr\"{a}del (RWTH Aachen)} \talk{2:30}% {Relativized Logspace and Generalized Quantifiers over Finite Structures}% {Georg Gottlob (TU Wien)} \talk{3:00}% {First-order Queries on Finite Structures over the Reals}% {Jan Paredaens (Antwerp), Jan Van den Bussche (INRIA) \& Dirk Van Gucht (Indiana)} \sessionskip \noindent {\bf Session 3: Model Checking and Verification} \next Chair: A. P. Sistla (U Illinois, Chicago) \hfill {\sf (4:00--6:00)} \firsttalkskip \talk{4:00}% {Model-Checking of Causality Properties}% {Rajeev Alur (AT\&T Bell Labs), Doron Peled (AT\&T Bell Labs) \& Wojciech Penczek (Eindhoven)} \talk{4:30}% {On the Complexity of Modular Model Checking}% {Moshe Y. Vardi (Rice)} \talk{5:00}% {Timing Behavior Analysis for Real-Time Systems}% {Farn Wang (Academia Sinica)} \talk{5:30}% {On the Verification Problem of Nonregular Properties for Nonregular Processes}% {Ahmed Bouajjani (Verimag-Spectre), Peter Habermehl (Verimag-Spectre) \& Rachid Echahed (LGI-IMAG)} \sessionskip \noindent {\bf Demo Session} \hfill {\sf (8:30pm)} \medskip \begin{center} {\sf TUESDAY, June 27} \end{center} \noindent {\bf Invited Lecture} \hfill {\sf (8:30--9:30)} \next Chair: Ed Clarke (CMU)\\[0mm] Michael Gordon (Cambridge): \next {\it The Semantic Challenge of Verilog HDL} \sessionskip \noindent {\bf Session 4: Theorem Proving and AI} \hfill {\sf (10:00--12:00)} \next Chair: Thomas Henzinger (Cornell) \smallskip \talk{10:00}% {Uniform Proofs and Disjunctive Logic Programming}% {Gopalan Nadathur \& Donald W. Loveland (Duke)} \talk{10:30}% {Structural Cut Elimination}% {Frank Pfenning (CMU)} \talk{11:00}% {Paramodulation without Duplication}% {Christopher Lynch (INRIA)} \talk{11:30}% {Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning}% {V. Wiktor Marek (Kentucky), Anil Nerode (Cornell) \& Jeffrey B. Remmel (UC San Diego)}\mynewpage \sessionskip \noindent {\bf Lunch} \hfill {\sf (12:00--1:30)} \sessionskip \noindent {\bf Session 5: Concurrency I} \hfill {\sf (1:30--3:30)} \next Chair: Carolyn Brown (Sussex) \smallskip \talk{1:30}% {Control Structures}% {Alex Mifsud (Malta), Robin Milner (Cambridge) \& John Power (Edinburgh)} \talk{2:00}% {Configuration Structures}% {R. J. Van Glabbeek (Stanford) \& G. D. Plotkin (Edinburgh)} \talk{2:30}% {A Typed Calculus of Synchronous Processes}% {Simon Gay \& Rajagopal Nagarajan (Imperial College)} \talk{3:00}% {Modal $\mu$-Types for Processes}% {Marino Miculan \& Fabio Gadducci (Pisa)} \sessionskip \noindent {\bf Session 6: Semantics I} \hfill {\sf (4:00--5:30)} \next Chair: Martin Abadi (DEC SRC) \smallskip \talk{4:00}% {Games and Full Abstraction for the Lazy $\lambda$-Calculus}% {Samson Abramsky \& Guy McCusker (Imperial College)} \talk{4:30}% {Domain Theory in Stochastic Processes}% {Abbas Edalat (Imperial College)} \talk{5:00}% {A Fully Abstract Semantics for a Concurrent Functional Language with Monadic Types}% {Alan Jeffrey (Sussex)} \sessionskip \noindent {\bf General Meeting} \hfill {\sf (8:30pm)} \medskip \begin{center} \sf WEDNESDAY, June 28 \end{center} \noindent {\bf Invited Lecture} \hfill {\sf (8:30--9:30)} \next Chair: Dexter Kozen (Cornell)\\[0mm] Robert Constable (Cornell): \next {\it Experience with Type Theory as a Foundation for\nextctd Computer Science} \sessionskip \noindent {\bf Session 7: Lambda-Calculus and Types} \next Chair: Jerzy Tiuryn (Warsaw) \hfill {\sf (10:00--12:00)} \firsttalkskip \talk{10:00}% {Equality Between Functionals in the Presence of Coproducts}% {Daniel J. Dougherty \& Ramesh Subrahmanyam (Wesleyan)} \talk{10:30}% {A Logic of Subtyping}% {Giuseppe Longo (LIENS-CNRS \& DMI, Paris), Kathleen Milsted (France T\'{e}l\'{e}com CNET) \& Sergei Soloviev (Aarhus)} \talk{11:00}% {Normalization and Extensionality}% {Adolfo Piperno (Roma)} \talk{11:30}% {New Notions of Reduction and Non-Semantic Proofs of $\beta$-Strong Normalization in Typed $\lambda$-Calculi}% {A. J. Kfoury \& J. B. Wells (Boston U)} \sessionskip \noindent {\bf Lunch} \hfill {\sf (12:00--1:30)} \sessionskip \noindent {\bf Session 8: Finite Models II} \hfill {\sf (1:30--3:30)} \next Chair: Phokion Kolaitis (UC Santa Cruz) \smallskip\mynewpage \talk{1:30}% {Finitely Monotone Properties}% {Alexei P. Stolboushkin (UC Los Angeles)} \talk{2:00}% {Tree Canonization and Transitive Closure}% {Kousha Etessami \& Neil Immerman (U Mass, Amherst)} \talk{2:30}% {Ptime Canonization for Two Variables with Counting}% {Martin Otto (RWTH Aachen)} \talk{3:00}% {When Do Fixed Point Logics Capture Complexity Classes?}% {Anil Seth (Institute of Mathematical Sciences, Madras)} \sessionskip \noindent {\bf Session 9: Unification and Rewriting} \hfill {\sf (4:00--5:30)} \next Chair: Leo Bachmair (SUNY Stony Brook) \smallskip \talk{4:00}% {Higher-Order Unification via Explicit Substitutions}% {Gilles Dowek (INRIA), Th\'{e}r\`{e}se Hardin (LITP \& INRIA) \& Claude Kirchner (INRIA \& CRIN-Villers-l\`{e}s-Nancy)} \talk{4:30}% {Sequentiality, Second Order Monadic Logic and Tree Automata}% {Hubert Comon (CNRS \& LRI-U Paris)} \talk{5:00}% {Orderings, AC-Theories and Symbolic Constraint Solving}% {Hubert Comon (CNRS \& LRI-U Paris), Robert Nieuwenhuis (TU Catalonia) \& Albert Rubio (TU Catalonia)} \sessionskip \noindent {\bf Reception} \hfill {\sf (5:30pm--6:30pm)}\\ Stephen Birch Aquarium \sessionskip \noindent {\bf Dinner} \hfill {\sf (6:30pm--8:30pm)}\\ Stephen Birch Aquarium\\ After dinner speaker: B. Trakhtenbrot (Tel Aviv) \next {\it Origins and Metamorphoses of the Trinity: Logical \nextctd Nets, Automata, Specifications in Monadic Logic} \medskip \begin{center} \sf THURSDAY, June 29 \end{center} \noindent {\bf Session 10: Model Checking II} \hfill {\sf (8:30--10:00)} \next Chair: E. Allen Emerson (UT Austin) \smallskip \talk{8:30}% {Efficient On-the-Fly Model Checking for $CTL^{*}$}% {Girish Bhat (NC State), Rance Cleaveland (NC State) \& Orna Grumberg (Technion)} \talk{9:00}% {Partial Model Checking}% {Henrik Reif Andersen (TU Denmark)} \talk{9:30}% {Hardware Verification via Boolean Logic Programming}% {Enrico Tronci (L'Aquila)} \sessionskip \noindent {\bf Session 11: Concurrency II} \hfill {\sf (10:30--11:30)} \next Chair: Ursula Goelz (Hildesheim) \smallskip \talk{10:30}% {Compositionality via Cut-Elimination: \linebreak Hennessy\--Milner Logic for an Arbitrary GSOS}% {Alex K. Simpson (Edinburgh)}\mynewpage \talk{11:00}% {Compositional Testing Preorders for Probabilistic Processes}% {Bengt Jonsson \& Wang Yi (Uppsala)} \sessionskip \noindent {\bf Lunch} \hfill {\sf (11:30--1:00)} \sessionskip \noindent {\bf Session 12: Semantics II} \hfill {\sf (1:00--2:30)} \next Chair: C.-H. Luke Ong (Oxford \& Natl. U \nextctd Singapore) \smallskip \talk{1:00}% {The Stone Gamut: A Coordinatization of Mathematics}% {Vaughan R. Pratt (Stanford)} \talk{1:30}% {Logically Presented Domains}% {Erik Palmgren \& Viggo Stoltenberg-Hansen (Uppsala)} \talk{2:00}% {Games Semantics for Full Propositional Linear Logic}% {Fran\c{c}ois Lamarche (Imperial College)} \sessionskip \noindent {\bf Session 13: Linear Logic} \hfill{\sf (3:00--4:30)} \next Chair: Dale Miller (U Penn) \smallskip \talk{3:00}% {Decision Problems for Second Order Linear Logic}% {Patrick Lincoln (SRI), Andre Scedrov (U Penn) \& Natarajan Shankar (SRI)} \talk{3:30}% {The Complexity of Neutrals in Linear Logic}% {Max I. Kanovich (Tohoku \& Russian Humanities State)} \talk{4:00}% {Decidability of Linear Affine Logic}% {Alexei P. Kopylov (Moscow State)} \sessionskip \noindent{\bf End of Conference.} \vspace{8mm} \begin{center} {\large\bf Conference Organization} \end{center} \vspace{-2mm} \noindent \begin{flushleft} {\bf LICS General Chair:} {\rm Moshe Y.\ Vardi}\\[1.7mm] {\bf 1995 Conference Co-chairs:} {\rm Samuel R. Buss \& Jeffrey B. Remmel}\\[1.7mm] {\bf 1995 Program Chair:} {\rm Dexter Kozen}\\[1.7mm] {\bf Publicity Co-chairs:} {\rm Amy Felty \& Douglas Howe}\\[2.7mm] {\bf Program Committee:} M.~Abadi, L.~Bachmair, C.~Brown, E.~Clarke, E.A.~Emerson, U.~Goelz, T.~Henzinger, P.~Kolaitis, D.~Kozen (Chair), D.~Miller, C.-H.L.~Ong, A.P.~Sistla, V.~Tannen, J.~Tiuryn.\\[2mm] {\bf Organizing Committee:} M.~Abadi, S.~Abramsky, S.~Artemov, E.~B\"orger, A.~Borodin, W.~Brauer, A.~Bundy, S.~Buss, E.~Clarke, R.~Constable, A.~Felty, U.~Goltz, D.~Howe, G.~Huet, J.-P.~Jouannaud, D.~Kapur, C.~Kirchner, P.~Kolaitis, D.~Kozen, T.~Leighton, D.~Leivant, A.R.~Meyer, D.~Miller, J.~Mitchell, Y.~Moschovakis, M.~Okada, P.~Panangaden, J.~Remmel, J.~Riecke, S.~Ronchi della Rocca, A.~Scedrov, D.~Scott, J.~Tiuryn, \\ M.Y.~Vardi (Chair).\\[2mm] \end{flushleft} % ************ FORMS **************** \newpage \rule{0in}{0in} \newpage { \noindent {\bf LICS'95 REGISTRATION FORM} \\ {\it Please type or print.} \bigskip\medskip \noindent Last Name \hrulefill\zero\\[3mm] First Name \hrulefill\zero\\[3mm] Affiliation \hrulefill\zero\\[3mm] Street Address \hrulefill\zero\\[3mm] \zero\hrulefill\zero\\[3mm] City \hrulefill\zero \\[3mm] State/Zip \hrulefill \\[3mm] Country \hrulefill\zero \\[3mm] Phone(s) \hrulefill \\[3mm] Fax \hrulefill \zero\\[3mm] E-mail \hrulefill\zero\\[3mm] \noindent {\bf Conference Registration rates.} All fees are in U.S. Currency. {\it Please circle the applicable fees.} \begin{center} \begin{tabular}{lcc} & {\it Before} & {\it On or after } \\ & {\it May 26} & {\it May 26} \\[2mm] Regular & \$380.00 & \$480.00 \\ \hspace{-2mm}\**Member & \$290.00 & \$380.00 \\ Student & \$185.00 & \$250.00 \\ \\ & {\it Before} & {\it On or after } \\ & {\it June 19} & {\it June 19} \\[2mm] Banquet & \$50.00 & Not Available \\ \hspace{-3.5mm}\**\**Breakfast Only & \$23.60 & Not Available \end{tabular} \end{center} \noindent *{\it Includes members of ACM, IEEE, and EATCS, members of the organizing and program committee, and authors of accepted papers.} \medskip \noindent **{\it Only available to participants who do not reside on campus.} \medskip \noindent Rate justification \hrulefill \zero \\[3mm] Full-time student at \hrulefill \zero\\[3mm] \newpage \noindent {\bf LICS'95 REGISTRATION FORM} (cont.) \\ \bigskip \noindent {\bf On-Campus Housing.} June 26-29, 1995 (includes 4 breakfasts). All fees are in U.S. Currency. {\it Payment due with Registration.}\\[1mm] \begin{center} \begin{tabular}{lc} Single Room & \$179.50 \\ Double Room & \$147.60 \\ \\ \multicolumn{2}{l}{Additional Nights Lodging} \\ \ Single Room & \$39.00 \\ \ Double Room & \$31.00 \\ \\ \multicolumn{2}{l}{Family Apartment - Please call for rates} \\ \end{tabular} \end{center} \bigskip \noindent Total Due (Registration and Accommodation):\\[3mm] \zero\hrulefill\zero\\[3mm] \noindent {\bf Payment.} {\it Circle one:} \begin{center} Check or Money Order \\ Visa/Mastercard \end{center} \noindent {\it All funds must be drawn on a U.S. bank.} \bigskip \noindent Credit card \# \hrulefill\zero\\[3mm] Expiration Date \hrulefill\zero\\[3mm] Signature \hrulefill\zero\\[3mm] Date \hrulefill\zero\\[3mm] \bigskip \noindent Preferred Roommate (for those choosing double rooms): \\[3mm] \zero\hrulefill\zero\\[3mm] Arrival Date \hrulefill\zero\\[3mm] Departure Date \hrulefill\zero\\[3mm] \newpage % END FORMS } \end{document} ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- From raghu@quarg.cs.wisc.edu Tue Mar 28 11:01:47 1995 Received: from quarg.cs.wisc.edu by sea.cs.wisc.edu; Tue, 28 Mar 95 11:01:37 -0600; AA09207 Date: Tue, 28 Mar 95 11:01:35 -0600 From: dragon@cs.utexas.edu (Chris Edmondson-Yurkanan) Message-Id: <9503281701.AA21828@quarg.cs.wisc.edu> Received: by quarg.cs.wisc.edu; Tue, 28 Mar 95 11:01:35 -0600 To: dbworld@quarg.cs.wisc.edu Although the following announcement and call for papers is posted in a number of newsgroups and you may already have seen this announcement, I want to be sure that you get notice that we have extended the submission date 2 weeks, ( see below ). Note: we are soliciting papers that combine computing and mobility, including the combination of data management & mobility and wireless information services. Thanks, Chris Edmondson, Vice Chair of MCN95 Announcement and Call for Papers ------------------------------------------------------------------------ ACM INTERNATIONAL CONFERENCE ON MOBILE COMPUTING AND NETWORKING 1995 November 14-15, 1995 (Tutorials on Monday, Nov. 13) Berkeley, California, USA Sponsored by the ACM's Special Interest Groups: SIGCOMM, SIGMETRICS, SIGOPS, SIGACT and CESDIS NASA ------------------------------------------------------------------------- IMPORTANT DATES Submissions due: April 17, 1995 <--- new date Notification of acceptance: June 16, 1995 Camera-ready version due: August 14, 1995 The wireless communication revolution is bringing fundamental changes to telecommunication and computing. Wide-area cellular systems and wireless LANs promise to make integrated networks a reality and provide fully distributed and ubiquitous mobile computing and communications, thus bringing an end to the tyranny of geography. Furthermore, services for the mobile user are maturing and are poised to change the nature and scope of communication. This conference, the first of an annual series, will serve as the premier international forum addressing networks, systems, algorithms, and applications that support the symbiosis of portable computers and wireless networks. PAPERS Technical papers describing previously unpublished, original, completed, or in-progress research, are solicited on topics at the link layer and above. Topics will include, but are not limited to: * Applications and computing services supporting the mobile user. * Network architectures, protocols or service algorithms to cope with mobility, limited bandwidth, or intermittent connectivity. * Design and analysis of algorithms for online and mobile environments. * Distributed network protocols. * Performance characterization of mobile/wireless networks and systems. * Network management for mobile and wireless networks. * Service integration and interworking of wired and wireless networks. * Characterization of the influence of lower layers on the design and performance of higher layers. * Security, scalability and reliability issues for mobile/wireless systems * Wireless Multimedia Systems * Satellite Communication All papers will be refereed by the program committee. Accepted papers will be published in conference proceedings. Papers of particular merit will be selected for publication in the ACM/Baltzer Journal on Wireless Networks. HOW TO SUBMIT Paper submission will be handled electronically. Authors should Email a PostScript version of their full paper to: "mcn95-submission@cs.columbia.edu". This Email address will become operational on March 1. The address will be backed by software that can test submissions for print-ability. In order to pass the test, authors should ensure that their papers meet these restrictions: - PostScript version 2 or later - no longer than 15 pages - fits properly on "US Letter" size paper (8.5x11 inches) - reference only Computer Modern or standard Adobe fonts (i.e., Courier, Times Roman, or Helvetica); other fonts may be used but must be included in the PostScript file In addition, authors should be sure to select an easy-to-read font size. The proceedings will be printed in two-column format, so authors are encouraged to submit two-column papers. To learn how to use the submission software, send a message with the subject line "HELP" to the above Email address any time on or after March 1. TUTORIALS Proposals for tutorials are solicited. Evaluation of the proposals will be based on expertise and experience of instructors, and the relevance of the subject matter. Potential instructors are requested to submit at most 5 pages, including a biographical sketch to Krishan Sabnani (kks@big.att.com). PANELS Panels are solicited that examine innovative, controversial, or otherwise provocative issues of interest. Panel proposals should not exceed more than 3 pages, including biographical sketches of the panelist. STUDENT PARTICIPATION Papers with a student as a primary author will enter a student paper award competition. A cover letter must identify the paper as a candidate for the student paper competition. WWW/GOPHER INFORMATION This CFP and other ACM related activities may be found in gopher://gopher.acm.org (for gopher viewers) http://www.acm.org/sigcomm/wireless95/ (for WWW browsers) FOR MORE INFORMATION: Please contact Dan Duchamp (djd@cs.columbia.edu) or Baruch Awerbuch (baruch@blaze.cs.jhu.edu), the Program Co-Chairs. +-------------------------------------------------------------------------+ GENERAL CO-CHAIRS: Imrich Chlamtac Dave Morgan Dept. of Electrical & Computer Eng. VP & Director of Research University of Massachusetts Wireless Division, Motorola chlamtac@eden.ecs.umass.edu David_Morgan-ASTF39@email.mot.com Tel: +1 413 545 0712 Tel.: +1 708 576 0595 PROGRAM CO-CHAIRS Baruch Awerbuch Dan Duchamp Dept. of Computer Science Dept. of Computer Science The John Hopkins University Columbia University Room NEB 318, Baltimore, MD 500 W. 120 St. New York, NY baruch@blaze.cs.jhu.edu djd@cs.columbia.edu Tel.: +1 410 516 8038 Tel.: +1 212 939 7067 Fax.: +1 410 516 6134 Fax.: +1 212 666 0140 LOCAL CHAIR TUTORIAL CHAIR Eric Brewer Krishan Sabnani, AT & T Dept. of Computer Science Tel.: +1 908 949 3557 University of California @ Berkeley Fax.: +1 908 949 9118 brewer@cs.berkeley.edu kks@big.att.com VICE CHAIR STEERING COMMITTEE CHAIR Chris Edmondson-Yurkanan Imrich Chlamtac CS, University of Texas, Austin ECE, University of Massachusetts dragon@cs.utexas.edu chlamtac@eden.ecs.umass.edu PUBLICITY CHAIR REGISTRATION CHAIR Victor Bahl, Melody Moh Digital Equipment Corp. & UMASS San Jose State University bahl@samson.enet.dec.com moh@cs.sjsu.edu TREASURER Anton Dahbura, Motorola PROGRAM COMMITTEE Baruch Awerbuch, John Hopkins B. R. Badrinath, Rutgers U., Alan Borodin, U. Toronto Bob Broderson, UC Berkeley, Ramon Caceres, AT&T Bell Labs. Steve Deering, Xerox PARC, Dan Duchamp, Columbia Domenico Ferrari, UC Berkeley David Johnson, Carnegie Mellon, Phil Karn, Qualcomm Inc. Randy Katz, UC Berkeley Leonard Kleinrock, UCLA, Paul Leach, Microsoft Debasis Mitra, AT&T, Christos Papadimitriou, UC San Diego Rafi Rom, Technion & SUN, Nachum Shacham, SRI Jeff Vitter, Duke U., John Zahorjan, U. Washington STEERING COMMITTEE Imrich Chlamtac, UMASS, chair Lyman Chapin, BBN Vinton Cerf, MCI Raj Jain, Ohio State U. Baruch Awerbuch, John Hopkins U. Dave Oran, Digital Equip. Corp. Tomasz Imielinski, Rutgers U. Greg Wetzel, AT&T Bell Labs. Linda Wright, Digital Equip. Corp. Chris Edmondson-Yurkanan, UTexas Ian Akyildiz, Georgia Inst. of Tech. Yelena Yesha, NASA ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- From raghu@quarg.cs.wisc.edu Tue Mar 28 12:31:18 1995 Received: from quarg.cs.wisc.edu by sea.cs.wisc.edu; Tue, 28 Mar 95 12:31:11 -0600; AA10634 Date: Tue, 28 Mar 95 12:31:09 -0600 From: alonso@MITL.Research.Panasonic.COM (Rafael Alonso) Message-Id: <9503281831.AA22039@quarg.cs.wisc.edu> Received: by quarg.cs.wisc.edu; Tue, 28 Mar 95 12:31:09 -0600 To: dbworld@quarg.cs.wisc.edu Dear colleagues, As the SIGMOD RECORD Trade Press editor I need your help in getting pointers to trade press articles that you have found interesting and useful. I will take care of contacting the editors, just email me the name of the publications and if possible the aproximate date and title of the article. Articles that have appeared in the last 2 years (but not in the very last issue!) are probably best. I follow some trade press publications but am not able to track all of them. Please help me on this matter. Best regards, Rafael Alonso ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- From raghu@quarg.cs.wisc.edu Tue Mar 28 16:54:47 1995 Received: from quarg.cs.wisc.edu by sea.cs.wisc.edu; Tue, 28 Mar 95 16:54:38 -0600; AA15269 Date: Tue, 28 Mar 95 16:54:37 -0600 From: Roberto Baldoni Message-Id: <9503282254.AA22601@quarg.cs.wisc.edu> Received: by quarg.cs.wisc.edu; Tue, 28 Mar 95 16:54:37 -0600 To: dbworld@quarg.cs.wisc.edu CALL FOR PAPERS 9th International Workshop on DISTRIBUTED ALGORITHMS (WDAG-9) Le Mont Saint Michel, France, September 13 - 15, 1995 Following the successful Workshops on Distributed Algorithms in Ottawa (1985), Amsterdam (1987), Nice~(1989), Bari (1990), Delphi (1991), Haifa (1992), Lausanne (1993), and Terschelling (1994) the Ninth Int. Workshop on Distributed Algorithms will be held in Le Mont Saint Michel, France, in 1995. The workshop covers distributed algorithms for computing and operating systems and is devoted to the presentation of new research results and the identification of future research directions in this area. The workshop will be held in Le Mont Saint Michel, a very famous and beautiful place located on the northern coast of Britanny in France. Papers are solicited describing original results in all areas of distributed algorithms and their applications, including, but not restricted to (all these areas are considered equally important by the Program Committee): - Algorithms for control and communication - Fault-tolerant algorithms - Network protocols - Protocols for real-time distributed systems - Issues in asynchrony, synchrony and real-time - Algorithms for managing replicated data - Distributed detection of properties - Mechanisms for security in distributed systems - Self-stabilizing algorithms - Wait-free algorithms - Techniques for the design and analysis of systems Intended contributors are invited to submit 15 copies of their paper to one of the Program co-chairs. Submissions must not exceed 15 pages, with roughly 35 lines/page. Submissions not conforming with these guidelines will not be considered. Please include a 150 word abstract, 5 keywords, and address, e-mail, fax/telephone number of a corresponding author. Submissions by e-mail are not accepted. Proceedings will be published in the series Lectures Notes in Computer Scienceo f Springer-Verlag. There is a limit of 15 pages for a paper in the proceedings. Important dates: Submission of papers: April 21, 1995 Acceptance notification: June 10, 1995 Camera-ready version: July 1, 1995 Papers received after the submission deadline will not be considered. Program Committee: M. Ahamad (Georgia Tech, Atlanta, USA) J. Beauquier (U. of Paris-Sud, Orsay, France) J. Brzezinski (Techn. U. of Poznan, Poznan, Poland) I. Cidon (Sun Microsystems, Mt. View, CA, USA) D. Dolev (Hebrew U., Jerusalem, Israel) J.M. Helary (IRISA, Rennes, France, co-chair) P. Jayanti (Darmouth College, Darmouth, USA) G. Le Lann (INRIA, Rocquencourt, France) K. Marzullo (U. of California at San Diego, USA) T. Masuzawa (NAIST, Nara, Japan) M. Raynal (IRISA, Rennes, France, co-chair) A. Schiper (EPFL, Lausanne, Switzerland) A. Singh (U. of California at Santa Barbara, USA) G. Tel (Utrecht U., Utrecht, Netherlands) S. Zaks (Technion, Haifa, Israel) Local Arrangements: Roberto Baldoni, Michel Hurfin, Elisabeth Lebret IRISA, Campus de Beaulieu, 35042 Rennes Cedex, France Fax: +33 99 38 74 76 email: baldoni@irisa.fr, hurfin@irisa.fr, lebret@irisa.fr Submissions must be sent to one of the co-chairs: Jean-Michel Hilary, Michel Raynal IRISA, Campus de Beaulieu, 35042 Rennes Cedex, France Phone: +33 99 84 71 95/ 71 88 email: helary@irisa.fr, raynal@irisa.fr ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- From raghu@quarg.cs.wisc.edu Tue Mar 28 16:55:04 1995 Received: from quarg.cs.wisc.edu by sea.cs.wisc.edu; Tue, 28 Mar 95 16:55:00 -0600; AA15286 Date: Tue, 28 Mar 95 16:54:58 -0600 From: Ling Tok Wang Message-Id: <9503282254.AA22606@quarg.cs.wisc.edu> Received: by quarg.cs.wisc.edu; Tue, 28 Mar 95 16:54:58 -0600 To: dbworld@quarg.cs.wisc.edu (This information is also available at our www server: http://www.iscs.nus.sg/conferences ) CALL FOR PAPERS DOOD '95 Fourth International Conference on Deductive and Object-Oriented Databases December 4-7, 1995, National University of Singapore(NUS), Singapore Organised by: Department of Information Systems & Computer Science (NUS) With support from: ASTEM RI/Kyoto (Japan) In-cooperation with: ACM SIGMOD (under consideration) Korean Information Science Society Kyoto/Japan ACM SIGMOD IEEE Singapore (Computer Chapter) Institute of System Science (NUS) Singapore Computer Society Singapore Federation of Computer Industry Corporate Sponsor: Bull SA, France Official Publication: IT-Asia -------------------------------------------------------------------------- THE CONFERENCE This conference provides an international forum for technical discussion among researchers, developers, and users of database systems from academia, business and industry. DOOD focuses on research in the theory of deductive and object-oriented databases, the integration of object-oriented paradigm and rule-based deduction to provide a single powerful framework for intelligent database systems, and advanced applications of such systems. This continues the direction established by the three very successful DOOD conferences held in 1989 in Kyoto, Japan, in 1991 in Munich, Germany, and in 1993 in Phoenix, Arizona, USA. Papers describing implemented DOOD systems, from academic prototypes to advanced industrial projects, are strongly solicited. SUGGESTED TOPICS The following topics are of interest when treated in the context of deductive and object-oriented databases. Integrating the Logic and OO Paradigms Integrating with Programming Languages Integrating with Existing DB Technology Applications Data Models Object Management Object Migration Rule Management Active Rule Management Transaction Management Views and Updates Security and Integrity Enforcement Query Languages and Query Optimization Performance Spatial and Temporal Data Heterogeneous Systems Parallel Systems Database Design Tools User Interfaces SUBMISSION OF PAPERS Authors are cordially invited to submit five copies of an original paper on topics including, but not limited to, those listed above, to the region's Program Committee Co-Chair by >> April 15, 1995 <<. Manuscripts must be in English, typed in double spaced format in 12 point font, and not more than 5,000 words. We intend to publish the proceedings in time for distribution at the conference in the Springer LNCS series. [Americas] Alberto O. MENDELZON Computer Systems Research Institute University of Toronto 6 King's College Road Toronto, Canada M5S 1A1 FAX: (416) 978-4765 E-mail: mendel@db.toronto.edu [Europe] Laurent VIEILLE BULL Rue Jean- Jaures - BP 68 F 78340 Les Clayes-sous-bois, France FAX: +33 -1- 30 80 69 52 E-mail: L.Vieille@frcl.bull.fr [Far East] Tok Wang LING Dept of Information Systems and Computer Science National University of Singapore Lower Kent Ridge Road, Singapore 0511 FAX: (65) 779-4580 E-mail: lingtw@iscs.nus.sg PANEL SESSIONS AND TUTORIALS Proposals for panel sessions or tutorials should be sent by May 20, 1995 to the Panel or Tutorial Chair: Kotagiri RAMAMOHANARAO Panel Chair Department of Computer Science The University of Melbourne Parkville, 3052, Australia FAX: +61 3 348 1184 E-mail: rao@cs.mu.oz.au Desai NARASIMHALU Tutorial Chair Institute of Systems Science National University of Singapore Heng Mui Keng Terrace, Singapore 0511 FAX: (65) 774-4990 E-mail: desai@iss.nus.sg IMPORTANT DATES Papers due: April 15, 1995 Panel, tutorial proposals: May 20, 1995 Notification of acceptance: July 8, 1995 Camera-ready copy due: August 26, 1995 VENUE The conference will be held in the National University of Singapore. Singapore is an exciting, clean and modern garden city offering excellent food, shopping and accommodation. English is spoken everywhere and is the common business language. FURTHER INFORMATION Further information on the conference is available from the Conference Secretary. Ms Sew Kiok TOH Dept of Information Systems and Computer Science National University of Singapore Lower Kent Ridge Road, Singapore 0511 FAX: (65) 779-4580 E-mail: tohsk@iscs.nus.sg POST CONFERENCE WORKSHOP A one-day post conference workshop will be held on December 8, 1995. For further information please contact: Kay Liang ONG Microelectronics and Computer Technology Corporation (MCC) 3500 West Balcones Center Drive Austin, TX 78759, USA E-mail: ong@mcc.com -------------------------------------------------------------------------- Steering Committee Chair, Emeritus: Jack MINKER Steering Committee Chair: Jean-Marie NICOLAS Conference Chair: Chung Kwong YUEN ORGANIZING COMMITTEE Angelas Eck Soong GOH, Nanyang Technological University, Singapore Mong Li LEE, National University of Singapore (NUS), Singapore Tok Wang LING, NUS, Singapore Hongjun LU (Registration), NUS, Singapore Desai NARASIMHALU, Institute of Systems Science (ISS), Singapore Beng Chin OOI (Exhibition), NUS, Singapore Yong Meng TEO (Publicity/Publication) , NUS, Singapore Kwok Kee WEI (Local Arrangement), NUS, Singapore Lim Soon WONG, ISS, Singapore Weng Fai WONG (Treasurer), NUS, Singapore Chung Kwong YUEN (Chair), NUS, Singapore PROGRAM CHAIRS Americas: Alberto O. MENDELZON, University of Toronto, Canada Europe: Laurent VIEILLE, BULL, France Far East: Tok Wang LING, NUS, Singapore PANEL CHAIR Kotagiri RAMAMOHANARAO, The University of Melbourne, Australia TUTORIAL CHAIR Desai NARASIMHALU, ISS, Singapore COORDINATORS Americas: Kay Liang ONG, MCC, USA Europe: Stefano CERI, Politechico di Milano, Italy Far East: Katsumi TANAKA, Kobe Univ, Japan CONFERENCE SECRETARY Ms Sew Kiok TOH, NUS, Singapore STEERING COMMITTEE Jean-Marie NICOLAS (Chair), BULL, France Jack MINKER (Emeritus Chair), U of Maryland, USA Stefano CERI, Politechico di Milano, Italy Claude DELOBEL, Univ Paris-Sud, France Oris FRIESEN, BULL, USA Michael KIFER, SUNY, USA Tok Wang LING, NUS, Singapore Rainer MANTHEY, Univ of Bonn, Germany Yoshifumi MASUNAGA, U of Library & Info Sci, Japan Shojiro NISHIO, Osaka Univ, Japan Stott PARKER, UCLA, USA Shalom TSUR, UT, Austin, USA PROGRAM COMMITTEE [Americas] Edward CHAN, University of Waterloo, Canada Jiawei HAN, Simon Fraser University, Canada Rosana LANZELOTTE, Catholic Univ of Rio de Janeiro, Brazil Tova MILO, Tel-Aviv University, Israel Jeff NAUGHTON, University of Wisconsin, USA Ken ROSS, Columbia University, USA S. SUDARSHAN, AT&T Bell Laboratories, USA Shalom TSUR, Argonne National Laboratory, USA Victor VIANU, University of California at San Diego, USA Stan ZDONIK, Brown University, USA [Europe] Peter APERS, University of Twente, Netherlands Paolo ATZENI, Universita' La Sapienza, Italy Francois BRY, Ludwig-Maximilians-Univ Muenchen, Germany Jan van den BUSSCHE, University of Antwerp, Belgium Piero FRATERNALI, Politecnico di Milano, Italy Alexandre LEFEBVRE, Bull, France Rainer MANTHEY, University of Bonn, Germany Antoni OLIVE, Universitat Politecnica de Catalunya, Spain Norman PATON, Heriot-Watt University, UK Patrick VALDURIEZ, INRIA, France [Far East] Chin-Chen CHANG, National Chung Cheng Univ, Taiwan Myung-Joon KIM, ETRI, Korea Kotagiri RAMAMOHANARAO, Univ of Melbourne, Australia Rodney TOPOR, Griffith University, Australia Ke WANG, NUS, Singapore Kyu-Young WHANG, KAIST, Korea Lim Soon WONG, ISS, Singapore Beat WUTHRICH, Univ of Sci and Technology, Hong Kong Kazumasa YOKOTA, ICOT, Japan Masatoshi YOSHIKAWA, Nara Inst of Sci & Technology, Japan ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- From raghu@quarg.cs.wisc.edu Wed Mar 29 10:06:05 1995 Received: from quarg.cs.wisc.edu by sea.cs.wisc.edu; Wed, 29 Mar 95 10:06:00 -0600; AA08759 Date: Wed, 29 Mar 95 10:05:59 -0600 From: dimitris@gte.com (Dimitrios Georgakopoulos) Message-Id: <9503291605.AA06360@quarg.cs.wisc.edu> Received: by quarg.cs.wisc.edu; Wed, 29 Mar 95 10:05:59 -0600 To: dbworld@quarg.cs.wisc.edu \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\ The ICDE96 home page http://info.gte.com/ftp/doc/ICDE96/flyer.html will be kept up to date as information becomes available \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\ PRELIMINARY CALL FOR PAPERS The 12th International Conference on Data Engineering Feb. 26 - March 1, 1996 New Orleans, Louisiana, USA Sponsored by the IEEE Computer Society SCOPE Data Engineering deals with the use of engineering disciplines in the design, development and evaluation of information systems for different computing platforms and system architectures. The 12th Data Engineering Conference will provide a forum for the sharing of original research results and practical engineering experiences among researchers and practitioners interested in all aspects of data and knowledge management. The purpose of the conference is to share solutions to problems that face our information-oriented society and to identify new challenges and directions for future research. TOPICS OF INTEREST The topics of interest include but are not limited to: o Data Engineering and Information Superhighways o Mobile Computing o Network Databases and Security o Knowledge Mining and Discovery o Interoperability of Heterogeneous Information Systems o Distributed Transaction Management o Query processing and Optimization o Virtual Enterprise Management o Work Management and Simulation o Multimedia Systems and Applications o Open Architecture and Extensible Systems o Visualization and User Interface o Active Database/Knowledge Base Systems o Intelligent and Deductive Systems o Parallel and Distributed Database Systems o Object-oriented Databases and Software Engineering o Real-time, Temporal and Spatial Systems o Industrial Challenges in Data Engineering o Scientific and Statistical Databases o Information Systems for Engineering Applications PAPER SUBMISSION Six copies of original papers not exceeding 6000 words (25 double spaced pages) should be submitted by May 31, 1995 to program chair: Stanley Y. W. Su Database Systems R&D Center 470 CSE Building University of Florida P. O. Box 116125 Gainesville, FL 32611-6125 E-mail: icde96@cis.ufl.edu Tel. (904) 392-2680, FAX: (904) 392-1220 Authors should explicitly specify in the cover page one or two topics of interest most relevant to the submission. Submissions for the industrial program should also be specified in the cover page. INDUSTRIAL, PANEL &TUTORIAL PROGRAMS There will be a series of sessions focused on issues relevant to practitioners of information technology. Proposals for the industrial program, panels and the tutorial program are being sought. Proposers should submit a short write-up to the persons in charge of the Industrial, Panel and Tutorial programs. PUBLICATIONS & AWARDS All accepted papers will appear in the Proceedings published by IEEE Computer Society. The authors of selected papers will be invited to submit extended versions for possible publication in the IEEE Transactions on Data and Knowledge Engineering and in the Journal of Distributed and Parallel Databases. An award will be given to the best paper. A separate award honoring K.S. Fu will be given to the best student paper (authored solely by students). IMPORTANT DATES o Paper, Panel, and Tutorial submissions: May 31, 1995 o Notification of acceptance: October 2, 1995 o Tutorials: February 26-27, 1996 o Conference: February 28 - March 1, 1996 ORGANIZING COMMITTEE General Chair: Marek Rusinkiewicz, University of Houston Program Chair: Stanley Y. W. Su, University of Florida Industrial Program Chair: Umesh Dayal, Hewlett-Packard laboratories Panel Program Chair: Arie Segev, University of California-Berkeley Tutorial Program Chair: Witold Litwin, University of Paris PROGRAM VICE CHAIRS Data Engineering and Information Super Highways Gunter Schlageter, Univ. of Hagen Interoperability of Heterogeneous Information Systems Dennis McLeod, Univ. of Southern California Scientific and Statistical Databases and Applications Arie Shoshani, LBL Multimedia Systems and Applications William Grosky, Wayne State University Extensible and Active Database/Knowledge Base Systems Sharma Chakravarthy, Univ. of Florida Parallel and Distributed Database Systems Chaitanya K. Baru, IBM Toronto Labs Object-oriented Databases and Software Engineering Luqi, Naval Postgraduate School Real-time, Temporal and/or Spatial Systems Alex Buchmann, Technical Univ. Darmstadt EUROPEAN COORDINATOR o Keith G. Jeffery, Rutherford Appleton Lab FAR EAST COORDINATOR o Ron Sacks-Davis, CITRI EXHIBITS PROGRAM o to be named PUBLICITY CHAIR o Dimitrios Georgakopoulos , GTE Laboratories FINANCIAL CHAIR o Stephen Huang, University of Houston REGISTRATION o to be named LOCAL ARRANGEMENTS o William Buckles, Tulane University ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- From raghu@quarg.cs.wisc.edu Wed Mar 29 12:58:14 1995 Received: from quarg.cs.wisc.edu by sea.cs.wisc.edu; Wed, 29 Mar 95 12:58:07 -0600; AA11365 Date: Wed, 29 Mar 95 12:58:06 -0600 From: roddick@unisa.edu.au (John Roddick) Message-Id: <9503291858.AA07175@quarg.cs.wisc.edu> Received: by quarg.cs.wisc.edu; Wed, 29 Mar 95 12:58:06 -0600 To: dbworld@quarg.cs.wisc.edu ASSOCIATE PROFESSOR IN COMPUTER AND INFORMATION SCIENCE School of Computer and Information Science and Advanced Computing Research Centre, The Levels Campus Academic Level D ($62,242-$68,571 per annum) 5 year contract The School of Computer and Information Science is the principal centre for teaching and research in computer science and software engineering at the University of South Australia. It has made rapid progress over the last five years to become a leading centre for teaching and research in Information Technology. The research profile of the School has been strengthened by the recent appointment of two new professors and now has 26 academic staff, approximately 450 students and offers a full range of awards from Associate Diploma to Doctorate. The research activities in computing and advanced software engineering at the University of South Australia are based in the Advanced Computing Research Centre (ACRC), one of nine newly funded research centres at the University. The designated research areas of the ACRC are software engineering, database systems, concurrent systems and artificial intelligence/expert systems. We are seeking to appoint an Associate Professor with a research background which will strengthen one or more of the above research areas. The appointee will have a substantial research record, including publications and research grants, and will have demonstrated abilities to create and manage a successful research team, including the necessary leadership qualities. Essential criteria include a doctorate in computer science or closely related discipline or equivalent accreditation and standing, an outstanding research record, preferably in one of the research areas listed above, and a record of teaching excellence in a tertiary education environment. Applicants must obtain a position description and lodgement details from Dr John Roddick, Head of School, telephone (08) 302 3463, fax (08) 302 3988 or email roddick@cis.unisa.edu.au. Informal enquiries and information related to the Advanced Computing Research Centre may also be directed to Professor George Milne, Director on (08) 302 3943, fax (08) 302 3988 or email milne@cis.unisa.edu.au. The School's WWW page can be found at http://cis0.levels.unisa.edu.au/www/cis/home.html. Closing date: 5.00pm Friday 12 May 1995 The University reserves the right to invite application, or not to make an appointment. THE UNIVERSITY IS AN EQUAL OPPORTUNITY EMPLOYER -------------------------------------------+------------------------------ Dr John Roddick | Rm. MC3-22, The Levels Head | Ph. (08) 302 3463 School of Computer and Information Science | Int. +61 8 302 3463 University of South Australia | Fax. +61 8 302 3988 The Levels SOUTH AUSTRALIA 5095 | Net. roddick@cis.unisa.edu.au ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- From raghu@quarg.cs.wisc.edu Wed Mar 29 16:16:54 1995 Received: from quarg.cs.wisc.edu by sea.cs.wisc.edu; Wed, 29 Mar 95 16:16:22 -0600; AA14389 Date: Wed, 29 Mar 95 16:15:21 -0600 From: Daniel Barbara Message-Id: <9503292215.AA07544@quarg.cs.wisc.edu> Received: by quarg.cs.wisc.edu; Wed, 29 Mar 95 16:15:21 -0600 To: dbworld@quarg.cs.wisc.edu PRELIMINARY CALL FOR PAPERS CALL FOR PAPERS 6th International Workshop on Research Issues in Data Engineering: Interoperability of Nontraditional Database Systems (RIDE-NDS '96) Feb. 26-27, 1996 New Orleans, Louisiana This is the six in a series of annual workshops held in conjunction with the IEEE CS International Conference on Data Engineering. RIDE-NDS '96 will be the first workshop dedicated to bringing together leading researchers, developers, and users in the important area of interoperability of nontraditional database systems. Particular interest will be paid to the areas of mobile/wireless information systems, multimedia databases and workflow systems. Suggested topics for the workshop include but are not limited to interoperability issues in the following areas: Mobile and wireless systems Multimedia databases Mixed-media access Document processing systems Workflow systems Transaction management Intelligent browsing Metadata management Legacy systems Multidatabase applications Mobile applications Multimedia applications High performance databases Facility provisioning databases Data warehouses for market analysis and decision support Paper Submission: Five copies of an extended abstract (at most 10 double-spaced pages in 10-pt font or 2500 words ) should be received no later than July 16, 1993 by one of the program chairs: Daniel Barbara Omran Bukhres MITL Purdue University 2 Research Way, 3rd. Fl Department of Computer Science Princeton, NJ 08540 West Lafayette, IN 47907 daniel@research.panasonic.com bukhres@cs.purdue.edu Paper selection will be based on originality and contribution to the field. Each submission should include a postal address and e-mail address for a contact author. Late submissions and over-length abstracts will be rejected without review. A proceedings will be published by IEEE CS. Important Dates: Deadline for submission: July 16, 1995 Notification of acceptance: Oct. 11, 1995 Final paper due: Nov. 15, 1995 Workshop: Feb. 26-27, 1996 General Chairs: Witold Litwin (France) Witold.Litwin@inria.fr Program Chairs: Daniel Barbar a Omran Bukhres Program Committee: Elisa Bertino (Italy) Amr El Abbadi (USA) Panos Chrysanthis (USA) Chris Clifton (USA) Pam Drew (Hong Kong) Abdelsalam Helal (USA) Yahiko Kambayashi (Japan) Dimitris Karagiannis (Austria) Roger King (USA) Masaru Kitsuregawa (Japan) Eva Kuehn (Austria) Wolfgang Klas (Germany) Henry F. Korth (USA) Dimitrios Georgakopoulos (USA) Tomasz Imielinski (USA) Sharad Mehrotra (USA) Peter Muth (Germany) Tamer Ozsu (Canada) Mike Papazoglou (Australia) Ken Salem (Canada) Peter Scheuermann (USA) Amit Sheth (USA) Giovanna Vantini (Italy) Stan Zdonik (USA) Publicity Chair: Prabhu Ram (USA) Proceedings Chair: Calton Pu (USA) Local Arrangements: William Buckles (USA) Steering Coittee: Ahmed Elmagarmid Joseph Urban Yahiko Kambayashi Marek Rusinkiewicz Sponsored by: IEEE Computer Society ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- From raghu@quarg.cs.wisc.edu Thu Mar 30 08:43:12 1995 Received: from quarg.cs.wisc.edu by sea.cs.wisc.edu; Thu, 30 Mar 95 08:43:08 -0600; AA05112 Date: Thu, 30 Mar 95 08:43:07 -0600 From: "Giuseppe Santucci" Message-Id: <9503301443.AA20759@quarg.cs.wisc.edu> Received: by quarg.cs.wisc.edu; Thu, 30 Mar 95 08:43:07 -0600 To: dbworld@quarg.cs.wisc.edu From: wpu@stellaris.cg.tuwien.ac.at (W. Purgathofer, E. Groeller, M. Feda) Subject: Beware of VIDEA! Dear colleague, enclosed we send you very shocking information on the "scientific" conference VIDEA'95 organised by the Wessex Institute of Technology. To prevent such cases in the future, please take time and read the enclosed paper. We promise, that you will not be only shocked, but that you will also have much fun! All given information is absolutely true and can be proven by us. Please, forward this mail to all colleagues in technological fields who could be affected by these activities of the Wessex Institute of Technology (can be reached via CMI@ib.rl.ac.uk). Werner Purgathofer, Eduard Groeller, Martin Feda Institute of Computer Graphics, Technical University of Vienna Karlsplatz 13 / 186 email: wpu@cg.tuwien.ac.at A-1040 Wien / Austria WWW: http://www.cg.tuwien.ac.at Begin of enclosed paper: - --------------------------------------------------------- | WARNING: Beware of VIDEA! | | Werner Purgathofer, Eduard Groeller, Martin Feda | | TU Wien / Austria | - --------------------------------------------------------- Abstract This paper illustrates that there are conferences which will destroy confidence in scientific life if the community does not forbid them. The Wessex Institute of Technology (UK) [1] organizes a whole series of regular conferences on various topics [2]. Our experiences are only with one of these, "VIDEA", but one should probably also be careful with the others. It is an offense against honorable scientists to offer false publication possibilities under a scientifically serious disguise for high fees. Our conclusion is: VIDEA accepts EVERYTHING! And we conclude from that that a publication in the VIDEA proceedings is worth NOTHING AT ALL! And to organize such a conference is simply a fraud. Conferences like VIDEA are a morally dispisable scheme to allow people to buy themselves publications without having to undergo any type of reviewing. It simply increases the flow of worthless data and makes it more difficult for scientists to extract really useful information Introduction Serious conferences usually introduce themselves by distributing a "Call for Papers" including a submission deadline. After having received contributions a technical program committee reviews and evaluates these to come to a decision which of the submitted paper proposals shall be accepted for the conference. Some conferences ask for abstracts first to be able to decide whether a topic is appropriate for their event, and ask for full papers (to be reviewed again) only thereafter. This holds also for a conference called "Visualization and Intelligent Design in Engineering and Architecture" (VIDEA'93). Having accepted to become a member of the program committee for VIDEA'93, one of the authors made two suspicious observations. Firstly, he received exactly zero abstracts and zero papers to review, and was never informed about any program committee meetings nor of any reviewing results. The program for the conference was finished apparently without involvement of the scientific advisory committee. We recognized this by receiving the printed advance program. Secondly, we submitted three papers to this conference, and they were all accepted without any comments, grades, or whatsoever. Meaningless to say that the visit to this conference was very disappointing both in the sense of contents and in the sense of organization. When two of the authors were asked to become members of the program committee for VIDEA'95 (to take place in La Coruna, Spain), we planned to test if any reviews take place at all. We would send them four abstracts that are obviously plain nonsense, that no excuse for accepting them could be taken seriously. This paper reports about this activity. The submitted abstracts We decided to write more than one crazy abstract to make sure that an acceptance cannot be interpreted as accident and so we tried different types of weird papers proposals. The first of four abstracts we produced was simply a completely irrelevant topic, namely how to create footprints on the walls of public rooms. It includes several statements that every reviewer must recognize as joke. The complete text is given in abstract 1. Extended abstract 1: - --------------------------------------------------------- The Footprint Function for the Realistic Texturing of Public Room Walls Abstract Today's radiosity methods are able to produce nearly perfect light distributions for interior rooms. Unrealistic appearance now mainly is due to missing texturing of the walls. One important feature of public room walls are footprints in the lower areas. This paper presents a set of simple functions to easily generate a class of footprint textures for such applications. Different randomization techniques ensure the realistic appearance of the results. This technique is of increasing importance for the visualization of architectural objects in the future. Keywords realism, rendering, textures, footprints Introduction Today's radiosity methods are able to produce nearly perfect light distributions of interior rooms. Unrealistic appearance now mainly is due to missing texturing of the walls. One important feature of public room walls are footprints in the lower areas. The Footprint Function The basic footprint function is a combination of trivial, i.e. easy to implement, parametric functions. The footprint is divided into a ball and a heel which can have independent sole textures. The sizes are chosen such that a simulation of shoe sizes 35 to 42 for women profiles and 39 to 46 for men profiles is performed. Randomization Techniques Distribution techniques will be presented that ensure that the lower part of the wall contains significantly more footprints than the higher parts. Especially, no footprints must occur above a certain threshold height, due to physiological limitations of the human being. Additionally, random functions will take care that most footprints remain incomplete and vary in color and shape. Results Preliminary investigations are encouraging. As we have not implemented the new method yet, there are no concrete results, yet. The final paper might include images. Conclusion A footprint function for the realistic imaging of walls is presented. Details of all functions are given to ensure an easy implementation for the reader. References to be included in the final paper. - --------------------------------------------------------- (end extended abstract 1) The second abstract describes a correct method which makes no sense at all, that is how to render interior rooms without light. Obviously, the resulting image will be completely black. This was written as in abstract 2. Extended abstract 2: - --------------------------------------------------------- Efficient Radiosity for Daylight Simulation in Closed Environments Introduction Radiosity is a useful tool for architects and lighting engineers to simulate illumination in the interior of buildings. Unfortunately, the computation time for radiosity is very high. However, radiosity algorithms can take advantage of special scene properties of specific classes of environments. Exploiting the additional information about the scene structure of a particular class can decrease the computation time significantly. The aim of this paper is to speed up the radiosity computation for the class of closed environments without artificial light sources. Two Restrictions on the Scene Structure The first restriction on the scene is that it is closed. The reason for this restriction is the fact that radiosity is based upon the energy conservation principle, that means that at any time the amount of emitted energy equals the amount of absorbed energy plus the amount of energy leaving the scene. In closed scenes no energy leaves the scene, thus simplifying the radiosity computation. However, this restriction does not impose problems, because radiosity is mostly used for interior scenes. The second restriction is that only daylight can be considered. Radiosity algorithms solve a set of equations, where the radiosities of patches are the unknowns and the emissions are the constant terms. In conventional radiosity all patches are allowed to emit light, i.e. to be an artificial light source. If we assume that no patch has emission, we only have to consider daylight. This allows the use of very efficient solution methods known in numerical mathematics for the set of equations. The second restriction does not limit the range of applications too much as well, because in most cases architects are interested in visualizing their design with daylight conditions. Mathematical Foundation of the New Method Details will be described in the final paper. Benefits The new method reduces the computation time of both the radiosity evaluation and of image generation. Images can be generated at interactive rates even for very complex scenes, making the method suitable for walk-throughs and VR-applications. Since numerical techniques are mainly replaced by analytical formulas, no aliasing effects appear. Conclusion and Future Work The development of radiosity algorithms for special classes of scenes is a promising field of future research. Such algorithms are significantly faster and possibly more accurate than non-specialized algorithms. - --------------------------------------------------------- (end extended abstract 2) These first two productions have at least a little bit the structure of a scientific paper abstract. What we also wanted to try was, if VIDEA would accept its own text as abstract. So we copied the complete introduction from the "Call for Papers" and gave this abstract the title of the conference. Minor changes were only made like changing the word "conference" to "paper". The result is given in abstract 3. Extended abstract 3: - --------------------------------------------------------- Visualization and Intelligent Design in Engineering and Architecture Abstract In recent years, remarkable advances in computer visualization of objects and physical phenomena have been made. Computer images can now represent real objects very accurately. These techniques can be enhanced by defining any desired path, creating animation, moving computer views and real world video models, as well as sound tracks, resulting in multimedia representations. The development of these techniques has been possible because of the improvements in computer graphic devices, better algorithms and faster processors, which allow workstations and high speed PCs to be suitable platforms for visualization and have greatly improved the ability of high-performance computers to produce computer images, in animated forms, of complex engineering and architecture problems allowing a dynamic analysis of their behavior. Visualization has been essential for the development of new design techniques in engineering and architecture. The integration of computer visualization with other advances in computer computational sciences, such as knowledge based support systems, object bases, advance numerical methods, etc. provide the basis for intelligent design systems. The objective of this paper is to discuss advances in visualization as a tool for intelligent design in engineering and architecture. The paper aims to bring together research in computational mathematics and industrial hardware and software, as well as science, engineering and architecture for developing practical applications in these various fields. A presentation of our results on workstations with graphic peripherals and personal computers will be available to the audience. - --------------------------------------------------------- (end extended abstract 3) Last but not least we decided to produce an abstract without any content, just complete nonsense. So we took a dictionary of information processing words and selected randomly some 40 phrases from there and joined them together to a fantastically technical sounding text. The given reference is, of course, the utilized dictionary! We had much fun with abstract 4. Extended abstract 4: - --------------------------------------------------------- Distributed Multiprogramming System for Pen Selectors with Error Probability Extended Abstract Controllable connections for input/output supervisor channel adapters with line frequency scanning are often used for unavailable time. This paper describes the use of disturbance voltage with equivalent junction temperature as OP-trade-in for zone packed print. The main advantage over previous methods are the data transmission lines and routine conversion. Addressing, relative to preferred characters, uses a magnetic disk machine to enable incremental programming. The identifier transmission group correlates to non transmitting typewriters. Statistically spoken, manufacturing control and messages are mixed so that the primary supervisor may be located in different physical records. A collection of data is defined as the unit of transfer between the program and format management. The theory is based on arithmetic overflow, qualified names, and axial lead resistors. Using the Sparbuchdrucker-theorem [1] modified by ledger adjustment sales in combination with a secondary operator control station allows the number of single machines to roll over the keyboard. The basic origin coordinates ensure a diminished radix complement. In the future this generalized sequential access method will be the source for forced control field lines. References [1] Fachausdr=FCcke der Informationsverarbeitung, IBM Deutschland GmbH, 1985= .. - --------------------------------------------------------- (end extended abstract 4) Results All abstracts were sent to the conference in November 1994 and on January 14th, 1995 we received the results. All four abstract have been "reviewed and provisionally accepted"! This means, that the VIDEA conference organizers [3] claim someone has reviewed these abstracts and has found them suitable for the conference! As members of the program committee two of us had nothing to do with reviewing. The acceptance letter also contains information from which can be concluded that final papers will only be printed in the proceedings if the registration fee is paid together with the final paper. Additionally, the letter states "Due to the success of the conference and to be fair, we can only allow each participant to present one paper at the meeting which will be published in the proceedings" which makes sure that every published paper is paid for by a registration fee. The publisher (Elsevier) probably doesn't have the slightest idea that they are printing non-reviewed material as high-quality books. Conclusions We believe that Wessex Institute of Technology (or at least some people there) profit in a very dirty way from the international pressure on scientists to have long publication lists. They pretend to organize scientific conferences by giving them the look of such events. They use the names of the program committee members for economical purposes only. They "sell" publication possibilities to less experienced or naive members of our community and in this way ruin their work by producing a worthless publication. It is very dangerous to tolerate such developments. This would ruin the seriousness of our scientific culture. The effects of this little test definitely must be that this conference of the Wessex Institute of Technology is abandoned and ignored in the future and that the names of its organizers [3] are watched very carefully for their future actions. We will resign from the program committee immediately and try to warn all other program committee members and authors of accepted papers. Another effect of such scandals should be that the length of the publication lists of scientists must not become so important. Rather than that, other evaluation measures that emphasize quality instead of quantity should be internationally further encouraged. Only by reducing the pressure to produce lots of papers can the danger of such unmoral events be reduced. One positive side-effect would be a reduced intellectual pollution in some fields. A third aspect is how scientifically serios institutions can find support in the organization of local conferences. We want to strongly recommend to contact the established scientific associations of your field to ensure serious support, e.g. the national computer societies, or specialized associations for specific fields. They usually can help with publicity, financing, and high quality publications. Important Note We believe that Wessex Institute of Technology is fully responsible for this affair, and that both the university cite where VIDEA shall take place and the publisher who will produce the proceedings are fooled in the same way as the participants. References [1] Wessex Institute of Technology Ashurst Lodge, Ashurst, Southampton, SO40 7AA, UK. Tel +44(703)293223, Fax +44(703)292853, email CMI@ib.rl.ac.uk [2] WIT-conferences in 1995: SQM 95 (Software Quality Management), Seville, Spain COMPUTATIONAL ACOUSTICS, Southampton, UK WATER POLLUTION 95, Porto Carras, Greece MARINA 95 (Planning Design and Operation) St Raphael, France CMEN 95 (Comp. Methods & Experimental Measurements), Capri, Italy STREMA 95 (Structural Repairs & Maintenance of Hist.Buildungs), Crete, Greec= e SDDE 95 (Soil Dynamics and Earthquake Eng.), Crete, Greece SURFACE TREATMENT 95, Milan, Italy VIDEA 95 (Visualization & Intell. Design in Eng. & Architecture), La Coruna, Spain ASE 95 (Appl. of High Performance Computers in Eng.), Milan, Italy BIOMED 95 (Simulation in Biomedicine), Milan, Italy MOVING BOUNDARIES 95, Ljubljana, Slovenia URBAN TRANSPORT 95, Southampton, UK AIENG 95 (Appl.of Artificial Intelligence in Eng.), Udine, Italy CONTACT MECHANICS 95, Ferrara, Italy BEM 17 (Boundary Element Method), Madison-Wisconsin, USA MARINE TRANSPORT 95, Plymouth, UK COASTAL ENGINEERING 95, Cancun, Mexico BETECH 95 (Boundary Element Technology), Liege, Belgium OPTI 95 (Computer Aided Optimum Design of Structures), Miama, USA MARINE TECHNOLOGY 95, Szczecin, Poland AIR POLLUTION 95, Porto Carras, Greece MICROSIM 95 (Sim.&Design of Microsystems & Microstructures), Southampton, UK CMT 95 (Comp.Methods & Testing for Eng. Integrity), Kualar Lumpur, Malaysia [3] Director: Professor C.A. Brebbia, Wessex Institute of Technology - --------------------------------------------------------- ------- End of Forwarded Message ------------ Forwarded Message ends here ------------ ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- From raghu@quarg.cs.wisc.edu Thu Mar 30 09:09:33 1995 Received: from quarg.cs.wisc.edu by sea.cs.wisc.edu; Thu, 30 Mar 95 09:09:26 -0600; AA05600 Date: Thu, 30 Mar 95 09:09:25 -0600 From: JEUSFELD MANFRED A Message-Id: <9503301509.AA20822@quarg.cs.wisc.edu> Received: by quarg.cs.wisc.edu; Thu, 30 Mar 95 09:09:25 -0600 To: dbworld@quarg.cs.wisc.edu The Apr. 18 deadline for submission of position papers to KRDB'95 is approaching. Please read http://ps-www.dfki.uni-sb.de/~buchheit/krdb95.html for latest information on the workshop. PS: People planning to attend the scientific program of VLDB-95 should note that there is no collision and that Bielefeld has reasonable connections to Zurich. ----------------------------------------------------------------------- Call for Workshop Participation (KRDB-95) REASONING ABOUT STRUCTURED OBJECTS: KNOWLEDGE REPRESENTATION MEETS DATABASES (in conjunction with KI-95) Bielefeld, Germany, September 11 to 12, 1995 Object-centered formalisms for domain modeling play an important role both in knowledge representation (KR) and in the database (DB) area. Nevertheless, there has been little cross-fertilization between the two areas. Research in databases was mostly concerned with handling large amounts of data that are represented in a rather inexpressive formalism, whereas KR concentrated on intensional inferences in relatively small knowledge bases. However, many of today's problems demand sophisticated reasoning on complex and large-scale objects. The workshop is intended to bring together researchers from both areas to continue the discussion initiated at the predecessor workshop KRDB-94 about the problems and applications of a combination of KR and DB techniques and to identify new such questions and solutions. TOPICS For the following (non-exclusive) list of questions, such a combination seems to be most promising: * KR formalisms as schema languages in DB: Is it possible to specify realistic DBs this way? Can the inference mechanisms from KR support the schema design? * Distributed information sources: How can one describe their interaction in a changing environment? * Advanced query processing: How can schema knowledge be utilized for query optimization? How can it be used to generate intensional answers? INVITED TALKS There will be two invited talks by researchers that have worked on the borderline between KR and DB. ORGANIZERS Franz Baader (RWTH Aachen, Germany) Martin Buchheit (DFKI GmbH Saarbruecken, Germany) Manfred Jeusfeld (Hong Kong University of Science & Technology) Werner Nutt (DFKI GmbH Saarbruecken, Germany) ORGANIZATION The workshop will be held in conjunction with the German AI Conference (KI-95), in the afternoon of September 11 and in the morning of September 12. Potential participants should apply by submitting a position paper of about 2 pages to the address given below. Based on these papers, the participants will be organized into groups that present their positions and then discuss them in a panel. SUBMISSION Position papers of about 2 pages (in English) should be sent by April 18, 1995 to buchheit@dfki.uni-sb.de or Martin Buchheit DFKI GmbH Stuhlsatzenhausweg 3 66123 Saarbruecken, Germany Although we accept hardcopies we strongly prefer E-mail submissions (preferably self-contained LaTeX files). The position papers will be printed in a supplement to the KI-95 conference proceedings, and handed out to all conference participants. DEADLINES Submission of papers: April 18, 1995 Notification of acceptance: May 31, 1995 Abstracts for supplement: June 30, 1995 ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- From raghu@quarg.cs.wisc.edu Thu Mar 30 11:30:19 1995 Received: from quarg.cs.wisc.edu by sea.cs.wisc.edu; Thu, 30 Mar 95 11:30:13 -0600; AA09773 Date: Thu, 30 Mar 95 11:30:12 -0600 From: mor@jytkoson2.jyu.fi (Matti Rossi) Message-Id: <9503301730.AA21009@quarg.cs.wisc.edu> Received: by quarg.cs.wisc.edu; Thu, 30 Mar 95 11:30:12 -0600 To: dbworld@quarg.cs.wisc.edu CAiSE 95 Call for Participation announcement ********************************************************************* The 7th Conference on Advanced Information Systems Engineering ********************************************************************* 12-16 June 1995 Jyvdskyld, Finland The full CAiSE *95 preliminary program is available by WWW at: http://www.jyu.fi/~mor/ If you have problems accessing this location, or need info in other forms, please eMail to caise95@jyu.fi. ***************************** WWW http://www.jyu.fi/~mor ************* Matti Rossi Researcher, MetaPHOR project, Dept. of Computer Science Univ. of Jyvdskyld, P.O. Box 35, SF-40351 JKL, Finland tel +358 41 603030 fax +358 41 603011 ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- From raghu@ricotta.cs.wisc.edu Thu Mar 30 13:28:13 1995 Received: from ricotta.cs.wisc.edu by sea.cs.wisc.edu; Thu, 30 Mar 95 13:28:10 -0600; AA11950 Date: Thu, 30 Mar 95 13:28:09 -0600 From: raghu@ricotta.cs.wisc.edu (Raghu Ramakrishnan) Message-Id: <9503301928.AA18434@ricotta.cs.wisc.edu> Received: by ricotta.cs.wisc.edu; Thu, 30 Mar 95 13:28:09 -0600 To: dbworld@ricotta.cs.wisc.edu Subject: IMPORTANT CHANGE --- PLEASE NOTE The dbworld list is now moderated by me. This means that I look at each message and decide whether it is appropriate for the list; you will receive msgs as before, and can post msgs as before (by sending mail to dbworld@cs.wisc.edu). (1) If I decide that some msg is inappropriate, I will delete it and send mail to the author of the msg. So, if a msg that you mail to dbworld doesn't appear shortly AND you don't receive a note from me explaining why, your msg may have been lost. Please send mail to dbowner@cs.wisc.edu (or raghu@cs.wisc.edu) to check. (In this context, `shortly' means within a few days or so; I'm a great believer in fuzzy logic for deadlines.) (2) Moderation seems unavoidable if we are to keep the volume on this list small, and to avoid irrelevant postings. However, I'd appreciate it if you think carefully before sending a msg, so that I have to screen fewer msgs. Consider whether one of the usenet newsgroups, of which there are many pertaining to databases, is more appropriate. (In particular, "Do you know of--Can you point me to-- Is there such a thing" kind of msgs are best posted on an appropriate newsgroup.) As a guideline: The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. And remember, each inappropriate msg annoys well over 2000 recipients. (3) If you move, or your address becomes invalid for some reason, unsubscribe from dbworld. You can do this by sending mail to listproc@cs.wisc.edu with the line "unsubscribe dbworld" from the address in question. If you can't do this (e.g., the account is kaput), send mail to dbowner requesting that your old address be removed. Otherwise, tons of bounced mail are generated (and inflicted on dbowner). This is wasteful of net and dbowner bandwith. (4) If you find the volume on this list to be high, consider receiving digests (all the week's msgs bundled up into one msg each Sunday), or using the archive feature. Some useful commands (all of which should be mailed to listproc@cs.wisc.edu; the list name is dbworld) are: Request to get only a digest of all messages posted to a particular list set mail digest example: set olympians mail digest From: jjk (Jackie Joyner-Kersee) This will cause Jackie to get only one mail message a week from this list. The message will contain all of the messages posted to the list during the past week. To get a list of the archives available for a particular list index example: index olympians Listproc will send the following message: Archive: olympians (path: olympians) -- Files: log.7a (1 part, 34763 bytes) -- log.7b (1 part, 43285 bytes) -- Get a copy of a specific archive for a particular list get example: get olympians log.7a Listproc will send a return message containing all of the messges posted during the first week of list activity (in early July). For more information, look up the local manual pages for listproc. Thanks for your co-operation. Raghu Ramakrishnan aka dbowner ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- From raghu@quarg.cs.wisc.edu Fri Mar 31 10:51:54 1995 Received: from quarg.cs.wisc.edu by sea.cs.wisc.edu; Fri, 31 Mar 95 10:51:51 -0600; AA05343 Date: Fri, 31 Mar 95 10:51:50 -0600 From: "Russel C. Bozian" Message-Id: <9503311651.AA05719@quarg.cs.wisc.edu> Received: by quarg.cs.wisc.edu; Fri, 31 Mar 95 10:51:50 -0600 To: dbworld@quarg.cs.wisc.edu Merely mention the phrase "send compiler" in the subject line of a message to StarSet@iglou.com and you will eventually receive a working un-indexed DOS prototype of a new universal database language that implements the Set Models of Information and Data. "StarSet" looks like the first pure implementation of set data types and set-theoretic operators in a language simple and familiar enough to be considered general-purpose. The compiler will be a sent as a 260-kilobyte attachment to an email review of the book that announced the model theory and language. The compiler needs an MS-DOS machine and "StarSetc -d" command to un-arc it. The Set Models appear to correct the major algebraic flaws in the Relational Models of Information and Data: union-compatiblity problems, null values, etc. --rubozian@tso.cin.ix.net --Russell Bozian, Cincinnati, OH ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- From raghu@quarg.cs.wisc.edu Fri Mar 31 15:52:17 1995 Received: from lucy.cs.wisc.edu by sea.cs.wisc.edu; Fri, 31 Mar 95 15:52:10 -0600; AA00693 Received: from quarg.cs.wisc.edu by lucy.cs.wisc.edu; Fri, 31 Mar 95 15:07:04 -0600 Date: Fri, 31 Mar 95 15:05:52 -0600 From: manzoni@elet.polimi.it (Pietro Manzoni) Message-Id: <9503312105.AA06558@quarg.cs.wisc.edu> Received: by quarg.cs.wisc.edu; Fri, 31 Mar 95 15:05:52 -0600 To: dbworld@quarg.cs.wisc.edu PLEASE CIRCULATE THIS MESSAGE ====================================================================== *** H P C N E U R O P E 1995 *** ====================================================================== The International Conference and Exhibition on High-Performance Computing and Networking Milan, Italy - May 2-5 1995 PRESENTATION The Conference is organised by the Foundation HPCN Europe assisted by a board of advisors of about 60 well-known experts and is focused on HPCN users in research and industry. The local organization is FAST, the Italian Federation of Scientific and Technical Association. More than 250 papers were submitted from all over the world, e.g. United States, Australia, Japan, Russia and neraly every European country. The Conference will cover different areas of scientific and commercial applications. It will show both the role of HPCN as a path finding tool for diverse areas of research such as: chemistry, physics, biosciences, climate research, material sciences, molecular modelling, geophysics, pattern recognition, image processing, etc. as well as a provider of the competitive edge in aerospace technology, industrial design and manufacturing, automobile industry, plans management, etc.. The underlying techniques, like CDF, CAE, CAD, CAM, etc. will be created in dedicated sessions. Newly developing HPCN areas - like transaction processing, information management, parallel databases for the business field - are also treated. Another part of the conference is dedicated to tools, programming languages, compilers and user interfaces. Besides these aspects of using high-performance computers, new architectures will be considered such as database machines and real-time embedded systems. In addition, different aspects of networking will be discussed. These themes will be covered by special lectures, given by well known invited speakers. The proceedings will be published by Springer in Lecture Notes in Computer Science. More than 110 speakers from research and industry will present their papers in the conference. Twelve well-known experts from Europe and the United States have accepted to present a plenary keynote or an invited lecture in the parallel sessions. They demonstrate the advantage of using high-performance computing in their industrial and research application fields. HPCN 1995 PROGRAMME COMMITTEE Chairman: Giuseppe Serazzi Politecnico of Milan HPCN Foundation Chairman: Bob Hertzberger University of Amsterdam Achim Bachem University of Cologne Thomas Bemmerl RTWH Aachen and Intel Esdc Arndt Bode TU of Munich Helmar Burkhart University of Basel Mario Calamia Agenzia Spaziale Italiana Enrico Clementi University of Strasbourg/CRF4 Iain Duff DRAL Wolfgang Gentzsch FH Regensburg and Genias Lucio Grandinetti University of Calabria Jochem Huser CLE Antony Hey University of Southampton Geerd Hoffmann ECMWF Friedel Hofeld KFA William Jalby Prism-Universityof Versailles Stefan Jhnichen GMD First Egon Krause RWTH Aachen Christopher Lazou Hypercom Consultants Pierre Leca Onera Giancarlo Mauri University of Milan Gerard Meurant CEA John Murphy British Aerospace Dorte Olesen University of Copenhagen Ronald Perrott University of Belfast Nikolay Petkov University of Groningen Andreas Reuter University of Stuttgart Dirk Roose Catholic University of Leuven Peter Sloot University of Amsterdam Ulrich Trottenberg GMD Colin Upstill Parallel Application Centre Southampton Aad Van der Steen ACCU Henk Van der Vorst University of Utrecht Marco Vanneschi University of Pisa Jens Volkert University of Linz Kam-Fai Wong Chinese University Hong Kong Emilio Zapata University of Malaga HPCN Europe 1995 Vendor Board Frank Baetke Convex Rolf Geisen Parsytec Uwe Harms Harms Supercomputing Consulting John Kreatsoulas Digital Peter Linnenbank Royal Dutch Fairs Carlo Marchi Alenia Spazio Jorgen Pampus Siemens Nixdorf Hans-Ulrich Schofer Cray Research GENERAL INFORMATION Venue "Centro Congressi Milanofiori", Assago (Mi) Milanofiori - Strada 1a, tel. +39.2.824791 - fax +39.2.82479273. The Conference and Exhibition centre is located at about 30 minutes from the City centre. Public transport - underground line M1 ("Bisceglie" stop), then bus ATM 124 (Milano Assago) "Milanofiori" stop - underground line M2 ("Romolo" stop), then bus ATM Milano-Rozzano or Milano-Assago ("Milanofiori" stop) Registration Registration fees for the Conference are: 530.000 VAT included (University) early registration until 5 April `95 830.000 VAT included (Industry) early registration until 5 April `95 650.000 VAT included (University) late registration after 5 April `95 950.000 VAT included (Industry) late registration after 5 April `95 Registration fees for the Tutorials: 420.000 VAT included 1 day Tutorial 240.000 VAT included 1/2 day Tutorial Tutorials can be cancelled if the minimum number of participants won't be reached by 12 April `95. The fee covers attendance at the conference, the workshop on 2 May and the other events (excluding tutorials), free entry to the exhibition, conference proceedings, coffee breaks. Payment may be made by cheque payable to Fast-Milan or by crediting the current account n. 10381 c/o Istituto Bancario S. Paolo di Torino, agenzia n. 4, Milan (codes ABI 1025; CAB 01604.8). In the latter case, the registration shall be accompanied by a copy of the bank documents. Credit cards (VISA, EUROCARD, MASTERCARD) are also accepted. Payment of the participation fee may also be made at the reception desk before the beginning of the event, or on 2 May afternoon at the Conference venue. Only participants correctly registered will be admitted to the conference hall. Hotel reservation Preferential rates have been negotiated with some hotels in Milan (see the enclosed Hotel booking form). Social events - Accompanying persons' programme - Tourist information Programme is available on request (fastfed@icil64.cilea.it). ######################################################################## GENERAL PROGRAMME ######################################################################## TUTORIALS Tuesday, 2 May 1995 8.45 Registration 9.00 Tutorials 13.00 Break 14.30 Tutorials and workshop 18.30 End of the session CONFERENCE Wednesday, 3 May 1995 8.30 Registration 9.30 Opening Remarks G. Serazzi (I); L.O. Hertzberger (NL) 9.45 The Teraflops engines for future computational challenges, N. Cabibbo, ENEA (I) 10.15 High Performance Computing is Changing its Shape, F. Kubler, Parsytec (D) 10.45 High Performance Computing - Approaching the 21st Century, E. Masi, Intel (USA) 11.15 Coffee Break 11.45 Software standards and tools for concurrent computing J. Dongarra, University of Tennessee-Oak Ridge National Laboratory (USA) 12.45 Visit to exhibition, Posters 14.30 Four parallel sessions 16.00 Coffee Break 16.30 Four parallel sessions 18.30 Adjournement of the Conference Thursday, 4 May 1995 9.00 On the Impact of High-Speed Information Technologies on Science - P. Messina, California Institute of Technology (USA) 9.45 HPCN: European Perspective, T. Van der Pyl D.G. XIII EC 10.30 Coffee Break 11.00 Four parallel sessions - Europort 1, Europort 2 13.00 Visit to exhibition, Posters 14.30 Four parallel sessions - Europort 1, Europort 2 16.00 Coffee Break 16.30 Four parallel sessions - Europort 1, Europort 2 18.30 Adjournement of the Conference Friday, 5 May 1995 9.00 Four parallel sessions 11.00 Coffee Break 11.30 Four parallel sessions 13.00 Visit to exhibition, Posters 14.30 Four parallel sessions 17.00 End of the Conference OTHER EVENTS Wednesday 3 May 1995 h. 12.45 Top 500 Supercomputer Sites - Analysis of the present situation h. 14.30 Ei3 h. 14.30 Vendor session Thursday 4 May 1995 h. 10.30 Vendor session (all day) Friday 5 May 1995 h. 9.00 Workshop on New European Projects: PACOS - CAPRI - CAESAR - h. 10.30 Vendor session (all day) h. 11.30 Sup'Eur meeting - European users of high-performance computing on IBM platforms THE EXHIBITION About 60 exhibitors are expected among the market leaders and the most well known names from everywhere in the world. Exhibition opening hours: Wednesday 9.00-19.00 Thursday 9.00-19.00 Friday 9.00-17.00 Free entry. For detailed information request the visitors' brochure to Royal Dutch Fairs, Exhibition Manager HPCN Europe 1995, Peter Linnenbank, Tel. +31 30 955662, Fax +31 30 955 559. TECHNOLOGY DEMONSTRATORS DISPLAY Ten leading European HPCN centres will demonstrate the feasibility and benefits of new technologies in real applications on real high- performance computing systems. Futher information on the participating centres can be obtained from TDD chair: Ad Emmen, emmen@sara.nl VENDOR SESSION A special vendor session will be organised parallel with the conference. In this session exhibitors have the opportunity to inform customers about their latest products, make announcements, and give an outlook on their new developments and future plans in HPCN. Participation in the vendor session is complimentary. Further information from Uwe Harms, Tel. & Fax +49 89 670 80 63, 100347.3367@compuserve.com ######################################################################## ######################################################################## ######################################################################## TUTORIALS ######################################################################## Tuesday, 2 May 1995 1) High Performance Linear Algebrah. 9.00-13.00 J. Dongarra, Univ. of Tennessee - Oak Ridge National Laboratory USA I. Duff, Rutherford Appleton Laboratory - UK 1/2 day - minimum 22 participants 2) Toward Teraflop Architectures and Algorithms h.9.00-13.00/14.30-18.30 R.K. Agarwal, Wichita State University (USA) 1 day - minimum 15 participants 3) The Science and Practice of Computer Benchmarking h. 9.00 - 13.00 R.W. Hockney, University of Southampton, (UK) 1/2 day - minimum 12 participants 4) Programming Models and Tools for HPCN Platforms h. 14.30-18.30 S. Succi, IBM ECSEC, Rome, (I) 1/2 day - minimum 12 participants ######################################################################## WORKSHOP Tuesday, 2 May 1995 h. 14.30-18.30 1) Integrated High Performance Computing via European ATM Broadband Network E=MC2 Consortium ######################################################################## TECHNICAL SESSIONS ######################################################################## Contributed papers Invited speakers giving presentations during the parallel sessions: T. Andersen - Odense Steel Shypyards - DK N. Weatherill - University of Wales Swansea - UK K. Decker - Centro Svizzero di Calcolo - CH K. Schilling - University of Wuppertal - D D. Tolmie - Los Alamos National Laboratory - USA S. Orszag - Princeton University - USA Wednesday, 3 May 1995 Parallel session A h. 14.30 Parallel Programming I Chair: R. Geisen (D) Exploiting massively parallel architectures for the solution of diffusion and propagation problems; P.P. Delsanto, S. Biancotto, M. Scalerandi, M. Rebaudengo, M. Sonza Reorda; Politecnico of Torino (I) Summarising an experiment in parallel programming language design; B. Bacci, M. Danelutto, S. Pelagatti, M. Vanneschi, University of Pisa; S. Orlando, University of Venezia (I) Language, compiler and parallel database support for I/O intensive applications; P. Brezany, T. A. Mueck, E. Schikuta; University of Vienna (A) h. 16.30 Tools Chair: H. Burkhart (CH) Using optimistic execution techniques as a parallelisation tool for general purpose computing; A. Back, S. Turner; University of Exeter (UK) System Management Tools for SHPC Systems. Partition Management; H. Guenther, F. Brochuers, T. Bemmerl; RWTH Aachen (D) Multi-operation multi-machine scheduling; W. Mao; The College of William and Mary (USA) A PVM tool for automatic test generation on parallel and distributed systems; F. Corno, P. Prinetto, M. Rebaudengo, M. Sonza Reorda, Politecnico of Turin (I); E. Veiluva Centro Supercalcolo Piemonte (I) Parallel session B h.14.30 Networking Chair: I. Duff (UK) Invited Speaker: Gigabit LAN issues - HIPPI, Fibre Channel, or ATM?; D. Tolmie; Los Alamos National Laboratory (USA) The European meta computing utilizing integrated broadband communications (E=MC2) project; R. McConnell; Queen's University of Belfast (UK) Obtaining high performance data transmission in the Internet; P. Manzoni; Politecnico of Milan (I) h. 16.30 Parallel processing on heterogeneous netwotks for GIS applications; A. Clematis, B. Falcidieno, D. Fernandez Prieto, M. Spagnuolo; CNR (I) Block loss reduction in ATM networks; V. Srinivasan, A. Ghanwani, E. Gelenbe; Duke University (USA) Characterizing the resource demands of TCP/IP; V. Vetland, J.Rolia, Carleton University (CDN); E. Pozzetti, G. Serazzi, Politecnico of Milan (I) Implementing communication latency hiding in high-latency computer networks; V. Strumpen, Institut for Scientific Computing (CH); T. L. Casavant , University of Yowa (USA) Parallel session C h. 14.30 Performance evaluation, benchmarking and modeling I Chair: A. Van der Steen (NL) Modeling speedup of SPMD applications on the intel paragon: a case study; E. Smirni , Vanderibilt University (USA); E. Rosti, University of Milan (I) A hierarchical approach to workload characterization for parallel systems; M. Calzarossa, A. Merlo, D. Tessera, University of Pavia (I); G. Haring, G. Kotsis, University of Vienna (A) Performance analysis of Cray T3D and Connection Machine CM- 5: a comparison; P. Marenzoni; University of Parma (I) h. 16.30 Numerically intensive computing as a benchmark of parallel computer architectures; K. Boryczko, J. Kitowski, J. Moscinski, A. Leszczynski; AGH (PL) A preliminary performance evaluation of the quadrics architecture with the DARPA image understanding benchmark; M. Piccardi, T. Salmon Cinotti, S. Zuffi; University of Bologna (I) Performance evaluation of high performance Fortran for scientific computing; B. Boulter; Digital Equipment Corporation (IRL) An integrated approach to performance and testing analysis for parallel systems; A. Brachini, A. Marconi, M.R. Nazzarelli, S. Sabina; Intecs Sistemi (I) Parallel session D h.14.30 Weather simulations, climate and environmental applications Chair: H. Sobool (D) Structured parallelisation of the flow simulation package TRIWAQ; M.R. Roest, E.A.H. Vollebregt, E. ten Cate, Hai- Xiang Lin; Delft University of Technology (NL) Implementation of a meteorological limited area model on QUADRICS; G. Adorni; Enea (I) High-performance computing and networking for climate research; C.R. Mechoso; University of California (USA) h. 16.30 Parallel solution strategies for triangular systems arising from oil reservoir simulations; A. Sunderland; University of Liverpool (UK) Parallelisation of surface-related multiple elimination; G.M.van Waveren, University of Groningen (NL); I.M.Godfrey, Stern Computing Systems (F) Preliminary results on the parallelization of ARPEGE/IFS with the implementation of the full Meteo-France physic; B. Radi, J.F. Estrade; Meteo-France (F) A parallel semi-implicit method for 3D nonlinear magnetohydrodynamics; P.M. Meijer, S. Poedts, J.P. Goedbloed, FOM-Institute for Plasmaphysics (NL); A. Jakoby, Thinking Machines GmbH (D) Thursday, 4 May 1995 Parallel session A h.11.00 Compilers, Data Parallel Structures, Database Chair: H. Budd (F) The Pandore data-parallel compiler and its portable runtime; F. Andre, M. Le Fur, Y. Maheo, J.L. Pazat; IRISA (F) Mapping affine loop nests: new results; M.l Dion, Y. Robert; LIP of Lyon (F) Evidential techniques in parallel database mining; S.S. Anand, D.A. Bell, J.C. Hughes, C.M. Shapcott; University of Ulster at Jordanstown (UK) A portable platform for parallel databases; F. Stamatelopoulos, NETMODE Laboratory (GR); G.Manis, G. Papakonstantinou, University of Athens (GR) h.14.30 Monitoring, Debugging, Tools Chair: P. Leca (F) Invited paper: Satsfying application user requirements: A next-generation tool environment for parallel systems; K. Decker, J.J. Dvorak, R.M. Rehmann, R. Ruhl; CSCS (CH) Development of a parallel and distributed integration package - PART I; E. de Doncker, A. Gupta, P. Ealy, K. Rathbun; Western Michigan University (USA) Debugging parallel programs using ATEMPT; S. Grabner, D. Kranzlmuller, J.Volkert; J. Kepler University Linz (A) h.16.30 Parallel environment, simulation I Chair: T. Bemmerl (D) Message-driven parallel computations on the MEIKO CS-2 parallel supercomputer; V.A. Saletore, T.F. Neff; Oregon State University (USA) A computational study of wave propagation in a model for anisotropic cardiac ventricular tissue; S. Veronese, H. Othmer; University of Utah (USA) Programming parallel simulations; F. Fatin, R.J. Paul; Brunel University (USA) XHIVE: interactive parallel application development using the PCF metodology; P. Carboni, M. Fruscione, F. Guindani, S. Punzi, P. Stofella; A.C.S. (I) Parallel session B h.11.00 Neural Networks, Distributed Computing Chair: G. Mauri (I) A toolbox for affine recurrence equations parallelization; V. Loechner, C. Mongenet; Louis Pasteur University (F) Learning in large neural networks; D. Anguita, F. Passaggio, R. Zunino; University of Genova (I) Neural networks for parallel contrast enhancement in medical images; J. Mattes, D. Trystram, J. Demongeot; University of Grenoble Joseph Fourier (F) Neural network base hand-eye positioning with a transputer- based system; H. Kihl, J.P. Urban, J. Gresser, S. Hagmann; University of Haute Alsace (F) h.14.30 Physics, Astrophysics and Material Sciences Chair: P. Sloot (NL) Parallel preconditioners on MIMD computers applied to petroleum industry; F. Willien, Institute Francais du Petrole (F); E. Piault, Cisi (F); F-X. Roux, Office National d'Etudes et Recherches Aerospatiales (F) Computation of heat transfer with methods of high performance scientific computing; M. Hortmann, M. Pophal, M. Schafer, K. Wechsler; University Erlangen-Nurnberg (D) Solution of large electromagnetic problems. made feasible by HPC - Reducing execution times from months to hours; A. Marsh, D.I. Kaklamani; National Technical University of Athens (GR) h. 16.30 Break An efficient tool for the study of 3D turbulent combustion phenomena on MPP computers; A. Stoessel; Institute Francais du Petrole (F) A parallel code for simulating the ionization of hydrogen with short intense laser pulses; F. Seyl, R. Schinke, Max Planck Institute (D); O. Haan, Gesellschaft fur wissenschaftliche Datenverarbeitung (D) Porting a coarse-mesh neutron diffusion code on a Cray T3D massively parallel computer; G. Erbacci, CINECA (I); R. Ansaloni, CRAY Research (I); B. Montagnini, University of Pisa (I); R. Scardovelli, M. Sumini, D. Zardini, University of Bologna (I) Load balancing for lattice gas and molecular dynamic simulations on networked workstations; M. Bubak, J. Moschinski, M. Pogoda, R. Slota; Institute of Computer Science, AGH (PL) Parallel session C h.11.00 Managing HPCN I Chair: P. Cros (F) Mermaid: modelling and evaluation research in MIMD architecture design; A.D. Pimentel, J. van Brummen, T. Papathanassiadis, P.M.A. Sloot, L.O. Hertzberger; University of Amsterdam (NL) A framework for analysis of European HPCN centers; A. Emmen; SARA (NL) The Cray T3D as a production machine at Konrad-Zuse-Zentrum Berlin; H. Stueben; Konrad-Zuse-Zentrum fuer informationstechnik Berlin (D) Discrete optimisation and real-world problems; J. Kallrath, A. Schreieck; Basf-Ag (D) h.14.30 Managing HPCN II Chair: B. Madahar (UK) The electronic InfoMall - HPCN enabling industry and commerce; G:C: Fox, K:A: Hawick, M. Podgorny, K. Mills, H.W. Yau; Syracuse University (USA) Optimal management of electric power systems via high performance computing; D. Conforti, L. De Luca; University of Calabria (I) Reconfiguration of massively parallel systems; J. Vounckx, G. Deconinck, R. Lauwereins; Catholic University of Leuven- ESAT (B) h.16.30 Load balancing Chair: S. Stoichev (BG) Simulation of reacting flows with a portable parallel code using dynamic load balancing; D. Thevenin, F. Behrendt, U. Maas, J. Warnatz; University of Heidelberg (D) Dynamic load balancing of atomic structure programs on a PVM cluster; A. Stathopoulos, A. Ynnerman; Vanderbilt University (USA) Dynamic load balancing with a spectral bisection algorithm for the constrained graph partitioning problem; R. Van Driessche, D. Roose; Catholic University of Leuven (B) Flexible load balancing software for parallel applications in a time-sharing environment; W.Joosen, S.Bijnens, B.Robben, J.Van Oeyen, P.Verbaeten; Catholic University of Leuven (B) Parallel session D h.11.00 Visualization, Computational fluid dynamics Chair: N. Carmichael (NL) Exploiting high performance Fortran for computational fluid dynamics; K.A. Hawick, G.C. Fox; Syracuse University (USA) Person identification based on multiscale matching of cortical images; P. Kruizinga, N. Petkov; University of Groningen (NL) PARCS: a scalable parallel multimedia server for fast archiving and communication of medical images; M. Fruscione, P. Stofella, A.C.S. (I); H.J. Denuell, Parsytec Computer GmbH (D) Computation of turbulent coaxial jet flow on parallel systems; J.G. Carter, D. Cokljat, R.J. Blake; EPSRC Daresbury Laboratory (UK) h. 14.30 Commercial architectures and applications I Chair: D. Duval (F) Invited paper: Exploitation of HPCN in European Industry; T. Andersen; Odense Steel Shypyard (DEN) Implementation of dynamic density functional theory for self-organizing complex fluids on parallel computers; J.G.E.M. Fraaije , University of Groningen (NL); O.A. Evers, Basf (D) The need for super computers in aerospace research and industry; M.E.S. Vogels, H. van der Ven; National Aerospace Laboratory NLR (NL) Parallelisation of a hydrodynamic model for the Northwest european continental shelf; Z.W. Song, D. Roose, C.S. Yu, J. Berlamont; Catholic University of Leuven (B) h.16.30 PVMe: an enhanced implementation of PVM for the IBM 9076 SP2; M. Bernaschi, G. Richelli; IBM ECSEC (I) Performance of the Acri decoupled architecture: the perfect Club; N.Topham, University of Edinburgh (UK); K.McDougall, University of St. Andrews (UK) Architecture and implementation of a single-board desktop supercomputer; B. Tiemann; H. V. Muhll, I. Hasler, E. Hiltebrand, A. Gunzinger, G. Troster, Swiss Federal Institute of Technology (CH) Friday, 5 May 1995 Parallel session A h.9.00 Molecular modeling and dynamics Chair: N. Weatherill (UK) Porting and optimizing a quantum chemistry FCI algorithm on the Cray T3D; R. Ansaloni, CRAY Research (I); E. Rossi, CINECA (I); S. Evangelisti, University of Bologna (I) High performance computing for one of the grand challenges; K. Bohm; Deutsches Krebsforschungszentrum (D) RNA structure alignment on a massively parallel computer; H.Ellingworth, MasPar Computer Ltd; S. R. Eddy, MRC Laboratory of Molecular Biology (UK) Pattern recognition via molecular dynamics on vector supercomputers and networked workstations; W. Dzwinel, J. Blasiak; AGH Institute (PL) h.11.30 CAD - for electronic circuity Chair: S. Orszag (USA) Invited paper: CAD, grid generation and pre-processing for increasingly complex problems; N. Weatherill; University of Wales Swansea (UK) Parallelization of an iterative placement algorithm using ParMod-C; T. Schnekenburger, H. Spruth; Technical University of Munchen (D) High performance VLSI model elliptic solvers; M. Vajtersic; University of Vienna (A) h.14.30 Parallel Programming II Chair: N. Petkov (NL) Processing irregular codes containing arrays with multi- dimensional distributions by the PREPARE HPF compiler; P. Brezany, K. Sanjari, University of Vienna (A); O. Cheron, IRISA (F); E. van Konijnenburg, ACE (NL) Scalability in distributed systems, parallel systems and supercomputers; O. Kremien, Bar-Ilan University (IL) High Performance C++; K. Wolf, A. Holtz, M. Lang; GMD (D) A toolkit for optimising parallel performance; A. Dunlop, E. Hernandez, O. Naim, T. Hey, D. Nicole; University of Southampton (UK) Parallelization strategies for a reduced dimensionality calculation of quantum reactive scattering cross sections on a hypercube machine; R. Baraglia, D. Laforenza, CNUCE (I); A. Lagana, University of Perugia (I) Parallel session B h.9.00 PVM environment Chair: K. Becker (CH) Efficient implementation of PVM on the AN2 ATM network; M. Hausner, Institute for Computersysteme (CH); M. Burrows, C.A. Thekkath; Digital Equipment Corporation (USA) The use of PVM with workstation cluster for distributed SAR data processing; G. Aloisio, M.A. Bocchino; University of Lecce (I) WPVM: parallel computing for the people; A. Alves, L. Silva, J. Carreira, J.G. Silva; University of Coimbra (P) PVM in a shared-memory industrial multiprocessor; E. Appiani, M. Bologna, M. Corvi, Elsag Bailey (I); M. Iardella, University of Genova (I) h.11.30 Parallel Environments, Simulation II Chair: K. Schilling (D) The DSPL Project - An overview; A. Mitschele-Thiel; University of Erlangen-Nurnberg (D) Overlapping techniques of communications; C. Calvin, LMC- IMAG (F); L. Colombet, CISI-CENG/DI (F); P. Michallon, ETCA/CREA/SP (F) Parallel computation of electric fields in a heterogeneous workstation cluster; A. Blaszczyk, Z. Andjelic, Asea Brown Boveri Corporate Research (D); P. Levin, Worcester Polytechnic Insitute (USA); A. Ustundag, MIT (USA) h.14.30 Performance Evaluation, Benchmarking and Modeling II Chair: C. Lazou (UK) A model-driven tool for performance measurement and analysis of parallel programs; X. Huang, C. Steigner; University of Koblenz-Landau (D) HPF on intel paragon and CRAFT on CRAY T3D: basic performance measurements and experiments with a block- sparse CG-algorithm; G. Schulz-Ziemer, A. Geiger; University of Stuttgart (D) Statistical analysis of NAS parallel benchmarks and LINPACK results; H.D. Simon, Nasa Ames Research Center (USA); E. Strohmaier, University of Mannheim (D) Parallel performance evaluation through critical path analysis; B.J. Overeinder, P.M.A. Sloot; University of Amsterdam (NL) Benchmarking the parallel FIRE code on IBM SP1-2 scalable parallel platforms; G. Bachler, R. Greimel, H. Schiffermuller, AVL GmbH (A); M. Bernaschi, F. Papetti, S. Succi; IBM ECSEC (I) Parallel session C h. 9.00 Numerical Algorithms for Engineering Applications I Chair: L. Grandinetti (I) Parallel computational electromagnetics on the CRAY T3D using boundary element method; P. Vezolle; CEA-CESTA (F) An efficient implementation of a backpropagation learning algorithm on a Quadrics parallel supercomputer; S. Taraglio, ENEA C.R. Casaccia (I); F. Massaioli CASPUR CICS University of Rome "La Sapienza" (I) Experience of running PIAF on the CS-2 of CERN; T. Hakulinen, F. Rademakers; CERN (CH) Convection driven by sedimentation using molecular dynamics approach; W. Alda, W. Dzwinel, AGH (PL); J. Kitowski, J. Moscinski, AGH and CYFRONET (PL); D.A. Yuen, University of Minnesota (USA) h. 11.30 A real-time application for the CS-2; R. Hauser, CERN (CH); I. Legrand, DESY (D) Sparse LU factorization on the Cray T3D; R. Asenjo, E.L. Zapata; University of Malaga (E) Parallel solution of a Schrodinger-Poisson system; T. Rauber, G. Runger; University of Saarlandes (D) h.14.30 Numerical Algorithms for Engineering Applications II Chair: G. Meurant (F) A dynamic data model for parallel adaptive PDE solvers; K. Birken, C. Helf; University of Stuttgart (D) Analysis and solution of generalized stochastic Petri nets: a data parallel CM-5 approach; S. Caselli, G. Conte, P. Marenzoni; University of Parma (I) A distributed divide-and-conquer approach to the parallel tridiagonal symmetric eigenvalue problem; R. Pavani, U. De Ros; Politecnico of Milan (I) Parallel iterative solution methods for linear finite element computations on the Cray T3D; M. van Gijzen; University of Utrecht (NL) The multi-algorithmic approach to optimisation problems; G. Bruno, A. d'Acierno; University of Napoli (I) Parallel session D h.9.00 Parallelization Techniques Chair: B. Monien (D) Invited paper: Title: to be announced K. Schilling, University of Wuppertal (D) An application specific parallel programming paradigm; T. Rauber, G. Runger, R. Wilhelm; University of Saarlandes (D) Finite difference approximation to the shallow water equations on a quasi-uniform spherical grid; C. Ronchi, R. Iacono, Enea Rome (I); P.S. Paolucci, INFN Rome (I) A parallel approach to compute the Kolmogorov entropy from a time series; A. Corana, C. Rolando; C.N.R. (I) h.11.30 European Projects Chair: F. Omnes (EC) ITU-Land Esprit project: a parallel DSS for environmental impact assessment; E. Apolloni, Algotech Sistemi (I); M. Talamo , University of Rome "La Sapienza" (I) HOOD and parallelism in the Softpar project; J.M. Letteron, J. Bancroft; Sema Group (F) HAMLET: HPCN technology for real-time, embedded applications; J.W.L.J. Mager, TNO Physics and Electronics Laboratory (NL); A. ten Dam, TNO Institute of Applied Physics (NL) h.14.30 Commercial architectures and Applications II Chair: C. Upstill (UK) Invited paper: Super Reynolds Number simulations of Turbolence on SuperComputers; S. Orzag; University of Princeton (USA) Implementation of a parallel and distributed mapping kernel for PARIX; U.P. Schroeder , M. Rottger, University of Paderborn (D); J. Simon, Paderborn Center for Parallel Computing (D) Parallelism in LASSAP, a LArge Scale Sequence compArisons Package; J.J. Codani, E.Glemet; INRIA (F) Parallelizing applications with SVM-Fortran; M. Gerndt, R. Berrendorf; Research Centre Julich (D) An evaluation of the Cray T3D at CEA/CEL-V; M. Patron, T. Porcher, F. Robin; Commissariat a l'energie atomique (F) FOR INFORMATION ABOUT THE HPCN EUROPE 1995 CONFERENCE CONTACT: CONFERENCE SECRETARIAT DR. MARIA LUISA ORIGONI, CONTACTPERSON HPCN EUROPE 1995, CONFERENCE SECRETARIAT FAST P.LE R. MORANDI, 2 20121 MILANO, ITALY TEL. +39 2 7601 5672. FAX + 39 2 782 485. fastfed@icil64.cilea.it FOR INFORMATION ABOUT THE HPCN EUROPE 1995 EXHIBITION CONTACT: EXHIBITION MANAGEMENT MS. MARJOLEIN JACOBS, EXHIBITION ASSISTANT, ROYAL DUTCH FAIRS P.O. BOX 8500, 3503 RM UTRECHT, NETHERLANDS TEL. +31 30 955 662. FAX. +31 30 955 539 FOR INFORMATION ABOUT THE WORKSHOPS/TUTORIALS CONTACT: CHAIR PROF. WOLFGANG GENTZSCH, FH REGENSBURG, GENIAS ERZGEBIRGSTRASSE 2, 93073 NEUTRAUBLING, GERMANY TEL. + 49 9401 92 00 0. FAX. +49 9401 92 00 92 gent@genias.de FOR INFORMATION ABOUT THE TECHNOLOGY DEMONSTRATORS DISPLAY CONTACT: CHAIR AD EMMEN, SARA P.O. BOX 4613, 1009 AP AMSTERDAM, NETHERLANDS TEL. +31 20 59 23 000. FAX. +31 20 66 83 167. emmen@sara.nl FOR INFORMATION ABOUT THE VENDOR SESSION CONTACT: CHAIR UWE HARMS, CONSULTANT BUNSENSTRASSE 5, 81735 MUNCHEN, GERMANY TEL. +49 89 670 80 63. FAX. +49 89 670 80 63 100347.3367@compuserve.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 ------------------------------------------------------------------------------- ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- From raghu@quarg.cs.wisc.edu Fri Mar 31 15:54:35 1995 Received: from lucy.cs.wisc.edu by sea.cs.wisc.edu; Fri, 31 Mar 95 15:54:25 -0600; AA00733 Received: from quarg.cs.wisc.edu by lucy.cs.wisc.edu; Fri, 31 Mar 95 13:19:12 -0600 Date: Fri, 31 Mar 95 13:17:58 -0600 From: "Ling Tok Wang" Message-Id: <9503311917.AA06381@quarg.cs.wisc.edu> Received: by quarg.cs.wisc.edu; Fri, 31 Mar 95 13:17:58 -0600 To: dbworld@quarg.cs.wisc.edu (A postscript version of this advance programme is available via anonymous ftp at: ftp.nus.sg:/pub/NUS/ISCS/cfp/final.ps.Z This information is also available at our www server: http://www.iscs.nus.sg/ under the 'Conference announcements' page.) ================================================================================ F I N A L P R O G R A M M E DASFAA '95 4th International Conference on Database Systems for Advanced Applications April 10-13, 1995, National University of Singapore, Singapore Block S16, Level 3 Co-organised by Department of Information Systems and Computer Science (National University of Singapore), Information Processing Society of Japan Guest-of-Honour Professor Chang Chieh HANG Deputy Vice-Chancellor & Director of Research National University of Singapore Sponsored by Center for the International Cooperation for Computerisation, Singapore Federation of Computer Industry In-cooperation with ACM SIGMOD, IEEE Computer Society, Korea Information Science Society, IEEE Singapore (Computer Chapter), Institute of System Science, Information Technology Institute, Singapore Computer Society Corporate Sponsors CSA Automated Pte Ltd, Fujitsu (Singapore) Pte Ltd, IBM Singapore Pte Ltd, Informix Asia-Pacific Pte Ltd Official Publication IT Asia ------------------------------------------------------------------------ DASFAA '95 presents a high-quality international forum for technical discussion among researchers, developers, and users of database systems from academia, business and industry. DASFAA focuses on research in database theory, development on advanced DBMS technologies, and their advanced applications. In particular, DASFAA'95 will be a showcase to gather and disseminate information on OODBMS systems, applications and standardization. The DASFAA '95 programme includes invited talks, papers, panels, tutorials and an exhibition, plus conference reception and banquet. The invited talks will be delivered by pioneers in database research, who will share their vision of the field with the participants. ------------------------------------------------------------------------ CONFERENCE PROGRAMME SUMMARY The confence venue is Block S16, Level 3, National University of Singapore. All keynotes and main/A sessions will be held in Lecture Theatre 31 (LT31), while all tutorials and B sessions will be held in the Multi-purpose Hall. There will be an exhibition and book display during the conference in the exhibition room. MONDAY 10, APRIL 08:30-09:30 Registration 09:30-12:30 Tutorial 1: Prof S. Miranda 12:30-14:00 Lunch 14:00-17:00 Tutorial 2: Dr R. Agrawal 19:00-21:00 Reception TUESDAY 11, APRIL 08:15-09:00 Registration 09:00-09:30 Opening Address 09:30-10:45 Keynote 1: Prof Y. Kambayashi 10:45-11:15 Coffee Break 11:15-12:30 Section 1A & Section 1B 12:30-14:00 Lunch 14:00-15:45 Session 2 & Tutorial 3: Dr Won Kim 15:45-15:15 Coffee Break 16:15-17:30 Session 3 & Tutorial 3 (cont'd) WEDNESDAY 12, APRIL 08:30-09:00 Registration 09:00-10:15 Keynote 2: Dr Won Kim 10:15-10:45 Coffee Break 10:45-12:30 Session 4A & Session 4B 12:30-14:00 Lunch 14:00-15:45 Session 5A & Session 5B 15:45-16:15 Coffee Break 16:15-17:45 Panel Discussion 18:00-21:30 Conference Banquet THURSDAY 13, APRIL 08:30-09:00 Registration 09:00-10:15 Keynote 3: Dr Francois Bancilhon 10:15-10:45 Coffee Break 10:45-12:30 Session 6A & Session 6B 12:30-14:00 Lunch 14:00-15:45 Session 7A & Session 7B 15:45-16:15 Coffee Break 16:15-17:30 Session 8A & Session 8B 17:30-17:45 Closing ------------------------------------------------------------------------- CONFERENCE PROGRAMME >> Monday April 10, 1995 (Tutorial) << 08:30-09:30 Registration Free transport will be available during the conference period (April 10-13) from conference hotels (Peninsula and Excelsior) to the conference site in the morning and back to hotels in the evening. Details will be posted at the hotels. 09:30-12:30 Tutorial 1:"Client-server Architectures and Database Issues", Prof S.Miranda, University of Nice-Sophia Antipolis, France. 12:30-14:00 Lunch 14:00-17:00 Tutorial 2:"Database Mining", Dr R.Agrawal, IBM Almaden Research Center, U.S.A. 19:00-21:00 Reception at: Excelsior Hotel 5 Coleman Street, Singapore 0617 >> Tuesday April 11, 1995 (Conference Day 1) << 08:15-09:00 Registration 09:00-09:05 Arrival of Guest-of-Honour Professor Chang Chieh HANG, Deputy Vice-Chancellor and Director of Research, National University of Singapore 09:05-09:10 Welcome Address by Professor Chi Tat CHONG, Vice-Dean, Faculty of Science, and Head, Dept. of Information Systems and Computer Science, National University of Singapore 09:10:09:30 Opening Address by Guest-of-Honour 09:30-10:45 Keynote 1: "Object Deputy Model and Its Applications", Professor Yahiko Kambayashi, Kyoto University, Japan Chair: Professor Chi Tat Chong, National University of Singapore 10:45-11:15 Tea/Coffee Break 11:15-12:30 Parallel Session 1A - Heterogeneous Databases Chair: Professor Arbee Chen, National Tsing Hua University (Taiwan) "The Management of Interdependent Asynchronous Transactions in Heterogeneous Database Environments", Lyman Do, Pamela Drew, Hong Kong University of Science and Technology, Hong Kong "Object-Oriented Views of Relational Databases Incorporating Behaviour", Mark W.W. Vermeer, Peter M.G. Apers, University of Twente, The Netherlands "Maintaining Schemata Consistency for Interoperable Database Systems", A. Illarramendi, J.M. Blanco, E. Mena, A. Goni, J.M. Perez, Universidad del Pais Vasco, Spain 11:15-12.30 Parallel Session 1B - Data Modelling Chair: Professor Songchun Moon, KAIST (Korea) "An Extension of SQL for Relations of History Expressions", Dan Tian, Fujitsu Network Switching of America, Inc., U.S.A. "An Event Algebra for Specifying and Scheduling Workflows", Munindar P. Singh, Greg Meredith, Christine Tomlinson, Paul C. Attie, Microelectronics & Computer Technology Corporation, U.S.A., Imperial College, U.K., Florida International University, U.S.A. "Hyper-Agenda: A System to Organize and Realize Tasks", Slimane Hammoudi, Federal University of Maranhao, Brazil 12:30-14:00 Lunch 14:00-15:45 Session 2 - Advanced Applications Chair: Dr Angela Goh, Nanyang Technological University (Singapore) "An Approach to Intelligent Software Library Management", Burkhard Freitag, Bernhard Steffen, Tiziana Margaria, Ulrich Zukowski, Universitaet Passau, Germany "Continuous Media Sharing in Multimedia Database Systems", Mohan Kamath, Krithi Ramamritham, Don Towsley, U. of Massachusetts, U.S.A. "Cost Efficient Adaptive Protocol with Buffering for Advanced Mobile Database Applications", S.J. Lai, A. Zaslavsky, G.P. Martin, L.H. Yeo, Monash University, Australia "Gaming-Simulations of Multi-Agent Information Systems using Large Databases: the concept and database algorithms", Tadashi Ohmori, Mamoru Hoshi, The University of Electro- Communications, Japan 15:45-16:15 Tea/Coffee Break 16:15-17:30 Session 3 - Indexing Chair: Professor Fred Lochovsky, Hong Kong University of Science and Technology "Combining Indexing Technique with Path Dictionary for Nested Object Queries", Wang-Chien Lee, Dik Lun Lee, Ohio State University, U.S.A., HKUST, Hong Kong "A New Algorithm for Processing Joins Using the Multilevel Grid File", Sang-Wook Kim, Wan-Sup Cho, Min-Jae Lee, Kyu-Young Whang, KAIST, Korea "Signature False Drops due to Combinatorial Error", Sam Y. Sung, H. Zhang, National University of Singapore, Singapore 14:00-17:30 Tutorial 3:"Introduction to Object-Relational Database Systems", Dr Won Kim, UniSQL Inc, U.S.A. >> Wednesday April 12, 1995 (Conference Day 2) << 08:30-09:00 Registration 09:00-10:15 Keynote 2: "On Marrying Relations & Objects: Relation-Centric and Object-Centric Perspectives", Dr Won Kim, UniSQL Inc, U.S.A. Chair: Professor Chung Kwong Yuen, National University of Singapore 10:15-10:45 Tea/Coffee Break 10:45-12:30 Parallel Session 4A - Multi-Media and User Interfaces Chair: Dr Desai Narasimhalu, Institute of System Science (Singapore) "A Query Interface Truly for Chinese Users", V.Y. Lum, F.W. Lee, S.K. Fong, Chinese University of Hong Kong, Hong Kong "A Visual Representation of Complex Relationships for Object-Oriented Databases", Bonghee Hong, Bonggi Jun, Pusan National University, Korea Telecom, Korea "Multimedia Application Programming Interface Framework", Max Roger Pokam, Gerard Michel, Laboratoire de Genie Informatique, France "On the Issues of Expressiveness and Portability of Chiql", C.K.Lam, Vincent Y. Lum, Kam-Fai Wong, Chinese University of Hong Kong, Hong Kong 10.45-12.30 Parallel Session 4B - Deductive Databases Chair: Professor Katsumi Tanaka, Kobe University (Japan) "A Deductive Database Solution to Intelligent Information Retrieval from Legacy Databases", KayLiang Ong, Natraj Arni, Christine Tomlinson, Unnikrishnan, Darrell Woelk, MCC, USA "Datalog-A : Array Manipulations in a Deductive Database Language", Sergio Greco, Luigi Palopoli, Eugenio Spadafora, Universita della Calabria, Italy "Set-Term Matching in a Logic Database Language", Seung Jin Lim, Yiu-Kai Ng, Brigham Young University, U.S.A. "Modeling, Chaining and Fusion of Uncertain Knowledge", Helmut Thone, Ulrich Guntzer, Werner Kiessling, Universitaet Tuebingen, Universitaet Augsburg, Germany 12:30-14:00 Lunch 14:00-15.45 Parallel Session 5A - Real Time Databases Chair: Professor Ron Sacks-Davis, RMIT, University of Melbourne (Australia) "OODB Support for Real-Time Open-Architecture Controllers", Lei Zhou, Elke A. Rundensteiner, Kang G. Shin, The University of Michigan, U.S.A. "Real-Time Replication Control for Distributed Database Systems: Algorithms and Their Performance", Sang H. Son, Fengjie Zhang, University of Virginia, USA "Real-Time Multiversion Concurrency Control Using Precedence Relationship", Seok Hee Hong, Yoon-Joon Lee, Myoung Ho Kim, Korea Advanced Institute of Science and Technology, Korea "Data Compression Management Mechanism for Real-Time Main Memory Database Systems", Soon-Jo Lee, Hae-Young Bae, Inha University, Korea 14:00-15.45 Parallel Session 5B - Distributed & Parallel Query Processing Chair: Professor Kyu-Young Whang, KAIST (Korea) "Batch Query Processing in Shared-Nothing Multiprocessors", Hongjun Lu, Kian-Lee Tan, National University of Singapore, Singapore "Dynamic Join Product Skew Handling for Hash-Joins in Shared-Nothing Database Systems", Lilian Harada, Masaru Kitsuregawa, Fujitsu Laboratories, University of Tokyo, Japan "Load Balancing in Distributed Query Processing", Chengwen Liu, I-Ping Chu, DePaul University, U.S.A. "Implementing Dynamic Code Assembly for Client-Based Query Processing", J. Thomas, T. Gerbes, T. Haerder, B. Mitschang, University of Kaiserslautern, Germany 15:45-16:15 Tea/Coffee Break 16:15-17:45 Panel Discussion Title: Database Mining: Applications, Issues and Solutions Chair: Hongjun Lu (National University of Singapore) Panel: Rakesh Agrawal (IBM Almaden Research Center, USA), Arbee Chen (National Tsing Hua University, Taiwan), Son Dao (Hughes Research Laboratories, USA), Hing-Yan Lee (Information Tech. Institute, Singapore), Beat Wuthrich (Hong Kong Univ. of Science and Tech.) 18:00-21:30 Conference Banquet at: Tai He Lou Theatre Restaurant Tang Dynasty City 2 Yuan Ching Road, Singapore 2261 Free transport will be provided from conference site to banquet restaurant. >> Thursday April 13, 1995 (Conference Day 3) << 08:30-09:00 Registration 09:00-10:15 Keynote 3: "The ODMG Standard for Object Databases", Dr Francois Bancilhon, O2 Technology, France Chair: Professor Yoshifumi Masunaga, University of Library and Information Science (Japan) 10:15-10:45 Tea/Coffee Break 10:45-12:30 Parallel Session 6A - Object-Oriented Databases Chair: Professor Ramez Elmasri, University of Texas at Arlington (USA) "Evolution Features of the F2 OODBMS", Lina Al-Jadir, Thibault Estier, Gilles Falquet, Michel Leonard, Universite de Geneve, Switzerland "Object Migration in ISA Hierarchies", Tok Wang Ling, Pit Koon Teo, National University of Singapore, Singapore "Transform More Semantics from Relational Databases into Object-Oriented Semantics Databases", Ge Yu, Guoren Wang, Huaiyuan Zheng, Akifumi Makinouchi, Northeastern University, China, Kyushu University, Japan "Formally Speaking About Schemata, Bases, Classes and Objects", Carlos A.Tau, Clara Smith, Claudia Pons, Ana Maria Monteiro, Gabriel Baum, Universidad Nacional de La Plata, Argentina 10:45-12:30 Parallel Session 6B - Statistical and Scientific Databases Chair: Professor Kam-Fai Wong, Chinese University of Hong Kong "Extensible Data Modeling for Statistical Databases", Malee Wongsaroje, National Statistical Office, Thailand "Intelligent Mathematical Databases", G.Butler, Concordia University, Canada "Genetic Sequence Annotation within Biological Databases", Isabelle Mougenot, Therese Libourel, Patrice Dehais, LIRMM, France "Spatial Database Querying with Logic Languages", Jean-Pierre Cheiney, Vincent Oria, Ecole Nationale Superieure des Telecommunications, France 12:30-14:00 Lunch 14:00-15:45 Parallel Session 7A - Active Databases and Data Mining Chair: Professor Akifumi Makinouchi, Kyushu University (Japan) "Incorporating Flexible and Expressive Rule Control in a Graph-based Transaction Framework", Ramamohanrao S. Jawadi, Stanley Y.W. Su, University of Florida, U.S.A. "Synchronization Attributes and Rules of Active Object-Oriented Database for Multimedia Presentation", Seok Jae Yun, Woo Saeng Kim, Agency for Defense Development, Kwangwoon University, Korea "An Efficient Algorithm for Deriving Compact Rules from Databases", Show-Jane Yen, Arbee L.P. Chen, National Tsing Hua University, R.O.C. "On Foundations of Constraint Optimization", Sang-goo Lee, Seoul National University, Korea 14:00-15:45 Parallel Session 7B - Distributed and Transaction Management Systems Chair: Professor Hideto Ikeda, Ritsumeikan University (Japan) "A Two-Phase Approach to Data Allocation in Distributed Databases", John Shepherd, Banchong Harangsri, Hwee Ling Chen, Anne Ngu, The University of New South Wales, Australia "Performance Evaluation of Replica Control Algorithms in a Locally Distributed Database System", Chang S. Keum, Wan Choi, Eui K. Hong, Won Y. Kim, Kyu Y. Whang, ETRI, Seoul City U., KAIST, Korea "An Efficient Representation of Distributed Fragments of Recursive Relations", Sungwon Jung, Sakti Pramanik, Michigan State University, U.S.A. "Trading Operation Consistency for Concurrency", Hang Kwong Mak, Man Hon Wong, The Chinese University of Hong Kong, Hong Kong 15:45-16:15 Tea/Coffee Break 16:15-17:30 Parallel Session 8A - Temporal Databases Chair: Dr Himawan Gunadhi, National University of Singapore "Archiving Techniques for Temporal Databases", Vram Kouramajian, Ramez Elmasri, The Wichita State University, The University of Texas at Arlington, U.S.A. "Temporal Object-Oriented Data Model for the Schema Modification", Woo Saeng Kim, Duk Chul Chang, Tae Young Lim, Young Ho Shin, Kwangwoon University, Korea "A Temporal Expansion to the Multimedia Object Model in OMEGA", Yoshifumi Masunaga, University of Library and Information Science, Japan 16:15-17:30 Parallel Session 8B - Document Databases Chair: Dr Myung-Joon Kim, ETRI (Korea) "Object-Oriented Modeling and Quering of Hypermedia Documents", Georges Gardarin, Shim Yoon, University of Versailles Saint- Quentin, France "A Formal Model for Databases of Structured Text", Brian Lowe, Justin Zobel, Ron Sacks-Davis, RMIT University, Australia "Incremental Data Organization for Ancient Document Databases", Shinichi Ueshima, Kazuhiro Ohtsuki, Jun-ya Morishita, Qing Qian, Hiroaki Oiso, Katsumi Tanaka, Kansai University, Kobe University, Himeji Dokkyo U., Japan 17:30-17:45 Closing ------------------------------------------------------------------------- KEYNOTE ADDRESSES Keynote Speaker: Professor Yahiko Kambayashi, Japan Title : Object Deputy Model and Its Applications Abstract: In this paper object proxy model and it applications are discussed. Although object-oriented data model has a lot of advantages over relational data model, the former does not offer enough flexibility as the latter. Many papers have been published to extend flexibility of object-oriented model, such as papers on view mechanisms, multiple-hierarchy support, roles and object migration. These concepts are very closely related. Multiple-hierarchies can be realized by view mechanism. An object appearing in a view can be regarded as playing a role in that view. Object migration is the change history of set of roles of an object. Object proxy model is introduced to give unified approach to provide enough flexibility for object-oriented databases. It can be also used to realize multibase systems where site autonomy is required. A proxy object can be defined for any object or proxy object (called the source object). It has its own object identifier, attributes and methods. It has a bilateral link to its source object and attribute values and methods of the source object are partially inherited. As applications of this model, we will discuss a flexible system for integration of databases and knowledge-bases under distributed environment, geographic database GeoProxy and virtual office system VIEWoffice , which are currently developed by our research group. Biography: Yahiko Kambayashi received the B.E., M.E., and Ph.D degrees in electronic engineering from Kyoto University, Kyoto, Japan, in 1965, 1967, and 1970, respectively. During 1970-1971 he was a Research Associate at Kyoto University. From 1971 to 1973 he was a Visiting Research Associate at the University of Illinois, Urbana. During 1973-1984 he was with the Department of Information Science, Kyoto University. In 1984 he became a Professor at the Department of Computer Science and Communication Engineering, Kyushu University, Fukuoka, Japan. Since 1990 he has been a professor at Integrated Media Environment Experimental Laboratory of Kyoto University. In 1979, he was a Visiting Professor at McGill University, Montreal, P.Q., Canada, and in 1984 he was a Visiting Professor at Wuhan University, Wuhan, China. His research interests include logic design, switching theory, automata theory, and database theory. Logic design method called transduction method developed jointly by him and Prof. Muroga of University of Illinois is now used by several U.S. and Japanese computer companies. Dr. Kambayashi was a Chairman of SIGDBS (database systems) of the Information Processing Society of Japan (IPSJ). He was a Chairman of SIGCOMP (computation theory) of the Institute of Electronics, Information and Communication Engineers of Japan(IEICEJ). He was also a member of the board of IPSJ. He is a senior member of the Institute of Electrical and Electronics Engineers(IEEE), a member of IEICEJ, IPSJ and the Association for Computing Machinery (ACM). He was an associate editor of ACM TODS (Transaction on Database Systems). He is currently a member of VLDB endowment which organizes International Conference on Very Large Data Bases, vice-chair of ACM Tokyo/Japan Chapter, and members of editorial board of several international journals. He also has organized several international conferences. Keynote Speaker: Dr Won Kim, U.S.A. Title : On Marrying Relations and Objects: Relation-Centric and Object-Centric Perspectives Abstract: The past several years have been the gestation period for a new generation of database technology. There has been a flurry of activities to develop and experiment with database systems that support an object-oriented data model or that extend the relational data model with some object-oriented facilities. These activities have been fuelled by the emergence of a broad spectrum of database applications which relational database systems cannot support and the increasing need to achieve another productivity leap in application development. As a result of these efforts, there is now a sufficient body of knowledge for the development of a commercially viable next-generation database system. Such a system should support a unified relational and object-oriented data model; that is, a full object-oriented data model in a way that is completely compatible with the relational model. I will discuss motivations for unifying the relational and object-oriented data models in a single database system, and outline design and implementation issues that must be addressed in building such a system. Biography: Dr. Won Kim is the founder and President of UniSQL, Inc., a next-generation database corporation in Austin, Texas. Before founding UniSQL, he was Director of the Object-Oriented and Distributed Systems Laboratory at MCC. He was also the chief architect of the ORION series of object-oriented database system developed at MCC. Before joining MCC, he was on the research staff at IBM's Almaden Research Center. He received the Ph.D. degree in computer science from the University of Illinois at Urbana-Champaign. His Ph.D dissertation was on query processing in relational database systems. He received B.S. and M.S. degrees from MIT. He authored a book Introduction to Object-Oriented Databases for MIT Press. He also co-edited Object-Oriented Concepts, Databases, and Applications for Addison-Wesley and ACM Press. He is the Chairman of ACM SIGMOD (Special Interest Group on Management of Data). He is also the Editor-in-Chief of ACM Transactions on Database Systems. Keynote Speaker: Dr Francois Bancilhon, France Title : The ODMG Standard for Object Databases Abstract: The ODMG standard was defined by a group of object database vendors. It defines a global architecture for an object database system and defines a set of interfaces that ensures the portability of applications from one compliant system to another. It is based on a data model which is an extension of the OMG core data model and includes the specification of ODL and object definition language to specify the database schema, OQL, an object query language to query the database and bindings to popular programming languages such as C++ and Smalltalk. Biography: Francois Bancilhon was born in 1948. He holds an Engineering Degree from the Ecole des Mines de Paris(1970), a PhD from the University of Michigan (1976) and a These d'Etat from the University of Paris XI (1981). He has been with INRIA as a researcher and project leader from 1976 to 1980, a Professor at the University of Paris XI from 1981 to 1984, a Team Leader at MCC, Austin Texas, from 1984 to 1986 and the Director of the Altair research consortium from 1986 to 1990. He is currently the CEO of O2 Technology. His work as a researcher includes stochastic automata theory, relational databases, deductive databases and object-oriented database systems. He is the author of numerous papers on theses topics and the editor of two books. Both at INRIA and at the University of Paris XI, he was the lead architect of the VERSO database machine. At MCC, he was one of the architects of the BUBBA system which included a parallel database machine and a deductive system. At Altair, he managed the project that designed and built the O2 object-oriented database system. O2 Technology is number one on the European object database market. It develops, supports and markets the O2 system. ------------------------------------------------------------------------- TUTORIALS Tutorial 1: "CLIENT-SERVER Architectures and data base issues" Prof.Serge MIRANDA, University of Nice- Sophia Antipolis, France Abstract: Client-server became a converging MODEL for computer architectures around data base technology. The purpose of this tutorial is to clarify the underlying concepts and to define a fruitful perspective for distributed object systems of the future. Table of contents: 1- Evolution of computer science towards client-server (CS) computing -New paradigms ("Userware", " Holomorphism", "Desintermediation",..) -Micro-computer joke -New equation for computer science (E=MC2) - Fuzzy (natural) concepts of computer science for present and future CS, Objects, multimedia -(Provocative) Definition of CS -Open architectures and standards -Social implications of such evolution (Education, market,...) 2- Generic concepts for a data server - integrity (CRUDE properties) : triggers, alerters,... - transaction (ACID properties) and 2PC (2-Phase commit) 3- Taxonomy of CS architectures - The three generations : from revamping legacy systems to distributed databases - Second definition of CS - The 8 golden rules for a CS architecture - OSS ("One-stop servicing") model for a practical evolutionary approach - Open issues : migration, development ("middleware") and design - Objects and Client-server : the second chance for object technology ? 4- Data servers of the future - Approaches : the 3 manifestos for next-generation DBMS (Bancilhon and al 1989 , Stonebraker and al 1990, Date 1994) - Data typing : integration of multimedia and objects (from a client-server point of view) - Hardware : parallel architectures (concepts...) 5- Evolutionary approach towards object integration within V0-V1-V2 Relational data models - What is missing in V0 Relational data model : the RICE properties - How to achieve this goal : Encapsulation of Domains as user-defined data types This Tutorial is based on his (new) french book (translated in Korean by M-J Kim) on client-server (2nd edition in October 1994). Biography : Serge Miranda is professor of computer science at the University of Nice- Sophia Antipolis, in Sophia Antipolis, France, a position he has held since October 1983 and presently scientific director of MBDS ("Mastere in Data Base of Sophia Antipolis") he founded in 1991, the highest French degree devoted to data base systems with huge involvment of industry partners (resource center with 2 data base machines...). His research has developed from computer networks, distributed file systems towards data base management and multi-media systems (International research contracts from ESPRIT, Teradata , Etri...) . In education, he is strongly involved with courses and technology transfer activities around database technology, and has many visiting appointments at universities and institutions all over the world in this area of research and teaching. Serge Miranda has authored or coauthored more than 90 publications (48 in English), and published five successful French books on databases (nine Editions). In 1992, he was in charge of a course on Next-generation DBMS broadcast by satellite all over Europe (EUROPACE). Tutorial 2: "Database Mining" Dr Rakesh Agrawal, IBM Almaden Research Center, U.S.A. Abstract: Database Mining is the efficient discovery of previously unknown patterns in large databases, and is emerging as a major application area for databases. Many of the database mining problems have been motivated by the practical decision support problems faced by most large retail organ- izations. The Quest project on database mining at the IBM Almadeen Research Center has developed innovative technology to discover useful patterns in gigabytes of data in a short amount of time. This software can be used to solve the following customer problems: Associations: Given a database of sales transactions, find what sells together. Discover all associations such that the presence of one set of items in a transaction implies other items. "If a customer buys salmon and mussels then the customer buys white wine too in 90% of the cases" Sequential Patterns: Given a database of sales transactions, find what items customers buy over a set of visits in sequence. "A customer orders sheets and pillowcases, followed by a comforter, followed by drapes in 70%" Classification: Given examples of people belonging to different groups, develop a profile for each group. This profile is then used to retrieve instances of these groups from a different population. "Buyers of expensive sport cars are typically young urban professionals with a high income whereas luxury sedans are preferred by elderly wealthy persons" Similar Sequences: Given a database of time sequences, find sequences similar to a given one, or find all pairs of similar sequences. Typical uses of this software include finding stocks with similar price movements, products with similar sales patterns, or store/departments with similar revenue streams. "If sales of coke go up due to a promotion, sales of salted snacks also go up" The Quest software has been tested on several customer datasets. Several customers are actively investigating the various applications of Quest in retail. The software currently runs on RS/6000 workstations under AIX on flat files, DB2/CS and DB2/MVS databases. Parallel algorithms for finding association rules also run on IBM Power Parallel System. The software has been designed to be easily portable to other platforms and run on multiple data-repositories. In this tutorial, he will draw upon his Quest experience to present his perspective of database mining, describe current work, and present some open problems. Biography: Rakesh Agrawal is the Project Leader for Database Mining at the IBM Almaden Research Center, San Jose, California. He received the M.S. and Ph.D degree in Computer Science from the University of Wisconsin, Madison in 1983. He also has a B.E. degree in Electronics and Communication Engineering from the University of Roorkee, India and a two-year postgraduate diploma in Industrial Engineering from NITIE, Bombay, India. >From 1983 to 1989, he was with the AT&T Bell Laboratories, Murray Hill, where he was a member of the technical staff in the Computing Systems Research Laboratory. Since Jan 1990, he has been with the IBM Almaden Research Center. Rakesh Agrawal is currently the Chairman of the IEEE Technical Committee on Data Engineering. He is also an Associate Editor of the ACM Transactions on Database Systems, and an Editor of the IEEE Transactions on Knowledge and Data Engineering. He has been a Program Chair for the 19th International Conference on Very Large Databases, 1993, a Program Chair for the 2nd International Symposium on Databases in Parallel and Distributed Systems, 1990, and an Associate Editor of IEEE Data Engin- eering Bulletin. He has published extensively in technical journals and conferences. He has also authored a book on "Programming in ANSI C". His current research interests include database mining, object-oriented database systems, and deductive database systems. Rakesh Agrawal is a Senior Member of IEEE. Tutorial 3: "Introduction to Object-Relational Database Systems" Dr Won Kim, UniSQL Inc, U.S.A. Abstract: Today the database industry is in the throes of transition from relational technology to object-relational technology. Object-relational database systems are essentially relational database systems augmented with object modeling and management facilities. The object facilities make it possible for these database systems to overcome performance and application development problems that have plagued relational database systems. In particular, object-relational database systems provide a sound basis for the management of multimedia data, complex structured data, arbitrary data types, and a systematic means of reusing database designs and user-written programs. This tutorial discusses motivations for object-relational database systems, an example object-relational data model, an object-relational query language (object SQL), applica- tions of the technology, and current and future R&D activities. (This tutorial is open to all conference participants) See Keynote 2 for author's Biography. ------------------------------------------------------------------------ GENERAL INFORMATION The conference will be held at the Department of Information Systems & Computer Science, National University of Singapore (Block S16, Level 3). Singapore is situated at one of the important crossroads of the world, a place where East and West come together. Here you will find Chinese, Malay and Indian communities living in harmony, their long established cultures forming a unique backdrop to a clean and modern garden city. English is spoken everywhere and is the common business language. Singapore is warm and welcoming all year round, with tempera- tures ranging from 23 to 32 degrees Celsius. Taxi fare from Changi International Airport to the conference hotels (Excelsior and Peninsula) is about $15 Singapore dollars. After midnight a surcharge of 50% of the taxi fare is payable. Conference Registration: Conference registration fee includes attendence at keynotes, paper & panel sessions, exhibition, tea/coffee breaks, lunches, conference reception, banquet, and proceedings. Student registration does not include banquet and proceedings. Proceedings: Conference proceedings will be published by World Scientific Publishing Co. Pte Ltd. The working language of the conference will be English, which will be used for all printed material, presentations and discussions. ------------------------------------------------------------------------- ORGANIZING COMMITTEE Conference Chair: Chung Kwong YUEN, National University of Singapore (NUS), Singapore Steering Committee Chair: Sukho LEE, Seoul National University, Korea Steering Committee Vice-Chair: Yahiko KAMBAYASHI, Kyoto University, Japan America Co-ordinator: Stanley Y W SU, University of Florida, USA Europe Co-ordinator: Stefano SPACCAPIETRA, Ecole Polytechnique Federale de Lausanne, Switzerland Program Committee Co-chairs: Tok Wang LING, NUS, Singapore Yoshifumi MASUNAGA, University of Library and Information Science, Japan Panel Chair: Hongjun LU, NUS, Singapore Tutorial Chair: Beng Chin OOI, NUS, Singapore Publicity/Publication Chair: Yong Meng TEO, NUS, Singapore Local Arrangement Chair: Kwok Kee WEI, NUS, Singapore Exhibition Chair: Gary Soon Huat TAN, NUS, Singapore Registration: Sam Yuan SUNG, NUS, Singapore Treasurer: Mong Li LEE, NUS, Singapore Conference Secretary: Ms Sew Kiok TOH, NUS, Singapore PROGRAM COMMITTEE D.J. Abel CSIRO, Australia H. Adeli Ohio State University E. Bertino University of Genova, Italy C.C. Chang National Chung Cheng Univ., Taiwan Arbee Chen National Tsing Hua University, Taiwan S.K. Dao Hughes Research Laboratories, USA A. Deshpande Persistent System Pte Ltd, India D.W. Embley Brigham Young University, USA J. Grant Towson State University, USA Angela E.S. Goh Nanyang Technological University, Singapore J. Han Simon Fraser University, Canada E.K. Hong Seoul City University, Korea H. Ikeda Ritsumeikan University, Japan U. Inoue NTT, Japan H. Ishikawa Fujitsu Lab., Japan H.F. Korth Matsushita Information Tech. Lab., USA Y. Kambayashi Kyoto University, Japan L.V.S. Lakshmanan Concordia University, Canada S.Y. Lee National Chiao Tung University, Taiwan Q. Li Hong Kong University of Science & Tech. S.Y. Ling National Computer Board, Singapore F.H. Lochovsky Hong Kong University of Science & Tech. H.J. Lu National University of Singapore Vincent Lum Chinese University of Hong Kong A. Makinouchi Kyushu University, Japan R. Manthey University of Bonn, Germany T.H. Merrett McGill University, Canada S. Miranda Univ. of Nice Sophia-Antipolis, France S.C. Moon KAIST, Korea D. Narasimhalu Institute of Systems Science, Singapore Peter A Ng New Jersey Institute of Technology, USA M. Norrie ETH, Switzerland K.L. Ong MCC, USA B.C. Ooi National University of Singapore M. Orlowska University of Queensland, Australia K. Ramamohanarao University of Melbourne, Australia K.H. Ryu Chungbuk National University, Korea Ron Sacks-Davis RMIT, University of Melbourne, Australia H. Samet University of Maryland, USA N.L. Sarda IIT (Bombay), India Il-Yeol Song Drexel University, USA S. Spaccapietra Ecole Polytechnique Federale de Lausanne Stanley Y.W. Su University of Florida, USA K.P. Tan National University of Singapore K. Tanaka Kobe University, Japan A. Min Tjoa University of Vienna, Austria Frank W. Tompa University of Waterloo, Canada K.F. Wong Chinese University of Hong Kong K. Wang National University of Singapore K.Y. Whang KAIST, Korea M. Yoshikawa NAIST, Japan L. Zhou Tsinghua University, China R. Zicari University of Frankfurt, Germany ------------------------------------------------------------------------ CONFERENCE REGISTRATION Completed registration and hotel reservation forms are to be returned to: DASFAA '95, (Attn: Ms Sew Kiok TOH) Department of Information Systems & Computer Science National University of Singapore, Kent Ridge, Singapore 0511 tel: 772 2807 fax: +65 779 4580 email: tohsk@iscs.nus.sg DISCLAIMER Every effort has been made to present, as accurately as possible, all the information contained in this brochure. The Organising Committee, the National University of Singapore, its Agents or Servants or the Sponsors do not accept legal liability for any changes in the structure or the content of the technical programme, registration fees, accommodation costs and any general or specific information contained in this brochure. ======================================================================== DASFAA '95 REGISTRATION FORM Name (Prof/Dr/Mr/Ms): __________________________________________________ Organisation : __________________________________________________ Address : __________________________________________________ City : ___________ Postcode:_______ Country:___________ Telephone : ___________ Fax:____________ Email:_____________ Special Request for Banquet/Lunches: o Vegetarian o Muslim o Special Diet: _______________(please specify) (Extra banquet tickets at Singapore dollars $70 each (inclusive of tax) can be purchased at the time of registration.) REGISTRATION (tick one circle) ------------------------------------------------------------------------ +received by received after amount registation 18 March 1995 18 March 1995 SIN $ ------------------------------------------------------------------------ member* o SIN $700 o SIN $800 conference non-member o SIN $800 o SIN $900 & tutorial student@ o SIN $300 o SIN $400 ------------------------------------------------------------------------ member* o SIN $550 o SIN $650 conference non-member o SIN $650 o SIN $750 ONLY student@ o SIN $250 o SIN $350 ------------------------------------------------------------------------ member* o SIN $150 o SIN $200 HALF-DAY non-member o SIN $180 o SIN $230 tutorial# student@ o SIN $ 50 o SIN $100 ------------------------------------------------------------------------ member* o SIN $250 o SIN $300 FULL-DAY non-member o SIN $280 o SIN $330 tutorial student@ o SIN $ 75 o SIN $125 ------------------------------------------------------------------------ TOTAL SIN $ ==================== + All fees are in Singapore Dollars (SIN). GST (Goods and Services Tax) will be absorbed by the conference. * For authors and employees of ISS, ITI and NUS. For members of the cooperating societies, please fill in the following: o ACM o IEEE o IPSJ o KISS o SCS Membership No: _____________ # For half-day tutorial registration, please indicate session: o morning o afternoon @ For student registration, please complete the following: Name of Supervisor : ______________________________________________ Supervisor's Signature: _____________________________ Date ___________ CONFERENCE REGISTRATION PAYMENT All payments should be made in Singapore Dollars, payable to NATIONAL UNIVERSITY OF SINGAPORE. Payment by Visa or Mastercard and personal and company cheques drawn on a Singapore bank will be accepted. Bank drafts must be payable in Singapore. A refund of 70% will be provided for written cancellations received by 1 April 1995. Thereafter, the full amount will be forfeited. o I enclose a bank draft/money order made payable to NATIONAL UNIVERSITY OF SINGAPORE for SIN $__________ Bank Draft/Money Order No:_____________ Issuing Bank:________________ o Please charge to my credit card (tick on circle): Card type: o Visa o Mastercard Card Holder's Name: _________________________________________ Card Number: _____________________ Expiry date: ____________ Date: ____________ Cardholder's Signature: _________________ ------------------------------------------------------------------------ ACCOMMODATION (DASFAA '95) Blocks of rooms have been reserved at the Excelsior Hotel and Peninsula Hotel. These two tourist class hotels are next to each other in the heart of downtown Singapore, near shopping malls, museums, parks and restaurants. Hotel rooms are equipped with self-coded safe, teletext colour TV, IDD telephone, attached bath room and mini-bar. If you require hotel accommodation, please complete the necessary details on the hotel reservation form. Limited number of rooms are available and reservations at the special DASFAA rate can be accepted until March 18, 1995 subjected to availability. After this date, reservations will be on a space available basis. Hotel deposit for one night is re- quired to reserve each room. Transportation to/from hotel and conference site will be provided. ======================================================================== HOTEL RESERVATION FORM Please make the following reservation. Check In Date: ___________Check Out Date: __________ for _______night(s) Single Room(s) (SIN $120* per room) ______ Double Room(s) (SIN $125* per room) ______ Twin Room(s) (SIN $125* per room) ______ * All room rates subjected to 14% Government and Local Tax o I enclose a bank draft or money order made payable to YTC Hotels Ltd. for SIN $__________ for my hotel reservations. Bank Draft/Money Order No: ____________ Issuing Bank: ________________ o Please charge my reservations to my credit card (tick on circle): Card type: o Visa o Mastercard o American Express o JCB Card Holder's Name: _________________________________________ Card Number: _____________________ Expiry date: ____________ Date: ____________ Cardholder's Signature: _________________ =========================================================================== ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- From raghu@quarg.cs.wisc.edu Fri Mar 31 18:18:19 1995 Received: from quarg.cs.wisc.edu by sea.cs.wisc.edu; Fri, 31 Mar 95 18:18:09 -0600; AA02842 Date: Fri, 31 Mar 95 18:18:08 -0600 From: calton@cse.ogi.edu (Calton Pu) Message-Id: <9504010018.AA06831@quarg.cs.wisc.edu> Received: by quarg.cs.wisc.edu; Fri, 31 Mar 95 18:18:08 -0600 To: dbworld@quarg.cs.wisc.edu WANTED: Postdoc for Internet software research project at OGI We are starting an ARPA funded project in the area of integration of information services. The position of postdoc will be open from June 1995 for a period of up to three years. Desirable qualifications for this position include a PhD in computer science or a relevant related area and practical experience in one or more of following areas: programming languages and compilers, database systems, and Internet information services. The postdoc will conduct research, design, and implementation of software to support the flexible integration of next-generation heterogeneous information services on the Internet. This position is part of the Agile/Harvest project, which is developing software for a variety of information discovery and interoperation tools. Project principal investigators are: Michael Schwartz of University of Colorado, Calton Pu of Oregon Graduate Institute, and Carl Malamud of Internet Multicasting Services. The postdoc position is at OGI, located near Portland, Oregon, in the beautiful Pacific Northwest. The research focus at OGI will be on the interoperation between high level application protocols and databases. For more information, please contact: Prof. Calton Pu Dept. Computer Science and Engineering Oregon Graduate Institute P.O. Box 91000 Portland, OR 97291-1000 phone: (503) 690-1214 fax: (503) 690-1553 email: calton@cse.ogi.edu ------------------------------------------------------------------------------- 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 ------------------------------------------------------------------------------- ------------------------------------------------------------------------------- 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 -------------------------------------------------------------------------------