Subject: categories: LAST CFP: FORMAL STRUCTURES IN COMPUTER SCIENCE

From: Yuri Velinov <[email-masked]>
Date: Mon, 19 Mar 2001 11:51:47 +0200

LAST CALL FOR PAPERS
FORMAL STRUCTURES IN COMPUTER SCIENCE

Organized by Y. Velinov, University of Natal

Invited Session of the SCI'2001 Conference
The Fifth World Multi-Conference on Systemics, Cybernetics and
Informatics,
Orlando, Florida, USA, July 22--25, 2001
Professor Nagib Callaos, General Chair

URL http://www.iiis.org/sci
-------------------------

TOPICS OF THE INVITED SESSION:

A rich variety of formal models are currently in use in 
every field of the contemporary information technology. 
New formal structures are frequently introduced to model 
real world situations. Old, sometimes almost forgotten, 
are revived finding new applications.
The aim of the present session is, 
instead of concentrating on a particular approach, 
to get together researchers from different areas 
to share ideas, approaches and their practical efficiency.

The scope of the session includes set-theoretical, 
relational, logical or categorical structures. 
More specific areas like Petri nets or Automata theory 
are also welcome.

SUBMISSION  
------------
Potential authors are asked to inform for their intention 
to submit a paper as soon as possible by sending a short 
abstract to  [email-masked].

Potential authors are expected to send the draft of their paper 
for reviewing before 12 April 2001 in PS (possibly zipped) 
or PDF format to [email-masked].

Instructions for preparing a paper for the session 
can be found at the conference site.

The invited sessions will be published by IIIS
(International Institute of Informatics and Systemics)
as books with multiple authors.

IMPORTANT DATES :
-----------------

April, 12, 2001. Deadline for submitting paper drafts.
April, 30, 2001. Deadline for acceptations.
May,   20, 2001. Deadline for sending the camera-ready papers.