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