SHYAM@TIFRVAX.BITNET (09/24/90)
F.S.T. & T.C.S.
Preliminary Programme
(only first Authors given)
10 FST&TCS Conference
(Including Sessions Honouring
Professor R. Narasimhan, TIFR)
West End Hotel, Bangalore
December 17 - 19, 1990
Registration Form
Last date for advance registration: November 30, 1990
Name: ___________________________________
Affiliation: ___________________________________
Address: ___________________________________
City: ___________ State: __________
Pin: _________ Country: ___________
Draft # : ________________
Mail to: FST & TCS 10 Conference Secretariat
Tata Research Development and Design Centre
1, Mangaldas Road
Pune 411 001
India
(Duplicate if required)
_________________________________________________________________
Venue Hotel Westend is centrally located about 10
kms. from the airport and within 5 kms. of
most of the hotels and the railway station.
Weather December is a pleasant month in Bangalore
with temperatures ranging from 10 degrees C
at night to 25 degrees C in the afternoon.
Transport Autorickshaw (three-wheeler) can be shared by
two to three passengers, Rs. 2.00 per km. Bus
available, but crowded.
Hotels Around $ 50 a day : Windsor Manon, Taj,
Holiday Inn, Ashok,
Westend
Around $ 25 a day : Harsha, Cauvery,
Chalukya, Bangalore Intl.
Around $ 15 a day : Gautam, Kanishka,
Rajmahal, Maurya,
Woodlands
Around $ 8 a day : Ajantha, Brindavan,
Motimahal
PROGRAMME
December 17, 1990
8.00 - 9.00 Registration
9.00 - 9.30 Inauguration: R. Narasimhan
9.30 - 10.30 Session 1: Chairman: R.K. Shyamasundar (TIFR)
Invited Lecture: Topic to be announced
J.L. Lassez (IBM, Thomas J. Watson
Research Center, Yorktown Heights)
10.30 - 11.00 Tea
11.00 - 13.00 Session 2: Logic
Chairman: G. Venkatesh (IIT,Bombay)
Jia-Huai You "Discriminant Circumscription"
R. Subrahmanyam "Complexity of Algebraic
Specifications"
Ralf Treinen "A New Method for Undecidability
Proofs of First Order Theories"
M. Masseron "Generating Plans in Linear
Logic"
13.00 - 14.00 Lunch
14.00 - 15.30 Session 3: Automata Formal Languages
Chairman: Kamala Krithivasan (IIT, Madras)
Karel Culik II "Automata Theoretic Techniques
for Image Generation and
Compression"
A. Saoudi "Recognizable Infinite Tree Sets
and their Complexity"
V. Vinay "The expressibility of nondetermin-
istic auxiliary stack automata and
its relation to tree size .......
automata"
15.30 - 16.00 Tea
16.00 - 17.00 Session 4: Theory of Programming
Chairman: K.V. Nori (TRDDC, Pune)
C.P. Lewington "Towards constructive program
derivation in VDM"
G. Sivakumar "A new method for proving
termination of AC-Rewrite
systems"
December 18, 1990
9.00 - 10.30 Session 5: Parallel Algorithms
Chairman: Y.N. Srikant (IISc, Bangalore)
A. Tyagi "Efficient parallel algorithms for
optical computing with DFT
primitive"
R. Raman "The power of collision: Randomized
parallel algorithms for chaining
and integer sorting"
S. Olariu "An NC recognition algorithm for
Cographs"
10.30 - 11.00 Tea
10.30 - 13.00 Parallel Algorithms (Contd.)
J. Case "Optimally representing euclidean
space discretely for analogically
simulating physical phenomena"
A. Lingas "Optimal parallel algorithms for
testing isomorphism of trees and
outerplannar graphs"
R. Sanguthevar "Randomized parallel
selection"
D. Pearson "A fast parallel algorithm for
finding a maximal bipartite set"
13.00 - 14.00 Lunch
Post Lunch Session Tribute to Prof. R. Narasimhan, TIFR, Bombay
Invited Speakers: A. Rozenfield
B. Chandrasekaran
Rajeev Sangal
K.V. Nori
S. Ramani
R.K. Shyamasundar
Dinner
December 19, 1990
9.00 - 10.00 Session 6:
Chairman: C.E. Venimadhavan (IISc, Bangalore)
On the Parallel Evaluation of
Classes of Circuits
Invited Lecture: S.R. Kosaraju (The John
Hopkins University)
(Topic to be Announced)
10.00 - 10.30 Tea/Coffee
10.30 - 12.00 Session 7: Geometric Algorithms
Chairman: S.N. Maheshwari (IIT, Delhi)
R.C.T. Lee "Voronoi Diagrams of Moving Points
in the Plane"
B. Bhattacharya "Efficient algorithms for
identifying all maximal
isothetic empty rectangles
in VLSI layout design"
A. Datta "On some largest empty ortho convex
polygons in a point set"
12.00 - 13.00 Session 8: Concurrancy
Chairman: P.S. Thiagarajan (SPIC Foundation,
Madras)
M.Z. Kwiatkowska "Defining fairness for Non-
interleaving concurrency"
G.L. Ferrari "Observational logics and
concurrency models"
13.00 - 14.00 Lunch
14.00 - 15.30 Session 9: Distributed Computing
Chairman: G.P. Bhattacharjee (IIT, Kharagpur)
A. Arora "Distributed Reset"
H.H. Lovengreen "Refinement and composition
of transition-based rely-
guarantee specifications
with auxiliary variables"
S. Venkatesan "Efficient algorithms for crash
recovery in distributed
systems"
15.30 - 16.00 Tea
16.00 - 17.00 Session 10: Semantics
Chairman: S. Biswas (IIT, Kanpur)
G. Reggio "A non-standard inductive
semantics"
K. Sieber "Relating full abstraction results
for different programming
languages"
Registration Information
Important Advance registration is recommended. Com-
pleted registration forms should be sent to
reach the address given below before November
30, 1990.
Registration Rs. 650 per person upto November 30, Rs. 750
per person after November 30; includes a copy
of the conference proceedings, refreshments
and lunch. Rs. 200 for full-time students;
includes refreshments and lunch.
Payment By bank draft enclosed with registration form
in favour of "Foundations of Software Tech-
nology and Theoretical Computer Science 10"
Indian Limited travel grants are available to full
Participants time students, teachers, research workers in
educational institutions. Those seeking
travel support must write a covering letter
indicating their need.
Foreign Should inform their intention to register in
Participants advance. All foreign participants are advised
to pay their fee at the conference. Allow
plenty of time for the visa formalities.
Please make your travel arrangements early as
flights to India are packed at this time of
the year. Also, please note that currency ex-
change will not be possible at the Conference
Venue.
Address for all correspondence
FST & TCS 10 Conference Secretariat
Tata Research Development and Design Centre
1, Mangaldas Road
Pune 411 001
INDIA
Gram: TATARESDEV Telex: 0145-464
Telephone: (212) 669809