Jeffery Zucker | 2 Aug 15:56 2005
Picon
Picon

(PN) Formal Methods 2006: CFP


           FM'06: 14TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS

                            21 - 27 August 2006
                   McMaster University, Hamilton, Canada
                         http://fm06.mcmaster.ca/

                   ANNOUNCEMENT AND CALL FOR SUBMISSIONS

FM'06 is the fourteenth in a series of symposia organized by Formal
Methods Europe, http://www.fmeurope.org, an independent association whose
aim is to stimulate the use of, and research on, formal methods for
software development.  The symposia have been notably successful in
bringing together innovators and practitioners in precise mathematical
methods for software development, industrial users as well as
researchers.  Submissions are welcomed in the form of original papers on
research and industrial experience, proposals for workshops and
tutorials, entries for the exhibition of software tools and projects, and
reports on ongoing doctoral work.

FM'06 welcomes all aspects of formal methods research, both theoretical
and practical.  We are particularly interested in the experience of
applying formal methods in practice.  The broad topics of interest of
this conference are:

* Tools for formal methods: tool support and software engineering,
  environments for formal methods.

* Theoretical foundations: specification and modelling, refining, static
  analysis, model-checking, verification, calculation, reusable domain
(Continue reading)

Ranko Lazic | 5 Aug 10:39 2005
Picon
Picon

(PN) AVoCS '05 [Call for Participation]

AVoCS '05
5th International Workshop on
Automated Verification of Critical Systems

University of Warwick, UK, 12-13 September 2005

Workshop programme and registration information are now available at:

http://www.dcs.warwick.ac.uk/~avocs05

Registration is by 21 August.

Invited speakers

Cliff Jones
Tackling Partial Functions in the Formal Development of Programs

James Worrell
On Metric Temporal Logic and Faulty Turing Machines

Special session on timed, stochastic and biological systems

Patricia Bouyer
Optimal Timed Games

Joost-Pieter Katoen
Could it Probably be Cheap?

Sara Kalvala
Application of Formal Methods to Biological Systems
(Continue reading)

Petrinetz Mailingliste | 5 Aug 13:33 2005
Picon

(PN) CfP: Conference on Application and Theory of Petri Nets (Petri Nets 2006)

Dear all,

we are very pleased to announce the call for papers for the
27th International Conference on Application and Theory of
Petri Nets and other models of concurrency, to be held in
Turku (Åbo), Finland in the fourth week of June 2006.

The Call for Papers may be accessed at:

http://www.informatik.uni-hamburg.de/TGI/PetriNets/meetings/pn2006/

Additional information about the conference will be published on
the conference web site:

http://www.cs.abo.fi/atpn2006/

This URL is included in the call for papers. The contact email
address for the conference is atpn2006 <at> abo.fi.

Best regards,
Frank Heitmann
Heiko Rölke
----
[[ Petri Nets World:                                                ]]
[[              http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ:                                                ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies:                                ]]
[[                               petrinet <at> informatik.uni-hamburg.de ]]

(Continue reading)

Devinder Thapa | 6 Aug 04:08 2005
Picon

(PN) PLC auto generation using Petri nets

Dear List Members,
 
Our lab is going to start a project about automatic generation of a PLC program using Petri nets tools. Can anyone suggest me the websites which tells us about detail requirement analysis,design and implementation of this type of projects.
 
Thanking you in advance.
 
 
regards.
----
[[ Petri Nets World:                                                ]]
[[              http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ:                                                ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies:                                ]]
[[                               petrinet <at> informatik.uni-hamburg.de ]]
Henrique Dezani | 11 Aug 05:08 2005
Picon

(PN) Model of Embedded Software (CPNTools/Coloured Petri Net)

Hi,
 
    I am working on the development of a compiler. This compiler receive a model of Coloured Petri Net, made in CPNTools, and return a Assembly code for the microcontroller Intel 8051. Could somebody give me a model of embedded software, in Coloured Petri Net, made in CPNTools?
 
Thanks,
 
Henrique Dezani
Master's degree student
FEIS/UNESP

 

----
[[ Petri Nets World:                                                ]]
[[              http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ:                                                ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies:                                ]]
[[                               petrinet <at> informatik.uni-hamburg.de ]]
Holger Giese | 14 Aug 13:57 2005
Picon

(PN) Call for Participation: Visual Modeling for Software Intensive Systems (VMSIS)

                   Call for Participation

                Workshop on Visual Modeling
            for Software Intensive Systems (VMSIS)

          at the IEEE Symposium on Visual Languages
           and Human-Centric Computing (VL/HCC'05)
            Dallas, Texas, USA, 24 September 2005
           http://vmsis05.upb.de/ (vmsis05 <at> upb.de)

Scope
=====

Visual modeling techniques play an important role in the design and
understanding of complex, software intensive systems. Block diagrams in
systems engineering and the Unified Modeling Language (UML) in software
engineering, are prominent examples of such visual modeling techniques.

Recently, integrated solutions have been proposed, such as UML 2.0,
which provide a set of concepts that had been originally invented for
systems engineering; an example is the “capsule” notation, which stems
from Real-Time Object-Oriented Modeling with an origin in the
telecommunications domain. The UML now adopts the ITU standards of MSC
(Message Sequence Charts) and SDL (Specification and Description
Language). The SysML extension of the UML for systems engineering starts
to address the question how to reflect the steadily increasing software
fraction of software intensive systems. These integration efforts
between the systems engineering and software engineering domains are
characterized by their informal and sometimes superficial nature. To
fully unleash their methodological potential in practice, however, a
full semantic integration of the employed visual modeling concepts and
their underlying models is required.

In addition, many software intensive systems such as telecom networks,
mobile systems, smart vehicles, ubiquitous systems, sensor networks,
medical applications, command and control systems are dependable systems
which can impact our daily lives or safety and security of our society.
Therefore, their design has to consider many dependability attributes,
such as real-time, security, safety, fault tolerance, software/hardware
reliability, availability, etc. Visualization is a powerful tool to
assist with the challenging task of design and development of dependable
software intensive systems.

This first workshop on visual modeling for software intensive systems
aims at bringing together researchers and practitioners to discuss and
study the application of visual modeling techniques to software
intensive systems, the achieved integration between the software and
systems engineering views, and the challenges of dependability.

Keynote: SysML with ARTiSAN Studio*
==================================

Manohar Rao, ARTiSAN Software Tools

Since its adoption in 1997, the Unified Modeling Language (UML) has
proved very popular with software engineers and has become the de facto
standard as a visual modeling language for software engineers. However,
this software focus of UML has discouraged many systems engineers from
adopting it in earnest. Those who did adopt UML developed strategies to
cope with its shortcomings. A common approach was to model additional
systems engineering concepts in other modeling tools. This made it
difficult to integrate the different viewpoints and achieve
traceability. Fortunately, with the release of UML 2.0 and the ensuing
extensions to it in SysML - the soon-to-be adopted Systems Modeling
Language - the systems engineering community has a real alternative to
systems modeling that provides a more integrated approach to systems and
software engineering. Since its inception in 1997, ARTiSAN has
endeavored to bridge the gap between systems and software engineering
modeling by adding systems engineering extensions to the UML and, as a
key member of the SysML initiative, is well poised to support these
emerging standards for systems and software modeling. This presentation
will provide a brief overview of the major extensions proposed by SysML,
and will summarize how ARTiSAN's latest release of its flagship product
Studio (version 6.0) takes the lead in supporting these concepts.

*This keynote speech is for both the Visual Modeling for Software
Intensive Systems workshop and the main conference. Therefore, the
keynote will be on Friday September the 23th at 8:45 am

Workshop Program
================

8:30 am – 9:00 am   Welcome

9:00 am – 10:00 am  Session: Visual Modeling

Application of Visual Modeling for Real-Time Communication Systems
Michael Groble, Michael Jiang, Jamel Marzouki, Andrij Neczwid, Allan Willey

Visual Model-Driven Development of Software Intensive Systems: A Survey
of available Techniques and Tools
Sven Burmester, Holger Giese

Enhancing the Vision Document in the Rational Unified Process with a
Visual Representation of Goals
Kendra Cooper, Lawrence Chung, Sam Courtney

10:00 am – 10:30 am Break

10:30 am – 11:10 am Session Model Management

Ensuring Consistency in a Multi-View Component Modelling Language for
Systems Design
Juan de Lara, Esther Guerra, Hans Vangheluwe

Automaticability  Generation of Transformation Rules for Model Management
Guanglei Song, Kang Zhang, Jun Kong

11:10 – 11:40 Break

11:40 pm – 12:20 pm     Session: Support for Visual Notations

A New Approach to Flexible, Trainingless Sketching
Florian Brieler, Mark Minas

Specifying Behavioral Semantics through Graph Transformation
Jun Kong, Kang Zhang, Jing Dong, Guanglei Song

12:20 am – 12:30 am Selection of Working Group Themes

12:30 am – 2:00 pm Lunch Break

2:00 pm – 2:40 pm   Session: Dependability

Safety Metrics for the Analysis of Software Architectures
Juan Pedro Silva, Miguel de Miguel, Javier Fernández Briones, Alejandro
Alonso

Extending Fault Tolerance Patterns by Visual Degradation Rules
Matthias Tichy, Holger Giese

2:40 pm – 3:00 pm Break

3:00 pm – 4:00 pm   Working Groups

4:00 pm– 4:30 pm Break

4:30 pm – 5:10 pm   Presentation of Working Group Results

5:10 pm – 5:20 pm Break

5:20 pm – 5:35 pm   Summary and Closing

Workshop Chairs
===============

Holger Giese, University of Paderborn, Germany

Ingolf H. Krüger, University of California, San Diego, USA.

Kendra M.L. Cooper, The University of Texas at Dallas, USA

Program Committee
=================

Manfred Broy, TUM, Germany

Kendra M.L. Cooper, University of Texas at Dallas, USA

Gregor Engels, University of Paderborn, Germany

Oystein Haugen, University of Oslo, Norway

Holger Giese, University of Paderborn, Germany

Gabor Karsai, Vanderbilt University, USA

Ferhat Khendek, Concordia Univeristy Montréal, Canada

Ingolf H. Krüger, University of California, San Diego, USA

Jochen Küster, IBM Research Zürich, Switzerland

Mark Minas, University of the Federal Armed Forces, Germany

Bernhard Rumpe, TU Braunschweig, Germany

Chris Salzmann, BMW CarIT, Germany

Andy Schürr, Darmstadt University of Technology, Germany

Thomas Stauner, BMW CarIT, Germany

Bhavani Thuraisingham, University of Texas at Dallas, USA

Michael von der Beeck, BMW, Germany

Guido Wirtz, University of Bamberg, Germany

I-Ling Yen, The University of Texas at Dallas, USA

Kang Zhang, University of Texas at Dallas, USA

Albert Zündorf, University of Kassel, Germany

----
[[ Petri Nets World:                                                ]]
[[              http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ:                                                ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies:                                ]]
[[                               petrinet <at> informatik.uni-hamburg.de ]]

S.C. Cheung | 20 Aug 09:23 2005
Picon
Picon

(PN) Call for Papers: International Journal of Web Services Research (Special Issue)

Call for Papers on Services Engineering
Special Issue of the International Journal of Web Services Research
http://www.cs.ust.hk/~scc/ijwsr.html

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

IMPORTANT DATES

Manuscript Submission Deadline: November 1 2005
Notification of Conditional Acceptance: January 1 2006
Submission of Revised Manuscript Deadline: March 1 2006
Notification of Acceptance: April 15 2006
Camera Ready Submission Deadline: May 31 2006

SUBMISSION SITE

https://csservice.cs.ust.hk/IJWSR

GUEST EDITORS

S.C. Cheung (scc <at> cs.ust.hk)
The Hong Kong University of Science and Technology

Jun Han (jhan <at> ict.swin.edu.au)
Swinburne University of Technology

CALL FOR PAPERS

With recent advances in network technologies and infrastructure, there 
is increasing demand for ubiquitous access to networked services. New 
challenges arise in the study of services engineering, an emerging 
research area devoted to the software engineering of service-oriented 
applications. Services Engineering is an important area of the Services 
Computing Discipline, as promoted by the IEEE Computer Society. Its goal 
is to formulate effective solutions to the quality development, 
deployment and management of these applications. The first International 
Workshop on Services Engineering (SEIW 2005) will be held at Melbourne 
in September 2005. This special issue aims to succeed the workshop and 
present the latest original research results or industrial experience in 
Services Engineering.

Topics of interest include, but not limited to, the following.

   Mathematical foundation of services engineering
   Service oriented architecture
   Services interoperability
   Services for ubiquitous applications
   Requirements engineering for services computing applications
   Design methodologies for services engineering
   Model driven architecture for services engineering
   Analysis and design patterns for services
   Refactorization of services
   Services verification and validation
   Services testing
   Quality of services and deployment issues
   Resource management for services computing
   Service oriented business process integration and management
   Dependability of services
   Survivability and reliability of services engineering
   Trust, security and privacy of services engineering
   Agent technologies for services engineering
   Context awareness and management
   Ontological and semantic matching of services
   Services engineering life cycle
   Evaluation and experimentation of services engineering
   Industrial case studies

SUBMISSION GUIDELINES

Authors should submit electronically a full paper in PDF format through 
the special issue submission web site 
(https://csservice.cs.ust.hk/IJWSR). The length of the submitted 
manuscript must not exceed 20-25 double-spaced, typed pages. Discussion 
and analysis should be complete but not unnecessarily long or 
repetitive. Each submission will be rigorously reviewed. Accepted papers 
will be published at a special issue of the International Journal of Web 
Services Research (IJWSR). The special issue is to be published in the 
fourth quarter of 2006.
----
[[ Petri Nets World:                                                ]]
[[              http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ:                                                ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies:                                ]]
[[                               petrinet <at> informatik.uni-hamburg.de ]]

suraj | 17 Aug 08:00 2005
Picon

(PN) SPIN editor

Dear Sir/Madam,

 

I was looking for working version of SPIN editor. I downloaded SPIN editor but its not working. Can anybody help me?

 

Thank you

 

With Regards

Suraj Dangol

Ajou University

----
[[ Petri Nets World:                                                ]]
[[              http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ:                                                ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies:                                ]]
[[                               petrinet <at> informatik.uni-hamburg.de ]]
iawtic | 22 Aug 08:52 2005
Picon
Picon

(PN) CFP: IEEE in cooperated International Conference on Intelligent Agents, Web Technologies and Internet Commerce

CFP: IEEE in cooperated International Conference on Intelligent Agents, Web Technologies and Internet Commerce

                            CALL FOR PAPERS

International Conference on Intelligent Agents, Web Technologies
                         and Internet Commerce
             http://www.ise.canberra.edu.au/conferences/iawtic05/                          

                             Jointly with
International Conference on Computational Intelligence for Modelling,
                    Control and Automation
              28 - 30 November 2005 Vienna, Austria
                         http://www.ise.canberra.edu.au/conferences/cimca05/

In co-operation with IEEE the conference Proceedings will be published as books 
                                    by IEEE in USA

International Conference on Intelligent Agents, Web Technology and Internet Commerce - IAWTIC'2005
provides a
 medium for researchers and practitioners to exchange and explore the issues and opportunities in the area
of 
intelligent agent, web technologies and Internet commerce. 

The conference will consist of both plenary sessions and contributory sessions, focusing on theory,
implementation 
and applications of intelligent agents, web technologies and Internet commerce.

Conference Proceedings will be published as books by IEEE (The Institute of Electrical and Electronic
Engineering) in USA 
and will be index world wide. All papers will be peer reviewed by at least two reviewers. 

Conference Topics Include (but not limited to): 

Intelligent Agents
^^^^^^^^^^^^^^^^^^
Knowledge Management
Intelligent Business Agents
Agent Architectures
Environments and Languages
Adaptation and learning for agents
Human and agent interaction
Interface agents
Mobile agents
Virtual agent-based marketplaces
Agents and uncertainty
The privacy issues for agents
Automated shopping and trading agents
Agent-oriented services
Social implications for agent
Conceptual modelling and design of Ontologies for agents
Agents and e-commerce
Legal aspects of agents in e-commerce
Performance measurement of e-commerce agents
Rational information agents and electronic commerce
Auction and negotiation for e-commerce agents 

Web Technologies 
^^^^^^^^^^^^^^^^
Web data mining and information retrieval
Agent-based trade-and mediating services
Teaching on Web
Virtual trading institutions 

Internet Commerce 
^^^^^^^^^^^^^^^^^
E-commerce applications of Knowledge Representation
Reasoning Techniques
Electronic Payment Systems
Internet Marketing
Intranets and Extranets
Electronic Payment Systems
Electronic Data Interchange
Supply Chain Management
Electronic Payment Systems
Internet-based Electronic Commerce
Virtual Communities/Community Networks
Logistics Issues for Electronic Commerce
Business Reengineering Issues for Electronic Commerce
Government Electronic Procurement and Service Delivery
Legal, Auditing or Security Issues for Electronic Commerce
Requirements Engineering Approaches for Electronic Commerce
Knowledge Discovery, Intelligent Information Systems
Knowledge Clustering
Classification 

Call for papers 
Papers will be selected based on their originality, significance, correctness, and clarity of
presentation. 
Papers (4 pages or more) should be submitted to the following e-mail or postal address: 

E-mail submission of draft papers to: iawtic <at> canberra.edu.au 

Postal Submission of draft papers to: 
IAWTIC'2003 Secretariat
School of Information Sciences and Engineering, 
University of Canberra, ACT, 
Canberra, 2616, Australia 

Papers should present original work, which has not been published or being reviewed for 
other conferences. Papers should be written in English. The name and affiliation of authors should be
omitted on the paper. A separate page must be included with each 
paper, containing, the names, affiliations, postal address and e-mail addresses of authors as well as the
address of contact author. E-mail submission of draft papers are encouraged. 

Important Dates
31 August 2005 Submission of draft papers 
30 September 2005 Notification of acceptance 
21 October 2005 Deadline for camera-ready copies of accepted papers 
28-30 November 2005 Conference sessions 

International Programme Committee
A. Agah, The University of Kansas, USA
J. P. Bigus, IBM T.J. Watson Research Center, USA
E. André, Universität Augsburg, Germany
Katia Sycara, Carnegie Mellon University, USA 
H. Adeli, The Ohio State University, USA 
B. Kosko, University of Southern California, USA
A. Kandel, University of South Florida, USA
T. Fukuda, Nagoya University, Japan
T. Baeck, Informatic Centrum Dortmund, Germany
J.Bezdek, University of West Florida, USA
M. Mohammadian University of Canberra, Australia
K. Hirota, Tokyo Institute of Technology, Japan
G. Dorffner, University of Vienna, Austria
E. Oja, Helsinki University of Technology, Finland
W. Pedrycz, University of Manitoba, Canada
H. R. Berenji, NASA Ames Research Center, USA 
R. C. Eberhart, Purdue University,USA
T. Shibata, MITI, Ministry of International Trade and Industry, Japan
H. Liljenstrom, Royal Institute of Technology, Sweden 
A. Y. Zomaya, University of Western Australia, Australia
F. Herrera, University of Granada, Spain 
A Jafari, Indiana University Purdue University Indianapolis, IUPUI, USA
A. Bulsari, AB Nonlinear Solutions OY, Finland 
B. Bignall, Monash University, Australia 
J. D. Pinter, Dalhousie University, Canada 
V. Piuri, Politecnico di Milano, Italy 
T. Furuhashi, Nagoya University, Japan 
A. Aamodt, Norwegian University of Science and Technology, Norway
J. Fernandez de Cañete, University of Malaga, Spain
W. Duch, Nicholas Copernicus,University, Poland
E. Tulunay, Middle East Technical University, Turkey
L. Guan, University of Sydney, Australia
C. Kuroda, Tokyo Institute of Technology, Japan
T. Yamakawa, Kyushu Institute of Technology, Japan
J. Liu, Hong Kong Baptist University, Hong Kong
A. Namatame, National Defense Academy, Japan

----
[[ Petri Nets World:                                                ]]
[[              http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ:                                                ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies:                                ]]
[[                               petrinet <at> informatik.uni-hamburg.de ]]

cimca | 22 Aug 08:52 2005
Picon
Picon

(PN) CFP: IEEE in cooperated International Conference on Computational Intelligence for Modelling, Control and Automation

CFP: IEEE in cooperated International Conference on Computational Intelligence for Modelling, Control
and Automation
                           CALL FOR PAPERS

International Conference on Computational Intelligence for Modelling,
                    Control and Automation
              28 - 30 November 2005 Vienna, Austria
                         http://www.ise.canberra.edu.au/conferences/cimca05/

In co-operation with:
IEEE Computational Intelligence Society
Conference Proceedings will be published as books by IEEE in USA

Sponsored by:
European Society for Fuzzy Logic and Technology - EUFLAT
International Association for Fuzzy Set in Management and Economy - SIGEF 
Japan Society for Fuzzy Theory and Intelligent Informatics - SOFT
Taiwan Fuzzy Systems Association - TFSA
World Wide Web Business Intelligence - W3BI
Hungarian Fuzzy Association - HFA 
University of Canberra

                             Jointly with
International Conference on Intelligent Agents, Web Technologies
                         and Internet Commerce
             http://www.ise.canberra.edu.au/conferences/iawtic05/                          

Honorary Chair:
Lotfi A. Zadeh, University of California, USA
Stephen Grossberg, Boston University, USA

The international conference on computational intelligence for modelling, control and automation will
be held in Vienna, 
Austria on 28 to 30 November 2005. The conference provides a medium for the exchange of ideas between
theoreticians and 
practitioners to address the important issues in computational intelligence, modelling, control and
automation. 
The conference will consist of both plenary sessions and contributory sessions, focusing on theory,
implementation 
and applications of computational intelligence techniques to modelling, control and automation. For
contributory 
sessions, papers (4 pages or more) are being solicited. Several well-known keynote speakers will address the
 conference. 

Conference Proceedings will be published as books by IEEE (The Institute of Electrical and Electronic
Engineering) in USA 
and will be index world wide. All papers will be peer reviewed by at least two reviewers. 
Topics of the conference include, but are not limited to, the following areas:

Modern and Advanced Control Strategies:
Neural Networks Control,
Fuzzy Logic Control,
Genetic Algorithms and Evolutionary Control,
Model-Predictive Control,
Adaptive and Optimal Control,
Intelligent Control Systems,
Robotics and Automation,
Fault Diagnosis,
Intelligent agents,
Industrial Automations

Hybrid Systems:
Fuzzy Evolutionary Systems,
Fuzzy Expert Systems,
Fuzzy Neural Systems,
Neural Genetic Systems,
Neural-Fuzzy-Genetic Systems,
Hybrid Systems for Optimisation

Data Analysis, Prediction and Model Identification:
Signal Processing,
Prediction and Time Series Analysis,
System Identification,
Data Fusion and Mining,
Knowledge Discovery,
Intelligent Information Systems,
Image Processing, and Image Understanding,
Parallel Computing applications in Identification & Control,
Pattern Recognition,
Clustering and Classification

Decision Making and Information Retrieval:
Case-Based Reasoning,
Decision Analysis,
Intelligent Databases & Information Retrieval,
Dynamic Systems Modelling,
Decision Support Systems,
Multi-criteria Decision Making,
Qualitative and Approximate-Reasoning

Paper Submission
Papers will be selected based on their originality, significance, correctness, and clarity of
presentation. Papers (4 pages or more) should be submitted to the following e-mail or the following
address: 
CIMCA'2005 Secretariat
School of Information Sciences and Engineering
University of Canberra, Canberra, 2616, ACT, Australia
E-mail: cimca <at> canberra.edu.au

Electronic submission of papers (either by E-mail or through conference website) is preferred. Draft
papers should present original work, which has not been published or being reviewed for other conferences.

Important Dates
31 August 2005 Submission of draft papers
30 September 2005 Notification of acceptance
21 October 2005 Deadline for camera-ready copies of accepted papers
28-30 November 2005 Conference sessions

Special Sessions and Tutorials
Special sessions and tutorials will be organised at the conference. The conference is calling for special
sessions and tutorial proposals. All special session proposals should be sent to the conference chair
(by email to: masoud.mohammadian <at> canberra.edu.au) on or before 5th of August 2005. CIMCA'05 will also
include a special poster session devoted to recent work and work-in-progress. Abstracts are solicited
for this session. Abstracts (3 pages limit) may be submitted up to 30 days before the conference date.

Visits and social events
Sightseeing visits will be arranged for the delegates and guests. A separate program will be arranged for
companions during the conference.

Further Information
For further information either contact cimca <at> ise.canberra.edu.au or see the conference homepage at: http://www.ise.canberra.edu.au/conferences/cimca05/default.htm

Organising Committee Chair:
Masoud Mohammadian, University of
Canberra, Australia

International Program Committee:
H. Adeli, The Ohio State University, USA
W. Pedrycz, University of Manitoba, Canada
A. Agah, The University of Kansas, USA
T. Fukuda, Nagoya University, Japan
J. Bezdek, University of West Florida, USA
R. C. Eberhart, Purdue University, USA
F. Herrera, University of Granada, Spain
T. Furuhashi, Nagoya University, Japan
A. Agah, The University of Kansas, US
E. André, Universität Augsburg, Germany
A. Kandel, University of South Florida, USA
J. P. Bigus, IBM T. J. Watson Research Center, USA
J. Liu, Hong Kong Baptist University, Hong Kong
A. Namatame, National Defense Academy, Japan
K. Sycara, Carnegie Mellon University, USA
B. Kosko, University of Southern California, USA
T. Baeck, Informatic Centrum Dortmund, Germany
K. Hirota, Tokyo Institute of Technology, Japan
E. Oja, Helsinki University of Technology, Finland
H. R. Berenji, NASA Ames Research Center, USA
H. Liljenstrom, Royal Institute of Technology, Sweden
A. Bulsari, AB Nonlinear Solutions OY, Finland
J. Fernandez de Cañete, University of Malaga, Spain
W. Duch, Nicholas Copernicus University, Poland
E. Tulunay, Middle East Technical University, Turkey
C. Kuroda, Tokyo Institute of Technology, Japan
T. Yamakawa, Kyushu Institute of Technology, Japan
J. Liu, Hong Kong Baptist University, Hong Kong
A. Namatame, National Defense Academy, Japan
A. Aamodt, Norwegian University of Science & Technology, Norway

International Liaison:
Canada and USA Liaison:
Robert John, De Montfort University, UK
Nasser Jazdi, Institut für Automatisierungs- und
Softwaretechnik, Germany

Europe Liaison:
Dr. Eng. Djamel Khadraoui, Centre de Recherche Public, Luxembourg 
Frank Zimmer, SES ASTRA, Luxembourg

Asia Liaison:
Renzo Gobbin, University of Canberra, Australia
R. Amin Sarker, ADFA, Australia

Local Arrangements and
Public Relation:
Zohreh Pahlavani, AVIP, Austria
C Meier, Australia

Publicity:
C. Meier, Australia
Zohreh Pahlavani, AVIP, Austria

Publication:
Masoud Mohammadian, Australia

In cooperation with:
IEEE Computational Intelligence Society
Conference Proceedings will be published as books by IEEE in USA
University of Canberra, (Masoud Mohammadian)
Universidad Carlos III de Madrid, (José-Luis Fernández-Villacañas Martín)
University of Guelph, (Simon X. Yang)

----
[[ Petri Nets World:                                                ]]
[[              http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ:                                                ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies:                                ]]
[[                               petrinet <at> informatik.uni-hamburg.de ]]


Gmane