[Prev][Next][Index][Thread]
TACS '94: Final program and registration form
[Since it is clearly relevant, I am distributing this conference
announcement to types. General conference announcements should go to
the Theory-A list: send announcements or requests to subscribe to
THEORY-A@VM1.NoDak.EDU. -- Philip Wadler, moderator, Types Forum.]
PROGRAM AND REGISTRATION
International Symposium on
Theoretical Aspects of Computer Software
(TACS'94)
April 19-22, 1994
Tohoku University, Sendai, Japan
Sponsored by
Tohoku University, Sendai
in cooperation with the
Information Processing Society of Japan,
Japan Society for Software Science and Technology,
Association for Symbolic Logic,
IEEETC on Mathematical Foundations of Computing,
and Association for Computing Machinery--SIGACT
-----------------------------------------------------------------------
International Symposium on
Theoretical Aspects of Computer Software
(TACS'94)
April 19-22, 1994
Tohoku University, Sendai, Japan
SYMPOSIUM CO-CHAIRS
Prof. Takayasu Ito
(Tohoku University)
Prof. Albert R. Meyer
(MIT Lab. for Computer Science)
PROGRAM CO-CHAIRS
Prof. Masami Hagiya
(University of Tokyo)
Prof. John Mitchell
(Stanford University)
PROGRAM COMMITTEE
Martin Abadi (DEC SRC)
Robert Constable (Cornell U.)
Rob van Glabbeck (Stanford U.)
Carl Gunter (U. Penn. and AT&T)
Masami Hagiya (U. Tokyo)
Susumu Hayashi (Ryukoku Univ.)
Takayasu Ito (Tohoku Univ.)
Paris Kanellakis (Brown Univ.)
Jean-Louis Lassez (IBM, Watson)
Albert Meyer (MIT)
John Mitchell (Stanford U.)
Atsushi Ohori (Kyoto Univ.)
Masahiko Sato (Tohoku U.)
Masako Takahashi (Tokyo Inst. Tech.)
Any inquiry on TACS'94 Program and Registration may be directed to
[Email] tacs94@ito.ecei.tohoku.ac.jp
[Fax] +81 22 267 4404
[Postal Address]
Prof. Takayasu Ito, TACS'94 Co-Chair
Dept. Computer and Mathematical Sciences
Graduate School of Information Sciences
Tohoku Univ. [Aobayama Campus]
Sendai 980, Japan
---------------------------------------------------------------------
SYMPOSIUM PROGRAM
APRIL 18 MONDAY
14:00 REGISTRATION at Sendai Tokyu Hotel till 20:00
15:30 TACS Special Open Lecture at Sendai Tokyu Hotel till 17:00
John Mitchell (Stanford U.)
Type systems and the design of object-oriented languages
18:00 Reception at Sendai Tokyu Hotel till 19:30
===============================================
APRIL 19 TUESDAY
09:30 Invited Talk 1
Samson Abramsky
(Joint work with Radha Jagadeesan and Pasquale Malacaria)
Full abstraction for PCF
10:20 Break
SESSION 1, 10:40-12:20
10:40 Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno
Fully abstract logical semantics for a parallel and
nondeterministic lambda-calculus
11:05 Doug Howe, Scott Stoller
An operational approach to combining classical set theory and
functional programming languages
11:30 Mark P. Jones
ML typing, explicit polymorphism, and qualified types
11:55 Jon Riecke, Ramesh Subramanian
Extensions to type systems can preserve operational equivalence
12:20 Lunch Break
13:30 Invited Talk 2
Paris Kanellakis
Constraint programming and database query languages
14:20 Break
SESSION 2, 14:40-15:55
14:40 Alain Hui Bon Hoa
Intuitionistic resolution for a logic programming language with
scoping constructs
15:05 Yves Bertot, Gilles Kahn, Laurent Thery
Proof by pointing
15:30 Henri Korver, Jan Springintveld
A computer-checked verification of Milner's scheduler
15:55 Break
SESSION 3, 16:15-17:30
16:15 Masahiko Sato
A purely functional language with encapsulated assignment
16:40 M. R. K. Krishna Rao
Simple termination of hierarchical combinations
of term rewriting systems
17:05 Yan Mei Tang, Pierre Jouvelot
Separate abstract interpretation for control-flow analysis
17:30 Break
APRIL 20 WEDNESDAY
09:30 Invited Talk 3
Matthias Felleisen
(Joint work with Robert Cartwright)
Extensible denotational language specifications
10:20 Break
SESSION 4, 10:40-12:20
10:40 Hideki Tsuiki
A normalizing calculus with overloading and subtyping
11:05 Martin Abadi, Luca Cardelli
A theory of primitive objects, Untyped and first-order systems
11:30 Didier Remy
Programming objects with ML-ART:
An extension to ML with abstract and record types
11:55 Kung Chen, Martin Odersky
A type system for a lambda-calculus with assignments
12:20 Lunch Break
13:30 Invited Talk 4
Akinori Yonezawa
Theory and practice in concurrent object-oriented computing
14:20 Break
SESSION 5, 14:40-15:55
14:40 Andrea Asperti, Cosimo Laneve
The family relation in interaction systems
15:05 Ursula Goltz, Roberto Gorrieri, Arend Rensink
On syntactic and semantic action refinement
15:30 Davide Sangiorgi
Locality and true-concurrency in calculi for mobile processes
15:55 Break
SESSION 6, 16:15-17:30
16:15 D.J.B. Bosscher
Term rewriting properties of SOS axiomatisation
16:40 Willem Jan Fokkink
The tyft/tyxt format reduces to tree rules
17:05 Hans Huttel
Undecidable equivalences for basic parallel processes
17:30 Break
19:00 BANQUET at Sendai Tokyu Hotel till 20:30
April 21 THURSDAY
09:30 Invited Talk 5
Masako Takahashi
(joint work by M.Takahashi, Y.Akama, and S.Hirokawa)
Normal proofs and their grammar,
10:20 Break
SESSION 7, 10:40-12:20
10:40 Franco Barbanera, Stefano Berardi
A symmetric lambda calculus for "classical" program extraction
11:05 Niels Jakob Rehof, Morten Heine Sorensen
The lambda (sub)Delta-calculus
11:30 Zena Ariola, Richard Kennaway, Jan Wilhelm Klop, Ronan Sleep
and Fer-Jan de Vries
Syntactic definitions of undefined: On defining the undefined
11:55 Philippa Gardner
Discovering needed reductions using type theory
12:20 Lunch Break
13:30 Invited Talk 6
Moshe Vardi
Nontraditional applications of automata theory
14:20 Break
SESSION 8, 14;40-15:50
14:40 Kim Ritter Wagner
Abstract pre-orders
15:05 Amitavo Islam, Wesley Phoa
Categorical models of relational databases I:
Fibrational formulation, schema integration
15:30 Max I. Kanovich
Petri nets, Horn programs, linear logic, and vector games
15:55 Break
SESSION 9, 16:15-17:30
16:15 Tatsurou Sekiguchi, Akinori Yonezawa
A complete type inference system for subtyped recursive types
16:40 Flemming M. Damm
Subtyping with union types, intersection types, and recursive types
17:05 Ferruccio Damiani, Paola Giannini
A decidable intersection type inference system based on relevance
17:30 Break with Sandwich
18:15 EVENING SESSION for Demos and Informal Discussions till 19:45
APRIL 22 FRIDAY
09:30 Invited Talk 7
Zohar Manna
Temporal verification diagrams
10:20 Break
SESSION 10, 10:40-12:20
10:40 D. Bolignano, M. Debabi
A semantic theory for concurrent ML
11:05 Kohei Honda, Nobuko Yoshida
Replication in concurrent combinators
11:30 Adriano Peron Andrea Maggiolo-Schettini
Transitions as interrupts: A new semantics for timed statecharts
11:55 Marcello Bonsangue, Joost N. Kok
Relating multifunctions and predicate transformers through
closure operators
==================================================
12:20 Lunch Break till 13:30
==================================================
13:30 TACS Special Open Lecture at Aoba Memorial Bldg. till 15:00
Albert R. Meyer
Observing truly concurrent processes
--------------------------------------------------------------------------
GENERAL INFORMATION
TACS'94 will be held on the campus of Tohoku University, Sendai,
Japan. The invited talks and contributed talks will be presented in
the Aoba Memorial Building, Faculty of Engineering located on the Aoba
Hill about 3 km west of downtown Sendai. The conference reception and
banquet will be held at Sendai Tokyu Hotel, located in downtown
Sendai.
Sendai is the largest city in the northern part of the Honshu Island
of Japan, with a population of about 900,000. The city is known in
Japan as the "City of Trees". It is 350 km north from Tokyo and about
2 hours away by the Tohoku Bullet Train (Tohoku Shinkansen). Sendai is
a modern, safe city with a temperate climate blessed by four distinct,
beautiful seasons. At the time of TACS'94 it is expected that cherry
trees are in full bloom.
Conference registration is open to the public. Register and make
reservations by returning the completed form below by email, fax, or
airmail. There will also be on-site registration at:
Sendai Tokyu Hotel, 14:00-20:00, April 18,
Aoba Memorial Bldg., Tohoku Univ., 9:00-17:00 on April 19-22.
TRANSPORTATION
Conference participants arriving at the new Tokyo International
(Narita) Airport are advised to take the JR Narita Express train from
Narita Airport to Tokyo Station. Then take the Yamabiko super express
train of Tohoku Shinkansen (Tohoku Bullet Train) to Sendai from Tokyo.
The Yamabiko runs almost every 30 min. and takes about 2 hours from
Tokyo to Sendai. Making reservations at Narita Station for the
Yamabiko express is strongly recommended, since it will be the spring
tourist season.
Those arriving at Osaka International Airport can fly to Sendai
Airport, and take Limousine Bus service to Sendai Station. The bus
takes about 45 min. to go from the Airport to Sendai Station. You can
also take the Tokaido Shinkansen from Osaka to Tokyo Station and
change at Tokyo Station to Tohoku Shinkansen for Sendai.
Note: No flight service is available from Narita Airport to Sendai
Airport, since the train service is superior. There is another train
service from Narita Airport to downtown Tokyo (Ueno) by Skyliner of
the Keisei-Narita Line. At Ueno you can take the Yamabiko super
express of Tohoku Shinkansen to Sendai, but you have to walk more than
5 min. from Keisei-Ueno Station to JR Ueno Station. If you are going
to travel in Japan by JR lines before/after the conference, it will be
convenient and economical to get a JR PASS before your departure.
Contact your travel agent for more information.
HOTELS
Three recommended hotels offer discount rates to TACS'94 participants:
the Sendai Tokyu Hotel, the Sendai Washington Hotel, and the Sendai
Fuji Hotel. They are 1.2 km west of Sendai Station and about 600 Yen
by taxi from the station. The conference reception and banquet will be
held at the Sendai Tokyu Hotel. The other two hotels are located
within 5 min. walk of the Sendai Tokyu Hotel. Note: A limited number
of less expensive rooms at the university lodging accommodation
(Gonryo Kaikan) are available, although it is located about 1.5 km
north of Sendai Tokyu Hotel. A single room with bath (not including
breakfast) will be about 4,500 Yen. Those who are interested in
staying at Gonryo Kaikan should mail to
tacs94@ito.ecei.tohoku.ac.jp
CLIMATE
The weather in Sendai from the middle of April to the middle of May is
usually delightful--mostly sunny with temperatures ranging from the
low 50s to the high 70s. A light jacket may be needed in the morning
and evening. Rain, if any, would rarely heavy. The middle of April at
Sendai is usually the time that cherry trees are in full bloom.
REGISTRATION AND RESERVATIONS
REGISTRATION FEES
Registration fees cover attendance in all sessions, a proceedings,
refreshments, the conference reception and banquet, but not the short
excursion to Matsushima area.
The member is available to members of any of the sponsoring or
cooperating organizations. The reduced author rate applies to all
authors of accepted papers. The students rate applies to full time
students. Registrants paying reduced rates have full privileges at the
conference. The companion rate covers the conference reception and
banquet only.
Through March 10 From March 11
Non-Member 60,000 Yen 70,000 Yen
Member 40,000 Yen 50,000 Yen
Author 30,000 Yen 40,000 Yen
Student 20,000 Yen 25,000 Yen
Companion 5,000 Yen 10,000 Yen
HOTEL RATES
Three convenient Western Style hotels offer TACS'94 discount rates.
Rates are per person, per night, and including breakfast, and service
charge, and tax.
Single Room Twin Room
Sendai Tokyu Hotel 12,360 Yen 11,330 Yen
Sendai Washington Hotel I 8,549 Yen -------
Sendai Washington Hotel II ------- 8,446 Yen
Sendai Fuji Hotel 8,240 Yen -------
Note: No roommate matching service is available, so twin room
reservations remain the registrant's responsibility.
----------------------------------------------------------------------
REGISTRATION AND RESERVATION FORM
Please register and reserve hotel rooms by completing the form below
and returning it with payment by email, fax, or airmail.
The form may be sent by email to
tacs94@ito.ecei.tohoku.ac.jp
Email registrants are encouraged also to send a signed, printed copy
to the address below and will then receive written reconfirmation.
The signed, completed form may also be sent by fax or by airmail to
TACS'94 Advance Registration
Sendai Branch, Tokyu Tourist Co.
Nisseki Tokyu Sendai Bldg. 2F
1-6-18, Chuo, Aoba-ku, Sendai, Japan 980
(Fax) 022-265-5765
+81-22-265-5765 (from abroad)
(Phone) 022-263-3232
+81-22-263-3232 (from abroad)
Note: It is recommended for Japanese registrants to fill the *-marked
items below both in English and in Japanese.
Please Type or Print
*Last (Family) Name:
*First (Given) Name:
Middle:
*Affiliation:
*Mailing Address:
*City/State/Zip:
Country:
Phone:
Fax:
Email:
Registration Status
<Non-Member, Member, Author, Student>:
Number of Companions:
(A) Total Registration Fee(s) in Yen:
Hotel Registration
Hotel First Choice:
Hotel Second Choice:
Number of Single Room(s):
Number of Twin Room(s):
Check-in Time & Date:
Check-out Time & Date:
Number of Nights:
Special Room or Other Request:
(B) Hotel Deposit of 6,000 Yen x [ ] person(s):
TOTAL FEE IN YEN
(A) + (B):
Signature (not needed for email):
METHOD OF PAYMENT
Participants are encouraged to pay via Visa card, MasterCard, Amex
card, Diners card or money transfer. Bank checks will be accepted when
credit card or money transfer is not feasible. Personal checks cannot
be accepted. All payments must be made in Japanese Yen. Indicate
method of payment below:
[ ] Credit Card Type <Visa, MasterCard, Amex, or Diners>:
Card Number:
Expiration Date:
Cardholder Name:
Signature (not needed for email):
[ ] Bank Transfer to
Bank: 77 Bank, Nakakecho Branch
Account Name: Tokyu Tourist Co., Sendai Branch
Account No. 9018221
>From <bankname>:
Date of transfer:
[ ] Bank Check made payable to
Tokyu Tourist Co., Sendai Branch
enclosed with hard copy of the form above.
Reservations and registration will be confirmed upon receipt of
payment. Refunds will be made upon written request received through
April 5, 1994 by Prof. Takayasu Ito, TACS'94 Co-Chair.
ADDITIONAL NOTES:
(1) Those who are going to stay in Tokyo before/after the conference
may be able to reserve rooms in Tokyo, making a copy of hotel
reservation form and sending it as above. The room rates in Tokyo
will be about 1.3 times of the room rates of the hotels in Sendai
(not including breakfast), so that you can indicate as 'Sendai
Tokyu Hotel'-level, 'Sendai Washington Hotel'-level, or 'Sendai
Fuji Hotel'-level in your choice.
(2) In the evening of April 22 the post-conference Japanese dinner
party will be arranged for the participants from abroad. Those who
are interested in joining this event should mail to
tacs94@ito.ecei.tohoku.ac.jp or fax to +81-22-267-4404 by April
5,1994.