Subject: categories: CSL'99 Call for Participation

From: Eva Ullan <[email-masked]>
Date: Fri, 04 Jun 1999 21:44:22 +0200

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