AMAST'93: Preliminary Programme and Registration Information

% Note: you may get a LaTeX version of this information by anonymous ftp on
% host ftp.cs.utwente.nl, file PrelProg.tex in directory pub/doc/amast93




                                                                      AMAST'93


                          --------------------------------------------------
                          Preliminary Programme and Registration Information
                          --------------------------------------------------


                                              Third International Conference
                                                                          on
                              Algebraic Methodology and Software Technology


                    University of Twente, The Netherlands, June 21--25, 1993


Goals
-----


The goal of the third AMAST conference to be held on June 21--25, 1993, at
the University of Twente, Enschede, The Netherlands, is to consolidate the
trend towards using algebraic methodology as a foundation for software
technology, and to show that universal algebra provides a practical
mathematical alternative to the common, ad-hoc approaches to software
engineering and development. Academia and industry are both beneficiaries
of such a formal foundation.


To achieve the goal of the conference we aim to provide a forum in which
leading researchers in mathematics, computer science, and software
development, will come together to identify algebraic methodologies that
are applicable as viable alternatives to the present software development
approaches and to discuss the appropriateness of such alternatives with a
view to implementation.




Education Day (Monday 21 June)
------------------------------


While the AMAST goal is mainly research-oriented, the relevance of
education is recognized as well. In particular, the adequacy of the
mathematical education of designers, implementors, users and maintainers
of software artifacts, is recognized as being of special interest. The
evaluation of, and the provision of recommendations about, the
mathematical training of software developers is a necessary means to
achieve that adequacy.


In order to be effective in this direction, the first day of the
conference will be dedicated to the aforementioned special interest topic.
This Education Day will start with an introductory talk by the Education
Day Chairman, setting general objectives and guidelines, and proceed with
two sessions; each session will have an Invited Speaker, talking about
`mathematical education of the software engineer', and a Session
Moderator, controlling and animating the subsequent open discussion. The
following people will contribute to the Education Day along this plan:


Education Day Chairman:
            Hans-Jo"rg Kreowski (Univ. of Bremen, D)
Invited Speakers:
            David Lorge Parnas (McMaster Univ., Ontario, CDN)
            Jacques Printz (Cons. Nat. des Arts et Metiers, Paris, F)
Session Moderators:
            Yuri Gurevich (Univ. of Michigan, Ann Arbor, USA)
            Istvan Nemeti (Math. Inst. Acad. Sci., Budapest, H)


As a preliminary indication, the Education Day should aim at answering
such questions as:


* How do we educate software designers, implementors, users, maintainers?


* What should be the ideal mathematical background of a software designer,
    implementor, etc.?


* What do we need to add to the the conventional way of teaching mathematics
    to make it more acceptable, convenient, and useful to the software designer?




Tuesday 22 June
---------------


morning
-------


INVITED TALK Hajnal Andreka & Ildiko Sain (Math. Inst. Acad. Sci., Budapest):
                          General Methodology for Designing and Algebraizing Logics


COMMUNICATIONS


D. Pigozzi, A. Salibra (Iowa SU, U. Bari),
          Dimension-complemented lambda-abstraction algebras


T. Mossakowski (U. Bremen),
          Parametrized Recursion Theory -- A Tool for the Systematic Classification
          of Specification Methods


T. Sheard (Oregon GIST),
          Adding Algebraic Methods to Traditional Functional Languages by Using
          Reflection


D. Bolignano, M. Debabi (Bull France),
          A Coherent Type Inference System for a Concurrent, Functional and
          Imperative Programming Language


afternoon
---------


INVITED TALK Roger D. Maddux (Iowa State Univ., Dept. Math.):
                          Relation Algebra


COMMUNICATIONS


C. Brink, K. Britz, R.A. Schmidt (U. Cape Town, MPI Saarbru"cken),
          Peirce Algebras


R. Berghammer, A. Haeberer, G. Schmidt, P. Veloso (UB Neubiberg, PUC Rio de
Janeiro),
          Comparing Two Different Approaches to Products in Abstract Relation
          Algebras


M. Erwig (FU Hagen),
          Specifying Type Systems with Multi-Level Order-Sorted Algebra


P. Thiemann (U. Tu"bingen),
          An Overview of the SODA System




Wednesday 23 June
-----------------


morning
-------


INVITED TALK Mike Johnson (Macquarie Univ., Sydney):
                          Category Theory for Software Engineering


COMMUNICATIONS


G. Hill (Imperial College, London),
          Category Theory for the Configuration of Complex Systems


M. Cerioli, G. Reggio (U. Genova),
          Algebraic-Oriented Institutions


M. Navarro, F. Orejas, A. Sanchez (UPV San Sebastian, UPC Barcelona),
          On the Correctness of Modular Systems


H. Ehrig, F. Parisi-Presicce (TU Berlin, U. L'Aquila),
          Interaction between algebraic specification grammars and modular system
          design




afternoon
---------


INVITED TALK Steve Schneider (Oxford Univ., PRG):
                          Rigorous Specification of Real-Time Systems


COMMUNICATIONS


R.K. Shyamasundar (TIFR Bombay),
          Specification of Hybrid Systems in CRP


A. Cornell, J. Knaack, A. Nangia, T. Rus (BYU Utah, U. Iowa),
          Real-Time Program Synthesis from Specifications


E. Brinksma (U. Twente),
          On the coverage of partial validations


K. Drira, P. Azema (LAAS Toulouse),
          Verifying communication protocols via testing-projection




Thursday 24 June
----------------


morning
-------


INVITED TALK Rob van Glabbeek (Stanford Univ., Dept. CS):
                          Process Algebra


COMMUNICATIONS


P. Malacaria (LIENS Paris),
          Equivalences of transition systems in an algebraic framework


E. Battiston, V. Crespi, F. De Cindio, G. Mauri (U. Milano),
          Semantics frameworks for a class of modular algebraic nets


D. de Frutos-Escrig (UC Madrid),
          A Characterization of LOTOS representable Networks of Parallel Processes


R. Gorrieri, M. Roccetti (U. Bologna),
          Towards Performance Evaluation in Process Algebras




afternoon
---------


INVITED TALK Nicolas Halbwachs (INPG Grenoble):
                          Reactive Program Synthesis


COMMUNICATIONS


F. Laroussinie, S. Pinchinat, Ph. Schnoebelen (LIFIA-IMAG Grenoble),
          Translation Results for Modal Logics of Reactive Systems


A. Mokkedem, D. Mery (CRIN Nancy),
          On using a Composition Principle to Design Parallel Programs


I.N. Kaufman, S.L. Meira (UFPE Recife),
          Modal Action logic in A Practical Specification Language


N. Sabadini, S. Vigna, R.F.C. Walters (U. Milano, U. Sydney),
          A notion of refinement for automata




Friday 25 June
--------------


morning
-------


INVITED TALK Hubert Comon (Univ. Paris Sud, LRI, Orsay):
                          Constraint Solving in Term Algebras


COMMUNICATIONS


E.G. Wagner (IBM Yorktown Heights),
          The role of Memory in Object-Based and Object-Oriented Languages


R. Breu, M. Breu (TU MU"nchen, Siemens Nixdorf MU"nchen),
          Abstract and Concrete Objects -- An Algebraic Design Method for
          Object-Based Systems


X.-M. Lu, T.S. Dillon (La Trobe U. Australia),
          Towards an Algebraic Theory of Inheritance in Object Oriented Programming


M. Gogolla, I. Classen (TU Braunschweig, TU Berlin),
          An Object-Oriented Design for the ACT ONE Environment




afternoon
---------


INVITED TALK Giorgio Levi (Univ. Pisa, Dept. CS):
                          Logic Programming


COMMUNICATIONS


J.G. Martin, J.J. Moreno-Navarro (UP Madrid),
          A Formal Definition of an Abstract Prolog Compiler


V. Antimirov, A. Degtyarev (Aarhus U., Kiev U.),
          Completeness of Equational Definitions over Predefined Algebras


G.J. Loegel (U. Michigan),
          An Algebraic Approach to Modeling in Object-Oriented Software Engineering


E.A. Scott (U. Surrey),
          An Automated proof of the Correctness of a Compiling Specification




------------------------------------------------------------------------------


Venue
-----


The conference will take place in the BB-building of the University
Campus, the first building on the left after the main entrance to the
Campus. A registration and information desk will be located next to the
conference room.




Costs
-----


A table of registration fees is given in the registration form.


The member rate applies to members of a sponsoring organization, members
of the organizing and programme committees, and authors of accepted
papers. The student rate applies to full-time students.


The regular and member rates give right to the participants' edition of
the proceedings (see below), welcoming reception, lunches, coffee breaks,
and local transportation between the conference site and hotels in
Enschede.


The student rate gives right to the same privileges as the regular and
member rates, except for lunches.


In case of cancellation, fees will be refunded, except for a Dfl. 50.00
cancellation fee, provided a written request is received by the conference
secretariat before May 30, 1993.




Proceedings
-----------


Four-page abbreviated papers of the talks presented at the conference,
together with the invited talks, will be collected in the participants'
edition of the proceedings, which will be available to the attendees upon
their arrival in Twente.


The authors are expected to bring full versions of their papers at the
conference, for further review and inclusion in the AMAST'93 Proceedings,
to be published after the conference.


A special issue of `Theoretical Computer Science' will be dedicated to
this conference; participants will be invited to submit a full paper for
possible publication in this journal.




Modes of payment
----------------


Payment of fees must accompany the registration form.


Registrants who wish to pay by a credit card (VISA, EuroCard/MasterCard,
or American Express) may do so by filling out the details and signing the
appropriate part of the registration form.


Payment may also be made by transferring the applicable fee to the
following bank account:


ING-bank Enschede,
Boulevard 1945 n. 1
NL-7511AA Enschede
The Netherlands
account n. 66.48.88.003, to the name of:
University of Twente, Fac., Informatica
reason of payment: AMAST'93


Payment may also be made by a personal cheque or (international) money
order, which must be in Dutch guilders (Dfl) or US dollars.
Cheques and money orders should be payable to
``University of Twente, Fac. Informatica, AMAST'93''.




Lodging
-------


* On the University campus


Blocks of rooms have been reserved at the following hotels:


ICSC Drienerburg:
Dfl. 98 per night (single or double, breakfast included)


Logica}:
Dfl. 55 per night (two-person shared room, breakfast included)


Both hotels are located a few minutes walk from the conference site.
Because of the limited number of rooms available, priority for
accomodation at the ICSC Drienerburg is given to committee members and to
invited speakers,


while priority for accomodation at the Logica is given to
participants from currency-constrained countries.
Under this priority scheme, requests for accomodation on the campus
will be honoured on a first-come-first-serve basis.


* In Enschede


The following hotels are recommended:


Dish:
Dfl. 125 per night (single or double), breakfast (Dfl. 18.50) not included;
downtown center;
address: Boulevard 1945, 2, NL-7511AE Enschede
phone: + 31 53 866666, 863111 fax: + 31 53 353104


Memphis:
Dfl. 110 (single), Dfl. 175 (double), per night, breakfast included;
downtown center;
address: M.H. Tromplaan, 55, NL-7513AB Enschede
phone: + 31 53 318244, fax: + 31 53 301625


Park:
Dfl. 65 (single, without shower), Dfl. 85 (single), Dfl. 125 (double),
per night, breakfast included;
1.5km from downtown center, 2.5 km from university campus.
address: Hengelosestraat 200, NL-7521AL Enschede
phone: + 31 53 353855, 353625 fax: + 31 53 330155


* Reservations


Hotel reservations can be made via the conference secretariat, by filling
the relevant entries in the registration form, or directly for hotels in
Enschede. Inquiries should be directed to:


Mrs. Joke Lammerink, AMAST'93 Secretariat
University of Twente, Fac. Informatica
P.O. Box 217, NL-7500AE Enschede
phone: + 31 53 893680, fax: + 31 53 315283, e-mail: lammerin@cs.utwente.nl


All accomodation fees are to be paid directly to the hotel at check-out time.




Travel information
------------------


Most of the international flights arrive at Schiphol Airport (Amsterdam).


The Schiphol railway station is located just in front of the arrival
gates. Direct trains to Enschede leave from Schiphol every hour during
daytime. In addition, trains with destination Groningen/Leeuwarden may
also be taken; for these, a connecting train to Enschede waits in
Amersfoort at the other side of the same platform. International trains
directed to Germany via Hengelo (8 km from Enschede) are as well
convenient; the waiting time in Hengelo for the connecting train to
Enschede is of a few minutes only. In all cases, the travelling time is
approximately 2 hours and a half. The 2nd-class ticket price is Dfl.
32.50.


A cheap taxi ticket (called `treintaxi') can be bought at the Enschede
railway station upon arrival, by exhibiting the train ticket. The fare is
fixed (Dfl. 5.00 per person) for every destination in Enschede, but
usually the taxi is to be shared.


As an alternative to travelling by train, an Enschede-based taxi company
offers transportation by car between Schiphol and Enschede at about twice
the cost of the second class train ticket. Use of this so-called
`Schiphol service' is to be negotiated in advance; the conference
secretariat is ready to help for this purpose.


Twente is also served by a small airport, provided with domestic as well
as international flights. Participants planning to attend other
conferences or visit other places in Europe soon after AMAST'93 may
exploit this possibility; for example, there are regular direct flights
between Twente and Heraklion (Crete).




Further information
-------------------


Further information can be obtained from the AMAST'93 Secretariat:


Mrs. Joke Lammerink, Mrs. Charlotte Bijron, Mrs. Alice Hoogvliet-Haverkate,
University of Twente, Fac. Informatica
P.O. Box 217, NL-7500AE Enschede
phone: + 31 53 893680, fax: + 31 53 315283
e-mail: {lammerin | bijron | hoogvlie}@cs.utwente.nl




------------------------------------------------------------------------------


                                                  --------------------------
                                                  AMAST'93 Registration Form
                                                  --------------------------




            name: ____________ first name: ____________ middle initials: ______


            affiliation: ______________________________________________________


            mailing address: __________________________________________________
                                              __________________________________________________
                                              __________________________________________________


            phone: _______________ fax: _______________


            e-mail: _____________________________________




* Rates


Fees indicated below are in [ Dfl / US$ ].
Please indicate the applicable rate (and currency), and justify it if other
than `regular'.


                    | before May 30,1993 | after May 30, 1993
    --------+--------------------+-------------------
    regular | 280.00 / 150.00 | 350.00 / 190.00
    member | 185.00 / 100.00 | 230.00 / 125.00
    student | 90.00 / 50.00 | 110.00 / 60.00




Fee: ___________ Justification: ____________________________




* Hotel reservation


Please mark the desired accomodation (see `Lodging' section above):


    [ ] hotel on the campus:


                  [ ] ICSC Drienerburg
                  [ ] Logica -- I wish to share the room with: _____________________


    [ ] hotel in Enschede:


                  [ ] Dish
                  [ ] Memphis: [ ] single [ ] double
                  [ ] Park: [ ] single without shower [ ] single [ ] double


          arrival date: __________ departure date: __________


          no. of accompanying persons: ___


    [ ] no reservation requested




* Mode of payment


Please mark one of the following:


  [ ] VISA, [ ] EC/MC, [ ] AmEx, [ ] bank transfer, [ ] cheque, [ ] money order


Credit card information (if applicable):


    name on card: ____________________
    card number: ____________________
    expiration date: _________________


    signature: _______________________


                                                                                    Signature: _________________________
------------------------------------------------------------------------------




                                                                AMAST'93 Sponsors
                                                                -----------------




The AMAST'93 conference is made possible by the financial and organizational
support of the following institutions:


* Commission of the European Communities, within the ESPRIT Basic Research
    Programme


* Office of Naval Research


* University of Twente


* University of Iowa


* University of Stirling


* Institut National de Recherche en Informatique et Automatique (INRIA)


* University of Paris VII, LITP


* University of Paris Sud, LRI


* Concordia University, Montreal


* University of Ottawa


* University of Constantine


* University of Madrid


* University of Chicago




The AMAST'93 conference is held under the auspices and with the cooperation
of the following associations:


* European Association for Theoretical Computer Science (EATCS)


* Association for Symbolic Logic (ASL)


* British Computer Society/Formal Aspects of Computing Science (BCS/FACS)


* ESPRIT Basic Research Working Groups COMPASS and ASMICS




Cooperation is pending with the following associations:


* Association for Computing Machinery (ACM), SIGACT and SIGSOFT


* IEEE Computer Society
--

Return to the comp.compilers page.
Search the comp.compilers archives again.