[Next][Index][Thread]
No Subject
BAD MSG:
___________________________________________________________________________
REGISTRATION AND PROGRAMME
12th Conference on
Foundations of Software Technology and Theoretical Computer Science
December 18-20, 1992
Friday, December 18, 1992
0800 - 0915 : Registration
0915 - 0930 : Opening Remarks
0930 - 1030 : Session 1 - Chairman: R.K. Shyamasundar
A. Pnueli (Invited Talk)
System Specification and Refinement in Temporal Logic
1030 - 1100 : Tea
1100 - 1230 : Session 2 - Chairman: K. Lodaya
S. Muthukrishnan and H. Ramesh
String Matching under a General Matching Relation
C. Martel and R. Subramonian
On The Complexity Of Certified Write All Algorithms
J.I. Munro and V. Raman
Selection from Read-Only Memory and Sorting with
Optimum Data Movement
1230 - 1330 : Lunch
1330 - 1500 : Session 3 - Chairman: C. Pandurangan
P.K. Agarwal and M. van Kreveld
Implicit Point Location in Arrangements of Line
Segments, with an Application to Motion Planning
S. Jadhav, A. Mukhopadhyay and B. Bhattacharya
An Optimal Algorithm for the Intersection Radius
of a Set of Convex Polygons
C. Levcopoulos and A. Lingas
C-Sensitive Triangulations Approximate the Minmax
Length Triangulation
1500 - 1530 : Tea
1530 - 1730 : Session 4 - Chairman: S. Biswas
H. Buhrman and S. Homer
Superpolynomial Circuits, Almost Sparse Oracles and the
Exponential Hierarchy
R. Schuler and T. Yamakami
Structural Average Case Complexity
V. Arvind, J. Kobler and M. Mundhenk
On Bounded Truth-Table, Conjunctive, and Randomized
Reductions to Sparse Sets
K. Ganesan
One-Way Functions and Isomorphism Conjecture
1800 : Business Meeting
Saturday, December 19, 1992
0900 - 1000 : Session 5 - Chairman: S.K. Ghosh
K. Mehlhorn (Invited Talk)
Recent Developments in Algorithms for the Maximum-
Flow Problem
1000 - 1030 : Tea
1030 - 1230 : Session 6 - Chairman: G. Sivakumar
R. Agarwala and D. Fernandez-Baca
Solving the Lagrangian Dual when the Number
of Constraints is Fixed
L.V.S. Lakshmanan and D.A. Nonen
Superfiniteness of Query Answers in Deductive
Databases: An Automata-Theoretic Approach
J. Steinbach
Proving Polynomials Positive
R. Sundararajan and J.S. Conery
An Abstract Interpretation Scheme for Groundness,
Freeness, And Sharing Analysis of Logic Programs
1230 - 1330 : Lunch
1330 - 1530 : Session 7 - Chairman: P.K. Pandya
B. Monsuez
Polymorphic Typing by Abstract Interpretation
G. Huet
The Gallina
Specification Language: A Case Study
W. Reif
Verification of Large Software Systems
V.K. Garg and B. Waldecker
Detection of Unstable Predicates in Distributed
Programs
1530 - 1600 : Tea
1600 - 1700 : Session 8 - Chairman: H. Saran
S. Patkar and H. Narayanan
Fast Sequential and Randomized Parallel Algorithms
for Rigidity and Approximate Min k-cut
R. Ravi, B. Raghavachari and P. Klein
Approximation Through Local Optimality:
Designing Networks with small Degree
Sunday, December 20, 1992
0900 - 1000 : Session 9 - Chairman: S. Ramesh
S. Abramsky (Invited Talk)
Games And Full Completeness For Multiplicative Linear Logic
1000 - 1030 : Tea
1030 - 1230 : Session 10 - Chairman: P.S. Thiagarajan
J.C. Godskesen and K.G. Larsen
Real-Time Calculi and Expansion Theorems
D. Caucal
Branching Bisimulation for Context-Free Processes
M. Mukund and M. Nielsen
CCS, Locations and Asynchronous Transition Systems
L. Christoff and I. Christoff
Reasoning about Safety and Liveness Properties for
Probabilistic Processes
1230 - 1330 : Lunch
1330 - 1530 : Session 11 - Chairman: P. Shankar
Mads Dam
Fixpoints of Buchi Automata
Y.S. Ramakrishna, L.K. Dillon, L.E. Moser,
P.M. Melliar-Smith and G. Kutty
An Automata-Theoretic Decision Procedure for Future
Interval Logic
P. Granger
Improving the Results of Static Analyses of
Programs by Local Decreasing Iterations
B. Ravikumar
Some Observations on 2-Way Probabilistic Finite
Automata
***************************************************
REGISTRATION INFORMATION
****************************************************************
CONTACT ADDRESSES
SANDEEP SEN/S.ARUN-KUMAR
Dept. of Computer Science & Engg. Phone: +91 11 666979 Ext 6010
Indian Institute of Technology Fax: +91 11 6868765/6862037
Hauz Khas, NEW DELHI 110 016. e-mail: fsttcs@cse.iitd.ernet.in
FST & TCS 12 REGISTRATION FORM
***********************************************************
PLEASE DETACH AND COMPLETE THE FOLLOWING REGISTRATION FORM AND SEND IT
ALONG WITH THE REGISTRATION FEE TO THE ADDRESS GIVEN BELOW.
Dr. SANDEEP SEN
Dept. of Computer Science & Engg.
Indian Institute of Technology
Hauz Khas New Delhi -110016
All participants are encouraged to plan and register well in advance and take
full advantage of the discounted Registration charges. Registration will
proceed as per the following schedule:
Early registration (deadline : 31 Oct 1992) US$ 100
Late Registration (On or after : 01 Nov 1992) US$ 125
***********************************************************************
NOTE: Special grants from academic Institutions have made it possible
to subsidize REGISTRATION FEES for Indian participants. Indian
Participants arre requested to write DR. S Arun-Kumar/ DR. Sandeep Sen
for details.
***********************************************************************
Remarks
1. Early registration gurantees hotel reservation if requested.
Also the PROCEEDINGS from LNCS is guaranteed; for late registrants,
the proceedings is not guaranteed; it would be given only if
available (in case not available, an equivalent amount in Indian
Rupees will be returned).
2. The registration charges entitle a participant to lunches and teas
served on all three days of the conference, a conference dinner to be
held on the second day and a copy of the conference proceedings,
published as a volume in the Springer-Verlag Lecture Notes in Computer
Science series.
3. There is no special student registration fee for overseas participants.
4. The registration fee is to be paid by US dollar draft made in favour of
FST & TCS 12 Conference and payable in New Delhi, India. Personal
cheques, cash and credit cards are not accepted.
5. Participants from North America are requested to have the US dollar
draft drawn preferably on a New York bank in order to ease conversion
and crediting at the Indian end.
6. Participants from outside North America are also encouraged to pay
the registration through US dollar drafts.
7. Late registrants are not guaranteed hotel reservation.
Hotel Information & Reservation
Hotel reservations will be made on request for early registrants. Since
December is the tourist season in most parts of India, all overseas
participants are urged to send in their requests to the conference
organisers well in advance. The following is a list of hotels along with
their rates classified according to whether they are closer to the conference
site or to the city centre. Many hotels have a discounted rate if the payment
is made in hard currency. The approximate rates are as follows (but they are
likely to go up by 10-15% in the tourist season).
HOTELS AROUND I.I.T.
Single Double
Hotel Qutub US$ 50 US$ 60
Vasant Continental US$ 110 US$ 125
Hotel Samrat US$ 45 US$ 60
Hyatt Regency US$ 150 US$ 200
Hotel Ashoka US$ 110 US$ 125
SOME HOTELS CLOSE TO THE CITY CENTRE
Kanishka US$ 45 US$ 65
Park Hotel US$ 100 US$ 120
Claridges US$ 70 US$ 80
Ambassador US$ 65 US$ 75
OTHER INEXPENSIVE HOTELS
Lodhi Hotel US$ 30 US$ 40
Travel and miscellaneous Information
AIRPORT
Most major international airlines have New Delhi as a stop. At worst you
may have to alight at Bombay and take a domestic flight (Indian Airlines).
The international airport is located about 15 km from the conference site and
about 25 km from the city centre. The domestic airport terminal (if you happen
to travel by Indian Airlines) is about 10 km from IIT Delhi. You are urged to
avail of the pre-paid bus/taxi services available at the airport.
A PRE-PAID TAXI/BUS SERVICE is available at both the airports. These
pre-paid services work as follows. At the exit of the ARRIVAL LOUNGE of the
airport (within the arrival lounge), you will find pre-paid taxi and bus
service counters. The ticket, depending upon whether your hotel is located
near the city centre or near IIT, may vary from Rs. 120 to Rs. 200. You
purchase a ticket giving your destination and amount of luggage etc. It is
recommended that you choose the taxi service and NOT the bus service, as
these buses usually wait for several flights to fill up the bus before they
start. You may then board taxi (whose registration number is marked on the
ticket) waiting outside to take you to your destination. Make sure that the
Delhi Police personnel sitting at the DP kiosk take down the number of your
vehicle and your name and destination. At the end of the journey, hand over
the ticket to the taxi driver.
CURRENCY EXCHANGE
All major credit cards are widely accepted at hotels and shops that are
likely to be visited by tourists. Note that currency exchange will not be
possible at the conference site. You may convert your currency
(cash, travellers cheques etc.) at the airport on arrival or at your hotel
(most hotels provide this facility at least for their residents). A round-the
clock currency exchange service is available at Central Bank of India
counter at Hotel Ashoka (located about 7 km from the conference site and the
city centre) in Chanakyapuri. Many banks in the city also have
exchange facilities. It is recommended that you convert only as much currency
as you may deem necessary, since reconversion is often a tedious and
inconvenient.
LOCAL TRANSPORT
Taxis and three-wheeler auto-rickshaws are easily available during day
time. Taxis cost about Rs 7 per km on the average and auto-rickshaws cost
about Rs. 4. The more adventurous could use the DTC bus service at almost no
cost.
WEATHER
The weather is pleasant and sunny in December and day time temperatures are
about 15-20 Celsius (about 60-70 Fahrenheit). Night time temperatures are
6-10 Celsius (44-50 Fahrenheit).
EATING
Lunches will be provided to all participants on the three days of the
conference. In addition there will be a conference banquet (for non-student
registrants only), the details of which will be available during the
conference. For the rest, there are several very good restaurants in the
Connaught Place area and in the various hotels. For persons staying at hotels
near IIT, there are also good eating places in Asiad Village, Vasant Vihar
and Green Park.
PLACES TO SEE
Delhi was founded over a thousand years ago and is full of places of
historical interest. The Red Fort, Jama Masjid, Qutub Minar, Humayun's tomb
and the Baha'i temple are some of the places you must see. A panaromic view
of South Delhi including the Qutub Minar and the Baha'i temple is obtained
from the roof top canteen on the main building of IIT.
CONTACT ADDRESSES
SANDEEP SEN/S.ARUN-KUMAR
Dept. of Computer Science & Engg. Phone: +91 11 666979 Ext 6010
Indian Institute of Technology Fax: +91 11 6868765/6862037
Hauz Khas, NEW DELHI 110 016. e-mail: fsttcs@cse.iitd.ernet.in
FST & TCS 12 REGISTRATION FORM
(FOR PERSONS FROM OUTSIDE INDIA)
PLEASE DETACH AND COMPLETE THE FOLLOWING REGISTRATION FORM AND SEND IT
ALONG WITH THE REGISTRATION FEE TO THE ADDRESS GIVEN BELOW.
Dr. SANDEEP SEN
Dept. of Computer Science & Engg.
Indian Institute of Technology
Hauz Khas New Delhi -110016
Name: Mr/Ms ______________________________________________________
(Strike out whichever is not applicable)
Affiliation:______________________________________________________
Mailing address:__________________________________________________
__________________________________________________
__________________________________________________
__________________________________________________
Phone No :____________________ Fax: ______________________________
Email: ___________________________________________________________
Registration Status: _____________________________________________
Hotel Reservation required? ____________
If "YES" state
preferences: 1. _________________________________________
2. _________________________________________
3. _________________________________________
Duration: From ________________________ to __________________
Enclosed please find bank draft number ___________________________
dated ______________ for _______________ _______________________
(currency) (amount)
drawn on _________________________________________________________
(specify name of bank)
in _______________________________, _____________________________
(name of city) (name of country)
Date:__________________ Signature_________________________________
*******************************************************************
PRE CONFERENCE WORKSHOP OF FSTTCS 92
AND REGISTRATION
*******************************************************************
Workshop on Approximation Algorithms
December 16-17, 1992
Indian Institute of Technology, New Delhi
Wednesday, December 16, 1992
0930 - 1030 : M. Madhusudan
Proof Verification and the Hardness of Approximations, I
1030 - 1100 : Tea
1100 - 1200 : M. Madhusudan
Proof Verification and the Hardness of Approximations, II
1200 - 1400 : Lunch
1400 - 1500 : M. Yannakakis
On the Approximation of Graph Coloring and Set Cover
Problems
1500 - 1530 : Tea
1530 - 1630 : D. Hochbaum
Good, Better and Best Approximation Algorithms
Thursday, December 17, 1992
0900 - 1000 : M. Yannakakis
On the Approximation of Maximum Satisfiability
1000 - 1030 : Tea
1030 - 1130 : V. Vazirani
Adapting the Classical Primal-Dual Framework to
Approximation Algorithms
1200 - 1300 : U. Vazirani
Markov Chains, Random Generation, And Approximate
Counting
1300 - 1430 : Lunch
1430 - 1530 : M. Mihail
Rapid Mixing Arguments for Matroids
1530 - 1600 : Tea
1600 - 1700 : R. Kannan
Random Walks in Convex Sets
****************************************************************
REGISTRATION FORM
REGISTRATION: $30.00 or equivalent.
NOTE: Participants from India are requested to write to
Dr. V. Vazirani for subsidized registration rates.
**************************************************************
PLEASE DETACH AND COMPLETE THE FOLLOWING REGISTRATION FORM AND SEND IT
ALONG WITH THE REGISTRATION FEE TO THE ADDRESS GIVEN BELOW.
Dr. Vijay Vazirani
Dept. of Computer Science & Engg.
Indian Institute of Technology
Hauz Khas New Delhi -110016
Name: Mr/Ms ______________________________________________________
(Strike out whichever is not applicable)
Affiliation:______________________________________________________
Mailing address:__________________________________________________
__________________________________________________
__________________________________________________
__________________________________________________
Phone No :____________________ Fax: ______________________________
Email: ___________________________________________________________
Registration Status: _____________________________________________
Hotel Reservation required? ____________
If "YES" state
preferences: 1. _________________________________________
2. _________________________________________
3. _________________________________________
Duration: From ________________________ to __________________
Enclosed please find bank draft number ___________________________
dated ______________ for _______________ _______________________
(currency) (amount)
drawn on _________________________________________________________
(specify name of bank)
in _______________________________, _____________________________
(name of city) (name of country)
Date:__________________ Signature_________________________________