__________________________________________________________________ PRELIMINARY PROGRAM, CALL FOR ATTENDANCE AND REGISTRATION FORMS __________________________________________________________________ GULP-PRODE'94 1994 Joint Conference on Declarative Programming Pe~niscola (Spain) September 19-22, 1994 __________________________________________________________________ Sponsored by: Universidad Politecnica de Valencia Asociacion de Tecnicos en Informatica (ATI) Ayuntamiento de Pe~niscola La Caixa DGICYT Diputacion Provincial de Castellon Generalitat Valenciana GULP Institut Turistic Valencia __________________________________________________________________ PROGRAM COMMITTEE ***************** M. Alpuente (U.P. Valencia)(Chair) R. Barbuti (U. Pisa)(co-Chair) L. Carlucci (U. Roma) P. Ciancarini (U. Bologna) N. Cocco (U. Venezia) P. Codognet (INRIA, France) C. Delgado (U.P. Madrid) M. Falaschi (U. Padova) A. Garcia (U.P. Madrid) P. Garcia (IIIA Blanes) L. Giordano (U. Torino) M. Hermenegildo (U.P. Madrid) M.T. Hortala (U.C. Madrid) E. Lamma (U. Bologna) P. Mancarella (U. Pisa) J.J. Moreno (U.P. Madrid) M. Navarro (U. Pais Vasco) R. Nieuwenhuis (U.P. Catalunya) M. Ornaghi (U. Milano) C. Palamidessi (U. Genova) I. Perez (U. Malaga) M. Proietti (IASI-CNR) I. Ramos (U.P. Valencia) M. Rodriguez (U.C. Madrid) G. Rossi (U. Bologna) J.J. Ruz (U.C. Madrid) D. Sacca (U. Calabria) M. Sessa (U. Salerno) J. Sistac (U.P. Catalunya) J.M. Troya (U. Malaga) F. Verdejo (UNED) ORGANIZING COMMITTEE ******************** Asuncion Casanova Faus Carlos Garcia Miragall Vicente Gisbert Giner Salvador Lucas Alba Fco. Javier Oliver Villarroya Fco. Javier Piris Ruano Maria Jose Ramirez Quintana (Chair) Maria Jose Ramis Gimeno German Vidal Oriola CONFERENCE SECRETARIAT ********************** GULP-PRODE'94 (Att. Maria Jose Ramirez) Departamento de Sistemas Informaticos y Computacion Universidad Politecnica de Valencia Camino de Vera s/n 46022 VALENCIA (SPAIN) Tel: +34 6 387 73 50 (ext. 3512) Fax: +34 6 387 73 59 e.mail: gulpro94@dsic.upv.es _____________________________________________________________________________ Welcome to the 1994 Joint Conference on Declarative Programming GULP-PRODE'94. GULP-PRODE'94 joins together the Italian GULP Conference on Logic Programming and the Spanish PRODE Congress on Declarative Programming. The conference will be held in Pe~niscola (Spain) from Monday 19 to Thursday 22 September, 1994. The technical program for the conference includes 60 refereed papers, 9 poster presentations, 3 invited lectures by J.W. Lloyd (U. Bristol), J.-P. Jouannaud (U. Paris Sud) and P. Van Roy (DEC-PRL, Paris) and 2 tuto- rials, by J.J. Moreno (U.P. Madrid) and R. Nieuwenhuis and A. Rubio (U.P. Catalunya), offered on the first day. CONFERENCE VENUE **************** Hotel Papa Luna Av. Papa Luna, 6 12598 Pe~niscola, Castellon (Spain) Phone: +34 64 48 06 50 48 06 51 48 10 11 Fax: +34 64 48 07 59 PRELIMINARY PROGRAM ******************* The paper presentation is organized in two parallel session groups. Group A sessions will be held in the Papa Luna Room and Group B sessions will be held in the Benedicto XIII Room. CONFERENCE OVERVIEW ------------------- Monday, September 19 #################### 9:00 to 11.30 Registration 11:30 to 12:00 Coffee Break 12:00 to 13:30 Tutorial T1 13:30 to 15:30 Lunch 15:30 to 17:00 Tutorial T2 19:00 Welcome Reception Tuesday, September 20 ##################### 8:30 to 9:00 Registration and Welcome address (Papa Luna Room) 9:00 to 10:00 Invited lecture L1 (Papa Luna Room) 10:00 to 11.00 Sessions A.1 and B.1 11:00 to 11:30 Coffee Break 11:30 to 13:30 Sessions A.2 and B.2 13:30 to 15:30 Lunch 15:30 to 17:00 Sessions A.3 and B.3 17:00 to 17:30 Coffee Break 17:30 to 19:00 Sessions A.4 and B.4 19:00 to 20:00 PRODE General meeting Wednesday, September 21 ####################### 9:00 to 10:00 Invited lecture L2 (Papa Luna Room) 10:00 to 11.00 Sessions A.5 and B.5 11:00 to 11:30 Coffee Break 11:30 to 13:30 Sessions A.6 and B.6 13:30 to 15:30 Lunch 15:30 to 20:30 Excursion 21:30 Conference Dinner Thursday, September 22 ###################### 9:00 to 10:00 Invited lecture L3 (Papa Luna Room) 10:00 to 11.00 Sessions A.7 and B.7 11:00 to 11:30 Coffee Break 11:30 to 13:30 Sessions A.8 and B.8 13:30 to 15:30 Lunch 15:30 to 17:00 Sessions A.9 and B.9 17:00 to 17:30 Coffee Break 17:30 to 19:00 Sessions A.10 and B.10 19:00 Conference adjourn TUTORIALS --------- TUTORIAL T1: AUTOMATED DEDUCTION WITH CONSTRAINED CLAUSES Robert Nieuwenhuis and Albert Rubio Universidad Politecnica de Catalunya The aim of automated deduction (AD) is proving (semi-)automatically the validity of a formula, for instance by refutation. It is well-known that, among other applications, AD was the initial basis for logic programming. Like in Constraint Logic Programming, in refutational theorem provers the use of clauses with (symbolic) constraints has become a very useful approach, especially when working with built-in equality (i.e. with inference rules like paramodulation) or built-in equational theories. For instance, basic strategies (as in basic narrowing) can be represented by means of equality constrained clauses and proved refutationally complete. In this tutorial, deduction techniques for equality and ordering constrained first- order clauses are discussed, completeness results are given and the corres- ponding constraint solving problems are studied. TUTORIAL T2: INTEGRATION OF FUNCTIONAL AND LOGIC PROGRAMMING Juan Jose Moreno Navarro Universidad Politecnica de Madrid The integration of declarative paradigms and, in particular, the integration of functional and logic programming, was an active area of research some years ago. New models and languages were proposed and it was shown that the new paradigm is feasible. Recently, interest for this kind of languages has been spurred anew, especially for what concerns the improvement of the expressive power of the language as well as the efficient implementation. The aim of the tutorial is to show the recent advances in the area especially in the following topics: * Design principles of integrated programming languages accounting for a mature and up-to-date understanding of previously studied features meant to improve the expressive power of declarative languages: lazy evaluation, higher-order objects, types, constraints, negation, default rules, etc. * Semantics models for integrated languages, in particular the role of the different narrowing strategies as operational semantics of the (different) features of the languages. * Development of efficient implementations by combining existing techniques from logic programming (e.g., WAM, mode analysis, abstract interpretation) and functional programming (e.g., graph reduction, strictness analysis, optimization of deterministic computations) as well as new techniques (e.g., combination of normalization and narrowing, parallelization). INVITED LECTURES ---------------- INVITED LECTURE L1: PRACTICAL ADVANTAGES OF DECLARATIVE PROGRAMMING John W. Lloyd University of Bristol In this talk, I discuss the practical advantages of declarative programming. I begin with a discussion of the possible meanings of the term ``declarati- ve'' and then go on to present the practical advantages of declarative programming under five headings: teaching, semantics, programmer productivi- ty, meta-programming, and parallelism. I then make some general remarks about the extent to which declarativeness is taken seriously even by researchers in declarative programming, the possibilities for combining functional and logic programming, and, finally, a significant limitation of the current declarative approach to programming. I conclude with a summary of the main points made in the talk. INVITED LECTURE L2: MODULARITY OF TERM REWRITING SYSTEMS REVISITED Jean-Pierre Jouannaud U. Paris Sud A property of term rewriting systems is modular when it is closed under union. Modularity of termination and confluence are key properties of both algebraic and functional languages. Neither property is modular in general, but interesting subcases have been investigated: combined systems (shared symbols must be constructors), and hierarchical systems (defined symbols of the first system may be constructors of the second). Modularity of confluence will be briefly discussed first. We will then show how to capture most of the existing results for modularity of termination in a unified framework, before to explore the relationships with the recent work of Albert Rubio about extension orderings. INVITED LECTURE L3: ISSUES IN IMPLEMENTING LOGIC LANGUAGES Peter Van Roy Digital Equipment Corporation Paris Research Laboratory How does one go about implementing a new logic language? What are the principles underlying simple and efficient implementations? What is the quickest way to build a fast system? How does one avoid reinventing the wheel? This talk provides answers to these and other questions. The talk is divided into three parts: high-level issues, Prolog implementation issues, and general implementation techniques. Examples are taken from various logic languages, including constraint languages. The talk provides a plethora of information that will be helpful to both the novice implementer and the experienced practitioner. POSTER SESSION -------------- Poster presentations will take place in complement to the paper presentation. The main aim is to provide a forum for practical work which adds value to Declarative Programming as well as to help maturing early work by interactive presentations. Posters should be installed on Tuesday morning and they are planned to stay up all Conference. The schedule for poster viewing will be allocated. Material for mounting them will be provided. PRELIMINARY PROGRAM ------------------- TUESDAY, September 20, 1994 ########################### SESSION A.1: CONSTRAINTS Chair: Manuel Hermenegildo (U.P. Madrid) 10:00 Analysis and Refinement of Constraint Answer Sets in a Planning System M. Nitsche (GMD-FIRST Berlin) 10:30 Types as Constraints in Logic Programming and Type Constraint Processing H.-J. Goltz (GMD-FIRST Berlin) SESSION B.1: ARTIFICIAL INTELLIGENCE Chair: Ana Garcia (U.P. Madrid) 10:00 Temporal Token Calculus: a Temporal Reasoning Approach for Knowledge-Based Systems L. Vila and G. Escalada-Imaz (IIIA-CSIC Blanes) 10:30 Extending Explanation-Based Generalization with Metalogic Programming S. Bertarello, S. Costantini and G.A. Lanzarone (U. degli Studi Milano) SESSION A.2: PROGRAM ANALYSIS AND PROGRAM TRANSFORMATIONS Chairs: Mario Ornaghi (U. Milano) and Maurizio Proietti (IASI-CNR) 11:30 Proving termination of Prolog programs P. Mascellani and D. Pedreschi (U. Pisa) 12:00 A Compositional Semantics for Conditional Term Rewriting Systems M. Alpuente (U.P. Valencia), M. Falaschi (U. Padova), M.J. Ramis and G. Vidal (U.P. Valencia) 12:30 Characterizing Abstract Program Properties by Abduction R. Giacobazzi (LIX) 13:00 An Abstract Interpretation Framework for (almost) Full Prolog B. Le Charlier (U. Namur), S. Rossi (U. Padova) and P. Van Hentenryck (Brown U.) SESSION B.2: DEDUCTIVE DATABASES Chairs: Paolo Mancarella (U. Pisa) and Domenico Sacca (U. Calabria) 11:30 Sustained Models and Sustained Answers in First-Order Databases Hendrik Decker (Siemens AG Munich) and J.C. Casamayor (U.P. Valencia) 12:00 Abductive Update of Deductive Databases G. Plagenza (U. Pisa) 12:30 D2: A Model for Datalog Parallel Evaluation J.F. Aldana, E. Alba and J.M. Troya (U. Malaga) 13:00 Restricciones de integridad dinamicas en bases de datos deductivas: una aproximacion basada en logica temporal M. Celma, C. Garcia and M.A. Pastor (U.P. Valencia) SESSION A.3: CONCURRENCY AND PARALLELISM Chair: Catuscia Palamidessi (U. Genova) 15:30 Semantics of Concurrent Logic Programming as Uniform Proofs P. Volpe (U. Pisa) 16:00 El lambda-calculo Etiquetado Paralelo (LCEP) S. Lucas and J. Oliver (U.P. Valencia) 16:30 Confluence and Concurrent Constraint Programming M. Falaschi (U. Padova), M. Gabbrielli (CWI Amsterdam), K. Marriott (Monash U.) and C. Palamidessi (U. Genova) SESSION B.3: IMPLEMENTATIONS AND APPLICATIONS Chair: Jose Jaime Ruz (U.C. Madrid) 15:30 IDEA: Intelligent Data Retrieval in Prolog C. Ruggieri and M. Sancassani (DS logics s.r.l. Bologna) 16:00 Optimal Management of a Large Computer Network with CHIP. M. Fabris, A. Tirabosco and C. Chiopris (ICON s.r.l. Verona) 16:30 A Debugging Model for Lazy Functional Logic Languages P. Arenas-Sanchez and A. Gil-Luezas (U.C. Madrid) SESSION A.4: THEORY AND FOUNDATIONS Chair: Gianfranco Rossi (U. Bologna) 17:30 Split Resolution Tailoring Tableaux to Refute Clause Sets F. Buffoli (U. Statale Milano) 18:00 An Algebraic Theory of Observables M. Comini and G. Levi (U. Pisa) 18:30 Fixpoint Semantics of L lambda M. Martelli, A. Messora, C. Palamidessi (U. Genova) and A. H. Bon Hoa (INRIA-Rocquencourt) SESSION B.4: EXTENSIONS AND INTEGRATION Chair: Isidro Ramos (U.P. Valencia) 17:30 Everything buT Assignment V. Ambriola, G.A. Cignoni and L. Semini (U. Pisa) 18:00 Comunicacion entre objetos mediante la unificacion de canales logicos F.J. Duran, E. Pimentel and J.M. Troya (U. Malaga) 18:30 A Logic for Encapsulation in Object-Oriented Languages M. Bugliesi (U. Padova) and H.M. Jamil (Concordia U. Montreal) WEDNESDAY, September 21 ####################### SESSION A.5: PROGRAM ANALYSIS AND PROGRAM TRANSFORMATIONS Chair: Moreno Falaschi (U. Padova) 10:00 Total correctness of a goal replacement rule based on the unfold/fold proof method M. Proietti (IASI-CNR Roma) and A. Pettorossi (U. Roma II) 10:30 Modular Transformations of CLP Programs S. Etalle (U. Padova) and M. Gabbrielli (CWI Amsterdam) SESSION B.5: EXTENSIONS AND INTEGRATION Chair: Marisa Navarro (U. Pais Vasco) 10:00 Una formalizacion algebraica de la notacion "objectcharts": validacion y verificacion de especificaciones orientadas a objetos de sistemas reactivos B. Grima and A. Toval (U. Murcia) 10:30 Implementation of A Term Rewriting System for Solving Process Queries in an Object-Oriented Environment J. Devesa, J. Cuevas and I. Ramos (U.P. Valencia) SESSION A.6: CONCURRENCY AND PARALLELISM Chairs: Philippe Codognet (INRIA) and Carlos Delgado (U.P. Madrid) 11:30 Towards a Functional Process Calculus K. Bohlmann (RWTH Aachen), R. Loogen (P.-U. Marburg) and Y. Ortega (U.C. Madrid) 12:00 El modelo RPS para la gestion del paralelismo AND independiente en programas logicos R. Varela (U. Oviedo) 12:30 Monadas y Procesos Funcionales Comunicantes J.E. Gallardo, P. Guerrero and B.C. Ruiz (U. Malaga) 13:00 Methods for Automatic Compile-time Parallelization of Logic Programs: the MEL, CDG and UDG Algorithms Revisited F. Bueno (U.P. Madrid) SESSION B.6: IMPLEMENTATIONS AND APPLICATIONS Chairs: Evelina Lamma (U. Bologna) and Jaume Sistac (U.P. Catalunya) 11:30 A Bottom-Up Interpreter for a Database Language with Updates and Transactions E. Bertino, B. Catania (U. Milano), G. Guerrini, M. Martelli (U. Genova) and D. Montesi (SERC Chilton) 12:00 Expressiveness of the Abstract Logic Programming Language Forum in Planning and Concurrency P. Bruscoli (I.I. Ancona) and A. Guglielmi (U. Pisa) 12:30 A Babel Parallel System: VHDL Modelling for Performance Measurement F. Saenz (U.C. Madrid), W. Hans (RWTH Aachen), J.J. Ruz (U.C. Madrid) and S. Winkler (RWTH Aachen) 13:00 On the parallel implementation of the higher order logic language lambda Prolog F. Arcelli (U. Salerno), F. Formato (CRMPA Salerno) and G. Iannello (U. Napoli) THURSDAY, September 22 ###################### SESSION A.7: CONSTRAINTS Chair: Mario Rodriguez (U.C. Madrid) 10:00 Optimizing Logic Programs with Finite Domain Constraints N.-W. Lin (National Chung Cheng U. Chiayi) 10:30 On the Detection of Implicit and Redundant Numeric Constraint in CLP Programs R. Bagnara (U. Pisa) SESSION B.7: NATURAL LANGUAGE Chair: Felisa Verdejo (UNED) 10:00 Datalog Grammars V. Dahl, P. Tarau and Y.-N. Huang (Simon Fraser U.) 10:30 Tratamiento de la ambiguedad de origen preposicional a traves de la logica L. Moreno (U.P. Valencia) and M. Palomar (U. Alicante) SESSION A.8: PROGRAM ANALYSIS AND PROGRAM TRANSFORMATIONS Chairs: Nicoletta Cocco (U. Venezia) and Jose Maria Troya (U. Malaga) 11:30 Deriving Polymorphic Type Dependencies for Logic Programs using Multiple Incarnations of Prop M. Codish (Ben-Gurion U. Negev) and B. Demoen (K.U. Leuven) 12:00 Granularity Analysis of Concurrent Logic Languages based on Abstract Interpretation M.M. Gallardo and J.M. Troya (U. Malaga) 12:30 Improving Abstract Interpretations by Systematic Lifting to the Powerset G. File and F. Ranzato (U. Padova) 13:00 The Quotient of an Abstract Interpretation for Comparing Static Analyses A. Cortesi (U. Venezia), G. File (U. Padova) and W. Winsborough (Pennsylvania State U.) SESSION B.8: EXTENSIONS AND INTEGRATION Chairs: Luigia Carlucci (U. Roma "La Sapienza") and Pere Garcia (IIIA Blanes) 11:30 Dealing with Explicit Exceptions in Prolog L. Liquori and M.L. Sapino (U. Torino) 12:00 A Temporal Logic for Program Specification M. Enciso, I. Perez de Guzman and C. Rossi (U. Malaga) 12:30 A Modal Extension of Logic Programming M. Baldoni, L. Giordano and A. Martelli (U. Torino) 13:00 What the Event Calculus actually does, and how to do it efficiently I. Cervesato (U. Torino), L. Chittaro and A. Montanari (U. Udine) SESSION A.9: THEORY AND FOUNDATIONS Chair: Teresa Hortala (U.C. Madrid) 15:30 Loop Checking for Reduced SLD-derivations F. Ferrucci (U. Salerno), G. Pacini (U. Venezia) and M.I. Sessa (U. Salerno) 16:00 Solving Systems of Equations over Hypersets A. Dovier (U. Pisa), E.G. Omodeo (U. Roma "La Sapienza"), A. Policriti (U. Udine) and G. Rossi (U. Parma) 16:30 Termination is Language-Independent D. Pedreschi and S. Ruggieri (U. Pisa) SESSION B.9: IMPLEMENTATIONS AND APPLICATIONS Chair: Paolo Ciancarini (U. Pisa) 15:30 Utilizacion de la programacion funcional para la construccion de servidores en entornos heterogeneos J.l. Freire, V.M. Gulias and J.M. Molinelli (U. La Coru~na) 16:00 The IDEA User Interface: the Power of Logic Programming in GUI Implementations M. Sancassani, G. Dore and U. Manfredi (DS Logics s.r.l. Bologna) 16:30 A Sleeper-based Prolog Interpreter with Loop Checks F. Ferrucci, V. Loia (U. Salerno), G. Pacini (U. Venezia) and M.I. Sessa (U. Salerno) SESSION A.10: NEGATION Chair: Laura Giordano (U. Torino) 17:30 Semantics for Reasoning with Contradictory Extended Logic Programs A. Analyti and S. Pramanik (Michigan State U.) 18:00 A non-deterministic semantics for ordered logic programs F. Buccafurri (U. Calabria), N. Leone (ISI-CNR Rende) and P. Rullo (U. Calabria) 18:30 Finite Failure is AND-Compositional R. Gori and G. Levi (U. Pisa) SESSION B.10: META AND HIGHER-ORDER PROGRAMMING Chair: Maria Sessa (U. Salerno) 17:30 Non Homomorphic Reductions of Data Structures L.A. Galan, M. Nu~nez, C. Pareja and R. Pe~na (U.C. Madrid) 18:00 Amalgamating Language and Meta-language for Composing Logic Programs A. Brogi, C. Renso and F. Turini (U. Pisa) 18:30 Generic Classes Parameterized by Data Structures S. Clerici (U.P. Catalunya) and R. Pe~na (U.C. Madrid) POSTER PRESENTATION ------------------- Chair: Inmaculada Perez de Guzman (U. Malaga) Una implementacion grafica de TAS-D++ G. Aguilera, M.A. Ferrero, I.P. de Guzman and A. Mora (U. Malaga) TAS-D++ vs tablas semanticas G. Aguilera, J.L. Galan, I.P. de Guzman and M. Ojeda (U. Malaga) Gedblog: a Multi-Theories Deductive Environment to Specify Graphical Interfaces D. Aquilino, P. Asirelli and P. Inverardi LogicSQL: Augmenting SQL with Logic U. Manfredi and M. Sancassani (DS logics s.r.l. Bologna) A Type Checking Tool for a Formal Specification Language N. Mylonakis and J. Perez Campo (U.P. Catalunya) OASIS 2.0: An Object Definition Language for Object Oriented Databases O. Pastor, I. Ramos, J. Cuevas and J. Devesa (U.P. Valencia) LANM, SRA y Contradiccion G. Ramos (U. Malaga) Especificacion orientada a objetos desde un enfoque algebraico J.A. Troyano, J. Torres and M. Toro (U. Sevilla) Combining depth-first and breadth-first search in Prolog execution J. Tubella and A. Gonzalez (U.P. Catalunya) LANGUAGE ******** English, French, Italian and Spanish are official languages of the Conference. SOCIAL EVENTS ************* A welcome reception, co-sponsored by the Diputacion Provincial de Castellon and Ayuntamiento de Pe~niscola, will be held at the castle of Pope Luna on Monday, September 19. The reception will include a guided tour of the castle. On Wednesday afternoon, September 21, there will be a guided tour of Morella, a medieval city on the northernmost tip of Valencia. Morella offers an awe-inspiring vista composed of centuries-old battlements crowned with a magnificent castle, at over one thousand meters above sea level. On Wednesday, September 21 at half past nine pm there will be a conference dinner at the 15th century palace of the 'Cardenal Ram', which is in the center of Morella. * Social events will be offered to all registered participants. For people accompanying the participants, please refer to the registration fees and registration form. REGISTRATION FEES ***************** Registration form must be completed and returned to the Conference Secretariat. For a limited number of students, registration at a special student fee is possible provided they attach a letter of reference from their advisor. The registration fees are (in pesetas - ptas -, 1 $US approx. 135 ptas, 1 peseta approx. 11.8 italian liras): __________________________________________________________________ | early registration | late registration | | (before July 15) | (after July 15) | |____________________________________________|_____________________| | regular 30.000 ptas | 37.500 ptas | | students* 23.000 ptas | 30.000 ptas | | accompanying person** 7.500 ptas | 7.500 ptas | |____________________________________________|_____________________| * Students must include a photocopy of their student identification or a note from their department or supervisor verifying student status. ** The fee for people accompanying participants covers coffee breaks and participation in the social events: Welcome reception (September 19), Excur- sion (September 21) and Social Dinner (September 21). Such payment will be refunded to those unable to attend if notification is received before Septem- ber 10. Those accompanying participants can also buy separate tickets for the Excursion (1.500 ptas) and the Social Dinner (5.000 ptas). Registration for all participants includes: attendance at the conference tutorials and conference sessions, copy of the tutorial material, one copy of the proceedings (2 volumes), coffee and tea during breaks and participation in the social events: Welcome reception (September 19), Excursion (September 21) and Social Dinner (September 21). HOTEL ACCOMODATION ****************** The Papa Luna Hotel complex (***) overlooks the sea. It has confortable rooms (with full bathrooms and air conditioning), garage and parking for 250 cars. It also has installations for leisure activities such as a swimming pool, three bars and two restaurants with buffet. The organization of GULP-PRODE'94 has obtained especially reduced rates for the accomodation in Papa Luna Hotel. Payment for the complete stay must be made in advance. Such payment will be refunded if cancellation is notified before September 10. Hotel rates per person per day are (in pesetas, taxes included): _______________________________________ | single | double | triple | |_____________|____________|____________| | 6.000 ptas | 5.000 ptas | 4.600 ptas | |_____________|____________|____________| Breakfast, lunch and dinner are included in the room rate. Mineral water at lunch and dinner is also included. * Two to twelve year old children will pay 2.500 ptas per day (a maximum of 2 children per room), all meals included. Hotel reservation may be made by filling in the form below and returning it to the Conference Secretariat before July 15. Reservation after that will be accepted on rate and space availability, and will be handled on a first-come first-serve basis upon reception of the hotel accomodation form. Accomodation forms arriving without the corresponding payment will not be processed. PAYMENT ******* Advance payment of the registration fee and advance payment for the accomodation should be made in the following way: 1.- Fill in the registration form and the hotel accomodation form included below. 2.- Payment: Please make sure that your payment includes any banking or other fees so that the organization of GULP-PRODE'94 receives the correct amount in pesetas. * In Spain: Payment must be made by money transfer. --------- Bank account information ------------------------ Beneficiary: GULP-PRODE'94 Beneficiary address: Universidad Politecnica de Valencia Country: Spain Bank: Caja de Ahorros y Pensiones de Barcelona 'La Caixa' Bank address: Cronista Chabret 11 (46500 SAGUNTO) Bank code: Entidad 2100 Oficina 2199 Account no.: 0200093978 Phone: 96 266 41 35 Fax: 96 265 06 57 * Outside Spain: Payment must be made by international money transfer. Please ------------- ask your bank to arrange the transfer free of charges to the beneficiary. Please make sure that your own name is clearly legible in order to ensure that your payment will be correc- tly registered. Bank account information ------------------------ Beneficiary: GULP-PRODE'94 Beneficiary address: Universidad Politecnica de Valencia Country: Spain Bank: Caja de Ahorros y Pensiones de Barcelona 'La Caixa' Bank address: Cronista Chabret 11 (46500 SAGUNTO) Bank code: Sagunto 2199 SWIFT: CAIXESBB142 Account no.: 0200093978 Phone: +34 6 266 41 35 Fax: +34 6 265 06 57 3.- Return the registration form, hotel accomodation form and money transfer to the Conference Secretariat. 4.- No forms will be processed without payment. We regret that it is not possible to accept cheques or credit cards. 5.- In order to receive the early registration rate, your registration and payments should be received by July 15, 1994. A confirmation of registration, hotel reservation and payment will be sent to you after the forms and fees are received. On-site registration is only possible in Spanish currency in cash. CANCELLATIONS ************* A written notification of cancellation must be sent to the Conference Secretariat. The refund request will be honored if postmarked before Septem- ber 10, but a service charge of 15% of the registration fee will be withheld. We regret that no refunds of the registration and accomodation fees can be made for cancellations received after September 10. REGISTRATION FORM AND HOTEL ACCOMODATION FORM ********************************************* ---------------------------CUT HERE----------------------------------------- ________________________________________________________________________ GULP-PRODE'94 REGISTRATION FORM _______________________________________ Please complete (block letters) and return this form and payment before July 15 to: GULP-PRODE'94 (Att. Maria Jose Ramirez) Departamento de Sistemas Informaticos y Computacion Universidad Politecnica de Valencia Camino de Vera s/n, 46022 VALENCIA (SPAIN) Tel: +34 6 387 73 50 (ext. 3512) Fax: +34 6 387 73 59 e.mail: gulpro94@dsic.upv.es _______________________________________ Last Name ______________________________________________________________ First Name _____________________________________________________________ Affiliation ____________________________________________________________ Address ________________________________________________________________ City ____________________________ State/Province _______________________ POST/ZIP Code _____________________ Country ____________________________ Phone _______________________________ Fax ______________________________ e-mail _________________________________________________________________ AFFILIATION (Please check): [ ] Regular [ ] Student REGISTRATION (Please check): [ ] Early [ ] Late Amount ________________ ptas ADDITIONAL PROCEEDINGS (2 volumes): _____ copies at 4.500 ptas Amount ________________ ptas PEOPLE ACCOMPANYING PARTICIPANTS (Please check): [ ] Full tickets (7.500 ptas each) [ ] x No. ______ Amount ________________ ptas Social Dinner only (5.000 ptas each) [ ] x No. ______ Amount ________________ ptas Excursion only (1.500 ptas each) [ ] x No. ______ Amount ________________ ptas =============================== (add registration fee, cost for additional proceedings and tickets) TOTAL AMOUNT ________________ ptas Signature _________________________ Date ________________ --------------------------CUT HERE----------------------------------------- _________________________________________________________________________ GULP-PRODE'94 HOTEL ACCOMODATION FORM _______________________________________ Please complete (block letters) and return this form and payment before July 15 to: GULP-PRODE'94 (Att. Maria Jose Ramirez) Departamento de Sistemas Informaticos y Computacion Universidad Politecnica de Valencia Camino de Vera s/n, 46022 VALENCIA (SPAIN) Tel: +34 6 387 73 50 (ext. 3512) Fax: +34 6 387 73 59 e.mail: gulpro94@dsic.upv.es _______________________________________ Last Name ______________________________________________________________ First Name _____________________________________________________________ Affiliation ____________________________________________________________ Address ________________________________________________________________ City ____________________________ State/Province _______________________ POST/ZIP Code _____________________ Country ____________________________ Phone _______________________________ Fax ______________________________ e-mail _________________________________________________________________ Please reserve (please check): [ ] Single Room x No. ________ of Nights [ ] Double Room x No. ________ of Nights [ ] Triple Room x No. ________ of Nights I would like to share the room with: Name ________________________________________________________ Name ________________________________________________________ Children: [ ] x No. ________ Arrival date (check in after 12:00 pm) ______/______/______ Departure date (check out before 12:00 pm) ______/______/______ TOTAL AMOUNT ______________ ptas Signature _________________________ Date ________________ --------------------------CUT HERE----------------------------------------- LOCATION AND TRAVEL INSTRUCTIONS ******************************** Pe~niscola is a coastal city which is 130 Km. from Valencia. It is located on a promontory jutting into the sea and is surrounded by walls and fortificati- ons. In the middle of it stands the 13th century castle of the Knights of the Templar, which was once home to the 15th century Pope Luna. From September 9 to September 18, the town celebrates its main festival with parades, concerts, dances and parties. The weather in September is very pleasant, with tempera- tures of about 25 degrees centigrade. Travel instructions ----------------------- BY AIR: Valencia has an international airport (Manises) with direct flights to most European cities. The airport is located 10 Km from the city of Valencia. A taxi from the airport to the centre of the city should cost approx. 2.000 pesetas. How to reach Pe~niscola from Valencia (130 Km) ---------------------------------------------- * from VALENCIA to BENICARLO (137 Km) (7 Km past Pe~niscola) ** By train from the railway station ("Estacion de RENFE") to Benicarlo. ** By bus from "Estacion de autobuses" to Benicarlo (there is one bus Monday-Friday (not holidays) at 1:30 pm). * from BENICARLO back to PE~NISCOLA (7 Km) ** By bus (there is a bus every 30 minutes). ** By taxi. BY CAR: Participants travelling by car from European countries should cross the French border at "La Junquera" and then follow the directions to Gerona, Barcelona and Tarragona. Take the exit in the direction of Pe~niscola and then follow the signs to Pe~niscola. This document is available trough anonymous ftp from garbi.dsic.upv.es in directory /pub/gpinfo94. For further details, please contact the Conference Secretariat. We are looking forward to seeing you in Pe~niscola next September.