From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1892 Path: news.gmane.org!not-for-mail From: Yuri Velinov Newsgroups: gmane.science.mathematics.categories Subject: LAST CFP: FORMAL STRUCTURES IN COMPUTER SCIENCE Date: Mon, 19 Mar 2001 11:51:47 +0200 Message-ID: <5351C3F6EB14D211B62D00A0C98F178D026869@compnt.cs.unp.ac.za> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" X-Trace: ger.gmane.org 1241018188 1062 80.91.229.2 (29 Apr 2009 15:16:28 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:16:28 +0000 (UTC) To: "'categories@mta.ca'" Original-X-From: rrosebru@mta.ca Thu Mar 22 22:35:33 2001 -0400 Return-Path: Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f2N268L01968 for categories-list; Thu, 22 Mar 2001 22:06:08 -0400 (AST) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Mailer: Internet Mail Service (5.5.2650.21) Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 18 Original-Lines: 56 Xref: news.gmane.org gmane.science.mathematics.categories:1892 Archived-At: 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 yuri@cs.unp.ac.za. 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 yuri@cs.unp.ac.za. 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.