------------------------------------------------------------- CALL FOR REGISTRATION AND PARTICIPATION CSL'99 Annual Conference of the European Association for Computer Science Logic (EACSL) Madrid, Spain, September 20-25, 1999 ------------------------------------------------------------- *************************************************** INVITED LECTURERS TUTORIALS CONTRIBUTED PAPERS GENERAL INFORMATION REGISTRATION AND ACCOMODATION *************************************************** Sponsored by: Departamento Sistemas Informaticos y Programacion (SIP) - UCM European Research Consortium for Informatics and Mathematics - ERCIM Esprit Working Group - CCLII Facultad de Matematicas - UCM Ministerio de Educacion y Ciencia - CICYT Viverrectorado de Investigacion - UCM Viverrectorado de Relaciones Internacionales - UCM Organised by: SIP-UCM DACYA-UCM EACSL Board: Marc Bezem (Utrecht, President), Ian Stewart (Leicester, Vice-President), Clemens Lautemann (Mainz, Treasurer), Peter Hajek (Prague), Simone Martini (Udine), Christine Paulin (Paris), Moshe Vardi (Houston), Johann Makowsky (Haifa), Alexander Razborov (Moscow) Local Organizing Committee: J. Carlos Gonzalez-Moreno, Teresa Hortala-Gonzalez, Javier Leach-Albert (chair), Paco Lopez-Fraguas, Fernando Saenz-Perez, Eva Ullan-Hernandez. Programm commitee of CSL'99: Samson Abramsky (Edinburgh, UK), Marc Bezem (Utrecht, The Netherlands), Peter Clote (Munich, Germany), Hubert Comon (Cachan, France), Jorg Flum (Freiburg i.Br., Germany) (co-chair), Harald Ganzinger (Saarbrucken, Germany), Neil Immerman (Amherst, USA), Neil Jones (Copenhagen, Denmark), Jan Maluszynski (Linkoping, Sweden), Michael Maher (Brisbane, Australia), Catuscia Palamidessi (Pennsylvania, USA), Mario Rodriguez-Artalejo (Madrid, Spain) (co-chair), Wolfgang Thomas (Aachen, Germany), Jerzy Tiuryn (Warsaw, Poland), Martin Wirsing (Munich, Germany). The 1999 Annual Conference of the European Association for Computer Science Logic follows previous CSL Conferences: CSL'98 (Brno, Czech Republic), CSL'97 (Aarhus, Danemark), CSL'96 (Utrecht, Netherlands), CSL'95 (Paderborn, Germany), CSL'94 (Kasimierz, Poland), CSL'93 (Swansea, Great Britain), CSL'92(San Miniato/Pisa, Italy), CSL'91 (Bern, CH), CSL'90 (Heidelberg, Deutchland), CSL'89 (Kaiserslautern, Deutchland), CSL'88 (Duisburg, Deutchland), and CSL'87 (Karlsruhe, Deutchland), CSL'99 will be held in Madrid (Spain). The event is organized jointly by the Computer Science Departments (SIP and DACYA) of Universidad Complutense de Madrid (UCM). The scientific program includes 34 selected papers from among 91 submissions, five invited lectures, and two tutorials on theorem proving and rewriting techniques, scheduled on September 24 afternoon (Friday) and September 25 morning (Saturday), immediately after the main conference. In addition to the scientific program, the social program includes an excursion to Segovia (a nearby historic city), and a conference dinner. Madrid, a city of contrasts, traditional and contemporary at the same time, offers the opportunity to enjoy both Spain and one of the most attractive capitals in Europe. In this document you can find the Invited Lecturers, Tutorials, Accepted papers, General Information, Registration and Accommodation Information. The CSL'99 Web page (http://mozart.sip.ucm.es:1580/csl99/) contains additional information. INVITED LECTURERS: Jose Luis Balcazar - Universidad Politecnica Cataluna Title: Computation theoretic connections in logic Javier Esparza - Technische Universitat Munchen Title: Partial order semantics help Martin Grohe - Albert-Ludwig-Universitat Freiburg Title to be announced Peter D. Mosses - University of Aarhus Title: Logical specification of operational semantics Victor Vianu - University California San Diego Title: Topological queries in spatial databases TUTORIALS: Douglas J. Howe - Bell Labs Title: Interactive theorem proving using type theory Aart Middeldorp - University of Tsukuba Title: Term rewriting CONTRIBUTED PAPERS: Thorsten Altenkirch, Bernhard Reus Monadic presentations of lambda terms using generalized inductive types C. Areces, P. Blackburn, M. Marx A Roadmap on Complexity for Hybrid Logics Thomas Arts, Jurgen Giesl Rewriting Techniques for Verification of Erlang Processes Vincent Balat, Roberto Di Cosmo A linear logical view of linear type isomorphisms L.D. Beklemishev Open least element principle and bounded query computation Eduardo Bonelli Using fields and explicit substitutions to implement objects and functions in a de Bruijn setting J. C. Bradfield Fixpoint alternation and the game quantifier Adriana Compagnoni, Healfdene Goguen Anti-Symmetry of Higher-Order Subtyping Volker Diekert and Paul Gastin An expressively complete temporal logic without past tense operators for Mazurkiewicz traces Maribel Fernandez, Ian Mackie Closed reductions in the lambda calculus Martin Fraenzle Analysis of Hybrid Systems: An ounce of realism can save an infinity of states Paul Gastin and Mike Mislove A Truly Concurrent Semantics for a Simple Parallel Programming Language Herman Geuvers, Erik Poll, Jan Zwanenburg Safe Proof Checking in Type Theory with $Y$ Erich Gradel, Stephan Kreutzer Descriptive complexity theory for constraint databases Shigeki Hagihara, Naoki Yonezaki Resolution Method for Modal Logic with Well-founded Frames Jo Erskine Hannay Specification Refinement with System F Yoram Hirshfeld , Alexander Rabinovich Quantitative Temporal Logic Furio Honsell, Donald Sannella Pre-logical relations Samin Ishtiaq and David J. Pym Kripke resource models of a dependently-typed, bunched $\lambda$-calculus A. D. Ker, H. Nickau, C.-H. L. Ong More Universal Game Models of Untyped Lambda-Calculus: The Bohm Tree Strikes Back Yonit Kesten and Amir Pnueli Can Abstraction Replace Deduction Yoshiki Kinoshita, John Power Data-refinement for call-by-value programming languages A. Kucera, J. Esparza A Logical Viewpoint on Finite-State Descriptions of Processes Clemens Lautemann, Bernhard Weinzinger MonadicNLIN and quantifier-free reductions Daniel Leivant Applicative control and computational complexity Jerzy Marcinkowski Directed reachability: from Ajtai-Fagin to Ehrenfeucht-Fraise games Thomas Marthedal Rasmussen Signed Interval Logic Jesper Moller, Jakob Lichtenberg, Henrik Reif Andersen, Henrik Hulgaard Difference Decision Diagrams Luca Roversi A Proof of Completeness for Light Logics Helmut Seidl, Andreas Neumann On Guarding Nested Fixpoints Iain A. Stewart Program schemes, arrays, Lindstrom quantifiers and zero-one laws Stephan Tobies A NExpTime-complete Description Logic Strictly Contained in C^2 Jacobo Toran Lower Bounds for Space in Resolution Marina De Vos, Dirk Vermeir Choice logic programs and Nash equilibria in strategic games GENERAL INFORMATION Place and travel The Conference will be held in Madrid (Spain), at the Faculty of Mathematics of Universidad Complutense de Madrid (UCM), from the 20th to the 25th of September, 1999. Madrid has direct flights from most major cities and generally good connections from elsewhere. Barajas, the international Madrid airport, is only about10 km from the city. There are frequent regular buses and taxis to the city, as well as the new metropolitan line. The Faculty of Mathematics can be reached by metro (metropolitan station Ciudad Universitaria or Metropolitano) or by bus (bus lines 132, F, or 82). The CSL'99 Web page (http://mozart.sip.ucm.es:1580/csl99/) contains additional information such as the metropolitan network map, and the surroundings to CSL host site map. Social Events A guided excursion to Segovia will be held on Wednesday, 22th. The departure will be after lunch, at 14:00. Registered participants have this excursion included, and accompanying persons can buy an excursion ticket (60 euros) during the Registration and Opening Session to CSL'99. The excursion includes dinner. Languages The official language of the Conference is English. REGISTRATION AND ACCOMMODATION INFO REGISTRATION INFO CSL'99 Registration to the Conference and/or Tutorial must be made sending the Conference Registration Form and/or the Tutorial Registration Form and a copy of your corresponding bank transfer (via fax) directly to: CSL'99 attention of ms. Eva Ullan fax +34/91/394 46 02 Electronic mail registration will not be accepted The conference registration fee includes: - admission to the conference - morning and afternoon coffee breaks during the conference - lunches during the conference - excursion and social event - a copy of the proceedings volume - one year subscription to EACSL The tutorial registration fee includes: - admission to the tutorials - afternoon and morning coffee breaks during the tutorials - working material EARLY CONFERENCE REGISTRATION FEE: 270 EUROS. For early registration, the registration form together with a the copy of your bank remittance must reach us by July 15, 1999 LATE CONFERENCE REGISTRATION FEE: 300 EUROS. After July 15, 1999 SUBSIDISED STUDENT CONFERENCE REGISTRATION FEE: 150 EUROS If you want to apply for subsidised student registration fee, please type out your e-mail address and send the applying form for student registration fee, with a copy of your student certification via fax before July 1, 1999. You will receive a notification before July 5, 1999 if there is a student grant available for you. Since there are a reduced number of student grants, a positive answer will be possible only on a first come first serve basis. TUTORIAL REGISTRATION FEE: 60 EUROS For early tutorial registration, the tutorial registration form with a copy of your bank remittance must reach us by July 15, 1999 LATE TUTORIAL REGISTRATION FEE: 80 EUROS. After July 15, 1999 Payments should be made in EURO currency by bank transfer WITHOUT CHARGES FOR THE BENEFICIARY payable to: CAJA DE MADRID Donoso Cortes 80 28015 MADRID FUNDACION GENERAL UCM (CSL'99) Account: 2038/1735/09/2000001375 Do not forget the specification CSL'99 !!! ACCOMMODATION INFO CSL'99 A) For those who would like a simple accommodation lodging in a student room, we have made arrangements with "Colegio Mayor Loyola", Paseo Juan XXIII 17, 28040 MADRID, SPAIN, Fax +34/91/535 22 05 In "Colegio Mayor Loyola" the price for single rooms, full board, is 4,600 pts + 7% VAT per day (27.646 EUROS + 7% VAT) If you want a "Colegio Mayor Loyola" accommodation you have to fill in the accommodation form and return in printed form via fax before July 15, 1999 to "Colegio Mayor Loyola". After July 15, the accommodation is not guaranteed. B) For those who would like a three/four star hotel accommodation, we have made arrangements with "Grandes Rutas Travel", fax +34/91/543 35 50 Hotel "Tirol" (***) Room for 1 person, breakfast included, 8,800 pts + 7% VAT Room for 2 persons, breakfast for 2 persons included, 11,500 pts + 7% VAT Hotel "Conde Duque" (****) Room for 1 person, breakfast included, 11,600 pts + 7% VAT Room for 2 persons, breakfast for 2 persons included, 14,800 pts + 7% VAT If you want a hotel accommodation you have to fill in the hotel accommodation form and return in printed form via fax before July 15, 1999 to "Grandes Rutas Travel". If you have any problem in relation with your hotel accommodation please get in contact via telephone with Mauro Martin or Ana Garcia (+34/91/543 33 62). <><><><><><><><><><><><> Cut here <><><><><><><><><><><><> CONFERENCE REGISTRATION FORM Please type out and return via fax with a copy of your bank remittance to CSL'99 attention of ms. Eva Ullan FAX +34/91/394 46 02 Surname ____________________________________________________ First Name(s) ______________________________________________ Mr/Ms + Title ______________________________________________ Affiliation ________________________________________________ Home or Work Address: Street _____________________________________________________ Code, City _________________________________________________ Country ____________________________________________________ e-mail _____________________________________________________ Hereby please receive a copy of my bank transfer. Signature: <><><><><><><><><><><><> Cut here <><><><><><><><><><><><> APPLYING FORM FOR A SUBSIDISED STUDENT REGISTRATION FEE Please type out and return via fax with a copy of your student certification to CSL'99 attention of ms. Eva Ullan FAX +34/91/394 46 02 I apply for a subsidised student certification fee. Surname ____________________________________________________ First Name(s) ________________________________________________ Affiliation ___________________________________________________ e-mail address________________________________________________ Hereby please receive a copy of my student certification. Signature: <><><><><><><><><><><><> Cut here <><><><><><><><><><><><> TUTORIAL REGISTRATION FORM Please type out and return via fax with a copy of your bank remittance to CSL'99 attention of ms. Eva Ullan FAX +34/91/394 46 02 Surname ____________________________________________________ First Name(s) ______________________________________________ Mr/Ms + Title ______________________________________________ Affiliation ________________________________________________ Home or Work Address: Street _____________________________________________________ Code, City _________________________________________________ Country ____________________________________________________ e-mail _____________________________________________________ Hereby please receive a copy of my bank transfer. Signature: <><><><><><><><><><><><> Cut here <><><><><><><><><><><><> ACCOMMODATION FORM FOR COLEGIO MAYOR LOYOLA Please fill in and return before the July 15, 1999 via fax to CSL'99 "Colegio Mayor Loyola" attention of ms. Aurora fax +34/91/535 22 05 Surname(s) ____________________________________________________ First Name(s) ______________________________________________ Mr/Ms + Title ______________________________________________ Affiliation ________________________________________________ Arrival day ________________________________________________ Departure day ______________________________________________ Home or Work Address: Street _____________________________________________________ Code, City _________________________________________________ Country ____________________________________________________ Signature: <><><><><><><><><><><><> Cut here <><><><><><><><><><><><> ACCOMMODATION FORM FOR "GRANDES RUTAS TRAVEL" Please fill in and return before the July 15, 1999 via fax to CSL'99 "Grandes Rutas Travel" attention of mr. Mauro Martin or Ana Garcia fax +34/91/543 35 50 Hotel _____________________________________________________ Surname(s) __________________________________________________ First Name(s) ______________________________________________ Mr/Ms + Title ______________________________________________ [ ] Single room [ ] Double room Arrival day ________________________________________________ Departure day ______________________________________________ Home or Work Address: Street _____________________________________________________ Code, City _________________________________________________ Country ____________________________________________________ Signature: