Subject: categories: Remember: CSL'99

From: [email-masked]
Date: Mon, 16 Aug 1999 00:04:38 +0200

-------------------------------------------------------------
         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: