[Prev][Next][Index][Thread]
AMAST Conference program and registration
ADVANCE PROGRAM
First International Conference on Algebraic
Methodology and Software Technology, AMAST 1)
May 22-24, 1989, Iowa City, Iowa, USA
Organizing Committee:
Conference A. Fleck University of Iowa
Chairs Department of Computer Science
Iowa City, IA 52242, USA
W. A. Kirk University of Iowa
Department of Mathematics
Iowa City, IA 52242, USA
Program T. Rus University of Iowa
Committee Department of Computer Science
Chair Iowa City, IA 52242 USA
Committee W. S. Hatcher Universite Laval, Canada
Members G. Hotz Universtaet des Saarlandes,
West Germany
D. Ionescu University of Ottawa, Canada
E. Madison University of Iowa, USA
M. Main University of Colorado, USA
M. Mislove Tulane University, USA
M. Muralidharan University of Iowa, USA
G. Nelson University of Iowa, USA
C. Rattray University of Stirling, Scotland
D. Schmidt Kansas State University, USA
____________________
1) This conference was sponsored by grants from the Office of
Naval Research, XEROX Corporation - Webster Research Center, and
Departments of Computer Science and mathematics of the University
of Iowa, Iowa City.
Sunday, May 21, 6:30-8:30pm Reception
Monday, May 22, 8:00-8:45 Registration
Monday 22, 8:45-9:00 Welcome, Introduction: Fleck, A.,
Conference Chair.
Monday 22, 9:00-12:30: Session_1 Process Algebra (Chair:
Nelson, G.)
9:00-10:00 Invited talk: Minimal Finite Transition Systems,
Nivat, M., Universite Paris VII, France.
(1) 10:00-10:30 Baeten, J., Algebra of Communicating
Processes.
10:30-11:00 Coffee break
(2) 11:00-11:30 Crew, F. R., Parameterized Process Category.
(3) 11:30-12:00 Oguztuzun, M. H., A Model-Theoretic Charac-
terization of the Observational Equivalence of Processes.
(4) 12:00-12:30 Benson, B. D., Iyer, R.R., Algebraic Struc-
ture of Petri-Nets and Nondeterminism.
12:30-2:00 Lunch
Monday 22, 2:00-6:00 Session_2 Algebraic Methods for
Language Specification (Chair: Hatcher, S.W.)
2:00-3:00 Invited Talk: Data Types Generated by Idempotent
Operations, William F. Lawvere, Buffalo University, USA.
(1) 3:00-3:30: Bidoit, M., The Stratified Loose Semantics: An
Attempt to Provide an Adequate Algebraic Model of Modular-
ity.
(2) 3:30-4:00 Jacobs, D., Ehrig, H., Fey, W., Hansen H., Lowe
M., Algebraic Concepts for the Evolution of Module Fami-
lies
4:00-4:30 Coffee break
(3) 4:30-5:00 Bradley L., An Algebraic Approach to the Early
Stages of Language Design.
(4) 5:00-5:30 Talcott, C. L., Algebraic Methods in Program-
ming Language Theory.
(5) 5:30-6:00 Parpucea, I., Dynamic Extension of Programming
Language Semantics.
(6) 7:30 Social hour
Tuesday 23, 8:30-12 Session_3 Parallel and Distributed
Processing (Chair: Cornell, A.)
8:30-9:30 Invited talk: General Logics, Jose Meseguer, SRI, USA.
(1) 9:30-10:00 Logrippo, L., LOTOS: An Algebraic Specifica-
tion Language for Distributed Systems.
10:00-10:30 Coffee break
(2) 10:30-11:00 Miller, S., Kuhl, J., Modeling Distributed
Systems as Distributed Data Types.
(3) 11:00-11:30 Ionescu, D., Wen, L., A Formal Mathematical
Model for Detecting the Subroutine Dependencies: A Logic
Programming Approach.
(4) 11:30-12 Martin, G. A. R., Norris, M.T., Everett, R.P.,
Shields, M.W., The CCS Interface Equation -- An Example of
Specification Construction Using Rigorous Techniques.
12-1:30 Lunch
Tuesday 23, 1:30-5:30 Session_4 Types, Polymorphism and
Lambda-Calculus (Chair: Main, M.)
1:30-2:30 Invited Talk: Implementing Mathematics as an
Approach for Formal Reasoning, R. Constable, Cornell University, USA.
(1) 2:30-3:00 Hatcher, W. S., Tonga, M., Pairings on Lambda
Algebras.
(2) 3:00-3:30 Zhang, H., Constructor Models as Abstract Data
Types.
3:30-4:00 Coffee break
(3) 4:00-4:30 Riecke, J.G., Bloom, B., LCF Should be Lifted.
(4) 4:30-5:00 Scollo, G., Manca, V., Salibra, A., DELTA: A
Deduction System Integrating Equational Logic and Type
Assignment.
(5) 5:00-5:30 Janicki, R., Muldner, T., On Algebraic
Transformations of Sequential Specifications.
(6) 6:30 Banquet (Buses depart)
Wednesday 24, 8:30-12 Session_5 Algebraic Software Development
(Chair: Schmidt, D.)
8:30-9:30 Invited talk: An Algebraically Specified Language for
Data Directed Design, Eric Wagner, IBM T. J. Watson Research
Center, USA.
(1) 9:30-10:00 Rattray, M.I.C., Modeling the Software Pro-
cess.
10:00-10:30 Coffee break
(2) 10:30-11:00 Wells, C., Path Grammars.
(3) 11:00-11:30 Pratt, V., Enriched Categories and Floyd-
Warshall Connection.
(4) 11:30-12 Dauchet, M., Tison, S., Finite Automata, Algo-
rithms and Software Design.
12-1:30 Lunch
Wednesday 24, 1:30-5:00 Session_6 Algebraic Semantics of
Programs (Chair: Rattray, M.I.C.)
(1) 1:30-2:00 Schmidt, D., Even, S., Category-Sorted
Algebra-Based Action Semantics.
(2) 2:00-2:30 Vidal, D., The De Bruijn Algebra
(3) 2:30-3:00 Pigozzi, D., Equality-Test and If-Then-Else
Algebras: Axiomatization and Specification.
3:00-3:30 Coffee break
(4) 3:30-4:00 Wijland, P. W., Van Glabbek J. R., Refinement
in Branching Time Semantics.
(5) 4:00-4:30 Kent, E. R., Dialectical Program Semantics.
(6) 4:30-5:00 Concluding remarks
General Information
Location:
The conference will be held at the Conference Center of the
University of Iowa, Iowa Memorial Union. All meetings (with
the exception of the banquet) will be held at that location.
Transportation:
(1) The airport that services Iowa City is at Cedar Rapids, 25
miles distance from Iowa City. The closest international
airport from Cedar Rapids is Chicago. Limousine services
between Cedar Rapids airport and Iowa City are available.
(2) The interstate 80 is the easiest access way to Iowa City.
Exit 244, Dubuque Street which leads you to the downtown
Iowa City.
Registration Fees:
(1) Registration fees: $40, for early registration, by May 1,
1989 and $50 after this date.
(2) Student registration fee is $10.
Banquet:
A banquet has been scheduled at the Ox-Yoke Inn in the Amana
Colonies on Tuesday, May 23, 1989. The Ox-Yoke Inn is world
famous for its German food served family style. The cost of
the banquet is $15.00
Special Issue of Theoretical Computer Science:
The procedure for submission of full papers for the issue of
Theoretical Computer Science dedicated to this event will be
distributed at the conference.
Housing - Motel:
A block of rooms has been reserved at the Holiday Inn in
downtown Iowa City. The Holiday Inn is within walking dis-
tance to the Iowa Memorial Union. The group rate for this
conference is $59.00 for single and $65.00 for a double.
Please make your reservation early, directly with the Holi-
day Inn, 210 South Dubuque Street, Iowa City Iowa, 52240,
telephone (319)-337-4058. Rooms have also been blocked at
the Super 8 Motel in Coralville, approximately 2 miles from
the Iowa Memorial Union. Room rate are from $30.29 for sin-
gle to $42.06 for double. The address is 611 First Avenue,
Coralville, IA 52241, telephone (319)-337-8388. Please men-
tion that you are attending AMAST making your reservation at
each location.
Housing - Dorm:
A block of dormitory rooms has been reserved in the Daum
Residence Hall for Sunday, Monday and Tuesday nights, May 21
through 23, 1989. There is a shared bathroom for each floor
and room assignments are made by sex by floor. Rates for the
three day period are $39.75 for single room and $29.25
each for a double room. If you are arriving earlier and/or
leave later please add for each supplementary night $13.25
for a single or $9.75 for a double. Notice, payment in
advance is required for dormitory housing and must be
received in Iowa City before May 1, 1989. Refund for dormi-
tory payment cannot be made after May 1, 1989. If you desire
dormitory housing please complete all items on the registra-
tion form.
Registration:
To register, please complete and mail the following regis-
tration form 2):
____________________
2) The university of Iowa requests registration information
for the purpose of processing your registration. Persons outside
the University of Iowa are not routinely provided this informa-
tion, except that items of directory information (e.g.,, names
and addresses) may be provided to conference attendees. Items
marked * are optional.
The University of Iowa does not discriminate in its educational
programs and activities on the basis of race, national origin,
color, religion, sex, age, or handicap. The University also af-
firms its commitment to providing equal opportunities and equal
access to university facilities without reference to affectional
or associational preference. For additional information on non-
discrimination policies, contact the Coordinator of Title IX and
Section 504 in the Office of Affirmative Action, telephone
319/335-0705, 202 Jessup Hall, The University of Iowa, Iowa City,
Iowa 52252.
Registration Form
(Please reproduce and prepare a separate form for each registrant)
Algebraic Methodology and Software technology, AMAST
May 22-24, 1989
Program Number 89-142-02 L538
NAME_______________________*Social Security Number____/____/______
AFFILIATION_______________________________________________________
ADDRESS___________________________________________________________
CITY_______________________STATE/PROVINCE_____________ZIP_________
DAY TELEPHONE NUMBER (___)_________ELECTRONIC MAIL________________
____EARLY REGISTRATION FEE $40.00 ................... ____________
____REGISTRATION FEE AFTER MAY 1, 1989 $50.00 ....... ____________
____STUDENT REGISTRATION FEE $10.00 ................. ____________
____BANQUET OX-YOKE INN, AMANA $15.00 ............... ____________
Please complete following if requesting dorm housing. Applications
and dvance payment for dorm housing must be received before May 1,
1989.
Sex: ____Male ____Female
For double room, name of roomate (if known)_______________________
____Single Room May 21 through May 23 $39.75 ........ ____________
____Double Room May 21 through May 23 $29.25 each ... ____________
____Single Room May 20 or earlier $13.25 ............ ____________
____Double Room May 20 or earlier $9.75 each occupant ____________
____Single Room May 24 or latter $13.25 ............ ____________
____Double Room May 24 or latter $9.75 each occupant ____________
I enclose a check or money order, payable in US dollars to the
University of Iowa, for ..........................TOTAL $_________
PLease return to the Director of Conference, Iowa Memorial Union,
The University of Iowa, Iowa City, Iowa 52240, Telephone
(319)-335-3231