[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