Subject: FORTE'95 Call for demo and poster

From: [email-masked] (Daniel Ouimet)
Date: Wed, 9 Aug 1995 11:26:09 -0400

CALL FOR TOOL DEMONSTRATIONS AND
		      POSTER DISPLAYS AT
                           FORTE'95

             The 8th International IFIP Conference on
                   FORMAL DESCRIPTION TECHNIQUES
        for Distributed Systems and Communications Protocols
          Montreal (Quebec), Canada, 17-20 October 1995

OBJECTIVE AND SCOPE

FORTE'95 will address Formal Description Techniques (FDTs) applicable to
Distributed Systems such as Estelle, Lotos, SDL, ASN.1, Z, Automata,
Logics, Process, Algebras, etc., and will include industrial applicability
to Protocols and Distributed Systems. The conference will be a forum for
presentation of the state of the art in theory, application, tools and
industrialization of (FDTs) and will provide an excellent orientation for
newcomers.  Topics of interests include (but are not restricted to) the
following areas:
        -  FDT-based software engineering
        -  Design and implementation
        -  Methodologies and architectures
        -  Verification and validation
        -  Comparative analyses of FDTs
        -  Testing
        -  Extensions of FDTs
        -  Tools and tool support
        -  Real-time and probability aspects
        -  Practical experience and case studies
        -  Examples and analyses of formal descriptions
        -  Corporate strategic and financial consequences of FDT use.

Demonstrations of software tools and poster displays related to FORTE (FDT)
will be provided during the conference. Proposals for demonstrations
along with their hardware and software requirements and/or poster display,
should be submitted before September 18, 1995. A number of SUN workstations
running Unix will be available. Other kind of workstations could also be made
available if there is enough request.  After submission of your tool, you will
be contacted for more informations and then a confirmation of the availability
of hardware and software for your demo.

Submit you tool demonstration or/and poster display to Daniel Ouimet.
You will find a form to fill at the end of this message.
e-mail: [email-masked]
Tel.: (514) 343-6111 ext. 3506
	or leave message at (514) 343-6111 ext. 3520
Fax:  (514) 343-5834
Address:
	Dept. IRO
	Universite de Montreal
	C.P. 6128 Succ. Centre-Ville
	Montreal, Qc
	CANADA  H3C 3J7

_______________________________________

Please read the following form and fill it with your requirements.
Also if you have any question, please redirect them to my e-mail.
I will also ask you to send me a cartridge tape of your demo, so
I can install it in advance on the machine (at least two weeks before)
and try it before to be sure everything works fine. You can also
send it with FTP if you prefer at an address I will provide later.

-------------------------
SOFTWARE SHOULD BE RECEIVED AT THE LATEST ON OCTOBER 2, 1995.

Machines will be configured as standalone workstations (not connected to network).

Your software should already be compiled and linked (static library
ONLY, no dynamic references since we could not assure you that we have
the same library as you have), and ready to execute.
If you need special compiler or interpreter, please include it with the tool.

---------------------------
Form to be filled for tools
---------------------------
Name of tool:

Name of author:

Address of author: (e-mail + fax + phone)

Functions of the tool:

Requirements of the tool
Hardware type:
Operating system:
How much space needed on disk:
How much swap space/real memory:
Which interface it needs to operate: (Suntools) (OpenWindow) (X11R4)
Does it need to be loaded at a special path, if yes which one(s):

================================================================

---------------------------
Form to be filled for poster displays
---------------------------
Name of poster:
 
Name of author:
 
Address of author: (e-mail + fax + phone)
 
Abtract of the poster (2-5 lines):

Size of the poster display:
================================================================

-- 
Daniel Ouimet	Pavillon Math-Info, bureau 2227	[email-masked]
Universite de Montreal, Dept. IRO. C.P. 6128, succursale Centre-Ville
Montreal (Quebec) H3C 3J7, CANADA   (514) 343-6111 ext. 3506