------------------------------------------------------------- PROGRAMME AND CALL FOR PARTICIPATION CSL'99 Annual Conference of the European Association for Computer Science Logic (EACSL) Madrid, Spain, September 20-25, 1999 ------------------------------------------------------------- http://mozart.sip.ucm.es:1580/csl99/ _______________________________________________________ WARNING: * After July 15 accommodation is not guaranteed * The programme has been modified _______________________________________________________ The 1999 Annual Conference of the European Association for Computer Science Logic follows previous CSL Conferences: CSL'98 (Brno, Czech Republic), CSL'97 (Aarhus, Denmark), CSL'96 (Utrecht, The Netherlands), CSL'95 (Paderborn, Germany), CSL'94 (Kazimierz, Poland), CSL'93 (Swansea, United Kingdom), CSL'92(San Miniato, Italy), CSL'91 (Berne, Switzerland), CSL'90 (Heidelberg, Germany), CSL'89 (Kaiserslautern, Germany), CSL'88 (Duisburg, Germany), and CSL'87 (Karlsruhe, Germany). CSL'99 will be held in Madrid (Spain). The event is organized jointly by the Computer Science Departments (DSIP 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 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, Scientific Programme, 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 The consistency dimension, compactness, and query learning Javier Esparza - Technische Universitat Munchen Broadcast protocols - a case study in automatic verification of infinite state systems Martin Grohe - Albert-Ludwig-Universitat Freiburg Descriptive and Parametrized Complexity Peter D. Mosses - University of Aarhus Logical specification of operational semantics Victor Vianu - University California San Diego Topological Queries in Spatial Databases TUTORIALS: Douglas J. Howe - Bell Labs Interactive Theorem Proving using Type Theory Aart Middeldorp - University of Tsukuba Term Rewriting PRELIMINARY SCIENTIFIC PROGRAMME: Monday 20th, September 9:00 Registration 9:45 Conference Opening 10:00 Invited Talk: V. Vianu Topological Queries in Spatial Databases 11:00 Coffee Break Session 1: Descriptive Complexity 11:20 E. Gradel and S. Kreutzer Descriptive Complexity Theory for Constraint Databases 11:50 D. Leivant Applicative control and computational complexity 12:30 Lunch Session 2: Verification 14:00 T. Arts and J. Giesl Applying Rewriting Techniques to the Verification of Erlang Processes 14:30 J. Moller, J. Lichtenberg, H.R. Andersen and H. Hulgaard Difference Decision Diagrams 15:00 M. Fraenzle Analysis of Hybrid Systems: An ounce of realism can save an infinity of states 15:30 Y. Kesten and A. Pnueli Verifying Liveness by Augmented Abstraction 16:00 Coffee break 16:30 EACSL Assembly Tuesday 21st, September 9:00 Invited Talk: J.L. Balcazar The consistency dimension, compactness, and query learning Session 3: Temporal Logic 10:30 T.M. Rasmussen Signed Interval Logic 11:00 Coffe break 11:20 Y. Hirshfeld and A. Rabinovich Quantitative Temporal Logic 11:50 V. Diekert and P. Gastin An expressively complete temporal logic without past tense operators for Mazurkiewicz traces 12:30 Lunch Session 4: Lambda Calculus, Linear Logic 14:00 E. Bonelli Using fields and explicit substitutions to implement objects and functions in a de Bruijn setting 14:30 M. Fernandez and I. Mackie Closed Reductions in the lambda-calculus 15:00 S. Ishtiaq and D.J. Pym Kripke resource models of a dependently-typed, bunched lambda-calculus 15:30 R. Di Cosmo and V. Balat A linear logic view of linear type isomorphisms 16:00 Coffee break Session 5: Logic Programming, Modal Logic, Description Logic 16:30 M. De Vos and D. Vermeir Choice Logic Programs and Nash Equilibria in Strategic games 17:00 S. Hagihara and N. Yonezaki Resolution Method for Modal Logic with Well-founded Frames 17:30 S. Tobies A NExpTime-complete Description Logic Strictly Contained in C^2 18:00 C. Areces, P. Blackburn and M. Marx A Road-map on Complexity for Hybrid Logics Wednesday 22th, September 9:30 Invited talk: M. Grohe Descriptive and Parametrized Complexity Session 6: Descriptive Complexity 10:30 C. Lautemann and B. Weinzinger Monadic NLIN and quantifier-free reductions 11:00 Coffe break 11:20 J. Marcinkowski Directed Reachability: From Ajtai-Fagin to Ehrenfeucht-Fraise games 11:50 J.C. Bradfield Fixpoint Alternation and the Game Quantifier 12:30 Lunch 13:30 Excursion to Segovia Thursday 23rd, September 9:30 Invited talk: P. Mosses Logical specification of operational semantics Session 7: Logic and Complexity 10:30 J. Toran Lower Bounds for Space in Resolution 11:00 Coffe break 11:20 I.A. Stewart Program Schemes, Arrays, Lindstrom Quantifiers and Zero-one Laws 11:50 L.D. Beklemishev Open least element principle and bounded query computation 12:30 Lunch Session 8: Lambda Calculus, Type Theory 14:00 A.D. Ker, H. Nickau and C.H.L. Ong A Universal Innocent Game Model for the Bohm Tree Lambda Theory 14:30 A. Compagnoni and H. Goguen Anti-Symmetry of Higher-Order Subtyping 15:00 H. Geuvers, E. Poll and J. Zwanenburg Safe Proof Checking in Type Theory with Y 15:30 T. Altenkirch and B. Reus Monadic presentations of lambda terms using generalized inductive types 16:00 Coffee break Session 9: Linear Logic, Mu Calculus, Concurrency 16:30 L. Roversi A P-Time Completeness Proof for Light Logics 17:00 H. Seidl and A. Neumann On Guarding Nested Fixpoints 17:30 A. Kucera and J. Esparza A Logical Viewpoint on Process-Algebraic Quotients 18:00 P. Gastin and M. Mislove A Truly Concurrent Semantics for a Simple Parallel Programming Language Friday 24th, September 9:30 Invited talk: J. Esparza Broadcast protocols -- a case study in automatic verification of infinite state systems Session 10: Specification, Data Refinement 10:30 J.E. Hannay Specification Refinement with System F 11:00 Coffe break 11:20 F. Honsell and D. Sannella Pre-logical Relations 11:50 Y. Kinoshita and J. Power Data-refinement for Call-By-Value Programming Languages 12:20 Conference Closure 12:30 Lunch 14:30 A. Middeldorp Tutorial on Term Rewriting, 1st part 16:00 Coffee break 16:30 Tutorial on Term Rewriting, 2nd part Saturday 25th, September 9:30 D. Howe Tutorial on Interactive Theorem Proving using Type Theory, 1st part 11:00 Coffee break Tutorial on Interactive Theorem Proving using Type Theory, 2nd part -*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*- * PROGRAMME COMMITTEE 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) * 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 * SPONSORED BY Comision Interministerial de Ciencia y Tecnologia (CICYT) European Research Consortium for Informatics and Mathematics (ERCIM) Esprit Working Group EP 22457 (CCL II) UCM Department 'Arquitectura de Computadores y Automatica' (DACYA) UCM Department 'Sistemas Informaticos y Programacion' (DSIP) UCM Faculty of Mathematics UCM Technical Highschool of Informatics UCM Vicerrectorado de Investigacion UCM Vicerrectorado de Relaciones Internacionales * Organized by SIP-UCM and DACYA-UCM -*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*- 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 about 10 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 English is the Conference official language. -*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*- 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. Before July 15, 1999 LATE CONFERENCE REGISTRATION FEE: 300 EUROS. For late registration, send the registration form together with a copy of your bank remittance TUTORIAL REGISTRATION FEE: 60 EUROS Before July 15, 1999 LATE TUTORIAL REGISTRATION FEE: 80 EUROS. For late tutorial registration, send the tutorial registration form with a copy of your bank remittance 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 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 to "Grandes Rutas Travel". After July 15, the accommodation is not guaranteed. 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 <><><><><><><><><><><><> 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 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 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: