[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_________________________________