[Prev][Next][Index][Thread]
TACS'97 Call for Participation
[Apologies if you receive multiple copies]
Call for Participation (Updated)
International Symposium on Theoretical Aspects of Computer Software
(TACS'97)
Tohoku University, Sendai, Japan
September 23-26, 1997
TACS'97 is the third symposium in the TACS series, which focuses
on the theoretical foundations of programming and their applications.
The program of TACS'97 consists of six invited talks by Robin Milner,
Atsushi Ohori, Jean-Jacques Levy, Carolyn L. Talcott, Robert Harper,
and Gerard Huet, and twenty contributed talks. In addition, there
will be an open lecture by Martin Abadi, evening sessions for informal
discussions, and some demos.
Updated program and registration information are attached below.
Information on evening sessions and demos are available from the
TACS'97 Web page. Those who are interested in giving talks at evening
sessions or in showing demos are encouraged to contact the organizers.
That Web page also contains links for workshops that will take place
before TACS'97.
The TACS'97 Web page is at http://tacs97.ito.ecei.tohoku.ac.jp/tacs97.html.
Any inquiry on TACS'97 may be directed to TACS97@ito.ecei.tohoku.ac.jp.
The deadline for early registration is August 15, 1997.
===========================================================================
PROGRAM AND REGISTRATION INFORMATION
International Symposium on Theoretical Aspects of Computer Software
(TACS'97)
Tohoku University, Sendai, Japan
September 23-26, 1997
Further information about TACS'97 can be obtained on the Web, at:
http://tacs97.ito.ecei.tohoku.ac.jp/tacs97.html
Any inquiry on TACS'97 Program and Registration may be directed to
TACS97@ito.ecei.tohoku.ac.jp
---------------------------------------------------------------------------
SYMPOSIUM PROGRAM
SEPTEMBER 23 TUESDAY
(Autumnal Equinox Holiday)
14:30 REGISTRATION at Sendai Washington Hotel II till 20:00
15:30 TACS Open Lecture at Sendai Washington Hotel II
Martin Abadi
Principles and Rules for Security Protocols
18:30 Reception at Sendai Washington Hotel II till 19:30
SEPTEMBER 24 WEDNESDAY
at Aoba Memorial Building, Tohoku University
9:30 Invited Talk 1
Robin Milner
The Graphical Presentation of Action Calculi
10:30 Break
SESSION 1, 10:50 - 12:20
10:50 Jacques Garrigue, Didier Remy
Extending ML with Semi-Explicit Polymorphism
11:20 Alexander Aiken, Edwards L. Wimmers, Jens Palsberg
Optimal Representations of Polymorphic Types with Subtyping
11:50 Zena M. Ariola, Stefan Blom
Cyclic Lambda Calculi
12:20 Lunch Break
13:40 Invited Talk 2
Atsushi Ohori
Type System for Specializing Polymorphism
14:40 Break
SESSION 2, 15:00 - 16:00
15:00 Mario Coppo, Ferruccio Damiani, Paola Giannini
On Strictness and Totality
15:30 Julia Lawall, Peter Thiemann
A Two-Level Lambda Calculus
16:00 Break
SESSION 3, 16:15 - 17:15
16:15 Yoshiki Kinoshita, Peter W. O'Hearn, A. John Power,
Makoto Takeyama, Robert Tennent
An Axiomatic Approach to Binary Logical Relations with Applications
to Data Refinement
16:45 Marcello M. Bonsangue, Joost N. Kok
Infinitary Domain Logic for Finitary Transition Systems
17:15 Break
19:00 - 20:30 BANQUET at Sendai Washington Hotel II
SEPTEMBER 25 THURSDAY
at Aoba Memorial Building, Tohoku University
9:30 Invited Talk 3
Jean-Jacques Levy
Some Results in the Join-Calculus
10:30 Break
SESSION 4, 10:50 - 12:20
10:50 Julian Rathke, Matthew Hennessy
Local Model Checking for Value-passing Processes
11:20 Kaisa Sere, Marina Walden
Data Refinement of Remote Procedures
11:50 Samson Abramsky, Simon Gay, Rajagopal Nagarajan
A Type-theoretic Approach to Deadlock-freedom of Asynchronous Systems
12:20 Lunch Break
13:40 Invited Talk 4
Carolyn Talcott
Composable Semantic Models for Actor Theories
14:40 Break
SESSION 5, 15:00 - 16:00
15:00 Franco Barbanera, Stefano Berardi, Massimo Schivalocchi
"Classical" Programming-with-Proofs in \lambda^{sym}_PA: An Analysis
of Non-Confluence
15:30 John Power, Hayo Thielecke
Continuation Semantics and Indexed Categories
16:00 Break
SESSION 6, 16:15 - 17:15
16:15 Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce
Comparing Object Encodings
16:45 Erik Poll
System F with Width-Subtyping and Record Updates
17:15 Break with Snack
18:00 EVENING SESSION for Informal Discussions till 20:00
SEPTEMBER 26 FRIDAY
at Aoba Memorial Building, Tohoku University
9:30 Invited Talk 5
Robert Harper
Types in Compilation
10:30 Break
SESSION 7, 10:50 - 12:20
10:50 Sean Matthews
Extending a Logical Framework with a Modal Connective for Validity
11:20 Samuel Boutin
Using Reflection to Build Efficient and Certified Decision Procedures
11:50 Benjamin Werner
Sets in Types, Types in Sets
12:20 Lunch Break
SESSION 8, 13:40 - 15:10
13:40 Combining Petri Nets and PA-Processes
Richard Mayr
14:10 Satoshi Yamane, Kazuhiro Nakamura
Real-Time Symbolic Model-checking Method Based on Approximation
by BDD and DBM
14:40 Philippa Gardner, Masahito Hasegawa
Higher-order Action Calculi and Notions of Computation
15:10 Break
15:30 Invited Talk 6
Gerard Huet
Rational Transducers as Regular Bohm Trees
16:30 CLOSING SESSION till 16:40
----------------
18:30 - 20:30 Japanese Dinner Party for Participants from Abroad
---------------------------------------------------------------------------
TACS'97 is sponsored by
Tohoku University, Sendai
in cooperation with
Information Processing Society of Japan
Japan Society for Software Science and Technology
Association for Symbolic Logic
Association for Computing Machinery--SIGACT
Symposium Chair:
Takayasu Ito
Advisory Board:
Rodney Burstall Robert L. Constable Albert R. Meyer (Chair)
John C. Mitchell Gordon Plotkin Masahiko Sato
Akinori Yonezawa
Program Chairs:
Martin Abadi Takayasu Ito
Program Committee:
Martin Abadi Mariangiola Dezani Masami Hagiya
Susumu Hayashi Thomas A. Henzinger Takayasu Ito
Neil Jones Naoki Kobayashi Jean-Jacques Levy
Peter O'Hearn Atsushi Ohori Luke Ong
Frank Pfenning Benjamin Pierce Natarajan Shankar
Val Tannen Frits Vaandrager
---------------------------------------------------------------------------
GENERAL INFORMATION
TACS'97 will be held on the campus of Tohoku University, Sendai,
Japan. The invited talks and contributed talks will be presented at
the Aoba Memorial Building, Faculty of Engineering located on the Aoba
Hill about 3 km west of downtown Sendai. The open lecture, conference
reception and banquet will be held at Sendai Washington Hotel II,
located in downtown Sendai.
Conference registration is open to the public. Reservations for the
Japanese dinner party (September 26) will be limited. Register and
make reservations by returning the completed form below by email, fax,
or airmail. There will also be on-site registration at:
* Sendai Washington Hotel II, 14:30-20:00, September 23
* Aoba Memorial Bldg., Tohoku Univ., 9:00 -17:00 on September 24-26
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 about every 30 min. and takes about 2 hours
from Tokyo to Sendai. Making reservation at Narita Station for the
Yamabiko is strongly recommended, since it will be the autumn tourist
season. Those arriving at the new Osaka International (Kansai)
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 a shuttle bus service from Kansai
Airport to the Osaka (Itami) Airport to fly from there to Sendai
Airport. Alternatively, you can take a local train from the Kansai
Airport to JR Osaka Station, then take the Tokaido Shinkansen from
Osaka to Tokyo Station and change at Tokyo Station to Tohoku
Shinkansen.
More information on transportation, TACS'97 related events and Sendai
will be available through the TACS Web page, at
http://tacs97.ito.ecei.tohoku.ac.jp/tacs97.html
REGISTRATION AND RESERVATION
Registration fees
~~~~~~~~~~~~~~~~~
Registration fees cover attendance in all sessions, a copy of the
proceedings, refreshments and snack, the conference reception and
banquet, but not the Japanese dinner party on September 26. The member
rate is available to members of any of the sponsoring or cooperating
organizations. The reduced author rate applies to all authors of
accepted papers. The student rate applies to full time
students. Registrants paying reduced rates have full privileges at the
conference. The companion rate covers the reception and banquet only.
Through August 15 From August 16
Non-Member 50,000 Yen 60,000 Yen
Member 40,000 Yen 50,000 Yen
Author 30,000 Yen 40,000 Yen
Student 20,000 Yen 30,000 Yen
Companion 3,000 Yen 6,000 Yen
Hotel rates
~~~~~~~~~~~
Three convenient Western Style hotels offer TACS'97 discount
rates. Rates are per person, per night, and include breakfast,
service charge, and tax.
Single Room Twin Room
Sendai Tokyu Hotel 13,650 Yen 12,600 Yen
Sendai Washington Hotel I 9,450 Yen --------
Sendai Washington Hotel II 9,450 Yen 8,925 Yen
Sendai Fuji Hotel 8,610 Yen 8,085 Yen
Note: No roommate matching service is available, so twin room
reservations remain the registrant's responsibility.
Japanese dinner party for participants from abroad
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
A Japanese dinner party for participants from abroad will be arranged
for September 26. The invited speakers, some PC members, and some
conference organizers will attend. A limited number of reservations
will be available for this dinner party. The rates are as follows.
Conference registrant: 7,000 Yen
Companion: 5,000 Yen
---------------------------------------------------------------------------
REGISTRATION AND RESERVATION FORM
Please register and make reservations by completing the form below and
returning it with payment by email, fax, or airmail.
The form may be sent by email to
TACS97@ito.ecei.tohoku.ac.jp
Email registrants are encouraged to send a signed, printed copy of
their completed form to the address below, and will then receive
written reconfirmation.
The signed, completed form may also be sent by airmail or by fax to
TACS'97 Advance Registration
Tohoku Group Tours Sales Office
Tokyu Tourist Corporation
Nisseki Tokyu Sendai Bldg. 2F
1-6-18, Chuo, Aoba-ku, Sendai, 980, Japan
(Fax) 022-265-5765
+81-22-265-5765 (from abroad)
(Phone) 022-263-3232
+81-22-263-3232 (from abroad)
Please type or print.
REGISTRATION FOR TACS'97
Last (Family) Name:
First (Given) Name:
Middle:
Affiliation:
Postal 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 RESERVATION
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 8,000 Yen x [ ] person(s):
JAPANESE DINNER PARTY
A limited number of reservations are available for the Japanese dinner
party to be arranged for participants from abroad.
(C) 7,000 Yen x [ ] conference registrant(s):
(D) 5,000 Yen x [ ] companion(s):
TOTAL FEE IN YEN
(A) + (B) + (C) + (D):
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:
Signature (not needed for email):
[ ] Bank Transfer to
Bank: 77 Bank, Nakakecho Branch
Account Name: Tokyu Tourist Co., Tohoku Group Tours Sales Office
Account No. 9018221
From <bank name>:
Date of transfer:
[ ] Bank Check made payable to
Tokyu Tourist Co., Tohoku Group Tours Sales Office
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 September 10,
1997 by the TACS'97 Symposium Chair (Takayasu Ito).
Additional Notes:
Those who are going to stay in Tokyo before or after the conference
may be able to reserve rooms in Tokyo by making a copy of the hotel
reservation form and by sending it as above. Please indicate your
preferred level of hotel by writing "Sendai Tokyu Hotel"-level,
"Sendai Washington Hotel"-level, or "Sendai Fuji Hotel"-level. The
rates of a Tokyo hotel will be about 30% higher than those of a
Sendai hotel of the same level.
TACS'97 Staff
Shin-ichi Kawamoto