Martin Schwarick | 2 Aug 2010 13:14
Picon

Extended deadline for long papers AWPN 2010

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

        		17. Workshop ALGORITHMEN UND WERKZEUGE FÜR PETRINETZE
                        07. und 08. Oktober 2010 in Cottbus

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

Termine:
---------------

Einsendeschluss für lange Beiträge:    1.        September   2010
Einsendeschluss für kurze Beiträge:    1.        September   2010
Anmeldung:                            15.      	 September   2010
Workshop:                             07./08.    Oktober     2010

Ausrichtung:
----------------------

Veranstalter:
                            Fachgruppe "Petrinetze und verwandte
Systemmodelle" der GI

Ausrichter:
                            Monika Heiner
                            Brandenburgische Technische Univeristät Cottbus
                            Walther-Pauer-Str. 2
                            03046 Cottbus
Ziel:
-------

(Continue reading)

Diego Calvanese | 3 Aug 2010 10:50
Picon

In Bressanone (Italy) - 6th Workshop on Semantic Web Applications and Perspectives (SWAP2010) - 2nd Call for Papers

Apologies for multiple copies.

                          CALL FOR PAPERS

     ==========================================================
     6th Workshop on Semantic Web Applications and Perspectives
                             SWAP 2010
     ==========================================================
                      Bressanone-Brixen, Italy
                       September 21-22, 2010
           http://www.inf.unibz.it/krdb/events/swap2010/

               Organized by the KRDB Research Centre
                  Free University of Bozen-Bolzano

Collocated with the 4th Int. Conf. on Web Reasoning and Rule Systems
                http://www.rr-conference.org/RR2010/

     ==========================================================
     ****  SUBMIT YOUR MOST INTERESTING 2009-2010 PAPER!!  ****
     ****                        AND                       ****
     **** SHARE YOUR IDEAS WITH THE SEMANTIC WEB COMMUNITY ****
     ==========================================================

The Semantic Web is currently one of the most interesting and
ambitious challenges that the scientific and technological community
is facing. While great progresses have been made in terms of
consolidation of base philosophy and infrastructure, new issues,
technologies, and tools are emerging.

(Continue reading)

Benoit Caillaud | 4 Aug 2010 10:58
Picon
Picon
Favicon

Call for Participation : FIT 2010, Foundations of Interface Technologies, Paris, August 30th 2010


           Foundations of Interface Technologies                  
             FIT 2010 - Call for Participation                    
         Workshop at CONCUR 2010 - Paris, France                  
                   Monday 30th August 2010                        

Please visit http://www.artist-embedded.org/artist/-FIT-2010-.html 

SCOPE
-----

FIT stands for Foundations of Interface Technologies.  Component-based
design is widely considered as a major  approach to developing systems
in a time  and cost  effective way. Central  in this  approach  is the
notion of an  interface.  Interfaces summarize  the externally visible
properties of a component and are seen as a key to achieving component
interoperability  and to predict  global system behavior  based on the
component  behavior.  To capture  the  intricacy of  complex  software
products, rich interfaces have been proposed.  These interfaces do not
only specify  syntactic properties,  such as the signatures of methods
and  operations,  but also  take into  accoun t behavioral and  extra-
functional  properties,  such  as  quality  of  service,  security and
dependability.  Rich  interfaces  have  been proposed  for describing,
e.g.,  the legal sequences  of messages or  method  calls  accepted by
components,  or  the  resource  and  timing  constraints  in  embedded
software.   The  development   of  a   rigorous   framework   for  the
specification and analysis of rich interfaces is challenging.  The aim
of this workshop  is to bring together  researchers who are interested
in the formal underpinnings of interface technologies.

(Continue reading)

Selmin Nurcan | 6 Aug 2010 08:15
Picon
Favicon

RCIS'2011: Call for Papers


Dear Colleague,

Please find underneath the Call for Paper for the Fifth IEEE
International Conference on Research Challenges in Information Science
(RCIS'2011).

We invite you to submit your work in RCIS'2011 before December 10th.

RCIS 2011 is a conference of RCIS CONFERENCE SERIES Ouarzazate (2007),
Marrakech (2008), Fez(2009), Nice (2010).

*RCIS'2011 Proceedings will be published by IEEE* (Print Version ISBN
#978-1-4244-8671-7).

Visit http://www.ieee.org/conferences_events/index.html and type RCIS
for the conference keyword.

We will be also grateful to you for advertising RCIS'2011 and inviting
your colleagues and/or research students to submit their work.

I hope to meet you in Guadeloupe.
Best regards,

Selmin Nurcan
RCIS'2011 Publicity Chair

***********************************************************************
(We apologize if you are receiving duplicates through different channels...)
***********************************************************************
(Continue reading)

Petrinetz Mailingliste | 6 Aug 2010 19:20
Picon

2nd CfP: STACS 2011

Posted on behalf of Thomas Schwentick (thomas.schwentick <at> udo.edu).

************************************************************************
28th International Symposium on Theoretical Aspects of Computer Science

                STACS 2011 - SECOND CALL FOR PAPERS

                March 10-12, 2011, Dortmund, Germany

              Deadline for submission:  September 24, 2010
   Submission site: http://www.easychair.org/conferences/?conf=stacs2011

                        http://stacs2011.de/
************************************************************************

SCOPE
********
Authors are invited to submit papers presenting original and
unpublished research on theoretical aspects of computer
science. Typical areas include (but are not limited to):

* Algorithms and data structures, including: parallel and distributed
   algorithms, computational geometry, cryptography, algorithmic  
learning
   theory;
* Automata and formal languages;
* Computational and structural complexity;
* Logic in computer science, including: semantics, specification, and
   verification of programs, rewriting and deduction;
* Current challenges, for example: biological computing, quantum
(Continue reading)

maciej koutny | 7 Aug 2010 22:23
Picon
Picon
Favicon

Call for Participation: MeCBIC 2010

Call for Participation
================

MeCBIC 2010
4th Workshop on Membrane Computing and Biologically Inspired Process Calculi
23 August 2010, Jena, Germany

http://profs.info.uaic.ro/~mecbic/mecbic2010/

The 4th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2010) will take
place in Jena on 23 August 2010 as a related event of CMC11, the International Conference on Membrane Computing.

Biological membranes play a fundamental role in the complex reactions which take place in cells of living
organisms. The importance of this role has been considered in two different types of formalisms recently
introduced. Membrane systems were introduced as a class of distributed parallel computing devices
inspired by the observation that any biological system is a complex hierarchical structure, with a flow
of materials and information that underlies their functioning. The modeling and the analysis of
biological systems has also attracted the interest of the process algebra research community. Thus the
notions of membranes and compartments have been explicitely represented in a family of calculi, such as
Ambients and Brane Calculi. A cross fertilization of the two research areas has rece
 ntly started. A deeper investigation of the relations between these related formalisms is interesting,
as it is important to understand the similarities and the differences.

The main aim of the workshop is to bring together researchers working in membrane computing, in
biologically inspired process calculi (ambients, brane calculi, etc.) and in other related fields to
present recent results and to discuss new ideas concerning such formalisms, their properties and
relationships. Original research papers (including significant work-in-progress) on the membrane
systems or biologically inspired process calculi are sought. Papers on the relationship between
membrane systems and biologically inspired process calculi are particularly welcome. Related formal
approaches in which cell compartments play an important role are also within the scope of the workshop.
(Continue reading)

jimenez eleazar | 8 Aug 2010 07:24
Picon
Favicon

Question about State Space Search

Dear all Petri-nauts.

For reference and academic purposes, it came to my need to get the paper proving the evidence on this State Space Search issue:
 
In the state space analysis of Petri nets, we usually consider a single transition
firing rule. The reason for not considering larger steps (firing more than one transition
jointly) is: "every marking that can be reached by a step of transitions can
as well be reached through a sequence of single transition occurrences."
 
I will appreciate if someone can tell me the original paper with this evidence (or if possible, provide me an e-copy).

Eleazar Jiménez Serrano (PhD)
 
<div>
Dear all Petri-nauts.<br><br>
For reference and academic purposes, it came to my need to get the paper proving the&nbsp;evidence on this State Space Search issue:<br>
&nbsp;<br>
In the state space analysis of Petri nets, we usually consider a single transition<br>firing rule. The reason for not considering larger steps (firing more than one transition<br>jointly) is: "every marking that can be reached by a step of transitions can<br>as well be reached through a sequence of single transition occurrences."<br>
&nbsp;<br>
I will appreciate if someone can tell me the original paper with this evidence (or&nbsp;if possible,&nbsp;provide me an e-copy).<br><br>Eleazar Jim&eacute;nez Serrano (PhD)<br>
&nbsp;<br>
</div>
Kunihiko HIRAISHI | 9 Aug 2010 03:11
Picon

CFP: PETRI NETS 2011, 32nd International Conference on Application and Theory of Petri Nets and Concurrency

*** Apologies for multiple copies due to cross-posting ***
*** Please forward to colleagues who might be interested ***

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

PETRI NETS 2011
32nd International Conference on Application and Theory of
Petri Nets and Concurrency
June 20-24, 2011, Kanazawa, Japan

Collocated with ACSD 2011:
11th International Conference on Application of Concurrency to System Design

Common web page: http://www.jaist.ac.jp/acsd-petrinets2011/
Contact e-mail: petrinets2011 <at> jaist.ac.jp

The web page of the call for papers:
http://www.informatik.uni-hamburg.de/TGI/PetriNets/meetings/pn2011/

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

Important Dates:
-----------------------------------------------------------
Submission of Papers:   January 5, 2011
Notification:           March 1, 2011
Final Version Due:      April 1, 2011
Workshops & Tutorials:  June 20-21, 2011
Conference:             June 22-24, 2011

The deadline for submission of papers is STRICT. However, if you submit the
title page by January 5, it is sufficient to submit the full paper by
January 10.

Some of the best papers accepted for the conference will be invited as
submissions to a special issue of the Fundamenta Informaticae journal.

Topics
-----------------------------------------------------------
Topics specific to Petri Nets

 * System design using nets,
 * Analysis and synthesis, structure and behaviour of nets,
 * Relationships between Petri Nets and other approaches,
 * Net-based semantical, logical and algebraic calculi,
 * Symbolic net representation (graphical or textual),
 * Computer tools for nets,
 * Experience with using nets, case studies,
 * Higher-level net models,
 * Timed and stochastic nets,
 * Standardisation of nets,
 * Applications of nets to different kinds of systems and application
   fields, e.g.:
   flexible manufacturing systems, real-time systems, embedded systems,
   defense systems, biological systems, health and medical systems,
   environmental systems, hardware, telecommunications, railway networks,
   office automation, workflows, supervisory control, protocols and
   networks, Internet, e-commerce and trading, programming languages,
   performance evaluation, operations research.

General topics related to concurrency

 * Model checking and verification of distributed systems,
 * Verification of infinite-state or parametric systems,
 * Causality/partial order theory of concurrency,
 * Educational issues related to concurrency,
 * New issues and developments in the theory of concurrency,
 * Modelling of hardware and biological systems.

Paper Submissions
-----------------------------------------------------------
Two kinds of papers can be submitted:

* Regular papers (max 20 pages) describing original results pertaining to
the development of the theory of Petri Nets and distributed and concurrent
systems in general, new results extending the applicability of Petri Nets,
or case studies, application and experience reports to the practical
use of Petri Nets and concurrency. For application-oriented papers, 
authors are encouraged to consult the document:
 http://www.informatik.uni-hamburg.de/TGI/PetriNets/sc-info/docs/
     ApplicationFormat.pdf.

* Tool papers (max 10 pages) describing a computer tool based on Petri Nets
(not an application of the tool or the theory behind the tool). For more
information, please see the document:
 http://www.informatik.uni-hamburg.de/TGI/PetriNets/sc-info/docs/
      ToolFormat.pdf.
The tool should be available for use by other groups (but not necessarily
for free). The submission should indicate how the reviewers can get access
to the tool (this must be for free). The tool will be demonstrated in the
Tool Exhibition, in addition to being presented in a conference talk.

Submitted papers must:

* Be contributions that have not been published or submitted to other
conferences/journals before or in parallel with this conference.
* Clearly state the problem being addressed, the goal of the work, the
results achieved, and the relation to other work.
* Be in English and in the Springer LNCS-format:
 http://www.springer.de/comp/lncs/authors.html.
* Adhere to the page limit for the relevant category (see above).
* Be sent electronically (as a PDF file) no later than January 5, 2011
using the website:
 http://www.easychair.org/conferences/?conf=petrinets2011.

The title page must:

* Contain a short abstract and a classification of the topics covered,
preferably using the list of topics above.
* Clearly indicate whether the paper is submitted as a regular paper or
tool paper. Authors will be notified about the outcome of the evaluation
procedure by March 1, 2011. Submissions violating the above requirements
may be immediately rejected by the PC Chairs.

Tool Exhibition
-----------------------------------------------------------
An exhibition of Petri net tools takes place on Tuesday or Wednesday
afternoon/evening. It consists of informal demonstrations for small
groups/individuals, and there are no scheduled talks.
Requests for participation in the tool exhibition must be sent to the Tool
Exhibition Chair before June 1, 2011. They should include a link
to the web pages for the tool (or a short description of the tool).
The demonstrators bring their own machines, while the organisers may be
requested to give access to the Internet.

Workshops and Tutorials
-----------------------------------------------------------
The conference takes place Wednesday to Friday. The days before the
conference also offer a wide range of activities.

The Petri Net Course takes place Sunday, Monday, and Tuesday. It offers a
thorough introduction to Petri Nets and consists of four parts:
Basic Net Classes, Coloured Petri Nets, Timed and Stochastic
Petri Nets, and Applications of Petri Nets. If all four parts are followed,
3 ECTS credit points can be awarded to a participant. For further
information please contact the Workshop and Tutorial Co-Chairs.

The Workshops and Advanced Tutorials take place on Monday and Tuesday.
A detailed description of the tutorials and workshops will be available via
the conference web pages.

It is also possible to arrange Meetings and Courses related to Petri Nets.
Submissions for such activities must contain a 2-5 page description.
They must be received by the PC-chairs no later than January 5, 2011.

Organisation
-----------------------------------------------------------

Steering Committee:

W. van der Aalst, The Netherlands
J. Billington, Australia
G. Ciardo, USA
J. Desel, Germany
S. Donatelli, Italy
S. Haddad, France
K. Hiraishi, Japan
K. Jensen, Denmark (chair)
J. Kleijn, The Netherlands
M. Koutny, UK   C. Lin, China
W. Penczek, Poland
C.A. Petri, Germany (honorary member)
L. Pomello, Italy
W. Reisig, Germany
G. Rozenberg, The Netherlands
M. Silva, Spain
A. Valmari, Finland
A. Yakovlev, UK

Program Committee:

G. Balbo, Italy
M. Bednarczyk, Poland
J. Billington, Australia
M. Bonsangue, The Netherlands
D. Buchs, Switzerland
J. Carmona, Spain
P. Chrzastowski-Wachtel, Poland
G. Ciardo, USA
J.M. Colom, Spain
J. Desel, Germany
R. Devillers, Belgium
J. Esparza, Germany
D. Fahland, Germany
Q.W. Ge, Japan
A. Giua, Italy
L. Gomes, Portugal
S. Haddad, France
M. Heiner, Germany
K. Hiraishi, Japan
R. Janicki, Canada
E. Kindler, Denmark
L.M. Kristensen, Norway (co-chair)
J. Lilius, Finland
C. Lin, China
D. Moldt, Germany
M. Mukund, India
W. Penczek, Poland
L. Petrucci, France (co-chair)
L. Pomello, Italy
O-H. Roux, France
N. Sidorova, The Netherlands
S. Taoka, Japan
V. Valero, Spain
A. Valmari, Finland
A. Yakovlev, UK

Workshop and Tutorial Co-Chairs:
Jetty Kleijn, The Netherlands,
Wil van der Aalst, The Netherlands

Organising Committee Chair:
Kunihiko Hiraishi, Japan

Tools Exhibition Chair:
Satoshi Yamane, Japan

Publicity Chair:
Koichi Kobayashi, Japan

***

Kunihiko Hiraishi
School of Information Science,
Japan Advanced Institute of Science and Technology
1-1 Asahidai Nomi-shi Ishikawa, 923-1292 Japan
TEL +81 761 51 1281, FAX +81 761 51 1149
E-mail: hira(AT)jaist.ac.jp

philippe.geril | 10 Aug 2010 16:07
Favicon

MESM'2010, December 1-3, 2010, Alexandria, Egypts, 1ST Call for Papers

 

MESM'2010
11th International
Middle Eastern Simulation Multiconference

December 1 - 3, 2010
FIRST CALL FOR PAPERS

Alexandria, Egypt

Organized by
The European Technology Institute

Sponsored by:
EUROSIS
de Montfort University
IEEE UKRI-Spc
The Arab Science and Technology Foundation

Conference website

CONFERENCE AIM

The MESM'2010 International Middle Eastern Multiconference on Simulation and Modelling is the eleventh annual conference in the MESM series and is organized by De Montfort University and members of the European Simulation Society. One of the major aims of this conference is to bring people from various parts of the Middle East in contact with colleagues working in modeling & simulation from around the world (e.g..Europe, USA, Canada, Far East etc.).

The other aim is to establish a future local technical society in the Middle East and to integrate these into a wider Network of Simulation Excellence. This conference, is sponsored by, De Montfort University (UK), Ghent University, EUROSIS, ETI, IEEE UKRI - SPC and The Arab Science and Technology Foundation.

CONFERENCE THEMES

Modelling Methodology
Continuous, discrete and hybrid simulation methodology, Simulation environments, Multi-paradigm simulation, Simulation uncertainty, Simulation visualisation, Integration of simulation and geographical information systems, Object-oriented programming and Languages, Multi-paradigm Languages, Software comparisons. Numerical Methods for Simulation, Mathematical Analysis in Simulation, Parallel Simulation Methodology, Discrete Event Simulation, Simulation Fidelity and Performance Evaluation, Advanced Training and Simulation Concepts for Education, Multiparameter Sequential Optimization Methods in Simulation, Verification, Validation, and Control in Complex Systems Simulation, Distributed and Parallel Systems Simulation, Combined Continuous and Discrete Event Models, Symbol Analysis and Manipulation of Equation-Based Models, Simultaneous vs Modular Simulation Methods, Standardization Issues.

Modelling Tools
Simulation languages; Object oriented modeling languages; UML and simulation; Model libraries and modularity; Component-oriented simulation; Special simulation tools and environments; Meta-models and automatic model generation; Graphical simulation environments and simulation software tools; Intelligent simulation environments; Database management of models and results; Java and Web enabled simulations, UML and OO Simulation.

Analysis Methodology
Advanced Input Modeling, Simulation Optimization, Cross Entropy, Output Analysis, Input Modeling, Simulation Optimization, Input Analysis, Difficult Queueing Problems, New Output Analysis.

Simulation of Networks and Communication
Modeling and simulation of analogue circuits; Modeling and simulation of digital circuits at switch and/or at logic level; Hardware accelerators for circuit-level simulation; Hardware accelerators for logic simulation; Distributed simulation of circuits, components, and systems; Modeling and simulation of computer systems; Fault simulation; Parallel and distributed systems; High-speed networks; Network simulation software; Computer and telecommunication systems; Telecommunication devices and systems; Intelligent telecommunication networks; ISDN; ATM communications.

Complex Systems Simulation
Design and Simulation, Process Control and Optimisation,Information Technology Systems, Space and Airborne Systems, Communication Networks, Cybernetics and Control, Building Engineering and Urban Infrastructures Nonlinear Systems, Integration of AI Techniques and Simulation, Knowledge Elicitation and Representation for Complex Models, Drawing Understanding and Pattern Recognition, Machine Learning, Neural Networks and Genetic Algorithms, Simulation in Robotics and Automation, Continuous Simulation of Technical Processes, Fuzzy Models in Simulation, Wireless Communication, Mobile Communication Networks, Satellite Communication, LAN and WAN Protocols, Simulation of Switching Equipment, Design and Coding of Communication Handling Software.

Simulation of Signal and Image Processing
Modelling and simulation are powerful tools in image and signal processing applications. For example, the modelling and simulation of communication networks enable the analysis and evaluation of data communication techniques in a much more time and cost efficient way than field tests. Modelling and simulations are also extensively used in biomedical signal processing to study and predict physical behaviour. Mathematical models such as Markov random fields and optical flows have been successfully used to solve a variety of image processing problems, including image restoration, reconstruction, segmentation, and classification as well as texture analysis.

Energy Systems Simulation
Simulators: Real-Time simulation methods, GUI, Advanced modelling tools, Trainees' performance evaluation, Simulator Projects Simulation Studies: Simulation during design, Safety and environmental hazard estimation, Production optimisation. Methodology: Real-time simulation and visualisation tools, Parallel and distributed simulation.

Simulation in the Chemical and Petrochemical Industry
Simulation of Chemical Plants, Flow simulation, Plant control systems, network simulation, geological simulations, drilling simulations, oil transport simulations.

Multimedia and Virtual Reality Systems
This track covers simulation programmes used in Multimedia and VR systems enhanced simulation

Decision Processing in Management
Business process engineering and simulation, Simulation in customer-oriented service processes, Decision support systems, Simulation in Finance and Risk Management, Simulation in workflow management,Process mapping and simulation, Simulation of production processes and equipment, Business Information Modeling Methods and Methodologies, UML and UP in Business Modelling, UML and UP for Enterprise Modeling.

Modelling and Simulation in Biomedical Systems
Topics are biological systems, medical systems and ecosystems with the domain specific topics such as molecular modelling, genetic algorithms in biosystems, fuzzy sets and neural nets in biosystems, physiology, cardiology, anesthesia, cancer, circulatory system, respiratory system, renal system, biomechanics, agricultural production, simulation of global change, ecotechnology and eco-engineering, GIS, population dynamics, etc Simulation of Patient Care,Quality of Service, Hospital Logistics, Simulation of Disease Proliferation, Virtual Reality in Surgical Procedures, Simulating Biological Phenomena and Organs, Simulation as a Tool for Diagnosis, Simulation of Emergency Procedures (Disaster Gaming), General Medical Simulations, Pharmacometric Modelling, Physiological Simulations.

Modelling and Simulation for Industrial Applications
The application section covers: Automation, CAD/CAM/CAE, Defense Electronics, Design Automation, Simulation in industrial Design, Industrial Engineering, Industrial and Process Simulation, Manufacturing Simulations, Logistics and Transport, Power Plants, Multibody Systems, Aerospace, etc..

Web based Simulation
Web-based Simulation Environments (WSE), Web-based Distributed Interactive Simulation (WDIS) Sharing and reuse of simulation models and tools in WSE, Techniques and Standards for model integration, Communication interoperability in WSE and WDIS, WSE and WDIS applications to education, training and learning, Simulation visualization/animation in WSE and WDIS, Web-based Distributed Simulation (distributed modelling via the Web, Java based, Federated, and so on)

Simulation in Information Processing and Software Development

Simulation in Fuzzy Systems
Classification, Data analysis, Fault tolerance, Forecasting, Knowledge acquisition, Economics and Finance, Planning, Pre-treatment of data, Process control, Robotics, Speech and image recognition, Web intelligence, involving methodologies such as: Hybrid systems (GA, fuzzy, symbolic representation), Methods or tools for evaluating ANN performance, Reinforcement Learning, Simulation tools (research, education, development).

Neural Networks and Genetic Algorithms
Neural nets for simulation: modelling of parts (components) of the system simulated by neural networks, evaluation of simulation models using neural nets, decision support in simulation models by neural nets; Simulation of neural nets: systems of pre-designed neural networks, techniques and tools for simulation and programming of neural networks. Expert Controllers and Genetic Algorithms in Simulation, Knowledge Based Simulation Tools, AI and Expert Systems in Simulation.

Simulation in the Built Environment
The built environment is a complicated and many-faceted energy system encompassing many different yet synergistic energy flow paths. Each flow path changes its own (and hence the system's) characteristics tics dynamically as time progresses. To accurately model such phenomena a simulation model must take into account all relevant energy subsystems and the interrelationships between them. The areas covered by building simulation models are numerous and varied and include conduction modelling, air/fluid flow modelling, plant side modelling, insolation analysis, lighting studies and building climatic interaction.

Simulation in Archaeology
Archaeologists commonly use theoretical models, experiments, and observations of the world as it is today to try to explain what happened in the past. They have attempted to explain, for example, why people first began to walk upright and why civilizations that once flourished suddenly collapsed. Good explanations come from well-thought-out theoretical models that propose ways in which the existing archaeological record might have been formed. Explanations can include factors such as environmental changes, demographic shifts (changes in population makeup and size), migrations, and patterns of thought and behavior.

In recent years, many archaeologists have begun to use geographic information systems (GIS) to aid in mapping sites. These computer-based systems allow the collection, storage, and manipulation of environmental, geographic, and geologic data, together with archaeological information, in a single database. Using this technology, archaeologists can create maps that simulate different environments and ways in which people might have used land, living space, and material goods.

Simulation Projects in the Arab World
Roundtable discussion on present projects in the Arab World. If you have a topic proposal.

CONFERENCE SITE
The conference will be held in Alexandria, Egypt. More info to follow

Social Programme
A conference trip will be envisaged either to El-Alamein or to Cairo.

CONFERENCE KEYNOTE
The keynote for the MESM'2010 will be announced later

INVITED TALKS
Proposals for invited talks can be sent in by SEPTEMBER 1st and emailed to philippe.geril <at> eurosis.org

TUTORIALS
Tutorials can be proposed in the following three categories:
T1- Introductory tutorials
T2- State of the Art Tutorials
T3- Software and Modelware Tutorials
Tutorial proposals should be emailed to Philippe.Geril <at> eurosis.org by September 1st

POSTER SESSION
The poster session only features work in progress. Next to the actual poster presentation, these submissions also feature as short papers in the Proceedings.

STUDENTS SESSION
This session is for students who want to present their work in progress or part of their doctoral thesis as a paper. Student papers are denoted by the fact that only the name of the student appears on the paper as an author. They are published as short papers in the Proceedings.

DIVERSE ACTIVITIES
For demonstrations or video sessions, please contact Philippe Geril.
Special session will be set up for vendor presentations in co-ordination with the scientific program. User Group meetings for simulation languages and tools can be organised during the conference.

If you would like to arrange a meeting, please contact the Conference Chairs. We will be happy to provide a meeting room and other necessary equipment.Partners for projects session(s) will be organised by EUROSIS to give potential project teams or individuals the opportunity to present their research in order to link up with fellow researchers for future research projects. Those wishing to participate in this session need to send a proposal to Philippe Geril.

EXHIBITION
A special software exhibition will be held during the conference focused on simulation tools. For more information please contact EUROSIS for further details. Email: Philippe.Geril <at> eurosis.org

DEADLINES AND REQUIREMENTS
Send all submissions in an ELECTRONIC FORM ONLY in Microsoft Word format, PDF or Postscript format indicating the designated track and type of submission (full paper or an extended abstract) to EUROSIS (Philippe.Geril <at> eurosis.org).
Please provide your name, affiliation, full mailing address, telephone / fax number and Email address on all submissions as well. For submissions please put in the subject of your Email the following indications: MESM2009 and designated track or USE THE ABSTRACT SUBMISSION SITE or the ONLINE FORM

 

Only original papers, which have not been published elsewhere, will be accepted for publication. All MESM proceedings are INSPEC and ISI-Thomson Reuters referenced.

DEADLINES
Early Bird Submission: AUGUST 25th, 2010
Abstract Submission deadline: SEPTEMBER 25th, 2010
Late Submission: OCTOBER 5th, 2010
Notification: OCTOBER 10th, 2010
Full Paper Submission Deadline: NOVEMBER 5th, 2010
Conference Dates DECEMBER 1-3, 2010

CONFERENCE PRICES

Registration Fees Author EUROSIS members Other Participants
Pre-registration before November 5, 2010 € 495 € 495 € 535
Registration after November 5, 2010 Pre-registration required € 535 € 555
Registration Fees Middle Eastern Participants * Author EUROSIS members Other Participants
Pre-registration before November 5, 2010 € 150 € 150 € 200
Registration after November 5, 2010 Pre-registration required € 200 € 250

* Are denoted as Middle Eastern Participants, those who are living and working in the countries of the Middle East. Furthermore ALL authors should be in a Middle Eastern University. If some authors are based outside the Middle East the other conference fees apply.

(prices include Proceedings, lunches, conference dinner, get-together party, coffee breaks and conference visit)

PAPER SUBMISSION TYPES
FULL PAPER (including abstract, conclusions, diagrams, references 5 to 8 pages) During review, the submitted full papers can be accepted as a regular 5 page paper. If excellent,full papers can be accepted by the program committee as an extended (8-page) paper. Each submission will be reviewed by at least three members of the International Program Committee.
EXTENDED ABSTRACT(at least five pages)
Participants may also submit a 5 page extended abstract for a regular (5 pages) or short (3 pages) paper or poster, which will be reviewed by the International Program Committee. All accepted papers will be published in the MESM'2010 Conference Proceedings.
SHORT ABSTRACT (at least three pages)
Participants may also submit a 3 page abstract for a short paper or poster, which will be reviewed by the International Program Committee. All accepted papers will be published in the MESM'2010 Conference Proceedings.

ONE PAGE ABSTRACTS ARE NOT ACCEPTED.

OUTSTANDING PAPER AWARD
The 2010 MESM Conference Committee will select the Outstanding Paper of the Conference. The author of this paper will be awarded a free registration for a EUROSIS conference. Only papers SUBMITTED AS FULL papers will be eligible for the Outstanding Paper Award.

LANGUAGE
The official conference language for all papers and presentations is English.

REPLY CARD:
First Name:
Surname:
Occupation and/or Title:
Affiliation:
Mailing Address
Zip code: City:
Country.
Telephone:
Fax:
E-Mail:

 

[ ] Presenting a paper, by submitting a full paper
[ ] Presenting a short paper (by submitting an extended
abstract)
[ ] Participating in the industrial program
[ ] Organizing a vendor session
[ ] Proposing a panel discussion (please mention names of
panelists)
[ ] Contributing to the exhibition
[ ] Without presenting a paper

Other colleague(s) interested in the topics of the conference is/are:
Name:
Address:
Name:
Address:

Yes, I intend to attend the [] MESM'2010
The provisional title of my paper / exhibited software package is:
With the following highlights:
The paper belongs in: TICK THE CATEGORY
[] Modelling Methodology
[] Modelling Tools
[] Analysis Methodology
[] Simulation of Networks and Communications
[] Complex Systems Simulation
[] Simulation of Systems and Image Processing
[] Energy Systems Simulation
[] Simulation in the Chemical and Petrochemical Industry
[] Multimedia and Virtual Reality Systems
[] Decision Processing in Management
[] Modelling and Simulation in Biomedical Systems
[] Modelling and Simulation for Industrial Applications
[] Web Based Simulation
[] Simulation in Information Processing and Software Development
[] Simulation in Fuzzy Systems
[] Neural Networks and Genetic Algorithms
[] Simulation in the Built Environment
[] Simulation in Archeaology
[] Simulation Projects in the Arab World
[] Poster Session
[] Student Session
[] Tutorials
[] Exhibition

-
Philippe Geril Tel: +32.59.255.330
EUROSIS -ETI Fax: +32.59.255339
Greenbridge NV E-mail: philippe.geril <at> eurosis.org
Wetenschapspark 1 E-mail: pgeril <at> yahoo.co.uk
Plassendale 1 URL: http://www.eurosis.org
B-8400 Ostend
Belgium

<div>
<div></div>
<div>&nbsp;<br><p align="center">
MESM'2010<br>
11th International<br>
Middle Eastern Simulation Multiconference</p>
<p align="center">
December 1 - 3, 2010<br><span class="red">FIRST CALL FOR PAPERS</span>
</p>
<p align="center">
Alexandria, Egypt
</p>
<p align="center">
Organized by<br>
The European Technology Institute
</p>
<p align="center">
Sponsored by:<br><a href="http://www.eurosis.org/">EUROSIS</a><br><a href="http://www.dmu.ac.uk/">de Montfort University</a><br>
IEEE UKRI-Spc<br><a href="http://www.astf.net/site/index.asp">The Arab Science and Technology Foundation</a>
</p>
<p align="center">
<a href="http://www.eurosis.org/cms/index.php?q=node/1465">Conference website<br></a>
</p>
<p>CONFERENCE AIM</p>
<p>
The MESM'2010 International Middle Eastern Multiconference on Simulation
 and Modelling is the eleventh annual conference in the MESM series and 
is organized by De Montfort University and members of the European 
Simulation Society. One of the major aims of this conference is to bring
 people from various parts of the Middle East in contact with colleagues
 working in modeling &amp; simulation from around the world 
(e.g..Europe, USA, Canada, Far East etc.).
</p>
<p>
The other aim is to establish a future local technical society in the 
Middle East and to integrate these into a wider Network of Simulation 
Excellence. This conference, is sponsored by, De Montfort University 
(UK), Ghent University, EUROSIS, ETI, IEEE UKRI - SPC and The Arab 
Science and Technology Foundation.
</p>
<p>
CONFERENCE THEMES
</p>
<p>
Modelling Methodology<br>
Continuous, discrete and hybrid simulation methodology, Simulation 
environments, Multi-paradigm simulation, Simulation uncertainty, 
Simulation visualisation, Integration of simulation and geographical 
information systems, Object-oriented programming and Languages, 
Multi-paradigm Languages, Software comparisons. Numerical Methods for 
Simulation, Mathematical Analysis in Simulation, Parallel Simulation 
Methodology, Discrete Event Simulation, Simulation Fidelity and 
Performance Evaluation, Advanced Training and Simulation Concepts for 
Education, Multiparameter Sequential Optimization Methods in Simulation,
 Verification, Validation, and Control in Complex Systems Simulation, 
Distributed and Parallel Systems Simulation, Combined Continuous and 
Discrete Event Models, Symbol Analysis and Manipulation of 
Equation-Based Models, Simultaneous vs Modular Simulation Methods, 
Standardization Issues.
</p>
<p>
Modelling Tools<br>
Simulation languages; Object oriented modeling languages; UML and 
simulation; Model libraries and modularity; Component-oriented 
simulation; Special simulation tools and environments; Meta-models and 
automatic model generation; Graphical simulation environments and 
simulation software tools; Intelligent simulation environments; Database
 management of models and results; Java and Web enabled simulations, UML
 and OO Simulation.
</p>
<p>
Analysis Methodology<br>
Advanced Input Modeling, Simulation Optimization, Cross Entropy, Output 
Analysis, Input Modeling, Simulation Optimization, Input Analysis, 
Difficult Queueing Problems, New Output Analysis.
</p>
<p>
Simulation of Networks and Communication<br>
Modeling and simulation of analogue circuits; Modeling and simulation of
 digital circuits at switch and/or at logic level; Hardware accelerators
 for circuit-level simulation; Hardware accelerators for logic 
simulation; Distributed simulation of circuits, components, and systems;
 Modeling and simulation of computer systems; Fault simulation; Parallel
 and distributed systems; High-speed networks; Network simulation 
software; Computer and telecommunication systems; Telecommunication 
devices and systems; Intelligent telecommunication networks; ISDN; ATM 
communications.
</p>
<p>
Complex Systems Simulation<br>
Design and Simulation, Process Control and Optimisation,Information 
Technology Systems, Space and Airborne Systems, Communication Networks, 
Cybernetics and Control, Building Engineering and Urban Infrastructures 
Nonlinear Systems, Integration of AI Techniques and Simulation, 
Knowledge Elicitation and Representation for Complex Models, Drawing 
Understanding and Pattern Recognition, Machine Learning, Neural Networks
 and Genetic Algorithms, Simulation in Robotics and Automation, 
Continuous Simulation of Technical Processes, Fuzzy Models in 
Simulation, Wireless Communication, Mobile Communication Networks, 
Satellite Communication, LAN and WAN Protocols, Simulation of Switching 
Equipment, Design and Coding of Communication Handling Software.
</p>
<p>
Simulation of Signal and Image Processing<br>
Modelling and simulation are powerful tools in image and signal 
processing applications. For example, the modelling and simulation of 
communication networks enable the analysis and evaluation of data 
communication techniques in a much more time and cost efficient way than
 field tests. Modelling and simulations are also extensively used in 
biomedical signal processing to study and predict physical behaviour. 
Mathematical models such as Markov random fields and optical flows have 
been successfully used to solve a variety of image processing problems, 
including image restoration, reconstruction, segmentation, and 
classification as well as texture analysis.
</p>
<p>
Energy Systems Simulation<br>
Simulators: Real-Time simulation methods, GUI, Advanced modelling tools,
 Trainees' performance evaluation, Simulator Projects Simulation 
Studies: Simulation during design, Safety and environmental hazard 
estimation, Production optimisation. Methodology: Real-time simulation 
and visualisation tools, Parallel and distributed simulation.
</p>
<p>
Simulation in the Chemical and Petrochemical Industry<br>
Simulation of Chemical Plants, Flow simulation, Plant control systems, 
network simulation, geological simulations, drilling simulations, oil 
transport simulations.
</p>
<p>
Multimedia and Virtual Reality Systems<br>
This track covers simulation programmes used in Multimedia and VR systems enhanced simulation
</p>
<p>
Decision Processing in Management<br>
Business process engineering and simulation, Simulation in 
customer-oriented service processes, Decision support systems, 
Simulation in Finance and Risk Management, Simulation in workflow 
management,Process mapping and simulation, Simulation of production 
processes and equipment, Business Information Modeling Methods and 
Methodologies, UML and UP in Business Modelling, UML and UP for 
Enterprise Modeling.
</p>
<p>
Modelling and Simulation in Biomedical Systems<br>
Topics are biological systems, medical systems and ecosystems with the 
domain specific topics such as molecular modelling, genetic algorithms 
in biosystems, fuzzy sets and neural nets in biosystems, physiology, 
cardiology, anesthesia, cancer, circulatory system, respiratory system, 
renal system, biomechanics, agricultural production, simulation of 
global change, ecotechnology and eco-engineering, GIS, population 
dynamics, etc Simulation of Patient Care,Quality of Service, Hospital 
Logistics, Simulation of Disease Proliferation, Virtual Reality in 
Surgical Procedures, Simulating Biological Phenomena and Organs, 
Simulation as a Tool for Diagnosis, Simulation of Emergency Procedures 
(Disaster Gaming), General Medical Simulations, Pharmacometric 
Modelling, Physiological Simulations.
</p>
<p>
Modelling and Simulation for Industrial Applications<br>
The application section covers: Automation, CAD/CAM/CAE, Defense 
Electronics, Design Automation, Simulation in industrial Design, 
Industrial Engineering, Industrial and Process Simulation, Manufacturing
 Simulations, Logistics and Transport, Power Plants, Multibody Systems, 
Aerospace, etc..
</p>
<p>
Web based Simulation<br>
Web-based Simulation Environments (WSE), Web-based Distributed 
Interactive Simulation (WDIS) Sharing and reuse of simulation models and
 tools in WSE, Techniques and Standards for model integration, 
Communication interoperability in WSE and WDIS, WSE and WDIS 
applications to education, training and learning, Simulation 
visualization/animation in WSE and WDIS, Web-based Distributed 
Simulation (distributed modelling via the Web, Java based, Federated, 
and so on)
</p>
<p>
Simulation in Information Processing and Software Development
</p>
<p>
Simulation in Fuzzy Systems<br>
Classification, Data analysis, Fault tolerance, Forecasting, Knowledge 
acquisition, Economics and Finance, Planning, Pre-treatment of data, 
Process control, Robotics, Speech and image recognition, Web 
intelligence, involving methodologies such as: Hybrid systems (GA, 
fuzzy, symbolic representation), Methods or tools for evaluating ANN 
performance, Reinforcement Learning, Simulation tools (research, 
education, development).
</p>
<p>
Neural Networks and Genetic Algorithms<br>
Neural nets for simulation: modelling of parts (components) of the 
system simulated by neural networks, evaluation of simulation models 
using neural nets, decision support in simulation models by neural nets;
 Simulation of neural nets: systems of pre-designed neural networks, 
techniques and tools for simulation and programming of neural networks. 
Expert Controllers and Genetic Algorithms in Simulation, Knowledge Based
 Simulation Tools, AI and Expert Systems in Simulation.
</p>
<p>
Simulation in the Built Environment<br>
The built environment is a complicated and many-faceted energy system 
encompassing many different yet synergistic energy flow paths. Each flow
 path changes its own (and hence the system's) characteristics tics 
dynamically as time progresses. To accurately model such phenomena a 
simulation model must take into account all relevant energy subsystems 
and the interrelationships between them. The areas covered by building 
simulation models are numerous and varied and include conduction 
modelling, air/fluid flow modelling, plant side modelling, insolation 
analysis, lighting studies and building climatic interaction.
</p>
<p>
Simulation in Archaeology<br>
Archaeologists commonly use theoretical models, experiments, and 
observations of the world as it is today to try to explain what happened
 in the past. They have attempted to explain, for example, why people 
first began to walk upright and why civilizations that once flourished 
suddenly collapsed. Good explanations come from well-thought-out 
theoretical models that propose ways in which the existing 
archaeological record might have been formed. Explanations can include 
factors such as environmental changes, demographic shifts (changes in 
population makeup and size), migrations, and patterns of thought and 
behavior.
</p>
<p>
In recent years, many archaeologists have begun to use geographic 
information systems (GIS) to aid in mapping sites. These computer-based 
systems allow the collection, storage, and manipulation of 
environmental, geographic, and geologic data, together with 
archaeological information, in a single database. Using this technology,
 archaeologists can create maps that simulate different environments and
 ways in which people might have used land, living space, and material 
goods.
</p>
<p>
Simulation Projects in the Arab World<br>
Roundtable discussion on present projects in the Arab World. If you have a topic proposal.
</p>
<p>
CONFERENCE SITE<br>
The conference will be held in Alexandria, Egypt. More info to follow
</p>
<p>Social Programme<br>
A conference trip will be envisaged either to El-Alamein or to Cairo.</p>
<p>
CONFERENCE KEYNOTE<br>
The keynote for the MESM'2010 will be announced later
</p>
<p>
INVITED TALKS<br>
Proposals for invited talks can be sent in by SEPTEMBER 1st and emailed to philippe.geril <at> eurosis.org
</p>
<p>
TUTORIALS<br>
Tutorials can be proposed in the following three categories:<br>
T1- Introductory tutorials<br>
T2- State of the Art Tutorials<br>
T3- Software and Modelware Tutorials<br>
Tutorial proposals should be emailed to Philippe.Geril <at> eurosis.org by September 1st
</p>
<p>
POSTER SESSION<br>
The poster session only features work in progress. Next to the actual 
poster presentation, these submissions also feature as short papers in 
the Proceedings.
</p>
<p>
STUDENTS SESSION<br>
This session is for students who want to present their work in progress 
or part of their doctoral thesis as a paper. Student papers are denoted 
by the fact that only the name of the student appears on the paper as an
 author. They are published as short papers in the Proceedings.
</p>
<p>
DIVERSE ACTIVITIES<br>
For demonstrations or video sessions, please contact Philippe Geril.<br>
Special session will be set up for vendor presentations in co-ordination
 with the scientific program. User Group meetings for simulation 
languages and tools can be organised during the conference.
</p>
<p>
If you would like to arrange a meeting, please contact the Conference 
Chairs. We will be happy to provide a meeting room and other necessary 
equipment.Partners for projects session(s) will be organised by EUROSIS 
to give potential project teams or individuals the opportunity to 
present their research in order to link up with fellow researchers for 
future research projects. Those wishing to participate in this session 
need to send a proposal to Philippe Geril.
</p>
<p>
EXHIBITION<br>
A special software exhibition will be held during the conference focused
 on simulation tools. For more information please contact EUROSIS for 
further details. Email: Philippe.Geril <at> eurosis.org
</p>

DEADLINES AND REQUIREMENTS<br>
Send all submissions in an ELECTRONIC FORM ONLY in Microsoft Word 
format, PDF or Postscript format indicating the designated track and 
type of submission (full paper or an extended abstract) to EUROSIS 
(Philippe.Geril <at> eurosis.org).<br>
Please provide your name, affiliation, full mailing address, telephone /
 fax number and Email address on all submissions as well. For 
submissions please put in the subject of your Email the following 
indications: MESM2009 and designated track or USE THE ABSTRACT 
SUBMISSION SITE or the ONLINE FORM
<p>
&nbsp;
</p>
<p>
Only original papers, which have not been published elsewhere, will be 
accepted for publication. All MESM proceedings are INSPEC and 
ISI-Thomson Reuters referenced.
</p>
<p>
DEADLINES<br>
Early Bird Submission: AUGUST 25th, 2010<br>
Abstract Submission deadline: SEPTEMBER 25th, 2010<br>
Late Submission: OCTOBER 5th, 2010<br>
Notification: OCTOBER 10th, 2010<br>
Full Paper Submission Deadline: NOVEMBER 5th, 2010<br>
Conference Dates DECEMBER 1-3, 2010
</p>
<p>
CONFERENCE PRICES</p>
<table>
<tr>
<td class="title-cell">Registration Fees</td>
<td class="heading">Author</td>
<td class="heading">EUROSIS members</td>
<td class="heading">Other Participants</td>
</tr>
<tr>
<td class="heading">Pre-registration before November 5, 2010</td>
<td>&euro; 495</td>
<td>&euro; 495</td>
<td>&euro; 535</td>
</tr>
<tr>
<td class="heading">Registration after November 5, 2010</td>
<td>Pre-registration required</td>
<td>&euro; 535</td>
<td>&euro; 555</td>
</tr>
</table>
<table>
<tr>
<td class="title-cell">Registration Fees Middle Eastern Participants *</td>
<td class="heading">Author</td>
<td class="heading">EUROSIS members</td>
<td class="heading">Other Participants</td>
</tr>
<tr>
<td class="heading">Pre-registration before November 5, 2010</td>
<td>&euro; 150</td>
<td>&euro; 150</td>
<td>&euro; 200</td>
</tr>
<tr>
<td class="heading">Registration after November 5, 2010</td>
<td>Pre-registration required</td>
<td>&euro; 200</td>
<td>&euro; 250</td>
</tr>
</table>
<p>
<span class="red">* Are denoted as Middle Eastern Participants, those 
who are living and working in the countries of the Middle East. 
Furthermore ALL authors should be in a Middle Eastern University. If 
some authors are based outside the Middle East the other conference fees
 apply.</span>
</p>
<p>(prices include Proceedings, lunches, conference dinner, get-together party, coffee breaks and conference visit)
</p>
<p>
PAPER SUBMISSION TYPES<br>FULL PAPER (including abstract, conclusions, diagrams, references
 5 to 8 pages) During review, the submitted full papers can be accepted 
as a regular 5 page paper. If excellent,full papers can be accepted by 
the program committee as an extended (8-page) paper. Each submission 
will be reviewed by at least three members of the International Program 
Committee.<br>EXTENDED ABSTRACT(at least five pages)<br>
Participants may also submit a 5 page extended abstract for a regular (5
 pages) or short (3 pages) paper or poster, which will be reviewed by 
the International Program Committee. All accepted papers will be 
published in the MESM'2010 Conference Proceedings.<br>SHORT ABSTRACT (at least three pages)<br>
Participants may also submit a 3 page abstract for a short paper or 
poster, which will be reviewed by the International Program Committee. 
All accepted papers will be published in the MESM'2010 Conference 
Proceedings.
</p>
<p><span class="red">ONE PAGE ABSTRACTS ARE NOT ACCEPTED.</span></p>
<p>
OUTSTANDING PAPER AWARD<br>
The 2010 MESM Conference Committee will select the Outstanding Paper of 
the Conference. The author of this paper will be awarded a free 
registration for a EUROSIS conference. Only papers SUBMITTED AS FULL 
papers will be eligible for the Outstanding Paper Award.
</p>
<p>
LANGUAGE<br>
The official conference language for all papers and presentations is English.
</p>
<p>REPLY CARD:<br>
First Name:<br>
Surname:<br>
Occupation and/or Title:<br>
Affiliation:<br>
Mailing Address<br>
Zip code: City:<br>
Country.<br>
Telephone:<br>
Fax:<br>
E-Mail:</p>
<p>
&nbsp;
</p>
<p>
[ ] Presenting a paper, by submitting a full paper<br>
[ ] Presenting a short paper (by submitting an extended<br>
abstract)<br>
[ ] Participating in the industrial program<br>
[ ] Organizing a vendor session<br>
[ ] Proposing a panel discussion (please mention names of<br>
panelists)<br>
[ ] Contributing to the exhibition<br>
[ ] Without presenting a paper
</p>
<p>
Other colleague(s) interested in the topics of the conference is/are:<br>
Name:<br>
Address:<br>
Name:<br>
Address:
</p>
<p>
Yes, I intend to attend the [] MESM'2010<br>
The provisional title of my paper / exhibited software package is:<br>
With the following highlights:<br>
The paper belongs in: TICK THE CATEGORY<br>
[] Modelling Methodology<br>
[] Modelling Tools<br>
[] Analysis Methodology<br>
[] Simulation of Networks and Communications<br>
[] Complex Systems Simulation<br>
[] Simulation of Systems and Image Processing<br>
[] Energy Systems Simulation<br>
[] Simulation in the Chemical and Petrochemical Industry<br>
[] Multimedia and Virtual Reality Systems<br>
[] Decision Processing in Management<br>
[] Modelling and Simulation in Biomedical Systems<br>
[] Modelling and Simulation for Industrial Applications<br>
[] Web Based Simulation<br>
[] Simulation in Information Processing and Software Development<br>
[] Simulation in Fuzzy Systems<br>
[] Neural Networks and Genetic Algorithms<br>
[] Simulation in the Built Environment<br>
[] Simulation in Archeaology<br>
[] Simulation Projects in the Arab World<br>
[] Poster Session<br>
[] Student Session<br>
[] Tutorials<br>
[] Exhibition<br><br></p>

-<br>
Philippe Geril Tel: +32.59.255.330<br>
EUROSIS -ETI Fax: +32.59.255339<br>
Greenbridge NV E-mail: philippe.geril <at> eurosis.org<br>
Wetenschapspark 1 E-mail: pgeril <at> yahoo.co.uk<br>
Plassendale 1 URL: http://www.eurosis.org<br>
B-8400 Ostend<br>
Belgium</div>

<br>
</div>
Jan Cederquist | 11 Aug 2010 02:22
Picon
Favicon

Last Cfp: Software Verification and Testing at ACM SAC 2011


                  Call for papers

   ==============================================
   26th Annual ACM Symposium on Applied Computing
      Software Verification and Testing Track
       March 21 - 25, 2011, TaiChung, Taiwan

    http://web.ist.utl.pt/~jan.cederquist/sacsvt11/Main.html
    http://www.acm.org/conferences/sac/sac2011/

Important dates

* Aug 24th 2010: Submission deadline
* Oct 12th 2010: Notification of acceptance/rejection
* Nov 2nd 2010: Camera-ready versions due

ACM Symposium on Applied Computing

The ACM Symposium on Applied Computing (SAC) has gathered scientists 
from different areas of computing over the past twenty-five years. The 
forum represents an opportunity to interact with different communities 
sharing an interest in applied computing.

SAC 2011 is sponsored by SIGAPP and will be hosted by Tunghai 
University, TaiChung, Taiwan.

Software Verification and Testing Track

We invite authors to submit new results in formal verification and 
testing, as well as development of technologies to improve the usability 
of formal methods in software engineering. Also welcome are detailed 
descriptions of applications of mechanical verification to large scale 
software. Possible topics include, but are not limited to:

- tools and techniques for verification of large scale software systems
- real world applications and case studies applying software verification
- static and run-time analysis
- abstract interpretation
- model checking
- theorem proving
- correct by construction development
- model-based testing
- verification-based testing
- symbolic execution
- analysis methods for dependable systems
- software certification and proof carrying code

Submissions guidelines

Paper submissions must be original, unpublished work. Submissions should 
be in electronic format, via the START site: 
https://www.softconf.com/b/sac11-tp/. Author(s) name(s) and address(es) 
must not appear in the body of the paper, and self-reference should be 
avoided and made in the third person. Submitted paper will undergo a 
blind review process. Authors of accepted papers should submit an 
editorial revision of their papers that fits within six two-column pages 
(an extra two pages, to a total of eight pages, may be available at a 
charge). Please comply to this page limitation already at submission 
time. Publication of accepted articles requires the commitment of one of 
the authors to register for the conference and present the paper. 
Accepted papers will be published in the ACM SAC 2011 proceedings.

Program committee

Wolfgang Ahrendt, Chalmers University of Technology, Sweden
Yves Bertot, INRIA, Sophia Antipolis, France
Laura Brandan-Briones, Universidad Nacional de Córdoba, Argentina
Jan Cederquist (track chair), Instituto Superior Técnico, Portugal
Amy Felty, University of Ottawa, Canada
Wan Fokkink, Vrije Universiteit Amsterdam, The Netherlands
Dilian Gurov, Royal Institute of Technology, Sweden
Joshua Guttman, Worcester Polytechnic Institute and The MITRE
Corporation, USA
Chris Hankin, Imperial College, UK
Jay Ligatti, University of South Florida, USA
MohammadReza Mousavi, Eindhoven University of Technology, The Netherlands
Catuscia Palamidessi, INRIA Saclay and LIX, France
Jun Pang, University of Luxembourg, Luxembourg
Antonio Ravara, New University of Lisbon, Portugal
Fausto Spoto, University of Verona, Italy


Gmane