Nguyen Manh Tho | 1 Apr 11:36 2008
Picon

DaWaK 2008 - Paper submission deadline extended 1 week to April 11, 2008

Due to numerous requests, the paper submission deadline
of DaWaK 2008 is extended 1 week to April 11. This is the
hard deadline and no more extension is allowed. 

Apologies for multiple copies due to cross postings.
Please send to interested colleagues and students. 

++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 

10th International Conference on Data Warehousing and Knowledge Discovery 

                           (DaWaK 2008)
                       Turin, Italy
                    Sept. 1 to Sept. 5, 2008
                      http://www.dexa.org/dawak
	Submission site: https://stdev.ifs.tuwien.ac.at/dexadriver/
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 

Call for Papers
===================
Data Warehousing and Knowledge Discovery has been widely accepted as a key
technology for enterprises and organisations to improve their abilities in
data analysis, decision support, and the automatic extraction of knowledge
from data. With the exponential growing amount of information to be included
in the decision making process, the data to be considered becomes more and
more complex in both structure and semantics. Consequently, the process
of retrieval and knowledge discovery from this huge amount of heterogeneous
complex data builds the litmus-test for the research in the area. 

During the past years, the International Conference on Data Warehousing and
(Continue reading)

Iman Poernomo | 2 Apr 13:06 2008
Picon

CFP: Advances in Quality of Service Management (AQuSerM 2008 <at> EDOC)

AQuSerM 2008: Advances in Quality of Service Management
EDOC 2008 workshop, 18th September, 2008, München, Germany

http://palab.dcs.kcl.ac.uk/AQuSerM.htm

Call for papers

Theme
-----
AQuSerM concerns advances in QoS-oriented techniques and tools
for managing enterprise architectures, encompassing approaches to
monitoring, diagnostics, runtime analysis and prediction and adaptation.
Serviced-oriented and model-driven approaches will be a special focus of the
workshop. 

Workshop theme
---------------

Service Level Management (SLM) is the process of managing the Quality of
Service (QoS) demanded by clients and offered by providers. In the past, SLM
approaches have focused on service contract definition, monitoring and
reporting and have typically been handled by enterprise system management
tools such as Microsoft¹s SMS, CA¹s Unicenter and Empirix¹s OneSight.

However, traditional approaches are inadequate when dealing with complex
service-oriented architectures. Service-oriented architectures are
compositional, dynamic and often distributed over the internet. For such
architectures, SLM becomes a difficult problem that can no longer be handled
by traditional monitoring tools. This is because of the dynamic, flexible,
compositional and global natures of SOAs.
(Continue reading)

Jaime Lloret Mauri | 3 Apr 01:14 2008
Picon

SENSORCOMM 2008 - August 25-31, 2008 - Cap Esterel, France

Apologies if you receive multiple copies of this Call for Papers

==============  SENSORCOMM 2008 Call for Papers ===============

Please consider to contribute to and distribute to the appropriate groups the
following

CALL FOR PAPERS, TUTORIALS, PANELS

SENSORCOMM 2008, The Second International Conference on Sensor Technologies and
Applications

August 25-31, 2008 - Cap Esterel, France

General page: http://www.iaria.org/conferences2008/SENSORCOMM08.html

Call for Papers: http://www.iaria.org/conferences2008/CfPSENSORCOMM08.html

Submission deadline: April 5, 2008

Submissions will be peer-reviewed, published by IEEE CPS, posted in IEEE Digital
Library, and indexed with the major indexes.

Extended versions of selected papers will be invited for specialized journals.

SENSORCOMM 2008 features two workshops:

UNWAT 2008: The Second International Workshop on Under Water Sensors and Systems
http://www.iaria.org/conferences2008/UNWAT.html

(Continue reading)

Roberto Bruni | 3 Apr 18:05 2008
Picon
Picon

WS-FM 2008 - First Call for Papers

[Please distribute to your colleagues, apologies for multiple copies]

+========================= WS-FM 2008 ==========================+
| 5th International Workshop on Web Services and Formal Methods |
|             September 4-5, 2008, Milan, Italy                 |
|                                                               |
|       http://www.informatik.uni-rostock.de/ws-fm2008/         |
+===============================================================+
      Co-located with the 6th International Conference on
             Business Process Management (BPM'08)

Important Dates
---------------

* Abstract submission deadline: May       19,  2008
* Paper submission deadline:    May       26,  2008
* Author notification:          June      23,  2008
* Camera-ready pre-proceedings: July      21,  2008
* Workshop dates 	              September 4-5, 2008

Scope of the Workshop
---------------------

Web Service (WS) technology provides standard mechanisms and protocols
for describing, locating and invoking services available all over the
web. Existing infrastructures already enable providers to describe
services in terms of their interface, access policy and behavior, and
to combine simpler services into more structured and complex
ones. However, research is still needed to move WS technology
from skilled handcrafting to well-engineered practice, supporting
(Continue reading)

philippe.geril | 3 Apr 21:41 2008

ESM'2008, October 27-29, 2008, Universite du Havre, le Havre, France, 1st CFP

 

FIRST CALL FOR PAPERS
ESM2008
The 2008 European Simulation and Modelling Conference
Le Havre, France

October 27-29, 2008
MODELLING AND SIMULATION 2008

Methodology and Tools
Simulation and AI
High Performance and Large Scale Computing
Simulation in Education and Graphics Visualization Simulation
Simulation in the Environment, Ecology, Biology and Medicine
Analytical and Numerical Modelling Techniques
Web Based Simulation
Agent Based Simulation
Cosmological Simulation

Simulation with Petri Nets
Simulation with Bond Graphs
DEVS Workshop
Fluid Flow Modelling Simulation
Complex Systems and Self-Organization Modelling
Models and simulations for Emergency and Risk Management
Complex Systems: Historical & Dynamical point of view
Emotional dimensions of cognition and their modelling in
problem-solving, learning and decision-making
Artificial Society
Simulation, Modelling and Data Management in Real-Time Systems

Tutorials
Student Papers, Poster Sessions
Partners for Projects Sessions
Exhibition

Organised by
The European Technology Institute
and Sponsored by
EUROSIS
L'Universite du Havre

For latest information see:
www.eurosis.org
or
http://www.eurosis.org/cms/?q=taxonomy/term/129

AIM OF ESM 2008

The 22nd annual ESM 2008 (European Simulation and Modelling
Conference) is the original European international conference
concerned with state of the art technology in modelling and
simulation. ESM 2008 aims to provide an overview of academic
research in the field of computer simulation.

A number of major tracks of simulation research are presented
next to specific workshops, which capture the art and science
of present-day simulation research.

KEYNOTE:
Multi-agent modelling and applications to robotics and cognition
Aladdin Ayesh, De Montfort University, Leicester, United Kingdom

All submissions will be peer reviewed by at least three members
of the International Program Committee. Accepted papers will be
published in the conference Proceedings (both print and electronic
format on the web), that will be copyrighted and widely
disseminated. All talks and tutorials, must be accompanied by a
paper of between three to eight Proceedings pages. Contributions to
the technical program are solicited in the following general areas;

METHODOLOGY AND TOOLS

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

OBJECT ORIENTATION AND RE-USE
Object-Oriented Modelling Languages, Modularity, Model Structuring,
Inheritance, Model Re-use, Organization of Model Libraries

TOOLS
Simulation Tools, Statistical Output Evaluation Tools, Optimization
Tools, Special Purpose Simulation Languages and Tools, Simulator
Development Environments, Interfaces for Coupling with External Tools

SIMULATION AND AI

AI Based Simulation Languages, Special Architectures, Graphical
Simulation Environments and Simulation Software Tools, Intelligent
Simulation Environments, Parallel Processing Environments for
Simulation, User Friendly Software Tools, Advanced Man-Machine
Interfaces, Graphical Model Editors, Browsing Facilities, Database
Management of Models and Results, Architecture of Modelling and
Simulation Environments

AI AND EXPERT SYSTEMS
Expert Controllers and Genetic Algorithms in Simulation, Knowledge
Based Simulation Tools, AI and Expert Systems in Simulation

AI AND NEURAL NETWORKS
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 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.

AI AND FUZZY SYSTEMS
Fuzzy Qualitative simulation, fuzzy rules and fault models.
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).

HIGH PERFORMANCE AND LARGE SCALE COMPUTING

This track invites contributions on efficient Modelling and
Simulation Algorithms and Computer-intensive Simulation Projects on
High-performance Large Scale Computers and Distributed Platforms.
Methods and techniques for parallel simulation (scheduling,
synchronisation, load balancing), Performance of parallel and
distributed simulation (experimental and comparative studies,
performance models, benchmarks), High Level Architecture (HLA) and
related standards (time management, model semantics, implementation
issues), High Performance and Large Scale Systems for Computational
Science (biological, chemical, physical, etc.) Application of
parallel and distributed simulation (computer systems, manufacturing
systems, etc.), Parallelisation of simulations (numerical methods,
(Quasi-Monte-Carlo simulation), Simulation in Cluster, Multicluster,
and Grid Computing, Simulation in Pervasive and Ubiquitous Computing
(wireless, mobile, wearable, invisible)

SIMULATION IN EDUCATION AND GRAPHICS VISUALIZATION SIMULATION

This track covers; Simulation and e-learning, - Role Strategies)
Management Games, Simulation with "man in the loop", Virtual Reality
Systems, Realistic Presentation of Simulation, Results, Simulation
for Training and Education, Web-based Simulation, Multi-site Group
Simulation, Special Purpose Simulation Languages and Tools,
Simulation Environments, Simulator Development Environments, Visual
Modelling Tools, Multimedia, Visualisation and Animation Tools,
Interfaces for Coupling with External Tools

SIMULATION IN ENVIRONMENT, ECOLOGY, BIOLOGY AND MEDICINE

The main goal is to enhance the trans-disciplinarity and to
facilitate contacts and dialogs between computer scientists and
specialists of Environmental Sciences. Since 10 years the modelling
process took benefits from recent (and less recent) techniques of
computer science : Object-Oriented Languages, Discrete Event
Simulation, Concepts of Agent and Actor, Fuzzy Logic, UML, model -
GIS interface, Web-based simulation, environment management,
predictive models of forest growth, fishing, climate and other
biological processes. Papers dealing with ecological modelling (in a
wider sense) are welcome in the areas of: Applications: Environment
managing, Waste managing, Ecosystem dynamics (terrestrial and
oceanographic ecology) Population dynamics (diseases & epidemics,
changes in biodiversity, genome, predator-prey relationships,
fishing...), Population behaviour, Individual behaviour, involving
methodologies such as: Artificial Intelligence, Distributed
Interactive Simulation, High-Performance Computing, Languages,
Modelling Techniques, Simulation Methodologies & Tools, Synthetic
Environment, Virtual Reality, Petri nets, DEVS and Bond Graphs.
Modelling and simulation have an important role in structuring
biological, medical and ecological systems.

The intrinsic complexity and non-linearity of these types of systems
need continuous and discrete simulation methodology, soft computing
methodology in order to handle the different degrees of uncertainty,
as well as virtual reality methodology describing the time and space
dependent complexity.

SIMULATION IN BIOLOGICAL 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.

ANALYTICAL AND NUMERICAL MODELLING TECHNIQUES

Contributions based on exact and approximate methods as well as
applications are encouraged but not restricted to the following
topics:
Techniques and Algorithms, Stochastic Petri Net Models, Queuing
Systems and Network Models, Markov Models, Performance Optimization,
Stochastic Process Algebras, Stochastic Precedence Graphs, Bounds
and Theoretical Properties, Interconnection Networks, Evaluation
Studies of Analytical and Numerical Modelling, Computer Systems,
Manufacturing Systems, Workflow Management Systems, Communication
Systems (LANs and Distributed Systems, ATM Switches, Mobile
Radio,...), Workload modelling and Characterisation, Operating
Systems, Client-Server Systems, Multimedia Systems, Measurements and
Hybrid Techniques, Software Performance and Software Tools for
Analytical and Numerical Modelling

WBE 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)

AGENT BASED SIMULATION
Agent Based Simulation covers, Basic Methodologies, Agent
Architectures, Model Specification and Languages, Mobile Agents,
Multi Agent System Communication and Cooperation, Multi-Level
Simulation and Emergence, decision making and Strategies,
plus applications in Ecology and Environment (environment
management, resource management, social and political
impact on the environment, computer aided decision making,
socio-eco systems modelling), psychology, Cognitive Science
and AI, Economics and Market Systems, Business Process
Management, Industry, Manufacturing and Logistics and
Transport(control of Industrial Systems, scheduling,
Planning, Supply Chain) and Health Care with the emphasis
on simulation and modelling.

COSMOLOGICAL SIMULATION
Detailed computer simulations are a powerful tool to study
one of the biggest challenges for theoretical cosmology:
How did the galaxies we see in the universe today form out of
the small fluctuations in matter density that were present
in the primordial universe? Having carried out the largest
cosmological simulations ever, scientists of astrophysics
are able to follow the hierarchical galaxy formation process
with unprecedented accuracy and detail, allowing new theoretical
insights into dark matter dynamics, and novel tests of the cold
dark matter theory for galaxy formation.
Simulations in this area, at present can be categorized under:
The Millenium Simulation, Galaxy Formations Simulation,
First Objects, Mock Catalogues, Dark Matter Halos,
Intergalactic Medium, Semi-Analytical Modelling and Hubble
Volume Simulation, Star Formation etc...

WORKSHOP SIMULATION WITH PETRI NETS

Petri nets were introduced by C.A. Petri as a "finitary
combinatorial model of event topology which, is in close
correspondence with the models of modern physics, is capable of
describing total information flow, and has proven superior to some
conventional models both in construction and in analysis of systems
of complex organization". Although many other models of concurrent
and distributed systems have been developed, Petri nets are still
considered "a central model for concurrent systems with respect to
both the theory and the applications" due to the natural way they
allow to represent reasoning on concurrent active objects which
share resources and their changing states.

The huge amount of work invested in making the modelling power
of Petri nets formalism more and more intensive, led to a
continuous evolution of this area, such that "Petri nets" is
currently a generic name for a whole class of models divided into
three main layers (ranging from Elementary Net Systems and
Place/Transition nets to traditional High Level nets and High Level
nets with abstract data types). For the performance evaluation of
the modelled system, time execution and/or stochastic processes
have also been considered, leading to important extensions to the
above general Petri nets classification: Timed and Stochastic Petri
nets.

Petri nets are widely considered as an operational (rather than
denotational) formalism for Discrete Event Systems. They have proven
to be useful in solving difficult discrete-event problems in a
variety of application domains such as in software engineering,
operating systems, databases, communication and co-operation
protocols in distributed systems, manufacturing systems, defence
command and control, business processes and
telecommunications, etc.

As investigations in this area show, Petri nets also cover a large
number of currently active research areas. Despite the great
amount of work and achievements, much effort is still to be done to
meet the applications requirements.

This workshop is intended to provide a forum for the
presentation and discussion of original ideas, recent
results and achievements by researchers, students and system
developers on issues and challenges related to the above domain.
We invite to submit original contributions addressing, but not
limited to one of the following topics:
-- Simulation using Petri Net Systems,
-- Place/Transition nets,
-- High-level Petri nets,
-- Timed and Stochastic Petri nets,
-- Temporal and real-time logics with respect to Petri nets,
-- Analysis methods of High Level nets and their time extensions,
-- Modular Petri nets,
-- Object-oriented Petri nets (OOPNs),
-- Computer tools based on OOPNs,
-- Applications of OOPNs.

WORKSHOP MODELLING AND SIMULATION WITH BONDGRAPHS

The Bond Graph Workshop will bring experts together for the purpose
of discussing new concepts, methods, techniques, tools and
applications of this energy-based modelling methodology. Papers
dealing with all aspects of the use of bond graphs in system design,
analysis, and control are welcome. The workshop will provide a
forum for the presentation and discussion of recent research and
applications of the Bond Graph methodology. Research papers are
welcome in the following categories of presentation: Tutorials,
Panel Discussions, Software and Tools, Bond Graph Theory, Advanced
Bond Graph Methodology, Bond Graphs and Block Diagrams, Computer
Graphics and Bond Graph Modelling, Qualitative Modelling,
Mechatronics Systems, Mechanical Systems and Robotics, Electrical
and Power Systems, Control Systems, Thermal and Chemical Systems,
Biomechanics and Prosthetics, Ecological Systems, Biological and
Medical Systems, Social and Economic Systems, Industrial

Applications, Large, Nonlinear Models

DEVS WORKSHOP
The DEVS Workshop will cover: Extensions to the DEVS formalism, DEVS
and Distributed DEVS frameworks, DEVS-based next generation VHDL,
DEVS standardization, DEVS applications

FLUID FLOW SIMULATION MODELLING WORKSHOP

Papers are solicited in:
Conventional fluid dynamics
New developments in boundary tracking, adaptive multiscale meshes,
algorithm stability, turbulence

Atomistic methods
Ab-initio and classical molecular dynamics, direct simulation Monte
Carlo.

Mesoscopic methods
Lattice gases, lattice-Boltzmann, smoothed particle dynamics,
dissipative particle dynamics, discrete simulation automata, etc.

Hybrid methods
Atomistic-mesoscopic and mesoscopic-continuum: direct simulation

Monte Carlo, adaptive-mesh dissipative-particle dynamics, etc.

Multidisciplinary and industrial applications
Chemical and biomedical engineering, automotive, oil extraction and
aeronautic industry, flow in porous media, Fluid Dynamics
Simulation, Fluid Dynamics Simulation in Turbomachinery Flow
Analysis of Pump Turbines, Water, air, vibration analysis through
fluid flow modelling, Electromagnetic Field Simulation, Virtual Wind
Tunnels, Structural analysis Statics (Stress, Deformation), Dynamics
(Vibration), Eigen value, Fatigue, Thermal load Electric power
plants, General plant components Computational fluid dynamics
Compressible flow, Incompressible flow, Heat transfer,
Multiphase/multi component flow, Combustion, Reaction,, Noise (Flow-
induced sound) Gas turbines/Steam turbines,Combustors, Nuclear plant
components, Hydro turbines, Pumps, Heat exchangers, Piping systems
Computational electro-magnetics Static elecromagnetics, Eddy
current, Electromagnetic wave, Electric circuit Nuclear fusion
reactor, Transformers, Switch gear, Rotating machinery,
Inverters/Converters Coupled problems Fluid-structure coupled
analysis, (Flow-induced vibration), Fluid-electric field coupled
analysis, (Insulation) Heat exchangers, Electric power transmission
components

MODELS AND SIMULATIONS FOR EMERGENCY AND RISK MANAGEMENT

Multiple and unexpected failures but also catastrophes waiting
to happen are built into our "society's complex systems". This
is a matter of increasing concern. How should we understand,
control or avoid such potential crisis on a local/global scale,
where local interactions play a major role?

Simulations are powerful tools in a context where risk is the
product of probability of accident by the losses per accident.
This risk can be major when it is collective, the occuring
frequency is low, the impacts on humans or environment are very
important. In this kind of risk, it is necessary to engage
exceptional resources to prevent, to forsee and to help. This
aspect is very important, but some crises have demonstrated
that the problems can be in upstream and it is also necessary
to consider the detection, the defects diagnosis and the
supervision of risk systems.

We solicit contributions on (not exhaustive):

* Modeling risk (including technical, environmental and human
factors) to prevent and to manage
* Tools of analysis, detection and early diagnosis
* Population flow before, during and after the crisis
* Information flow for the emergency

COMPLEX SYSTEMS: HISTORICAL & DYNAMICAL POINT OF VIEW

Complex Systems is a contemporary topics and it is interesting
to take a sight on it through both Historical and Dynamical
point of view. So this session aims to propose a study of
Complex Systems dealing with various domains such as Physics,
Biology, Chemistry, Ecology... For example, Historical and
Dynamical aspects of Van der Pol circuit or Predator-prey
model should be highlighted through an overview of all
studies already done and may be followed by a presentation
of new ideas or concepts on the subject.

EMOTIONAL DIMENSIONS OF COGNITION AND THEIR MODELLING IN
PROBLEM-SOLVING, LEARNING AND DECISION-MAKING

Cognition is studied from various approaches, both from a
computable vision allowing to understand, reproduce the
complexity of human brain functioning and from the human
understanding vision linking with memory, behavior and
feelings. Emotional dimensions have been studied in this
context since only few decades because of the complexity
to express and to define them and to explain their
interaction with cognition, including problem-solving,
learning and decision-making. In this session, we expect
some contributions from computer sciences researchers for
the modeling contribution and from psychologist researchers
for the lightening of these complex interactions, including
their fundamental knowledge on human behavior. The contribution
from neuro-psychologist researchers will allow to root the
cognitive and behavioral description on embodied knowledge,
allowing to find relevant modeling dimensions.

ARTIFICIAL SOCIETY

This session focuses on the two complementary aspects:
(1) modelling the society and its spatial systems according
to their complexity and (2) to use the society as model for
distributed artificial agents which contribute to solve problems
using their social behaviour. The mixing of contribution from
human sciences researchers and from computer sciences researchers
are welcome and expected. The contributions on these topics
can be based on swarm intelligence, social insect-based algorithms,
cultural algorithms, cellular automata modelling.

Community detection over graphs or over geographical information
systems is also relevant contributions for this session. The
understanding of the dynamical complex development of the human
and animal society is one of the goals of innovative research for
advancing geographical studies based on complexity approaches and
for distributed artificial intelligence modelling.

SIMULATION, MODELLING AND DATA MANAGEMENT IN REAL-TIME SYSTEMS
(SMDM-RTS'2008)

The SMDM-RTS'2008 session organized by the LITIS laboratory deals
with all aspects of the simulation, Modelling and data management
in real-time systems, including the management of quality of service.
The aim of the session is to present the researches already done
and current researches in this area. This will be done throughout
invited papers on one hand, and on the presentations of research
papers related to simulation and Modelling in systems combining
both database systems aspects and real-time systems aspects.
The relationships between these systems and their applications
to many areas will be pointed out. The session deals also with
papers related to mobility and real-time in geographic information
systems, to all aspects of sensor databases, to applying real-time
and mobility in intelligent/vehicles and transport systems,
in stock trading, etc.

Topics of interest include, but are not limited to:

* Feedback Control Scheduling Architecture : simulation and
Modelling
* Modelling of real-time data and real-time transactions
* Real-Time Applications for Intelligent Transport Systems (ITS)
* Simulation and/or Modelling of Real-Time Multimedia Systems,
Quality of Service management
* Distributed Simulations for Real-Time Systems and Real-Time
Databases
* Management of real-time data
* Sensor databases
* Formal or unformal specifications of real-time database systems
* Real-Time Geographic Systems
* Real-time vision and perception in ITS
* Modelling of Real-Time Component based Systems and Real-Time
Design Pattern Systems

We also encourage authors to present novel ideas, critique of
existing work, and application examples, which demonstrate how
real-time DBMSs technology could be effectively deployed and might
be be better than existing systems. We also welcome practical work
which applies real-time DBMSs in real-word applications. PhD works
are welcome.

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

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 EUROSIS.
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 the day before 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 EUROSIS.

A EUROSIS TC Meeting and an EU Project update meeting

EXHIBITION
A special 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 zipped
Microsoft Word format, PDF or Postscript format indicating the
designated track and type of submission (full paper or an extended
abstract) to the 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: ESM2007 and designated track or USE THE
ABSTRACT SUBMISSION PAGE!!
Only original papers, which have not been published elsewhere, will
be accepted for publication

REGISTRATION FEES

Registration Fees
Author EUROSIS Other
Members Participants
Pre-reg before 495 EURO 495 EURO 545 EURO
September 30th 2008

Registration after Pre-registration 545 EURO 595 EURO
September 30th 2008 required

The registration fee includes one copy of the Conference
Proceedings, coffee and tea during the breaks, all lunches, a
welcome cocktail and a conference dinner.

SOCIAL PROGRAMME
Conference dinner in Honfleur
(http://en.ot-honfleur.fr/Accueil,0,0,1.html)
and visit to Mont Saint Michel
(http://mont-saint-michel.monuments-nationaux.fr/en/)
are envisaged

PAPER SUBMISSION TYPES

FULL PAPER (including abstract, conclusions, diagrams, references)
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 ESM 2008 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 ESM 2008
Conference Proceedings.

ONE PAGE ABSTRACTS ARE NOT ACCEPTED.

CORRESPONDENCE ADDRESS
Philippe Geril
EUROSIS-ETI
Greenbridge NV
Wetenschapspark 1
Plassendale 1
B-8400 Ostend Belgium
Tel: +32.59.255330
Fax: +32.59.255339
Email: philippe.geril <at> eurosis.org

OUTSTANDING PAPER AWARD
The 2008 European Simulation and Modelling 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.

Selected papers are published in the following journal:
International Journal of Computational Science and Engineering
(IJCSE) to be published by InderScience:
http://www.inderscience.com/catalogue/c/ijcse/indexijcse.html

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

IMPORTANT DEADLINES

EARLY BIRD SUBMISSION DEADLINE: MAY 30TH, 2008

SUBMISSION DEADLINE: JUNE 15TH, 2008 -JULY 25, 2008

June 15 - July 25, 2008:
Submit contributed full-papers
(5 to 8 proceedings pages) not previously published. These
submissions, when accepted will be published as regular or
extended papers, depending on their quality.

June 15 - July 25, 2008:
Submit extended abstracts (5 abstract pages) or short papers (3
abstract pages), reports of scientific projects and summaries of
posters. These submissions, when accepted will be published as
regular, of up to 5 proceedings page papers.

June 15 - July 25, 2008:
Submit one -to -three page proposals to present tutorials,
to organise and chair panel sessions, to organise user meetings,
vendor sessions or to exhibit software

July 25, 2008:
Submit abstracts for student and poster session

LATE SUBMISSION DEADLINE JULY 25TH 2008

AUGUST 15, 2008:
Notification of Acceptance or Rejection

OCTOBER 1, 2008:
Authors provide camera-ready manuscript

October 26-28, 2008:
Conference

VENUE: Universite du Havre, Le Havre, France
http://www.univ-lehavre.fr/internat/index_anglais.php

REPLY CARD
First Name:
Surname:
Occupation and/or Title:
Affiliation:
Mailing Address

Zip code: City: Country.
Telephone: Fax:
E-Mail:

Yes, I intend to attend the ESM 2008:
[ ] 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
panellists)
[ ] Contributing to the exhibition
[ ] Without presenting a paper
The provisional title of my paper / exhibited tool is:

With the following highlights:

The paper belongs to the category (please tick only one):
[ ] Modelling Methodology
[ ] Modelling Simulation Tools
[ ] Object-Orientation and Re-use
[ ] Simulation and AI
[ ] AI and Expert Systems
[ ] AI and Neural Networks
[ ] AI and Fuzzy Systems
[ ] High Performance/Parallel and Large Scale Computing
[ ] Simulation in Education and Graphics Visualization Simulation
[ ] Simulation in Environmental Ecology, Biology and Medicine
[ ] Analytical and Numerical Modelling Techniques
[ ] Web Based Simulation
[ ] Agent Based Simulation
[ ] Cosmological Simulation
[ ] SIMULA- Special 40th anniversary Track
[ ] Simulation with Petri Nets
[ ] Simulation with Bond Graphs
[ ] DEVS
[ ] Fluid Flow Modelling Simulation
[ ] Complex Systems and Self-Organization Modelling
[ ] Models and simulations for Emergency and Risk Management
[ ] Complex Systems: Historical & Dynamical point of view
[ ] Emotional dimensions of cognition and their modelling in
problem-solving, learning and decision-making
[ ] Artificial Society
[ ] Simulation, Modelling and Data Management in Real-Time Systems
[ ] Poster session
[ ] Student Session

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

--
Philippe Geril Tel: +32.9.264.55.09
EUROSIS -ETI Fax: +32.9.264.58.25
Ghent University E-mail: philippe.geril <at> eurosis.org
Dept.of Industrial Mgmt. E-mail: pgeril <at> yahoo.co.uk
Technologiepark 903 URL: http://www.eurosis.org
Campus Ardoyen
B-9052 Ghent-Zwijnaarde
Belgium


<div>
<div></div>
<div>&nbsp;<p>                 FIRST CALL FOR PAPERS<br>
                       ESM2008<br>
The 2008 European Simulation and Modelling Conference<br>
                    Le Havre, France</p>
<p>                  October 27-29, 2008<br>
             MODELLING AND SIMULATION 2008</p>
<p>                 Methodology and Tools<br>
                  Simulation and AI<br>
       High Performance and Large Scale Computing<br>
 Simulation in Education and Graphics Visualization Simulation<br>
 Simulation in the Environment, Ecology, Biology and Medicine<br>
       Analytical and Numerical Modelling Techniques<br>
                 Web Based Simulation<br>
                Agent Based Simulation<br>
                Cosmological Simulation</p>
<p>               Simulation with Petri Nets<br>
               Simulation with Bond Graphs<br>
                     DEVS Workshop<br>
             Fluid Flow Modelling Simulation<br>
      Complex Systems and Self-Organization Modelling<br>
 Models and simulations for Emergency and Risk Management<br>
  Complex Systems: Historical &amp; Dynamical point of view<br>
 Emotional dimensions of cognition and their modelling in<br>
      problem-solving, learning and decision-making<br>
                   Artificial Society<br>
Simulation, Modelling and Data Management in Real-Time Systems</p>
<p>                      Tutorials<br>
           Student Papers, Poster Sessions<br>
            Partners for Projects Sessions<br>
                      Exhibition</p>
<p>                    Organised by<br>
          The European Technology Institute<br>
                  and Sponsored by<br>
                       EUROSIS<br>
                L'Universite du Havre</p>
<p>             For latest information see:<br>
                   www.eurosis.org<br>
                          or<br>
    http://www.eurosis.org/cms/?q=taxonomy/term/129</p>
<p>AIM OF ESM 2008</p>
<p>The 22nd annual ESM 2008 (European Simulation and Modelling<br>
Conference) is the original European international conference<br>
concerned with state of the art technology in modelling and<br>
simulation. ESM 2008 aims to provide an overview of academic<br>
research in the field of computer simulation. </p>
<p>A number of major tracks of simulation research are presented<br>
next to specific workshops, which capture the art and science<br>
of present-day simulation research.</p>
<p>KEYNOTE:<br>
Multi-agent modelling and applications to robotics and cognition<br>
Aladdin Ayesh, De Montfort University, Leicester, United Kingdom</p>
<p>All submissions will be peer reviewed by at least three members<br>
of the International Program Committee. Accepted papers will be<br>
published in the conference Proceedings (both print and electronic<br>
format on the web), that will be copyrighted and widely<br>
disseminated. All talks and tutorials, must be accompanied by a<br>
paper of between three to eight Proceedings pages. Contributions to<br>
the technical program are solicited in the following general areas; </p>
<p>METHODOLOGY AND TOOLS</p>
<p>METHODOLOGY<br>
Continuous, discrete and hybrid simulation methodology, Simulation<br>
environments, Multi-paradigm simulation, Simulation uncertainty,<br>
Simulation visualisation, Integration of simulation and geographical<br>
information systems, Object-oriented programming and Languages,<br>
Multi-paradigm Languages, Software comparisons. Numerical Methods<br>
for Simulation, Mathematical Analysis in Simulation, Parallel<br>
Simulation Methodology, Discrete Event Simulation, Simulation<br>
Fidelity and Performance Evaluation, Advanced Training and<br>
Simulation Concepts for Education, Multiparameter Sequential<br>
Optimization Methods in Simulation, Verification, Validation, and<br>
Control in Complex Systems Simulation, Distributed and Parallel<br>
Systems Simulation, Combined Continuous and Discrete Event Models,<br>
Symbol Analysis and Manipulation of Equation-Based Models,<br>
Simultaneous vs Modular Simulation Methods, Standardization Issues</p>
<p>OBJECT ORIENTATION AND RE-USE<br>
Object-Oriented Modelling Languages, Modularity, Model Structuring,<br>
Inheritance, Model Re-use, Organization of Model Libraries</p>
<p>TOOLS<br>
Simulation Tools, Statistical Output Evaluation Tools, Optimization<br>
Tools, Special Purpose Simulation Languages and Tools, Simulator<br>
Development Environments, Interfaces for Coupling with External Tools</p>
<p>SIMULATION AND AI</p>
<p>AI Based Simulation Languages, Special Architectures, Graphical<br>
Simulation Environments and Simulation Software Tools, Intelligent<br>
Simulation Environments, Parallel Processing Environments for<br>
Simulation, User Friendly Software Tools, Advanced Man-Machine<br>
Interfaces, Graphical Model Editors, Browsing Facilities, Database<br>
Management of Models and Results, Architecture of Modelling and<br>
Simulation Environments </p>
<p>AI AND EXPERT SYSTEMS<br>
Expert Controllers and Genetic Algorithms in Simulation, Knowledge<br>
Based Simulation Tools, AI and Expert Systems in Simulation </p>
<p>AI AND NEURAL NETWORKS<br>
Classification, Data analysis, Fault tolerance, Forecasting,<br>
Knowledge acquisition, Economics and Finance, Planning, Pre-<br>
treatment of data, Process control, Robotics, Speech and image<br>
recognition, Web intelligence, involving methodologies such as:<br>
Hybrid systems (GA, fuzzy, symbolic representation), Methods or<br>
tools for evaluating ANN performance, Reinforcement Learning,<br>
Simulation tools (research, education, development), Neural nets for<br>
simulation: modelling of parts (components) of the system simulated<br>
by neural networks, evaluation of simulation models using neural<br>
nets, decision support in simulation models by neural nets;<br>
Simulation of neural nets: systems of pre-designed neural networks,<br>
techniques and tools for simulation and programming of neural<br>
networks.</p>
<p>AI AND FUZZY SYSTEMS<br>
Fuzzy Qualitative simulation, fuzzy rules and fault models.<br>
Classification, Data analysis, Fault tolerance, Forecasting,<br>
Knowledge acquisition, Economics and Finance, Planning,<br>
Pre-treatment of data, Process control, Robotics, Speech and image<br>
recognition, Web intelligence, involving methodologies such as:<br>
Hybrid systems (GA, fuzzy, symbolic representation), Methods or<br>
tools for evaluating ANN performance, Reinforcement Learning,<br>
Simulation tools (research, education, development). </p>
<p>HIGH PERFORMANCE AND LARGE SCALE COMPUTING</p>
<p>This track invites contributions on efficient Modelling and<br>
Simulation Algorithms and Computer-intensive Simulation Projects on<br>
High-performance Large Scale Computers and Distributed Platforms.<br>
Methods and techniques for parallel simulation (scheduling,<br>
synchronisation, load balancing), Performance of parallel and<br>
distributed simulation (experimental and comparative studies,<br>
performance models, benchmarks), High Level Architecture (HLA) and<br>
related standards (time management, model semantics, implementation<br>
issues), High Performance and Large Scale Systems for Computational<br>
Science (biological, chemical, physical, etc.) Application of<br>
parallel and distributed simulation (computer systems, manufacturing<br>
systems, etc.), Parallelisation of simulations (numerical methods,<br>
(Quasi-Monte-Carlo simulation), Simulation in Cluster, Multicluster,<br>
and Grid Computing, Simulation in Pervasive and Ubiquitous Computing<br>
(wireless, mobile, wearable, invisible)</p>
<p>SIMULATION IN EDUCATION AND GRAPHICS VISUALIZATION SIMULATION</p>
<p>This track covers; Simulation and e-learning, - Role Strategies)<br>
Management Games, Simulation with "man in the loop", Virtual Reality<br>
Systems, Realistic Presentation of Simulation, Results, Simulation<br>
for Training and Education, Web-based Simulation, Multi-site Group<br>
Simulation, Special Purpose Simulation Languages and Tools,<br>
Simulation Environments, Simulator Development Environments, Visual<br>
Modelling Tools, Multimedia, Visualisation and Animation Tools,<br>
Interfaces for Coupling with External Tools</p>
<p>SIMULATION IN ENVIRONMENT, ECOLOGY, BIOLOGY AND MEDICINE</p>
<p>The main goal is to enhance the trans-disciplinarity and to<br>
facilitate contacts and dialogs between computer scientists and<br>
specialists of Environmental Sciences. Since 10 years the modelling<br>
process took benefits from recent (and less recent) techniques of<br>
computer science : Object-Oriented Languages, Discrete Event<br>
Simulation, Concepts of Agent and Actor, Fuzzy Logic, UML, model -<br>
GIS interface, Web-based simulation, environment management,<br>
predictive models of forest growth, fishing, climate and other<br>
biological processes. Papers dealing with ecological modelling (in a<br>
wider sense) are welcome in the areas of: Applications: Environment<br>
managing, Waste managing, Ecosystem dynamics (terrestrial and<br>
oceanographic ecology) Population dynamics (diseases &amp; epidemics,<br>
changes in biodiversity, genome, predator-prey relationships,<br>
fishing...), Population behaviour, Individual behaviour, involving<br>
methodologies such as: Artificial Intelligence, Distributed<br>
Interactive Simulation, High-Performance Computing, Languages,<br>
Modelling  Techniques, Simulation Methodologies &amp; Tools, Synthetic<br>
Environment, Virtual Reality, Petri nets, DEVS and Bond Graphs.<br>
Modelling and simulation have an important role in structuring<br>
biological, medical and ecological systems. </p>
<p>The intrinsic complexity and non-linearity of these types of systems<br>
need continuous and discrete simulation methodology, soft computing<br>
methodology in order to handle the different degrees of uncertainty,<br>
as well as virtual reality methodology describing the time and space<br>
dependent complexity. </p>
<p>SIMULATION IN BIOLOGICAL SYSTEMS<br>
Topics are biological systems, medical systems and ecosystems with<br>
the domain specific topics such as molecular modelling, genetic<br>
algorithms in biosystems, fuzzy sets and neural nets in biosystems,<br>
physiology, cardiology, anesthesia, cancer, circulatory system,<br>
respiratory system, renal system, biomechanics, agricultural<br>
production, simulation of global change, ecotechnology and eco-<br>
engineering, GIS, population dynamics, etc Simulation of Patient<br>
Care,Quality of Service, Hospital Logistics, Simulation of Disease<br>
Proliferation, Virtual Reality in Surgical Procedures, Simulating<br>
Biological Phenomena and Organs, Simulation as a Tool for Diagnosis,<br>
Simulation of Emergency Procedures (Disaster Gaming), General<br>
Medical Simulations, Pharmacometric Modelling, Physiological<br>
Simulations.</p>
<p>ANALYTICAL AND NUMERICAL MODELLING TECHNIQUES</p>
<p>Contributions based on exact and approximate methods as well as<br>
applications are encouraged but not restricted to the following<br>
topics:<br>
Techniques and Algorithms, Stochastic Petri Net Models, Queuing<br>
Systems and Network Models, Markov Models, Performance Optimization,<br>
Stochastic Process Algebras, Stochastic Precedence Graphs, Bounds<br>
and Theoretical Properties, Interconnection Networks, Evaluation<br>
Studies of Analytical and Numerical Modelling, Computer Systems,<br>
Manufacturing Systems, Workflow Management Systems, Communication<br>
Systems (LANs and Distributed Systems, ATM Switches, Mobile<br>
Radio,...), Workload modelling and Characterisation, Operating<br>
Systems, Client-Server Systems, Multimedia Systems, Measurements and<br>
Hybrid Techniques, Software Performance and Software Tools for<br>
Analytical and Numerical Modelling</p>
<p>WBE BASED SIMULATION</p>
<p>Web-based Simulation Environments (WSE), Web-based Distributed<br>
Interactive Simulation (WDIS) Sharing and reuse of simulation models<br>
and tools in WSE , Techniques and Standards for model integration,<br>
Communication interoperability in WSE and WDIS, WSE and WDIS<br>
applications to education, training and learning. , Simulation<br>
visualization/animation in WSE and WDIS, Web-based Distributed<br>
Simulation (distributed modelling via the Web, Java based,<br>
Federated, and so on) </p>
<p>AGENT BASED SIMULATION<br>
Agent Based Simulation covers, Basic Methodologies, Agent<br>
Architectures, Model Specification and Languages, Mobile Agents,<br>
Multi Agent System Communication and Cooperation, Multi-Level<br>
Simulation and Emergence, decision making and Strategies,<br>
plus applications in Ecology and Environment (environment<br>
management, resource management, social and political<br>
impact on the environment, computer aided decision making,<br>
socio-eco systems modelling), psychology, Cognitive Science<br>
and AI, Economics and Market Systems, Business Process<br>
Management, Industry, Manufacturing and Logistics and<br>
Transport(control of Industrial Systems, scheduling,<br>
Planning, Supply Chain) and Health Care with the emphasis<br>
on simulation and modelling. </p>
<p>COSMOLOGICAL SIMULATION<br>
Detailed computer simulations are a powerful tool to study<br>
one of the biggest challenges for theoretical cosmology:<br>
How did the galaxies we see in the universe today form out of<br>
the small fluctuations in matter density that were present<br>
in the primordial universe? Having carried out the largest<br>
cosmological simulations ever, scientists of astrophysics<br>
are able to follow the hierarchical galaxy formation process<br>
with unprecedented accuracy and detail, allowing new theoretical<br>
insights into dark matter dynamics, and novel tests of the cold<br>
dark matter theory for galaxy formation.<br>
Simulations in this area, at present can be categorized under:<br>
The Millenium Simulation, Galaxy Formations Simulation,<br>
First Objects, Mock Catalogues, Dark Matter Halos,<br>
Intergalactic Medium, Semi-Analytical Modelling and Hubble<br>
Volume Simulation, Star Formation etc...</p>
<p>WORKSHOP SIMULATION WITH PETRI NETS</p>
<p>Petri nets were introduced by C.A. Petri as a "finitary<br>
combinatorial model of event topology which, is in close<br>
correspondence with the models of modern physics, is capable of<br>
describing total information flow, and has proven superior to some<br>
conventional models both in construction and in analysis of systems<br>
of complex organization". Although many other models of concurrent<br>
and distributed systems have been developed, Petri nets are still<br>
considered "a central model for concurrent systems with respect to<br>
both the theory and the applications" due to the natural way they<br>
allow to represent reasoning on concurrent active objects which<br>
share resources and their changing states.</p>
<p>The  huge  amount  of  work invested in making the modelling power<br>
of Petri nets  formalism  more and  more intensive, led to a<br>
continuous evolution of this  area,  such that "Petri nets" is<br>
currently a generic name for a whole class  of  models  divided into<br>
three main layers  (ranging from Elementary Net  Systems  and<br>
Place/Transition nets to traditional High Level nets and High  Level<br>
nets with abstract data types). For the performance evaluation of<br>
the  modelled  system,  time execution and/or stochastic processes<br>
have also  been considered, leading to important extensions to the<br>
above general Petri nets classification: Timed and Stochastic Petri<br>
nets.</p>
<p>Petri nets are widely  considered  as  an  operational (rather than<br>
denotational) formalism for Discrete Event Systems. They have proven<br>
to be useful in solving difficult  discrete-event  problems in  a<br>
variety of application  domains  such  as  in software engineering,<br>
operating systems, databases, communication and co-operation<br>
protocols in distributed systems, manufacturing  systems, defence<br>
command and control, business processes and<br>
telecommunications, etc.</p>
<p>As investigations in this area show, Petri nets also cover a large<br>
number of  currently  active  research areas. Despite the great<br>
amount of work and achievements, much effort is still to be done to<br>
meet the applications requirements.</p>
<p>This  workshop  is  intended  to  provide  a forum for the<br>
presentation and discussion   of   original   ideas,  recent<br>
results  and  achievements  by researchers,  students  and  system<br>
developers  on  issues  and challenges related to the above domain.<br>
We invite to submit original contributions addressing, but not<br>
limited to one of the following topics:<br>
-- Simulation using Petri Net Systems,<br>
-- Place/Transition nets,<br>
-- High-level Petri nets,<br>
-- Timed and Stochastic Petri nets,<br>
-- Temporal and real-time logics with respect to Petri nets,<br>
-- Analysis methods of High Level nets and their time extensions,<br>
-- Modular Petri nets,<br>
-- Object-oriented Petri nets (OOPNs),<br>
-- Computer tools based on OOPNs,<br>
-- Applications of OOPNs.</p>
<p>WORKSHOP MODELLING AND SIMULATION WITH BONDGRAPHS</p>
<p>The Bond Graph Workshop will bring experts together for the purpose<br>
of discussing new concepts, methods, techniques, tools and<br>
applications of this energy-based modelling methodology. Papers<br>
dealing with all aspects of the use of bond graphs in system design,<br>
analysis, and control are welcome.  The workshop will provide a<br>
forum for the presentation and discussion of recent research and<br>
applications of the Bond Graph methodology. Research papers are<br>
welcome in the following categories of presentation: Tutorials,<br>
Panel Discussions, Software and Tools, Bond Graph Theory, Advanced<br>
Bond Graph Methodology, Bond Graphs and Block Diagrams, Computer<br>
Graphics and Bond Graph Modelling, Qualitative Modelling,<br>
Mechatronics Systems, Mechanical Systems and Robotics, Electrical<br>
and Power Systems, Control Systems, Thermal and Chemical Systems,<br>
Biomechanics and Prosthetics, Ecological Systems, Biological and<br>
Medical Systems, Social and Economic Systems, Industrial </p>
<p>Applications, Large, Nonlinear Models</p>
<p>DEVS WORKSHOP<br>
The DEVS Workshop will cover: Extensions to the DEVS formalism, DEVS<br>
and Distributed DEVS frameworks, DEVS-based next generation VHDL,<br>
DEVS standardization, DEVS applications</p>
<p>FLUID FLOW SIMULATION MODELLING WORKSHOP</p>
<p>Papers are solicited in:<br>
Conventional fluid dynamics<br>
New developments in boundary tracking, adaptive multiscale meshes,<br>
algorithm stability, turbulence</p>
<p>Atomistic methods<br>
Ab-initio and classical molecular dynamics, direct simulation Monte<br>
Carlo.</p>
<p>Mesoscopic methods<br>
Lattice gases, lattice-Boltzmann, smoothed particle dynamics,<br>
dissipative particle dynamics, discrete simulation automata, etc.</p>
<p>Hybrid methods<br>
Atomistic-mesoscopic and mesoscopic-continuum: direct simulation </p>
<p>Monte Carlo, adaptive-mesh dissipative-particle dynamics, etc.</p>
<p>Multidisciplinary and industrial applications<br>
Chemical and biomedical engineering, automotive, oil extraction and<br>
aeronautic industry, flow in porous media, Fluid Dynamics<br>
Simulation, Fluid Dynamics Simulation in Turbomachinery Flow<br>
Analysis of Pump Turbines, Water, air, vibration analysis through<br>
fluid flow modelling, Electromagnetic Field Simulation, Virtual Wind<br>
Tunnels, Structural analysis Statics (Stress, Deformation), Dynamics<br>
(Vibration), Eigen value, Fatigue, Thermal load Electric power<br>
plants, General plant components Computational fluid dynamics<br>
Compressible flow, Incompressible flow, Heat transfer,<br>
Multiphase/multi component flow, Combustion, Reaction,, Noise (Flow-<br>
induced sound) Gas turbines/Steam turbines,Combustors, Nuclear plant<br>
components, Hydro turbines, Pumps, Heat exchangers, Piping systems<br>
Computational electro-magnetics Static elecromagnetics, Eddy<br>
current, Electromagnetic wave, Electric circuit Nuclear fusion<br>
reactor, Transformers, Switch gear, Rotating machinery,<br>
Inverters/Converters Coupled problems Fluid-structure coupled<br>
analysis, (Flow-induced vibration), Fluid-electric field coupled<br>
analysis, (Insulation) Heat exchangers, Electric power transmission<br>
components</p>
<p>MODELS AND SIMULATIONS FOR EMERGENCY AND RISK MANAGEMENT</p>
<p>Multiple and unexpected failures but also catastrophes waiting<br>
to happen are built into our "society's complex systems". This<br>
is a matter of increasing concern. How should we understand,<br>
control or avoid such potential crisis on a local/global scale,<br>
where local interactions play a major role?</p>
<p>Simulations are powerful tools in a context where risk is the<br>
product of probability of accident by the losses per accident.<br>
This risk can be major when it is collective, the occuring<br>
frequency is low, the impacts on humans or environment are very<br>
important. In this kind of risk, it is necessary to engage<br>
exceptional resources to prevent, to forsee and to help. This<br>
aspect is very important, but some crises have demonstrated<br>
that the problems can be in upstream and it is also necessary<br>
to consider the detection, the defects diagnosis and the<br>
supervision of risk systems.</p>
<p>We solicit contributions on (not exhaustive):</p>
<p>* Modeling risk (including technical, environmental and human<br>
  factors) to prevent and to manage<br>
* Tools of analysis, detection and early diagnosis<br>
* Population flow before, during and after the crisis<br>
* Information flow for the emergency</p>
<p>COMPLEX SYSTEMS: HISTORICAL &amp; DYNAMICAL POINT OF VIEW</p>
<p>Complex Systems is a contemporary topics and it is interesting<br>
to take a sight on it through both Historical and Dynamical<br>
point of view. So this session aims to propose a study of<br>
Complex Systems dealing with various domains such as Physics,<br>
Biology, Chemistry, Ecology... For example, Historical and<br>
Dynamical aspects of Van der Pol circuit or Predator-prey<br>
model should be highlighted through an overview of all<br>
studies already done and may be followed by a presentation<br>
of new ideas or concepts on the subject. </p>
<p>EMOTIONAL DIMENSIONS OF COGNITION AND THEIR MODELLING IN<br>
PROBLEM-SOLVING, LEARNING AND DECISION-MAKING</p>
<p>Cognition is studied from various approaches, both from a<br>
computable vision allowing to understand, reproduce the<br>
complexity of human brain functioning and from the human<br>
understanding vision linking with memory, behavior and<br>
feelings. Emotional dimensions have been studied in this<br>
context since only few decades because of the complexity<br>
to express and to define them and to explain their<br>
interaction with cognition, including problem-solving,<br>
learning and decision-making. In this session, we expect<br>
some contributions from computer sciences researchers for<br>
the modeling contribution and from psychologist researchers<br>
for the lightening of these complex interactions, including<br>
their fundamental knowledge on human behavior. The contribution<br>
from neuro-psychologist researchers will allow to root the<br>
cognitive and behavioral description on embodied knowledge,<br>
allowing to find relevant modeling dimensions.</p>
<p>ARTIFICIAL SOCIETY</p>
<p>This session focuses on the two complementary aspects:<br>
(1) modelling the society and its spatial systems according<br>
to their complexity and (2) to use the society as model for<br>
distributed artificial agents which contribute to solve problems<br>
using their social behaviour. The mixing of contribution from<br>
human sciences researchers and from computer sciences researchers<br>
are welcome and expected. The contributions on these topics<br>
can be based on swarm intelligence, social insect-based algorithms,<br>
cultural algorithms, cellular automata modelling.</p>
<p>Community detection over graphs or over geographical information<br>
systems is also relevant contributions for this session. The<br>
understanding of the dynamical complex development of the human<br>
and animal society is one of the goals of innovative research for<br>
advancing geographical studies based on complexity approaches and<br>
for distributed artificial intelligence modelling. </p>
<p>SIMULATION, MODELLING AND DATA MANAGEMENT IN REAL-TIME SYSTEMS<br>
(SMDM-RTS'2008)</p>
<p>The SMDM-RTS'2008 session organized by the LITIS laboratory deals<br>
with all aspects of the simulation, Modelling and data management<br>
in real-time systems, including the management of quality of service.<br>
The aim of the session is to present the researches already done<br>
and current researches in this area. This will be done throughout<br>
invited papers on one hand, and on the presentations of research<br>
papers related to simulation and Modelling in systems combining<br>
both database systems aspects and real-time systems aspects.<br>
The relationships between these systems and their applications<br>
to many areas will be pointed out. The session deals also with<br>
papers related to mobility and real-time in geographic information<br>
systems, to all aspects of sensor databases, to applying real-time<br>
and mobility in intelligent/vehicles and transport systems,<br>
in stock trading, etc.</p>
<p>Topics of interest include, but are not limited to:</p>
<p>* Feedback Control Scheduling Architecture : simulation and<br>
  Modelling<br>
* Modelling of real-time data and real-time transactions<br>
* Real-Time Applications for Intelligent Transport Systems (ITS)<br>
* Simulation and/or Modelling of Real-Time Multimedia Systems,<br>
  Quality of Service management<br>
* Distributed Simulations for Real-Time Systems and Real-Time<br>
  Databases<br>
* Management of real-time data<br>
* Sensor databases<br>
* Formal or unformal specifications of real-time database systems<br>
* Real-Time Geographic Systems<br>
* Real-time vision and perception in ITS<br>
* Modelling of Real-Time Component based Systems and Real-Time<br>
  Design Pattern Systems</p>
<p>We also encourage authors to present novel ideas, critique of<br>
existing work, and application examples, which demonstrate how<br>
real-time DBMSs technology could be effectively deployed and might<br>
be be better than existing systems. We also welcome practical work<br>
which applies real-time DBMSs in real-word applications. PhD works<br>
are welcome.</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</p>
<p>POSTER SESSION<br>
The poster session only features work in progress. Next to the<br>
actual poster presentation, these submissions also feature as short<br>
papers in the Proceedings. </p>
<p>STUDENTS SESSION<br>
This session is for students who want to present their work in<br>
progress or part of their doctoral thesis as a paper. Student papers<br>
are denoted by the fact that only the name of the student appears on<br>
the paper as an author. They are published as short papers in the<br>
Proceedings.</p>
<p>DIVERSE ACTIVITIES<br>
For demonstrations or video sessions, please contact EUROSIS.<br>
Special session will be set up for vendor presentations in co-<br>
ordination with the scientific program. User Group meetings for<br>
simulation languages and tools can be organised the day before the<br>
conference. If you would like to arrange a meeting, please contact<br>
the Conference Chairs. We will be happy to provide a meeting room<br>
and other necessary equipment.<br>
Partners for projects session(s) will be organised by EUROSIS to<br>
give potential project teams or individuals the opportunity to<br>
present their research in order to link up with fellow researchers<br>
for future research projects. Those wishing to participate in this<br>
session need to send a proposal to EUROSIS.</p>
<p>A EUROSIS TC Meeting and an EU Project update meeting</p>
<p>EXHIBITION<br>
A special exhibition will be held during the conference focused on<br>
simulation tools. For more information please contact EUROSIS for<br>
further details. Email: Philippe.Geril <at> eurosis.org</p>
<p>DEADLINES AND REQUIREMENTS<br>
Send all submissions in an ELECTRONIC FORM ONLY in zipped<br>
Microsoft Word format, PDF or Postscript format indicating the<br>
designated track and type of submission (full paper or an extended<br>
abstract) to the EUROSIS  (Philippe.Geril <at> eurosis.org).<br>
Please provide your name, affiliation, full mailing address,<br>
telephone / fax number and Email address on all submissions as well.<br>
For submissions please put in the subject of your Email the<br>
following indications: ESM2007 and designated track or USE THE<br>
ABSTRACT SUBMISSION PAGE!!<br>
Only original papers, which have not been published elsewhere, will<br>
be accepted for publication</p>
<p>REGISTRATION FEES</p>
<p>Registration Fees<br>
                     Author          EUROSIS              Other<br>
                                     Members             Participants<br>
Pre-reg before      495 EURO         495 EURO             545 EURO<br>
September 30th 2008</p>
<p>Registration after Pre-registration  545 EURO             595 EURO<br>
September 30th  2008   required </p>
<p>The registration fee includes one copy of the Conference<br>
Proceedings, coffee and tea during the breaks, all lunches, a<br>
welcome cocktail and a conference dinner.</p>
<p>SOCIAL PROGRAMME<br>
Conference dinner in Honfleur<br>
(http://en.ot-honfleur.fr/Accueil,0,0,1.html)<br>
and visit to Mont Saint Michel<br>
(http://mont-saint-michel.monuments-nationaux.fr/en/)<br>
are envisaged</p>
<p>PAPER SUBMISSION TYPES</p>
<p>FULL PAPER (including abstract, conclusions, diagrams, references)<br>
During review, the submitted full papers can be accepted as a<br>
regular 5 page paper. If excellent, full papers can be accepted by<br>
the program committee as an extended (8-page) paper. Each submission<br>
will be reviewed by at least three members of the International<br>
Program Committee.</p>
<p>EXTENDED ABSTRACT (at least five pages)<br>
Participants may also submit a 5 page extended abstract for a<br>
regular (5 pages) or short (3 pages) paper or poster, which will be<br>
reviewed by the International Program Committee. All accepted papers<br>
will be published in the ESM 2008 Conference Proceedings.</p>
<p>SHORT ABSTRACT (at least three pages)<br>
Participants may also submit a 3 page abstract for a short paper or<br>
poster, which will be reviewed by the International Program<br>
Committee. All accepted papers will be published in the ESM 2008<br>
Conference Proceedings. </p>
<p>ONE PAGE ABSTRACTS ARE NOT ACCEPTED.</p>
<p>CORRESPONDENCE ADDRESS<br>
Philippe Geril<br>
EUROSIS-ETI<br>
Greenbridge NV<br>
Wetenschapspark 1<br>
Plassendale 1<br>
B-8400 Ostend Belgium<br>
Tel: +32.59.255330<br>
Fax: +32.59.255339<br>
Email: philippe.geril <at> eurosis.org</p>
<p>OUTSTANDING PAPER AWARD<br>
The 2008 European Simulation and Modelling Conference Committee will<br>
select the Outstanding Paper of the Conference. The author of this<br>
paper will be awarded a free registration for a EUROSIS conference.<br>
Only papers SUBMITTED AS FULL papers will be eligible for the<br>
Outstanding Paper Award.</p>
<p>Selected papers are published in the following journal:<br>
International Journal of Computational Science and Engineering<br>
(IJCSE) to be published by InderScience:<br>
http://www.inderscience.com/catalogue/c/ijcse/indexijcse.html </p>
<p>LANGUAGE<br>
The official conference language for all papers and presentations is<br>
English</p>
<p>IMPORTANT DEADLINES</p>
<p>EARLY BIRD SUBMISSION DEADLINE: MAY 30TH, 2008</p>
<p>SUBMISSION DEADLINE: JUNE 15TH, 2008 -JULY 25, 2008</p>
<p>June 15 - July 25, 2008:<br>
 Submit contributed full-papers<br>
 (5 to 8 proceedings pages) not previously published. These<br>
submissions, when accepted will be published as regular or<br>
extended papers, depending on their quality.</p>
<p>June 15 - July 25, 2008:<br>
 Submit extended abstracts (5 abstract pages) or short papers (3<br>
abstract pages), reports of scientific projects and summaries of<br>
posters. These submissions, when accepted will be published as<br>
regular, of up to 5 proceedings page papers.</p>
<p>June 15 - July 25, 2008:<br>
 Submit one -to -three page proposals to present tutorials,<br>
 to organise and chair panel sessions, to organise user meetings,<br>
vendor sessions or to exhibit software</p>
<p> July 25, 2008:<br>
 Submit abstracts for student and poster session</p>
<p>LATE SUBMISSION DEADLINE JULY 25TH 2008</p>
<p>AUGUST 15, 2008:<br>
 Notification of Acceptance or Rejection</p>
<p>OCTOBER 1, 2008:<br>
 Authors provide camera-ready manuscript</p>
<p>October 26-28, 2008:<br>
 Conference</p>
<p>VENUE: Universite du Havre, Le Havre, France<br>
http://www.univ-lehavre.fr/internat/index_anglais.php</p>
<p>REPLY CARD<br>
First Name:<br>
Surname:<br>
Occupation and/or Title:<br>
Affiliation:<br>
Mailing Address 	</p>
<p>Zip code:	City: 	Country.<br>
Telephone:	Fax:<br>
E-Mail:	</p>
<p>Yes, I intend to attend the ESM 2008:<br>
[ ] Presenting a paper, by submitting a full paper<br>
[ ] Presenting a short paper (by submitting an extended abstract)<br>
[ ] Participating in the industrial program<br>
[ ] Organizing a vendor session<br>
[ ] Proposing a panel discussion (please mention names of<br>
    panellists)<br>
[ ] Contributing to the exhibition<br>
[ ] Without presenting a paper<br>
The provisional title of my paper / exhibited tool is:</p>
<p>With the following highlights:</p>
<p>The paper belongs to the category (please tick only one):<br>
[ ] Modelling Methodology<br>
[ ] Modelling Simulation Tools<br>
[ ] Object-Orientation and Re-use<br>
[ ] Simulation and AI<br>
[ ] AI and Expert Systems<br>
[ ] AI and Neural Networks<br>
[ ] AI and Fuzzy Systems<br>
[ ] High Performance/Parallel and Large Scale Computing<br>
[ ] Simulation in Education and Graphics Visualization Simulation<br>
[ ] Simulation in Environmental Ecology, Biology and Medicine<br>
[ ] Analytical and Numerical Modelling Techniques<br>
[ ] Web Based Simulation<br>
[ ] Agent Based Simulation<br>
[ ] Cosmological Simulation<br>
[ ] SIMULA- Special 40th anniversary Track<br>
[ ] Simulation with Petri Nets<br>
[ ] Simulation with Bond Graphs<br>
[ ] DEVS<br>
[ ] Fluid Flow Modelling Simulation<br>
[ ] Complex Systems and Self-Organization Modelling<br>
[ ] Models and simulations for Emergency and Risk Management<br>
[ ] Complex Systems: Historical &amp; Dynamical point of view<br>
[ ] Emotional dimensions of cognition and their modelling in<br>
    problem-solving, learning and decision-making<br>
[ ] Artificial Society<br>
[ ] Simulation, Modelling and Data Management in Real-Time Systems<br>
[ ] Poster session<br>
[ ] Student Session</p>
<p>Other colleague(s) interested in the topics of the conference<br>
is/are:<br>
Name:<br>
Address:<br>
Name:<br>
Address: </p>--<br>
Philippe Geril               Tel: +32.9.264.55.09<br>
EUROSIS -ETI                 Fax: +32.9.264.58.25<br>
Ghent University             E-mail: philippe.geril <at> eurosis.org<br>
Dept.of Industrial Mgmt.     E-mail: pgeril <at> yahoo.co.uk<br>
Technologiepark 903          URL: http://www.eurosis.org<br>
Campus Ardoyen<br>
B-9052 Ghent-Zwijnaarde<br>
Belgium</div>
<br><br>
</div>
Geoff Sutcliffe | 4 Apr 11:07 2008
Picon

LPAR 2008 (Qatar) CFP

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

LPAR 2008

15th International Conference on
Logic for
Programming,
Artificial Intelligence and
Reasoning

Doha, Qatar
November 22-27, 2008

http://www.qatar.cmu.edu/lpar08/

The series of International Conferences on Logic for Programming, 
Artificial Intelligence and Reasoning (LPAR) is a forum where, year 
after year, some of the most renowned researchers in the areas of 
automated reasoning, computational logic, programming languages and 
their applications come to present cutting-edge results, to discuss 
advances in these fields, and to exchange ideas in a scientifically 
emerging part of the world. The 2008 edition will be held in Doha, 
Qatar, on the premises of the Qatar campus of Carnegie Mellon 
University.

Logic is a fundamental organizing principle in nearly all areas in 
Computer Science. It runs a multifaceted gamut from the foundational 
to the applied. At one extreme, it underlies computability and 
complexity theory and the formal semantics of programming languages. 
At the other, it drives billions of gates every day in the digital 
circuits of processors of all kinds. Logic is in itself a powerful 
programming paradigm but it is also the quintessential specification 
language for anything ranging from real-time critical systems to 
networked infrastructures. It is logical techniques that link 
implementation and specification through formal methods such as 
automated theorem proving and model checking. Logic is also the stuff 
of knowledge representation and artificial intelligence. Because of 
its ubiquity, logic has acquired a central role in Computer Science 
education.

New results in the fields of computational logic and applications are 
welcome. Also welcome are more exploratory presentations, which may 
examine open questions and raise fundamental concerns about existing 
theories and practices. Topics of interest include, but are not 
limited to:

     * Automated reasoning
     * Interactive theorem proving
     * Implementations of logic
     * Proof assistants
     * Program and system verification
     * Model checking
     * Rewriting and unification
     * Logic programming
     * Constraint programming
     * Logic and databases
     * Modal and temporal logics
     * Proof-carrying code
     * Translation validation
     * Logic for the semantic web
     * Foundations of security
     * Description logics
     * Non-monotonic reasoning
     * Specification using logics
     * Logic in artificial intelligence
     * Lambda calculus
     * Constructive logic and type theory
     * Computional interpretations of logic
     * Logical foundations of programming
     * Logical aspects of concurrency
     * Logic and computational complexity
     * Knowledge representation and reasoning
     * Reasoning about actions
     * Proof planning
     * Effectively presented structures
     * Logic of distributed systems

Invited Speakers
----------------
It has been a tradition of LPAR to invite some of the most influential 
researchers in the focus areas to discuss their work and their vision 
for their fields. We are honored that the following members of the 
community have accepted this invitation.

     * Edmund Clarke, Carnegie Mellon University (USA)

Other invited speakers will be announced soon

Submission Instructions
-----------------------
Submissions must not substantially overlap papers that have been 
published or that are simultaneously submitted to a journal or a 
conference with proceedings. Papers should be submitted in Portable 
Document Format (PDF); papers submitted in a proprietary word 
processor format such as Microsoft Word cannot be considered. 
Submissions can be of two types:

     * Regular papers are meant to describe solid new research 
results. They can be up to 15 pages long in LNCS style, including 
figures, bibliography and appendices.
     * Short papers are intended to report on interesting work in 
progress. They can be at most 5 pages long in the LNCS style.

Papers can be electronically submitted by visiting 
http://www.easychair.org/conferences/?conf=3Dlpar2008
. Prospective authors are required to register a title and an abstract 
a week before the paper submission deadline (see below).

As with the previous editions, the accepted regular papers of LPAR'08 
will be published in Springer-Verlag's Lecture Notes in
Computer Science series. They will be available at the conference.

Programme Committe Chairs
-------------------------
     * Iliano Cervesato (Carnegie Mellon University, Qatar)
     * Helmut Veith (Technische Universit=E4t Darmstadt, Germany)
     * Andrei Voronkov (University of Manchester, UK)

Participation
-------------
Authors of accepted papers are required to ensure that at least one of 
them will be present at the conference. Papers that do not adhere to 
this policy will be removed from the proceedings.

Important Dates
---------------
Abstract submission deadline: 	26 May 2008
Paper submission deadline: 	06 June 2008
Notification of acceptance: 	29 August 2008
Camera-ready papers: 	19 September 2008
LPAR'08 Workshops: 	22 November 2008
LPAR 2008: 	23-27 November 2008

Eleni Karatza | 5 Apr 04:13 2008
Picon

The British Computer Society International Academic Research Conference: Visions of Computer Science


Announcement and Call for Papers

The British Computer Society International Academic Research Conference

Visions of Computer Science

www.bcs.org/visions

Imperial College London September 22-24, 2008

Paper Submission Deadline May 13, 2008

The British Computer Society launches its first International Academic  
Conference

Full paper submissions are being solicited in all areas of research  
covering the broad field of

Computer Science and Engineering (CSE).

Keynote Speakers Include the Turing Award Winners

Fran Allen, Vint Cerf, Tony Hoare, Dick Karp, Robin Milner, Michael  
Rabin, Joseph Sifakis

The conference will be organized in sessions and mini-tracks, each  
devoted to a theme or area, and include invited presentations.  The  
areas are deliberately broad to reflect the rich texture and  
intellectual vigor of CSE. They include but are not limited to:

* Computer Architectures and Digital Systems,
* Theoretical Computer Science: Algorithms and Complexity,  Logic and  
Semantics,
* Non-standard Models of Computation,
* Programming Methods and Languages
* Software Engineering, and System Design Tools,
* Quantitative Evaluation of Algorithms, Systems, and Networks
* Artificial Intelligence, Agents, and Machine Learning,
* Networks, Distributed and Pervasive Systems
* Grid Computing and E-Science,
* Databases, Information Retrieval and Data Mining, Web Based Computation
* Human Computer Interaction
* Robotics and Computer Vision,
* Bioinformatics, Synthetic Biology and Synthetic Chemistry,
* Medical Applications
* Papers related to the current UKCRC Grand Challenges are especially  
solicited

CONFERENCE CHAIR:
Erol Gelenbe, Imperial College

PROGRAM CO-CHAIRS:
Samson Abramsky, Oxford University, and Vladimiro Sassone, University  
of Southampton

LOCAL ARRANGEMENTS CHAIR:
Moez Draief, Imperial College

PROGRAM COMMITTEE:
* Christian Beckmann, Hammersmith Hospital, Machine Learning and  
Medical Applications
* Peter Buneman, Edinburgh University, Database Theory and Systems
* Muffy Calder, University of Glasgow, Automated Reasoning, Systems Biology
* George Constantinides, Imperial College, Digital Systems, Architectures
* Yiannis Demiris, Imperial College, Robotics, Machine Learning
* Anthony Finkelstein, University College London, Software Systems Engineering
* Erol Gelenbe, Imperial College (Chair), System Performance  
Evaluation, Computer Networks
* Wendy Hall, University of Southampton, Liaison with Grand Challenge Projects
* Jennifer Hallinan, University of Newcastle, Bioinformatics,  
Synthetic Biology
* David Hutchison, University of Lancaster, Computer Networks and  
Communications
* Maja Pantic, Univ. of Twente and Imperial College, Human Computer  
Interaction
* Alex Rogers, University of Southampton, Agent Systems, Artificial  
Intelligence
* Vladimiro Sassone, Formal Methods, Models of Computation
* Iain Stewart, University of Durham, Algorithms and Complexity
* Martyn Thomas, Martyn Thomas Associates, Software Engineering,  
Reliable Systems
* Federico Turkheimer, Hammersmith Hospital, Medical Applications
* Michael Wooldrige, University of Liverpool, Agent Technologies and  
Software Engineering

Sarah Townsend

Secretariat Support to UKCRC

Tel: 01793 417 429  Fax: 01793 417444

Email: ukcrc <at> bcs.org.uk

Web: www.ukcrc.org.uk

Sanja Lazarova-Molnar | 7 Apr 06:38 2008
Picon

CFP - Innovations 2008

[Please distribute to your colleagues, apologies for multiple copies]

 

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

|                           CALL FOR PAPERS                             |

|-----------------------------------------------------------------------|

|                                                                       |

|                           Innovations’2008                            |

| 5th International Conference on Innovations in Information Technology |

|                         December 16-18, 2008                          |

|                      Al Ain, United Arab Emirates                     |

|-----------------------------------------------------------------------|

|         Conference web site:  http://www.it-innovations.ae/           |

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

 

 

                  AIM

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

The aim of the conference is to bring together leading engineers, scientists, researchers and academics in IT from around the world.

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

 

                  BACKGROUND

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

Innovations in Information Technology (Innovations’08), is a premier forum for the presentation and discussion of technology advances and research results in the field of Information Technology (IT). Held for the first time in the oasis city of Al Ain, the fourth largest city in the United Arab Emirates (UAE), Innovations ’08 is the fifth in the series that has been held since 2004.

The latest research advances in fields ranging from traditional computer science to evolving web technologies, bioinformatics and healthcare informatics are explored in Innovations’ technical sessions.

Innovations’08 will be hosted by the College of Information Technology (CIT). The CIT is the newest addition to the United Arab Emirates University (UAEU), the oldest and largest university in the UAE.

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

 

                  TOPICS OF INTEREST

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

Topics within the scope of the conference will include, but are not limited to:

 

COMMUNICATION NETWORKS & SECURITY

 

* 4G Wireless Communications

* Wireless Access Technologies

* Ad Hoc & Sensor networks

* Mobile & Mesh Networks

* Network Security & Privacy

* Cryptography & Authentication

* Mobile & Mesh Networks

* Network Management & Performance

* Network Design & Planning

* Personal Area Networks

* Heterogeneous Networks

* Biometrics & Access Control

     

INFORMATION SYSTEMS & SERVICES

 

* Internet Services and Applications

* IT Management

* Information Ethics & IP

* Services Computing

* Databases & Data Mining

* Enterprise Information Systems

* Web Services and Service Oriented Architecture

* E-learning & M-learning

* E-commerce & E-government

* Ontology and Semantic Web

* Geographical Information Systems

* Business Process Modeling

 

BIOINFORMATICS AND HEALTHCARE INFORMATICS

 

* Bio-Sequence Analysis

* Gene and Protein Expression Analysis

* Protein Structure and Function Prediction

* Systems Biology, Pathway Analysis

* Immunoinformatics

* Biological Data Visualization

* Computational Drug Discovery and Design

* e-Health Systems and Services

* Healthcare IT systems and Implementation

* Telehealth, E-prescribing and Patient Portals

* Design and Evaluation of Patient/Disease Registries

* Patient Safety, Quality Improvement and Technology

 

COMPUTING SYSTEMS

 

* Advanced Computer Architectures

* Simulation and Modeling

* Performance and Reliability

* Computer Aided Design

* Scientific Computing

* Embedded Systems

* Agent-Based Systems

* High Performance and Grid Computing

* Fault-Tolerant Algorithms and Systems

* VLSI Circuit Design

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

 

                  SOLICITED PAPERS:

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

Innovations 2008 seeks original full-length (5 pages maximum) paper proposals describing research in all areas of Information Technology that contributes to the conference theme. All papers will be peer reviewed and acceptance will be based on quality, relevance and originality. Submissions for tutorials and special sessions are also welcome. The submission guidelines can be found on the conference website: http://www.it-innovations.ae

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

 

                  AUTHOR'S SCHEDULE (Deadlines):

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

Tutorial & special-session proposals due:       June 16, 2008

Paper and poster submissions due:               September 1, 2008

Notification of acceptance:                     October 3, 2008

Final camera ready paper due:                   November 2, 2008

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

 

                  SPECIAL SESSION ORGANIZATION:

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

To enhance the technical program and focus on specific topics and areas, the Innovations'08 Conference will include special sessions, in addition to regular ones. Special sessions can cover subjects or cross-subjects belonging to the topics of interest, or novel topics related with the ones identified within the topics of interest.

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

 

Contact: Innovations08 <at> uaeu.ac.ae

 

 

Attachment (CFP_Innovations'08_v6.pdf): application/pdf, 570 KiB
<div>

<div class="Section1">

<p class="MsoNormal"><span>[Please distribute to your colleagues, apologies for
multiple copies]<p></p></span></p>

<p class="MsoNormal"><span><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span>-------------------------------------------------------------------------<p></p></span></p>

<p class="MsoNormal"><span>|&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
CALL FOR
PAPERS&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
|<p></p></span></p>

<p class="MsoNormal"><span>|-----------------------------------------------------------------------|<p></p></span></p>

<p class="MsoNormal"><span>|&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;|<p></p></span></p>

<p class="MsoNormal"><span>|&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
Innovations&rsquo;2008&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
|<p></p></span></p>

<p class="MsoNormal"><span>| 5th International Conference on Innovations in
Information Technology |<p></p></span></p>

<p class="MsoNormal"><span>|&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
December 16-18, 2008&nbsp;&nbsp;&nbsp;
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;|<p></p></span></p>

<p class="MsoNormal"><span>|&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
Al Ain, United Arab Emirates&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
|<p></p></span></p>

<p class="MsoNormal"><span>|-----------------------------------------------------------------------|<p></p></span></p>

<p class="MsoNormal"><span>|&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
Conference web site:&nbsp; <a href="http://www.it-innovations.ae/" title="blocked::http://www.it-innovations.ae/"><span>http://www.it-innovations.ae/</span></a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
|<p></p></span></p>

<p class="MsoNormal"><span>-------------------------------------------------------------------------<p></p></span></p>

<p class="MsoNormal"><span><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
AIM<p></p></span></p>

<p class="MsoNormal"><span>------------------------------------------------------------------------<p></p></span></p>

<p class="MsoNormal"><span>The aim of the conference is to bring together
leading engineers, scientists, researchers and academics in IT from around the
world.<p></p></span></p>

<p class="MsoNormal"><span>------------------------------------------------------------------------<p></p></span></p>

<p class="MsoNormal"><span><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
BACKGROUND<p></p></span></p>

<p class="MsoNormal"><span>------------------------------------------------------------------------<p></p></span></p>

<p class="MsoNormal"><span>Innovations in Information Technology
(Innovations&rsquo;08), is a premier forum for the presentation and discussion
of technology advances and research results in the field of Information
Technology (IT). Held for the first time in the oasis city of Al Ain, the fourth largest city in the United
Arab Emirates (UAE), Innovations &rsquo;08 is the fifth in the series that has
been held since 2004.<p></p></span></p>

<p class="MsoNormal"><span>The latest research advances in fields ranging from
traditional computer science to evolving web technologies, bioinformatics and
healthcare informatics are explored in Innovations&rsquo; technical sessions.<p></p></span></p>

<p class="MsoNormal"><span>Innovations&rsquo;08 will be hosted by the College
of Information Technology (CIT). The CIT is the newest addition to the United
Arab Emirates University (UAEU), the oldest and largest university in the UAE.<p></p></span></p>

<p class="MsoNormal"><span>------------------------------------------------------------------------<p></p></span></p>

<p class="MsoNormal"><span><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
TOPICS OF INTEREST<p></p></span></p>

<p class="MsoNormal"><span>------------------------------------------------------------------------<p></p></span></p>

<p class="MsoNormal"><span>Topics within the scope of the conference will
include, but are not limited to:<p></p></span></p>

<p class="MsoNormal"><span><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span>COMMUNICATION NETWORKS &amp; SECURITY<p></p></span></p>

<p class="MsoNormal"><span><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span>* 4G Wireless Communications<p></p></span></p>

<p class="MsoNormal"><span>* Wireless Access Technologies<p></p></span></p>

<p class="MsoNormal"><span>* Ad Hoc &amp; Sensor networks<p></p></span></p>

<p class="MsoNormal"><span>* Mobile
&amp; Mesh Networks<p></p></span></p>

<p class="MsoNormal"><span>* Network Security &amp; Privacy<p></p></span></p>

<p class="MsoNormal"><span>* Cryptography &amp; Authentication<p></p></span></p>

<p class="MsoNormal"><span>* Mobile
&amp; Mesh Networks<p></p></span></p>

<p class="MsoNormal"><span>* Network Management &amp; Performance<p></p></span></p>

<p class="MsoNormal"><span>* Network Design &amp; Planning<p></p></span></p>

<p class="MsoNormal"><span>* Personal Area Networks<p></p></span></p>

<p class="MsoNormal"><span>* Heterogeneous Networks<p></p></span></p>

<p class="MsoNormal"><span>* Biometrics &amp; Access Control<p></p></span></p>

<p class="MsoNormal"><span>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <p></p></span></p>

<p class="MsoNormal"><span>INFORMATION SYSTEMS &amp; SERVICES<p></p></span></p>

<p class="MsoNormal"><span><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span>* Internet Services and Applications<p></p></span></p>

<p class="MsoNormal"><span>* IT Management<p></p></span></p>

<p class="MsoNormal"><span>* Information Ethics &amp; IP<p></p></span></p>

<p class="MsoNormal"><span>* Services Computing<p></p></span></p>

<p class="MsoNormal"><span>* Databases &amp; Data Mining<p></p></span></p>

<p class="MsoNormal"><span>* Enterprise
Information Systems<p></p></span></p>

<p class="MsoNormal"><span>* Web Services and Service Oriented Architecture<p></p></span></p>

<p class="MsoNormal"><span>* E-learning &amp; M-learning<p></p></span></p>

<p class="MsoNormal"><span>* E-commerce &amp; E-government<p></p></span></p>

<p class="MsoNormal"><span>* Ontology and Semantic Web<p></p></span></p>

<p class="MsoNormal"><span>* Geographical Information Systems<p></p></span></p>

<p class="MsoNormal"><span>* Business Process Modeling<p></p></span></p>

<p class="MsoNormal"><span><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span>BIOINFORMATICS AND HEALTHCARE INFORMATICS<p></p></span></p>

<p class="MsoNormal"><span><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span>* Bio-Sequence Analysis<p></p></span></p>

<p class="MsoNormal"><span>* Gene and Protein Expression Analysis<p></p></span></p>

<p class="MsoNormal"><span>* Protein Structure and Function Prediction<p></p></span></p>

<p class="MsoNormal"><span>* Systems Biology, Pathway Analysis<p></p></span></p>

<p class="MsoNormal"><span>* Immunoinformatics<p></p></span></p>

<p class="MsoNormal"><span>* Biological Data Visualization<p></p></span></p>

<p class="MsoNormal"><span>* Computational Drug Discovery and Design<p></p></span></p>

<p class="MsoNormal"><span>* e-Health Systems and Services<p></p></span></p>

<p class="MsoNormal"><span>* Healthcare IT systems and Implementation<p></p></span></p>

<p class="MsoNormal"><span>* Telehealth, E-prescribing and Patient Portals<p></p></span></p>

<p class="MsoNormal"><span>* Design and Evaluation of Patient/Disease
Registries<p></p></span></p>

<p class="MsoNormal"><span>* Patient Safety, Quality Improvement and Technology<p></p></span></p>

<p class="MsoNormal"><span><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span>COMPUTING SYSTEMS<p></p></span></p>

<p class="MsoNormal"><span><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span>* Advanced Computer Architectures<p></p></span></p>

<p class="MsoNormal"><span>* Simulation and Modeling<p></p></span></p>

<p class="MsoNormal"><span>* Performance and Reliability<p></p></span></p>

<p class="MsoNormal"><span>* Computer Aided Design<p></p></span></p>

<p class="MsoNormal"><span>* Scientific Computing<p></p></span></p>

<p class="MsoNormal"><span>* Embedded Systems<p></p></span></p>

<p class="MsoNormal"><span>* Agent-Based Systems<p></p></span></p>

<p class="MsoNormal"><span>* High Performance and Grid Computing<p></p></span></p>

<p class="MsoNormal"><span>* Fault-Tolerant Algorithms and Systems<p></p></span></p>

<p class="MsoNormal"><span>* VLSI Circuit Design<p></p></span></p>

<p class="MsoNormal"><span>------------------------------------------------------------------------<p></p></span></p>

<p class="MsoNormal"><span><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
SOLICITED PAPERS:<p></p></span></p>

<p class="MsoNormal"><span>------------------------------------------------------------------------<p></p></span></p>

<p class="MsoNormal"><span>Innovations 2008 seeks original full-length (5 pages
maximum) paper proposals describing research in all areas of Information
Technology that contributes to the conference theme. All papers will be peer
reviewed and acceptance will be based on quality, relevance and originality.
Submissions for tutorials and special sessions are also welcome. The submission
guidelines can be found on the conference website: <a href="http://www.it-innovations.ae/" title="blocked::http://www.it-innovations.ae/">http://www.it-innovations.ae</a><p></p></span></p>

<p class="MsoNormal"><span>------------------------------------------------------------------------<p></p></span></p>

<p class="MsoNormal"><span><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
AUTHOR'S SCHEDULE (Deadlines):<p></p></span></p>

<p class="MsoNormal"><span>------------------------------------------------------------------------<p></p></span></p>

<p class="MsoNormal"><span>Tutorial &amp; special-session proposals due:
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; June 16, 2008<p></p></span></p>

<p class="MsoNormal"><span>Paper and poster submissions due:
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
September 1, 2008<p></p></span></p>

<p class="MsoNormal"><span>Notification of acceptance:
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
October 3, 2008<p></p></span></p>

<p class="MsoNormal"><span>Final camera ready paper due:
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
November 2, 2008<p></p></span></p>

<p class="MsoNormal"><span>------------------------------------------------------------------------<p></p></span></p>

<p class="MsoNormal"><span><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
SPECIAL SESSION ORGANIZATION:<p></p></span></p>

<p class="MsoNormal"><span>------------------------------------------------------------------------<p></p></span></p>

<p class="MsoNormal"><span>To enhance the technical program and focus on
specific topics and areas, the Innovations'08 Conference will include special
sessions, in addition to regular ones. Special sessions can cover subjects or
cross-subjects belonging to the topics of interest, or novel topics related
with the ones identified within the topics of interest. <p></p></span></p>

<p class="MsoNormal"><span>------------------------------------------------------------------------<p></p></span></p>

<p class="MsoNormal"><span><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span>Contact: Innovations08 <at> uaeu.ac.ae<p></p></span></p>

<p class="MsoNormal"><span><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span><p>&nbsp;</p></span></p>

</div>

</div>
Ruben Carvajal Schiaffino | 8 Apr 15:01 2008
Picon

ChWFM 2008 - First Call for Paper

[Please distribute to your colleagues, apologies for multiple copies]

+============== ChWFM 2008 ==========+
|  First International Workshop on Formal Methods |
|           November 10-15, Punta Arenas Chile          |
|                                   
                                              |
|               http://fermat.usach.cl/~wfm                       |
+===================================+

Held in conjunction with XXVII International Conference of the Chilean 
Computer Science Society, it will be hosted
by the Universidad de Magallanes.

The Workshop on Formal Methods aims to bring together members of the 
Latin American scientific community (extending to the world community) 
that research on formal methods, to incentive and to promote the 
interchange of knowledge, spreading of scientific work, discussion of 
proposals, and the collaboration between researchers
and students.

The broad topics of interest of this workshop are:

* Tools for formal methods: tool support and software engineering.
* Theoretical foundations: specification and modelling, refining, static 
analysis, model-checking, verification.
* Applications of formal methods: in industry, case studies.
* Teaching of formal methods: pregruaduate and postgraduate courses.
* Role of formal methods: formal methods in hardware and system design.
*

Paper Submission
----------------

We invite to submit technical papers presenting original research on 
practical and theoretical aspects of formal methods, articles have to be 
formatted by the following rules:

Type of file: PDF

Size of paper: 8 1/2" x 11"

Length: maximum 10 pages, including abstract of at most 130 words

Margins: upper 3.5 cm., lower 2 cm., left and right: 2.5 cm.

Format: text justified to the right and left, non numbered pages

Font: Times 10 for the text and 12 for titles and sections Front page 
must contain:

* Title of the work
* Name of authors
* Affiliation and directions
* Work abstract and keywords

All submitted papers will be peer-reviewed by members of the program 
committee. Submitted papers will be judged on the basis of significance, 
relevance, correctness, originality, and clarity. Submitted papers must 
be unpublished and not submitted for publication elsewhere.

Articles have to be submitted by email  to  wfm [at]  fermat.usach.cl

All authors of accepted contributions will be asked to present their 
work during the workshop. The papers will be published in the conference 
proceedings by IEEE Computer Society.

Important Dates
---------------

* Deadline: July 15, 2008
* Notification of acceptance or rejection: August 15, 2008
* Final Version (camera-ready): September 1, 2008

General Chairs
--------------

Rubén Carvajal Schiaffino, Universidad de Santiago de Chile
Rosa Muñoz Calanchie, Universidad de Santiago de Chile

Program Committee
-----------------

Egidio Astesiano, Università di Genova, Italy
Marco Bozzano, Fondazione Bruno Kessler, Italy
Linda Brodo, Università di Sassari, Italy
Ian Clark, University of Newcastle, UK
Giorgio Delzanno, Università di Genova, Italy
John Fitzgerald, University of Newcastle, UK
Wolfgang Reisig, Humboldt-Universität zu Berlin, Germany
Fei Xia, University of Newcastle, UK

--

-- 
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Dr. Ruben Carvajal-Schiaffino
DMCC - Universidad de Santiago de Chile
Av. B. O'Higgins 3363. Santiago de Chile
Phone: +56 2 7182011 Fax: +56 2 681 3125
Email: rcarvajal <at> fermat.usach.cl  http://fermat.usach.cl/~rcarvajal
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Angelo Troina | 8 Apr 14:16 2008
Picon

ICE'08: Last Call for Papers

[Apologies for multiple copies]

*****    1st Interaction and Concurrency Experience (ICE'08)   *****
               Synchronous and Asynchronous Interactions
                   in Concurrent Distributed Systems

Satellite workshop of ICALP 2008
6th of July 2008
Reykjavik, Iceland

Homepage: http://ice08.dimi.uniud.it/

(Sponsored by the ESF project AutoMathA)

-- IMPORTANT DATES --

- Abstract submission: 14 April 2008
- Submission deadline: 18 April 2008
- Reviews due: 11 May 2008
- Discussion: from 12 May to 21 May 2008
- Notification to authors: 25 May 2008
- Workshop: 6 July 2008

Interaction and Concurrency Experiences (ICEs) is intended as a
series of international scientific meetings oriented to researchers
in various fields of theoretical computer science. The timeliness
and novelty of these events relies both on the variety of the topics
that will be treated on each event and on the adopted paper
selection mechanism.

Every experience will focus on a different specific topic which
affects several areas of computer science; A thorough scientific
debate among PC and authors of submitted papers will parallel the
reviewing process; After the paper selection phase, papers will be
published on the web and the discussion will be extended to
perspective participants.

-- SCOPE --

The scope of this first experience is to include theoretical and
applied aspects of interactions and the synchronization mechanisms
used among actors of concurrent or distributed systems. The
workshop intends to attract researchers interested in models,
verification, tools, and programming primitives concerning such
complex interactions.

Synchronisation mechanisms are one of the key aspects in
concurrency and they are becoming enormously relevant in modern
distributed systems. Theoretical models, design and verification of
interaction protocols and programming practice must take
synchronisations into account for specifying, implementing and
reasoning on systems where computations are spread across possibly
many actors that interact within a precise interaction framework.

At a low level of abstraction, systems can be classified according
to a wide spectrum, ranging between the two extremes of
(completely) synchronous or asynchronous interactions. In fact,
such a classification can be given according to the assumptions
made on, e.g., the number of participants or the time interactions
need to be effected. Significantly, the behaviour of such systems
can be investigated using different assumptions that yield
different expressiveness or complexity results.

Several recent theoretical results shed light on the interrelations
between synchronous and asynchronous interaction mechanisms (e.g.,
expressiveness results for distributed algorithms, relations among
observational semantics of (a)synchronous models). Interaction
mechanisms have also been studied in relation to other features of
systems such as mobility (e.g., name passing process calculi,
graph-based models).

-- TOPICS --

Topics of interest include, but shall not be limited to:
- models, logic and types for interactions;
- synchronous/asynchronous mechanisms;
- expressiveness results;
- timed and hybrid interactions;
- verification, analysis and tools;
- programming primitives for interactions;
- interactions as coordination mechanisms;
- interactions inspired by emerging computational models (systems
   biology, quantum computing, etc.).

-- INVITED SPEAKERS --

- Catuscia Palamidessi (École Polytechnique)
- Joseph Sifakis (Verimag): Joint with SOS'08

-- SELECTION PROCEDURE --

The workshop proposes an innovative paper selection process based
on an interactive discussion amongst authors and PC members. We are
confident that an interactive selection phase could considerably
improve the quality of the papers, the reviews and the discussion
during the workshop.

After the submission deadline expires, each PC member will select a
number of suitable papers to review before the start of the
discussion phase. Each paper will have at least three anonymous
reviewers.

At the beginning of the discussion, each submitted paper will be
published on a Wiki and associated with a discussion forum. The
access to the forum will be restricted to the authors of the
associated paper and to all the PC members. The latter will be able
to anonymously post comments/questions which the authors will reply
to. Authors will obviously have access only to forums associated
with their own papers. Thus, the discussion on forums (and hence the
reviewing process of papers) may be enhanced by the additional
comments of interested PC members.

-- THE PUBLIC WIKI --

After the notification, the accepted papers will be published on a
public forum, the rationale being to initiate public discussions
that will trigger and stimulate the scientific debate of the
workshop. We argue that this will drive the workshop debate and let
perspective participants to interact with each other well in advance
with respect to the modus operandi of a traditional event.

-- SUBMISSION GUIDELINES --

Papers must report previously unpublished work and not be submitted
concurrently to another conference with refereed proceedings.
Programme Committee members, barring the co-chairs, may (and indeed
are encouraged) to contribute. Accepted papers must be presented at
the workshop by one of the authors.

There is no specific page limit, but authors should strive for
brevity. Papers should take the form of a pdf file in ENTCS format
and must be submitted electronically via the ICE'08 easychair
conference site (http://www.easychair.org/conferences/?conf=ice08).

-- GRANTS --

A special grant for the best student/young researcher paper will be
awarded to cover part of his/her travel expenses.

-- DISSEMINATION --

The post-proceedings of the workshop will be published in a volume
of the Electronic Notes on Theoretical Computer Science series. If
the quality and quantity of the submissions warrant it, we plan to
arrange a special issue of an archival journal devoted to extended
versions of selected papers from the workshop. We might also expect
this to be a joint special issue within ICE'08 and SOS'08.

-- PROGRAM COMMITTEE --

- Simon Bliudze (VERIMAG)
- Michele Boreale (Università di Firenze)
- Marco Carbone (Queen Mary)
- Vincent Danos (Paris VII & CNRS)
- Azadeh Farzan (Carnegie Mellon University)
- Fabio Gadducci (Università di Pisa)
- Blaise Genest (CNRS, Rennes)
- Ichiro Hasuo (University of Kyoto - Radboud University Nijmegen)
- Thomas Hildebrandt (ITU-Copenhagen)
- Barbara Koenig (University of Duisburg-Essen)
- Jean Krivine (École Polytechnique)
- Ruggero Lanotte (Università dell'Insubria)
- Francesco Logozzo (Microsoft Research)
- Gavin Lowe (Oxford)
- Hernan Melgratti (UBA, Buenos Aires)
- Mohamad Reza Mousavi (Eindhoven University)
- Julian Rathke (University of Southampton)
- Frank Valencia (École Polytechnique)
- Daniele Varacca (Paris VII)
- Herbert Wiklicky (Imperial College)

-- ICEcreamers --

- Filippo Bonchi (Università di Pisa)
- Davide Grohmann (Università di Udine)
- Paola Spoletini (Università dell'Insubria)
- Angelo Troina (Università di Torino)
- Emilio Tuosto (University of Leicester)

Gmane