[mercury-users] CSL'99 Programme and CFP

Eva Ullan evah at eucmax.sim.ucm.es
Thu Jul 1 05:13:03 AEST 1999


	-------------------------------------------------------------
	 CALL FOR REGISTRATION AND 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/

*****************************************************
Early registration deadline: July 15, 1999
*****************************************************

* 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
   Vicerrectorado de Investigacion - UCM
   Vicerrectorado 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.

* Programme 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,
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
	Title: The consistency dimension, compactness, and query learning
Javier Esparza - Technische Universitat Munchen
	Title: Partial order semantics help
Martin Grohe - Albert-Ludwig-Universitat Freiburg
	Title: Descriptive and Parametrized Complexity
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


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 for 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
	Can Abstraction Replace Deduction?
16:00	Coffee break
16:30	EACSL Assembly


Tuesday 21th, 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 l-calculus
15:00	S. Ishtiaq and D.J. Pym
	Kripke resource models of a dependently-typed, bunched l-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
	Choice logic programs and Nash equilibria in strategic games
17:00	S. Hagihara and N. Yonekazi
	Resolution Method for Modal Logic with Well-founded Frames
17:30	S. Tobies
	A NExpTime-complete Description Logic Strictly Contained in C2
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. Blemishev
	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
	More Universal Game Models of Untyped l-Calculus: The
	Bohm Tree Strikes Back
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 Proof of Completeness 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 Finite-State Descriptions of Processes
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
	Partial order semantics help

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

	-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-

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:

--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the users mailing list