* Remember: CSL'99
@ 1999-08-15 22:04 csl99org
0 siblings, 0 replies; only message in thread
From: csl99org @ 1999-08-15 22:04 UTC (permalink / raw)
To: categories
-------------------------------------------------------------
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:
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~1999-08-15 22:04 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1999-08-15 22:04 Remember: CSL'99 csl99org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).