AMAST Mail 1996
[Prev][Next][Index]

Call for demos

Dear all,

in connection with the Seventh International Conference on Concurrency
Theory some demonstrations of academic tools are organized. You find below
the call for demonstrations. Further details on the conference and on the
demonstrations are available by WWW at the location

        http://www.di.unipi.it/~ugo/CONCUR96/

I sincerely apologize if you receive more than one copy of this message.

Best wishes,

Corrado Priami


==============================================================================
                          CONCUR96 - CALL FOR DEMOS
                               August 26 - 29
                                Pisa - ITALY
==============================================================================

In connection with the international conference CONCUR'96, some
sessions devoted to demonstrations of (semi-)automatic academic tools for the
analysis and verification of concurrent systems are organized.
We have a limited number of slots available, thus we will make a selection
of the demonstrations on the basis of proposals prepared as specified below.
CONCUR'96 and Demonstrations will take place at Pisa, Italy, on
August 26-29, 1996.

Authors are invited to submit proposals according to the following format

- names, affiliations and addresses of the authors
- an abstract of one page describing goals and functionalities of the tool
- a precise description of the hardware and the software needed

Proposals that are not prepared according to the above guidelines will not be
considered for selection.

Proposals for academic tool demonstrations must be sent to
(electronic submissions are solicited)

        Corrado Priami
        Dipartimento di Informatica
        Universita' di Pisa
        Corso Italia, 40
        56100 PISA - Italy
        Tel. (+39) 50 887 268
        Fax  (+39) 50 887 226
        Email: priami@di.unipi.it

Important dates:
        Deadline for submission:            June 10 1996
        Notification of acceptance:         July  1 1996

For any information, please send requests to priami@di.unipi.it
=============================================================================


&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&

   Corrado Priami
   Universita' di Pisa                  Tel.: +39 (0)50 887268
   Dipartimento di Informatica          Tlx.: 590291 DIPISA I
   Corso Italia, 40                     Fax:  +39 (0)50 887226
   I-56125 PISA, Italia
[ AMAST Mail 1996 | Latest Update | AMAST Mail Meta-Index | AMAST ]