From owner-theorynt@LISTSERV.NODAK.EDU Thu Mar 27 23:55:18 1997 Received: from CS.Stanford.EDU (CS.Stanford.EDU [171.64.64.64]) by robotics.Stanford.EDU (8.8.5/8.8.5) with ESMTP id XAA11198 for ; Thu, 27 Mar 1997 23:55:18 -0800 (PST) Received: from listserv.nodak.edu (listserv.NoDak.edu [134.129.111.8]) by CS.Stanford.EDU (8.8.4/8.8.4) with ESMTP id XAA06167; Thu, 27 Mar 1997 23:44:07 -0800 (PST) Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.1A563610@listserv.nodak.edu>; Fri, 28 Mar 1997 1:41:06 -0600 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 11524450 for THEORYNT@LISTSERV.NODAK.EDU; Fri, 28 Mar 1997 01:40:58 -0600 Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.155A9390@listserv.nodak.edu>; Fri, 28 Mar 1997 1:40:58 -0600 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 11524437 for THEORY-A@LISTSERV.NODAK.EDU; Fri, 28 Mar 1997 01:40:56 -0600 Received: from pollux.usc.edu by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.1346F5D0@listserv.nodak.edu>; Fri, 28 Mar 1997 1:40:54 -0600 Received: (from ierardi@localhost) by pollux.usc.edu (8.8.4/8.8.4/usc) id XAA06095 for theory-a@listserv.nodak.edu; Thu, 27 Mar 1997 23:40:52 -0800 (PST) Approved-By: Doug Ierardi Approved-By: Theory-A - TheoryNet World-Wide Events Message-ID: <199703262012.MAA21504@pollux.usc.edu> Date: Thu, 27 Mar 1997 23:40:51 PST Reply-To: Theory-A - TheoryNet World-Wide Events , Leonid Libkin Sender: TheoryNet List From: Leonid Libkin Subject: LICS'97: ADVANCE PROGRAM AND CALL FOR PARTICIPATION Comments: To: THEORY-A@LISTSERV.NODAK.EDU To: THEORYNT@LISTSERV.NODAK.EDU X-Mozilla-Status: 0001 Content-Length: 26403 LOGIC IN COMPUTER SCIENCE (LICS) ******************************** Twelfth Annual IEEE Symposium June 29 - July 2, 1997, Warsaw, Poland 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 ** ========================================================================