ADVANCE PROGRAM AND CALL FOR PARTICIPATION
==========================================
You can find advance program, resistration materials and hotel
information at LICS'97 web sites:
http://www.mimuw.edu.pl/~lics97
http://www.bell-labs.com/topic/conferences/lics/
LICS'97 PROGRAM
===============
SUNDAY 29 JUNE
08:30-09:30 Invited Speaker
(Chair: Andrew Pitts)
Luca Cardelli (DEC):
A Theory of Objects.
09:30-10:00 Coffee break
10:00-12:00 Rewriting & Deduction
(Chair: Claude Kirchner)
Franz Baader (Lehr- und Forschungsgebiet, Aachen):
Combination of Compatible Reduction Orderings that are Total on
Ground Terms.
Adel Bouhoula (INRIA Lorraine & CRIN),
Jean-Pierre Jouannaud (LRI, CNRS & Universite Paris-Sud):
Automata-Driven Automated Induction.
Hubert Comon & Florent Jacquemard
(LRI, CNRS & Universite Paris-Sud):
Ground Reducibility is EXPTIME-Complete.
Roberto Di Cosmo (DMI-LIENS, Paris) and
Delia Kesner (LRI, CNRS & Universite Paris-Sud):
Strong Normalization of Explicit Substitutions via Cut
Elimination in Proof Nets.
12:00-13:30 Lunch
13:30-15:30 Linear Logic & Game Semantics
(Chair: Pat Lincoln)
Max Kanovich (Russian State Univ. for the Humanities)
Takayasu Ito (Tohoku University):
Temporal Linear Logic Specifications for Concurrent Processes.
Jim Laird (University of Edinburgh):
Full Abstraction for Functional Languages with Control.
Patrick Baillot (IML-CNRS Marseille),
Vincent Danos (Universite Paris 7-CNRS) and
Thomas Ehrhard (IML-CNRS Marseille):
Believe it or not, AJM's Games Model is a Model of Classical
Linear Logic.
Dominic J.D. Hughes (PRG, University of Oxford):
Games and Definability for System F.
15:30-16:00 Coffee break
16:00-17:30 Model Checking
(Chair: Ken McMillan)
Henrik Reif Andersen & Henrik Hulgaard
(Technical University of Denmark):
Boolean Expression Diagrams.
Stefan Dziembowski, Marcin Jurdzinski & Igor Walukiewicz
(Warsaw University):
How Much Memory is Needed to Win Infinite Games?
Michael Huth (Kansas State University) &
Marta Kwiatkowska (University of Birmingham):
Quantitative Analysis and Model Checking.
18:30-19:30 Invited Speaker
(Chair: Moshe Vardi)
Anita Feferman
(Biographer, Independent Scholar, Stanford, CA):
The Saga of Alfred Tarski: From Warszawa to Berkeley
MONDAY 30 JUNE
08:30-10:00 Tutorial
(Chair: David Basin)
David McAllester (AT & T Labs):
Methods of Automated Complexity Analysis for Inference Rules.
10:00-10:30 Coffee break
10:30-12:00 Concurrency
(Chair: Matthew Hennessy)
Naoki Kobayashi (University of Tokyo):
A Partially Deadlock-Free Typed Process Calculus.
Julian Rathke (University of Sussex):
Unique Fixpoint Induction for Value-Passing Processes.
Richard Blute (University of Ottawa),
Josee Desharnais (McGill University, Montreal),
Abbas Edalat (Imperial College of Science, Tech. and Med.) &
Prakash Panangaden (BRICS, University of Aarhus):
Bisimulation for Labelled Markov Processes.
12:00-13:30 Lunch
13:30-15:30 Temporal Logic & Automata
(Chair: Colin Stirling)
Eugene Asarin (Inst. for Information Transmission Problems,
Moscow), Paul Caspi (VERIMAG), Oded Maler (VERIMAG):
A Kleene Theorem for Timed Automata.
David Janin (LaBRI - ENSERB, Universite Bordeaux I):
Automata, Tableaus and a Reduction Theorem for Fixpoint Calculi
in Arbitrary Complete Lattices.
P.S. Thiagarajan (BRICS, University of Aarhus) &
Igor Walukiewicz (Warsaw University):
An Expressively Complete Linear Time Temporal Logic for
Mazurkiewicz Traces.
Dexter Kozen (Cornell University):
On the Complexity of Reasoning in Kleene Algebra.
15:30-16:00 Coffee break
16:00-18.00 Finite Model Theory
(Chair: Anuj Dawar)
Leonid Libkin (Bell Laboratories):
On the Forms of Locality over Finite Models.
Martin Grohe (Albert-Ludwigs-Universitat Freiburg):
Large Finite Structures with Few L^k-Types.
Kousha Etessami (BRICS, University of Aarhus),
Moshe Y. Vardi (Rice University) &
Thomas Wilke (Christian-Albrechts-Universitat zu Kiel):
First-Order Logic with Two Variables and Unary Temporal Logic.
Oliver Matz & Wolfgang Thomas (Universitat Kiel):
The Monadic Quantifier Alternation Hierarchy over Graphs is
Infinite.
20:00 Business meeting
TUESDAY 1 JULY
08:30-09:30 Invited Speaker
(Chair: Damian Niwinski)
Leszek Pacholski (Instytut Informatyki, Wroclaw):
Set Constraints.
09:30-10:00 Coffee break
10:00-12:00 Semantics & Domain Theory I
(Chair: Stephen Brookes)
Peter John Potts, Abbas Edalat & Martin Hotzel Escardo
(Imperial College, London):
Semantics of Exact Real Arithmetic.
Jon G. Riecke (Bell Laboratories) &
Anders Sandholm (BRICS, University of Aarhus):
A Relational Account of Call-by-Value Sequentiality.
Marcelo Fiore, Gordon Plotkin & John Power (University of
Edinburgh):
Complete Cuboidal Sets in Axiomatic Domain Theory.
Daniele Turi & Gordon Plotkin (University of Edinburgh):
Towards a Mathematical Operational Semantics.
12:00-13:30 Lunch
13:30-15:30 Decidability & Complexity Theory
(Chair: Jan Krajicek)
Sergei Vorobyov (Max-Planck-Institut fur Informatik):
The "Hardest" Natural Decidable Theory.
Erich Graedel (RWTH Aachen), Martin Otto (RWTH Aachen) &
Eric Rosen (Technion Haifa):
Two-Variable Logic with Counting is Decidable.
Leszek Pacholski, Wieslaw Szwast, Lidia Tendera
(Instytut Informatyki, Wroclaw, Poland):
Complexity of Two-Variable Logic with Counting.
Guo-Qiang Zhang (University of Georgia) &
William C. Rounds (University of Michigan):
Complexity of Power Default Reasoning.
15:30-16:00 Coffee break
16:00-17:30 Types and Constraints
(Chair: Jens Palsberg)
Nevin Heintze (Bell Laboratories) &
David McAllester (AT & T Labs):
On the Cubic Bottleneck in Subtyping and Flow Analysis.
Fritz Henglein & Jakob Rehof (Copenhagen University):
The Complexity of Subtype Entailment for Simple Types.
Witold Charatonik & Andreas Podelski (Max-Planck-Institut
fur Informatik):
Set Constraints with Intersection.
19:30 Banquet (The Royal Castle)
WEDNESDAY 2 JULY
08:30-10:00 Tutorial
(Chair: Claude Kirchner)
Hubert Comon (LRI, CNRS & Universite Paris-Sud):
Applications of Tree Automata in Rewriting and Lambda Calculus.
10:00-10:30 Coffee break
10:30-12:00 Semantics & Domain Theory II
(Chair: Pierre-Louis Curien)
Martin Hotzel Escardo (Imperial College, London) &
Thomas Streicher (Technische Hochschule Darmstadt):
Induction and Recursion on the Partial Real Line via
Biquotients of Bifree Algebras.
Martin Hofmann & Thomas Streicher (Technische Hochschule
Darmstadt):
Continuation Models are Universal for $\lambda\mu$-calculus.
Mariangiola Dezani-Ciancaglini (University of Torino)
Jerzy Tiuryn & Pawel Urzyczyn (University of Warsaw):
Discrimination by Parallel Observers.
12:00-13:30 Lunch
13:30-15:00 Unification and Higher-Order Logic
(Chair: Amy Felty)
Jean Goubault-Larrecq (G.I.E. Dyade)
Ramified Higher-Order Unification.
Iliano Cervesato & Frank Pfenning (Carnegie Mellon University):
Linear Higher-Order Pre-Unification.
Raymond McDowell & Dale Miller (University of Pennsylvania):
A Logic for Reasoning with Higher-Order Abstract Syntax.
End of conference.
===================================================================
ADVANCE REGISTRATION INFORMATION
================================
CONFERENCE OFFICE
=================
Please address registration forms and inquiries to
Dr Kazimierz Grygiel
Conference Coordinator, LICS'97
Institute of Informatics
Banacha 2
02-097 Warsaw
POLAND
Phone: 48 (22) 658 31 65
Fax: 48 (22) 658 31 64
E-mail: lics97@mimuw.edu.pl
REGISTRATION
============
The registration form should be sent to the conference
office. Registrations without enclosed payment will not be considered.
For early registration, we must receive the payment before June 1.
The table of registration fees can be found in the registration form.
The fees are given in Polish zlotys (PLN). For the current exchange
rate please check LICS'97 WWW page. (As of March 14, 1997, the
exchange rate is 3.09 PLN for 1 USD and 1.81 PLN for 1 DEM.) The
member rate applies to members of ACM, IEEE, EATCS, members of the
organizing and program committees and authors of accepted papers. The
student rate applies to full time students; a copy of the registrant's
1996-97 student card should be included with the registration form.
The registration fee includes conference participation, a copy of the
proceedings, four lunches at Victoria hotel, coffee breaks and an
invitation to the welcome reception. There is a separate charge for
the banquet.
There will be a small number of grants allowing some participants from
resource-limited countries to reduce the registration fee by 520
zlotys (PLN). To apply for these grants, please send or e-mail your CV
and justification to the conference office. Applications should arrive
before May 1. These grants do not cover living or travel expenses.
There is a possibility to register for the conference without
purchasing lunches. In this case the registration fee still covers
coffee breaks, a copy of the proceedings and an invitation to the
welcome reception. We do not recommend this option since in the
surroundings of the hotel there are only a few places to take a quick
lunch.
There is a special rate for participants willing to attend both LICS
and CONCUR. In this case the registration fee is lower but does not
cover lunches for July 1 and 2 (the days overlapping with CONCUR). If
you are choosing this option please fill the special LICS form for
CONCUR'97 participants. Please also attach a copy of CONCUR'97
registration form.
PAYMENT. can be made by a bank transfer or a credit card (American
Express/EuroCard/Mastercard/JCB/VISA).
Please use the following data for bank transfers:
PAYABLE TO: Fundacja Rozwoju Informatyki,
Banacha 2, 02-097 Warszawa
BANK: Bank Polska Kasa Opieki S.A., I Oddz Warszawa,
Pl. Bankowy 2, 00-950 Warszawa, Poland
ACCOUNT #: 12401037-20007061-2700-401112-001-0000
(For swift transfers use the code: PKOPPLPW)
Please indicate "LICS'97" as a title of payment.
NOTE: The registrant's bank charges must be added to the amount
transferred.
CANCELLATION: Full fees minus bank charges will be returned for any
written cancellation received before June 1. For cancellations
received between June 1 and June 15 full fees less bank charges and
the cost of one night in the desired accommodation will be
returned. No refund will be made after June 15.
ACCOMMODATION
=============
A block of rooms has been reserved in Victoria and Europejski
hotels. The conference will take place in Victoria hotel. Hotel
Europejski is a few minutes walk from Victoria hotel. We have
negotiated highly competitive room rates for the conference
participants:
Single room Double room
HOTEL VICTORIA ***** 126 DEM + 7% VAT 146 DEM + 7% VAT
HOTEL EUROPEJSKI *** 70 DEM + 7% VAT 90 DEM + 7% VAT
The prices are for one room per night. All rates include
breakfast. These are special rates for LICS 97 participants and are
only available between June 28 and July 3. The prices are given in
German marks. These hotels preferred to use this currency due to sharp
changes of exchange rates between US dollar and German mark.
Additionally a block of rooms has been reserved at the University
hotel:
Single room Double room
HOTEL SOKRATES * 55 PLN 80 PLN
The prices are for one room per night and include VAT. The rates
include breakfast. All the rooms have showers. From Sokrates it takes
40 minutes to reach the conference site by public transportation.
To book a room please send us the hotel registration form. The rooms
will be booked on the first-come-first-served basis. We must receive the
form before June 1.
All accommodation fees can be paid directly to the hotel after arrival
(you can pay cash or use any of the major credit cards). In the case
of Victoria and Europejski hotels there is a possibility of
pre-payment. Please contact Hotel Victoria before making any
pre-payments to Victoria or Europejski:
Hotel Victoria Inter-Continental
Krolewska 11, 00-065 Warszawa, Poland
tel: +48 (22) 827 57 64 fax: +48 (22) 657 80 57
e-mail victoria@polbox.com.pl
Both Victoria and Europejski hotels accept for pre-payment all major
credit cards, bank transfers and banker's or even personal checks. The
account number for transfers is:
Bank Handlowy S.A. I Oddz w Warszwie
Traugutta 7/9
00-950 Warszawa
acc. no. 10301016-03812000
The addresses of the other two hotels are:
Hotel Europejski
Krakowskie Przedmiescie 13, 00-071 Warszawa
tel: +48 (22) 826 50 51 fax: +48 (22) 826 11 11
Hotel Sokrates
Smyczkowa 9, 02-678 Warszawa
tel: +48 (22) 43 95 51 fax: +48 (22) 43 95 51
LOCATION
========
The conference will be held in Hotel Victoria.
Krolewska 11 00-065 Warszawa
tel: +48(22) 657-80-11
fax: +48 (22) 657-80-57
The hotel is situated in the very central part of the city overlooking
the Saxon Gardens with the Monument of the Unknown Soldier and
Opera. It is a short walk from the Royal Castle and the Old Town.
Warsaw is a city with more than 700 years of history. It is certainly
worth to visit the Royal Castle, fully reconstructed in the 70s, and
the picturesque Old Town. The "Lazienki" is a beautiful 18th century
park with the famous Chopin's monument, Palace on the Isle, and
peacocks and squirrels walking freely. The Wilanow complex
established in th 17th century includes English, French and Chinese
gardens, the Gallery of Polish Portrait and Museum of Posters. Just
before LICS (June 26-29) there will be a big Jazz Festival in Warsaw
with many international stars. You can find more tourist information
on LICS'97 web page.
The weather in Warsaw in early July is usually quite pleasant. The
average temperature is around 19 degrees Celsius but it can reach +30
C or drop to +15 C. Usually, there is relatively little rainfall in
this period.
RECEPTION and BANQUET
=====================
The welcome reception will be held on Saturday evening, June 28, from
17:30 to 20:00. It will take place in the lobby of Hotel Victoria. The
Conference banquet will be held in the Royal Castle. The castle was
fully reconstructed in the seventies after its complete destruction
during the war. To reserve a place at the banquet please fill the
appropriate part of the registration form. In principle it will not be
possible to buy banquet tickets during the conference.
LOCAL ARRANGEMENTS
==================
Lunches are included in the conference fee. They will be served in
Hotel Victoria.
It will be possible to use e-mail.
The organizers cannot be held liable to conference participants for
injury, damage or loss of their personal property. It is suggested
that participants make their own insurance arrangements.
REGISTRATION DESK
=================
A registration and information desk located at the conference site
will operate on Saturday, June 28, from 16:00 to 20:00, and on the
remaining conference days from 8:30 to 18:00. The direct telephone to
the conference Registration Desk will be +48 (22) 657 82 51.
TRAVEL
======
Citizens of most of the countries do not need a visa to enter
Poland. In particular citizens of EU countries and USA do not need
a visa (but Canadians need a visa). In case you are not sure whether
you need a visa please contact Polish consulate in your country.
Warsaw airport has direct connections with many major cities of Europe
and many destinations around the world. From the airport we recommend
to take the AirportCity bus that stops by Victoria and Europejski
hotels. The price for one way trip is 5.60 zlotys (PLN) (2.80 for
holders of ISIC-card). The connection to the Sokrates hotel is
slightly more involved. We recommend taking taxi or public
transportation to get to Socrates hotel. All the hotels are marked on
the maps available on LICS'97 WWW page.
Taxis in Warsaw are affordable but only if you get an honest driver,
so use caution. Flagging down any old car with a light bulb on the
roof can end up costing a fortune. It's a safer move (though no
guarantee) to take cabs with a phone number up top. Taxis from the
airport, train station and hotels are also likely to be much more
expensive. Your best bet is to call for a cab to pick you up at no
additional charge. Some generally reliable firms are: RadioTaxi
tel. 919; SuperTaxi tel. 9622; KorpoTaxi tel. 9624; ExpressTaxi
tel. 9626. Always ask the price before taking a taxi. Rates go up 50%
after 10 p.m. A taxi from the airport to Victoria and Europejski
hotels should cost no more than 25 zlotys. A taxi from the airport to
Sokrates should cost no more than 15 zlotys.
Public transportation in Warsaw is frequent and quite reliable.
Regular daytime transport runs from about 5 a.m.-11 p.m., depending on
the line. All subway, tram, streetcar and bus lines run on a ticket
punch system. First buy tickets at newsstands. Tickets are 1,40 zlotys
("normalny") for most people, and 0.70 zlotys for students (holders of
ISIC-card). Upon boarding the vehicle, punch the ticket in one of the
little metal boxes on the wall (in the subway, these are located just
inside the entrance to the station). You must punch a new ticket every
time you change lines. An additional ticket must be punched for large
baggage as well.
RELATED EVENTS
==============
CONCUR Warsaw, Poland, July 1-5, 1997
http://www.ipipan.waw.pl/conferences/concur97/
ICALP Bologna, Italy, 7-11 July, 1997
http://www.cs.unibo.it/icalp97/
CADE-14 Townsville, North Queensland, Australia, 13-17 July, 1997
http://wwwjessen.informatik.tu-muenchen.de/~geoff/CADE-14.html
===================REGISTRATION FORM=============================
LICS'97 - Registration Form
===========================================================================
Last Name:____________________________________________________________
First Name:____________________________________________________________
Affiliation:____________________________________________________________
Street Address:____________________________________________________________
___________________________ City:________________________
State/Zip:___________________________ Country:________________________
Phone:___________________________ Fax:________________________
E-mail:____________________________________________________________
REGISTRATION RATES (in Polish Zlotys).
Please circle the applicable fees
---------------------------------------------------------------------------
through May 30 from June 1 through May 30 from June 1
(full LICS) (full LICS) (no lunches) (no lunches)
---------------------------------------------------------------------------
Regular 1230 1545 940 1255
Member 930 1245 640 955
Student 410 565 - -
---------------------------------------------------------------------------
Banquet 175 175 175 175
---------------------------------------------------------------------------
Total Fee (PLN):______________________________________________________
Rate justification:______________________________________________________
Full-time student at:______________________________________________________
Vegetarian: yes / no
METHOD OF PAYMENT (please tick one):
() Bank Transfer (include copy)
() Credit card (please circle the name of the card and fill in the data)
American Express / EuroCard / Mastercard / JCB / VISA
Card Number:________________________________________________
Expiration Date:________________________________________________
Name of cardholder:________________________________________________
Address of cardholder:________________________________________________
Signature:________________________________________________
Date:________________________________________________
In case you wish to book a hotel please fill the hotel reservation
form (deadline June 1).
=================HOTEL RESERVATION FORM===============================
LICS'97 Hotel Reservation Form
======================================================================
Last Name:___________________________________________________________
First Name:___________________________________________________________
Please circle the desired accomodation
* Hotel Victoria (5 star) single / double
* Hotel Europejski (3 star) single / double
* Hotel Sokrates (1 star) single / double
Arrival:_____________________ Departure:____________________________
Preferred roommate (for those taking double rooms):___________________
______________________________________________________________________
The rooms will booked on the first-come-first-served basis. We must
receive the form before June 1.
===========REGISTRATION FORM FOR CONCUR'97 PARTICIPANTS=============
LICS'97 - Registration Form
(For CONCUR'97 participants)
Registraition does not cover lunches on July 1 and 2
===========================================================================
Last Name:____________________________________________________________
First Name:____________________________________________________________
Affiliation:____________________________________________________________
Street Address:____________________________________________________________
___________________________ City:________________________
State/Zip:___________________________ Country:________________________
Phone:___________________________ Fax:________________________
E-mail:____________________________________________________________
REGISTRATION RATES (in Polish Zlotys).
Please circle the applicable fees
---------------------------------------------------------------------------
through May 30 from June 1
---------------------------------------------------------------------------
Regular 990 1310
Member 695 1010
---------------------------------------------------------------------------
Banquet 175 175
---------------------------------------------------------------------------
Total Fee (PLN):______________________________________________________
Rate justification:______________________________________________________
Full-time student at:______________________________________________________
Vegetarian: yes / no
METHOD OF PAYMENT (please tick one):
() Bank Transfer (include copy)
() Credit card (please circle the name of the card and fill in the data)
American Express / EuroCard / Mastercard / JCB / VISA
Card Number:________________________________________________
Expiration Date:________________________________________________
Name of cardholder:________________________________________________
Address of cardholder:________________________________________________
Signature:________________________________________________
Date:________________________________________________
In case you wish to book a hotel please fill the hotel reservation
form (deadline June 1).
** Please include a copy of CONCUR'97 registration form **
========================================================================
-------------------------------------------------------------------------------
The dbworld alias reaches many people, and should only be used for
messages of general interest to the database community.
Requests to get on or off dbworld should go to listproc@cs.wisc.edu.
to subscribe send
subscribe dbworld Your Full Name
to unsubscribe send
unsubscribe dbworld
to change your address
send an unsubscribe request from the old address
send a subscribe request from the new address
to find out more options send
help
------------------------------------------------------------------------FOOTER-