headers
Helen Karatza | 1 May 2009 23:00
Picon

13th IEEE/ACM DS-RT 2009 - Singapore, October 25-28, 2009


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

Please accept our apologies if you receive multiple copies of this CFP.

Please forward to anyone you believe may be interested.  Thanks.

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

 

                  CALL FOR PAPERS – DS-RT 2009

                 *** Deadline – May 11, 2009 ***

 

             13th IEEE/ACM International Symposium on

        Distributed Simulation and Real Time Applications

                           (DS-RT 2009)

                 http://www.cs.unibo.it/ds-rt2009/

 

                        October 25-28, 2009

                            Singapore

 

DS-RT is intended to provide an international forum for the discussion

and presentation of original ideas, recent results and achievements by

researchers, students, and systems developers on issues and challenges

related to distributed simulation and real time applications. Authors are

encouraged to submit both theoretical and practical results of

significance. Demonstration of new tools/applications is very desirable.

The scope of the symposium includes, but is not limited to:

 

* Paradigms, Methodology and Software Architectures for Large Scale

Distributed and Real-Time Simulations (e.g. Parallel and Distributed

Simulation, Multi-Agent Based Distributed Simulation, HLA/RTI, Web and

Grid based Simulation);

 

* Paradigms, Modeling, Architecture and Environments for Large Scale

Real-time Systems and Concurrent Systems with Hard and Soft Real-Time

Constraints;

 

* Non-functional Properties of Distributed Simulation and Real-Time

Systems (e.g. Dependability, Availability, Reliability,

Maintainability, Safety, Security, Trustworthiness, QoS);

 

* Theoretical Foundations of Large Scale Real-Time and Simulation Models

(e.g. Event Systems, Causality, Space-Time Models, Notions of Time,

Discrete and Continuous Systems, Simulator Coordination);

 

* Simulation Studies at Large and Very Large Scale (e.g. Industrial,

Commercial, Ecological and Environmental, Societal, Power and Energy,

Pervasive and Ubiquitous Computing Systems);

 

* Performance and Validation of Large Scale and Distributed Simulations

(e.g., Benchmarking and Analytical Results, Empirical Studies;

DIS, HLA/RTI Studies);

 

* Languages and Tools, Development Environments, Data Interfaces,

Network Protocols and Model Repositories that address Very Large

Simulations;

 

* Data Distribution Management, Interest Management, Multi-resolution

Modeling and Dead-Reckoning Mechanisms;

 

* Pervasive and Ubiquitous Computing Architectures and Applications

that involve Simulations and/or adhere to Real-Time Constraints;

 

* Simulation based Virtual Environments and Mixed Reality Systems

(e.g. Interactive Virtual Reality, Human Communication through

Immersive Environments);

 

* Collaborative Virtual and Augmented Reality, Telepresence Systems

and Shared Workspaces, Shared Interaction Spaces, Shared Object

Manipulation;

 

* Visual Interactive Simulation Environments (e.g., Generic Animation,

Visual Interactive Modeling, Interactive Computer Based Training and

Learning; Scientific Visualization; High-End Computer Graphics);

 

* Design Issues, Interaction Designs, Human Computer Interaction Issues

raised by Large Scale DS-RT Systems;

 

* Media Convergence (e.g. New Technologies, Media Theory, Real-Time

considerations of Multi Modality, etc.);

 

* Innovative Styles of Interactions with Large Scale DS-RT Systems

(e.g. Implicit, Situative and Attentive Interaction, Tangible

Interaction, Embedded Interaction, etc.);

 

* Environmental and Emerging Simulation Challenges (e.g. Growth of

Human Population, Climate Change, CO2, Health Care, Ecosystems,

Sustainable Development, Water and Energy Supply, Human Mobility,

Air Traffic, World Stock Markets, Food Supply Chains, Megacities,

Global Wireless Communication, Privacy Preserving Access, etc.).

 

Important Dates:

 

Paper Submission Deadline: May 11, 2009

Notification of Acceptance: June 22, 2009

Camera Ready Version: July 20, 2009

Conference Dates: October 25-28, 2009

 

Submission:

 

High-quality original papers are solicited. Papers must be unpublished

and must not be submitted for publication elsewhere. All papers will be

reviewed by Technical Program Committee members and other experts active

in the field to ensure high quality and relevance to the conference.

 

Attendance by at least one author of accepted papers is mandatory.

Papers should be written in English and should not exceed 10 pages

(single-spaced) or 18 pages (double-spaced). No paper templates are

provided in this phase and your own template may be used. Authors are

encouraged to submit papers in electronic form, postscript, pdf, or

Microsoft Word 6.0 (or higher) only.

 

General Co-Chairs:

 

Stephen John Turner

Parallel and Distributed Computing Centre,

Nanyang Technological University, Singapore

 

David Roberts

Centre for Virtual Environments,

University of Salford, UK

 

Program Co-Chairs:

 

Wentong Cai

Parallel and Distributed Computing Centre,

Nanyang Technological University, Singapore

 

Abdulmotaleb El Saddik

School of Information Technology and Engineering,

University of Ottawa, Canada

 

Steering Committee Chair:

 

Azzedine Boukerche,

University of Ottawa, Canada

 

Poster Chair:

 

Emiliano Casalicchio,

University of Roma, Italy

 

Demo Chair:

 

Damla Turgut,

University of Central Florida, USA

 

Registration Chair:

 

Malcolm Low Yoke Hean

Nanyang Technological University, Singapore

 

Webmaster and System Co-Chairs:

 

Marco Di Felice

University of Bologna, Italy

 

Luciano Bononi

University of Bologna, Italy

 

 

 

<div>
<div><br></div>
<div class="Section1">
<p class="MsoNormal"><span>=====================================================<span>==================</span><p></p></span></p>
<p class="MsoNormal"><span>Please accept our apologies 
if you receive multiple copies of this CFP.<p></p></span></p>
<p class="MsoNormal"><span>Please forward to anyone you 
believe may be interested.<span>&nbsp; 
</span>Tha<span>n</span>ks.<p></p></span></p>
<p class="MsoNormal"><span>=====================================================<span>==================</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;CALL FOR PAPERS &#150; DS-RT 
2009<p></p></span></p>
<p class="MsoNormal"><span>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
*** Deadline &#150; May 11, 2009 ***<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;13th 
IEEE/ACM International Symposium on<p></p></span></p>
<p class="MsoNormal"><span>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
Distributed Simulation and Real Time Applications<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; 
(DS-RT 2009)<p></p></span></p>
<p class="MsoNormal"><span>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
<a href="http://www.cs.unibo.it/ds-rt2009/">http://www.cs.unibo.it/ds-rt2009/</a><p></p></span></p>
<p class="MsoNormal"><span>&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; 
October 25-28, 2009<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; 
Singapore<p></p></span></p>
<p class="MsoNormal"><span><p>&nbsp;</p></span></p>
<p class="MsoNormal"><span>DS-RT is intended to provide 
an international forum for the discussion <p></p></span></p>
<p class="MsoNormal"><span>and presentation of original 
ideas, recent results and achievements by<p></p></span></p>
<p class="MsoNormal"><span>researchers, students, and 
systems developers on issues and challenges <p></p></span></p>
<p class="MsoNormal"><span>related to distributed 
simulation and real time applications. Authors are<p></p></span></p>
<p class="MsoNormal"><span>encouraged to submit both 
theoretical and practical results of <p></p></span></p>
<p class="MsoNormal"><span>significance. Demonstration 
of new tools/applications is very desirable. <p></p></span></p>
<p class="MsoNormal"><span>The scope of the symposium 
includes, but is not limited to:<p></p></span></p>
<p class="MsoNormal"><span><p>&nbsp;</p></span></p>
<p class="MsoNormal"><span>* Paradigms, Methodology and 
Software Architectures for Large Scale <p></p></span></p>
<p class="MsoNormal"><span>Distributed and Real-Time 
Simulations (e.g. Parallel and Distributed <p></p></span></p>
<p class="MsoNormal"><span>Simulation, Multi-Agent 
Based Distributed Simulation, HLA/RTI, Web and <p></p></span></p>
<p class="MsoNormal"><span>Grid based Simulation); 
<p></p></span></p>
<p class="MsoNormal"><span><p>&nbsp;</p></span></p>
<p class="MsoNormal"><span>* Paradigms, Modeling, 
Architecture and Environments for Large Scale <p></p></span></p>
<p class="MsoNormal"><span>Real-time Systems and 
Concurrent Systems with Hard and Soft Real-Time <p></p></span></p>
<p class="MsoNormal"><span>Constraints; 
<p></p></span></p>
<p class="MsoNormal"><span><p>&nbsp;</p></span></p>
<p class="MsoNormal"><span>* Non-functional Properties 
of Distributed Simulation and Real-Time <p></p></span></p>
<p class="MsoNormal"><span>Systems (e.g. Dependability, 
Availability, Reliability, <p></p></span></p>
<p class="MsoNormal"><span>Maintainability, Safety, 
Security, Trustworthiness, QoS); <p></p></span></p>
<p class="MsoNormal"><span><p>&nbsp;</p></span></p>
<p class="MsoNormal"><span>* Theoretical Foundations of 
Large Scale Real-Time and Simulation Models <p></p></span></p>
<p class="MsoNormal"><span>(e.g. Event Systems, 
Causality, Space-Time Models, Notions of Time, <p></p></span></p>
<p class="MsoNormal"><span>Discrete and Continuous 
Systems, Simulator Coordination); <p></p></span></p>
<p class="MsoNormal"><span><p>&nbsp;</p></span></p>
<p class="MsoNormal"><span>* Simulation Studies at 
Large and Very Large Scale (e.g. Industrial, <p></p></span></p>
<p class="MsoNormal"><span>Commercial, Ecological and 
Environmental, Societal, Power and Energy, <p></p></span></p>
<p class="MsoNormal"><span>Pervasive and Ubiquitous 
Computing Systems); <p></p></span></p>
<p class="MsoNormal"><span><p>&nbsp;</p></span></p>
<p class="MsoNormal"><span>* Performance and Validation 
of Large Scale and Distributed Simulations <p></p></span></p>
<p class="MsoNormal"><span>(e.g., Benchmarking and 
Analytical Results, Empirical Studies; <p></p></span></p>
<p class="MsoNormal"><span>DIS, HLA/RTI Studies); 
<p></p></span></p>
<p class="MsoNormal"><span><p>&nbsp;</p></span></p>
<p class="MsoNormal"><span>* Languages and Tools, 
Development Environments, Data Interfaces, <p></p></span></p>
<p class="MsoNormal"><span>Network Protocols and Model 
Repositories that address Very Large <p></p></span></p>
<p class="MsoNormal"><span>Simulations; 
<p></p></span></p>
<p class="MsoNormal"><span><p>&nbsp;</p></span></p>
<p class="MsoNormal"><span>* Data Distribution 
Management, Interest Management, Multi-resolution <p></p></span></p>
<p class="MsoNormal"><span>Modeling and Dead-Reckoning 
Mechanisms; <p></p></span></p>
<p class="MsoNormal"><span><p>&nbsp;</p></span></p>
<p class="MsoNormal"><span>* Pervasive and Ubiquitous 
Computing Architectures and Applications <p></p></span></p>
<p class="MsoNormal"><span>that involve Simulations 
and/or adhere to Real-Time Constraints; <p></p></span></p>
<p class="MsoNormal"><span><p>&nbsp;</p></span></p>
<p class="MsoNormal"><span>* Simulation based Virtual 
Environments and Mixed Reality Systems <p></p></span></p>
<p class="MsoNormal"><span>(e.g. Interactive Virtual 
Reality, Human Communication through <p></p></span></p>
<p class="MsoNormal"><span>Immersive 
Environments);<p></p></span></p>
<p class="MsoNormal"><span><p>&nbsp;</p></span></p>
<p class="MsoNormal"><span>* Collaborative Virtual and 
Augmented Reality, Telepresence Systems <p></p></span></p>
<p class="MsoNormal"><span>and Shared Workspaces, 
Shared Interaction Spaces, Shared Object <p></p></span></p>
<p class="MsoNormal"><span>Manipulation; 
<p></p></span></p>
<p class="MsoNormal"><span><p>&nbsp;</p></span></p>
<p class="MsoNormal"><span>* Visual Interactive 
Simulation Environments (e.g., Generic Animation, <p></p></span></p>
<p class="MsoNormal"><span>Visual Interactive Modeling, 
Interactive Computer Based Training and <p></p></span></p>
<p class="MsoNormal"><span>Learning; Scientific 
Visualization; High-End Computer Graphics); <p></p></span></p>
<p class="MsoNormal"><span><p>&nbsp;</p></span></p>
<p class="MsoNormal"><span>* Design Issues, Interaction 
Designs, Human Computer Interaction Issues <p></p></span></p>
<p class="MsoNormal"><span>raised by Large Scale DS-RT 
Systems; <p></p></span></p>
<p class="MsoNormal"><span><p>&nbsp;</p></span></p>
<p class="MsoNormal"><span>* Media Convergence (e.g. 
New Technologies, Media Theory, Real-Time <p></p></span></p>
<p class="MsoNormal"><span>considerations of Multi 
Modality, etc.);<p></p></span></p>
<p class="MsoNormal"><span><p>&nbsp;</p></span></p>
<p class="MsoNormal"><span>* Innovative Styles of 
Interactions with Large Scale DS-RT Systems <p></p></span></p>
<p class="MsoNormal"><span>(e.g. Implicit, Situative 
and Attentive Interaction, Tangible <p></p></span></p>
<p class="MsoNormal"><span>Interaction, Embedded 
Interaction, etc.); <p></p></span></p>
<p class="MsoNormal"><span><p>&nbsp;</p></span></p>
<p class="MsoNormal"><span>* Environmental and Emerging 
Simulation Challenges (e.g. Growth of <p></p></span></p>
<p class="MsoNormal"><span>Human Population, Climate 
Change, CO2, Health Care, Ecosystems, <p></p></span></p>
<p class="MsoNormal"><span>Sustainable Development, 
Water and Energy Supply, Human Mobility, <p></p></span></p>
<p class="MsoNormal"><span>Air Traffic, World Stock 
Markets, Food Supply Chains, Megacities, <p></p></span></p>
<p class="MsoNormal"><span>Global Wireless 
Communication, Privacy Preserving Access, etc.). <p></p></span></p>
<p class="MsoNormal"><span><p>&nbsp;</p></span></p>
<p class="MsoNormal"><span>Important 
Dates:<p></p></span></p>
<p class="MsoNormal"><span><p>&nbsp;</p></span></p>
<p class="MsoNormal"><span>Paper Submission Deadline: 
May 11, 2009<p></p></span></p>
<p class="MsoNormal"><span>Notification of Acceptance: 
June 22, 2009<p></p></span></p>
<p class="MsoNormal"><span>Camera Ready Version: July 
20, 2009<p></p></span></p>
<p class="MsoNormal"><span>Conference Dates: October 
25-28, 2009<p></p></span></p>
<p class="MsoNormal"><span><p>&nbsp;</p></span></p>
<p class="MsoNormal"><span>Submission:<p></p></span></p>
<p class="MsoNormal"><span><p>&nbsp;</p></span></p>
<p class="MsoNormal"><span>High-quality original papers 
are solicited. Papers must be unpublished <p></p></span></p>
<p class="MsoNormal"><span>and must not be submitted 
for publication elsewhere. All papers will be <p></p></span></p>
<p class="MsoNormal"><span>reviewed by Technical 
Program Committee members and other experts active <p></p></span></p>
<p class="MsoNormal"><span>in the field to ensure high 
quality and relevance to the conference. <p></p></span></p>
<p class="MsoNormal"><span><p>&nbsp;</p></span></p>
<p class="MsoNormal"><span>Attendance by at least one 
author of accepted papers is mandatory.<p></p></span></p>
<p class="MsoNormal"><span>Papers should be written in 
English and should not exceed 10 pages <p></p></span></p>
<p class="MsoNormal"><span>(single-spaced) or 18 pages 
(double-spaced). No paper templates are <p></p></span></p>
<p class="MsoNormal"><span>provided in this phase and 
your own template may be used. Authors are <p></p></span></p>
<p class="MsoNormal"><span>encouraged to submit papers 
in electronic form, postscript, pdf, or <p></p></span></p>
<p class="MsoNormal"><span>Microsoft Word 6.0 (or 
higher) only. <p></p></span></p>
<p class="MsoNormal"><span><p>&nbsp;</p></span></p>
<p class="MsoNormal"><span>General 
Co-Chairs:<p></p></span></p>
<p class="MsoNormal"><span><p>&nbsp;</p></span></p>
<p class="MsoNormal"><span>Stephen John 
Turner</span><span><p></p></span></p>
<p class="MsoNormal"><span>Parallel and Distributed 
Computing Centre,<p></p></span></p>
<p class="MsoNormal"><span>Nanyang Technological 
University, 
Singapore<p></p></span></p>
<p class="MsoNormal"><span><p>&nbsp;</p></span></p>
<p class="MsoNormal"><span>David 
Roberts<p></p></span></p>
<p class="MsoNormal"><span>Centre for Virtual 
Environments,<p></p></span></p>
<p class="MsoNormal"><span>University of 
Salford</span><span>, UK</span><span><p></p></span></p>
<p class="MsoNormal"><span><p>&nbsp;</p></span></p>
<p class="MsoNormal"><span>Program 
Co-Chairs:<p></p></span></p>
<p class="MsoNormal"><span><p>&nbsp;</p></span></p>
<p class="MsoNormal"><span>Wentong 
Cai<p></p></span></p>
<p class="MsoNormal"><span>Parallel and Distributed 
Computing Centre,<p></p></span></p>
<p class="MsoNormal"><span>Nanyang Technological 
University, 
Singapore<p></p></span></p>
<p class="MsoNormal"><span><p>&nbsp;</p></span></p>
<p class="MsoNormal"><span>Abdulmotaleb El 
Saddik<p></p></span></p>
<p class="MsoNormal"><span>School</span><span> of Information</span><span> Technology and 
Engineering,<p></p></span></p>
<p class="MsoNormal"><span>University of 
Ottawa</span><span>, Canada</span><span><p></p></span></p>
<p class="MsoNormal"><span><p>&nbsp;</p></span></p>
<p class="MsoNormal"><span>Steering Committee 
Chair:<p></p></span></p>
<p class="MsoNormal"><span><p>&nbsp;</p></span></p>
<p class="MsoNormal"><span>Azzedine 
Boukerche,<p></p></span></p>
<p class="MsoNormal"><span>University of 
Ottawa</span><span>, Canada</span><span><p></p></span></p>
<p class="MsoNormal"><span><p>&nbsp;</p></span></p>
<p class="MsoNormal"><span>Poster 
Chair:<p></p></span></p>
<p class="MsoNormal"><span><p>&nbsp;</p></span></p>
<p class="MsoNormal"><span>Emiliano 
Casalicchio,<p></p></span></p>
<p class="MsoNormal"><span>University of 
Roma</span><span>, Italy</span><span><p></p></span></p>
<p class="MsoNormal"><span><p>&nbsp;</p></span></p>
<p class="MsoNormal"><span>Demo 
Chair:<p></p></span></p>
<p class="MsoNormal"><span><p>&nbsp;</p></span></p>
<p class="MsoNormal"><span>Damla Turgut, 
<p></p></span></p>
<p class="MsoNormal"><span>University of 
Central</span><span> Florida, USA</span><span><p></p></span></p>
<p class="MsoNormal"><span><p>&nbsp;</p></span></p>
<p class="MsoNormal"><span>Registration 
Chair:<p></p></span></p>
<p class="MsoNormal"><span><p>&nbsp;</p></span></p>
<p class="MsoNormal"><span>Malcolm Low Yoke 
Hean<p></p></span></p>
<p class="MsoNormal"><span>Nanyang Technological 
University, 
Singapore<p></p></span></p>
<p class="MsoNormal"><span><p>&nbsp;</p></span></p>
<p class="MsoNormal"><span>Webmaster and System 
Co-Chairs:<p></p></span></p>
<p class="MsoNormal"><span><p>&nbsp;</p></span></p>
<p class="MsoNormal"><span>Marco Di Felice 
<p></p></span></p>
<p class="MsoNormal"><span>University of 
Bologna</span><span>, Italy</span><span><p></p></span></p>
<p class="MsoNormal"><span><p>&nbsp;</p></span></p>
<p class="MsoNormal"><span>Luciano Bononi 
<p></p></span></p>
<p class="MsoNormal"><span>University of 
Bologna</span><span>, Italy</span><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><p>&nbsp;</p></span></p>
</div>
</div>
Permalink | Reply | 0 comments |
headers
FARWER B. | 4 May 2009 01:09
Picon
Picon

Deadline Extension - LAM'09 (Logics for Agents and Mobility)

3rd Call for Papers

Workshop on Logics for Agents and Mobility (LAM'09)
http://www.dur.ac.uk/lam.09
9-10 August 2008, Los Angeles, California, USA

+
----------------------------------------------------------------------------+

!!!  DEADLINE EXTENDED TO 17 MAY 2009 !!!

+
----------------------------------------------------------------------------+
NEWS:
  * Post-Proceeding will be published as a special issue of Fundamenta  
Informaticae

  * Invited Speakers: Dale Miller (INRIA), Frederick Peschanski (Paris  
6), Frank Pfenning (Carnegie Mellon)
+ 
----------------------------------------------------------------------------+

Workshop Purpose:

Our aim is to bring together active researchers in the area of logics
and mobile systems, especially in the field of logics and calculi for
mobility, agents, and multi-agent systems. Many notions used in the
theory of agents are derived from philosophy, logic, and linguistics
(belief, desire, intention, speech act, etc.), and interdisciplinary
discourse has proved fruitful for the advance of this domain. Outside
of academia, the deployment of large-scale pervasive infrastructures
(mobile ad-hoc networks, mobile devices, RFIDs, etc.) is becoming a
reality. This raises a number of scientific and technological
challenges for the software modelling and programming models for such
large-scale, open and highly-dynamic distributed systems. The agent
and multi-agent systems approach seems particularly adapted to tackle
this challenge, but there are many issues remaining to be
investigated. For instance, the agents must be location-aware since
the actual services available to them may depend on their (physical or
virtual) location. The quality and quantity of resources at their
disposal is also largely fluctuant, and the agents must be able to
adapt to such highly dynamic environments. Moreover, mobility itself
raises a large number of difficult issues related to safety and
security, which require the ability to reason about the software (e.g.
for analysis or verification). Logics and type systems with temporal
or other kinds of modalities (relating to location, resource and/or
security-awareness) play a central role in the semantic
characterisation and then verification of properties about mobile
agent systems. There are still many open problems and research
questions in the theory of such systems. The workshop is intended to
showcase results and current work being undertaken in these areas with
a focus on logics for specification and verification of dynamic,
mobile systems.

Scopes of Interest:

The topics of interest include but are not limited to
- logics and other formalisms for specification and reasoning about  
agents, MAS, and mobile systems in a broader sense
- treatment of location and resources in logics (e.g. Linear Logic, BI- 
Logic, ambient calculus, spatial logics) and other formalisms
- security in ad-hoc networks
- temporal/modal logics and model checking
- type systems and static analysis
- logic programming.

Format of the Workshop:

The workshop will be held as a two day event before LICS. There will
be a general introduction and brief survey of the field by the
organiser as an introduction to the workshop.

The workshop will contain invited talks, contributed talks, and a
discussion session. The latter is meant to give the participants a
chance to discuss informally research directions, open problems, and
possible co-operations.

Submission details:

Authors are invited to submit a full paper of original work in the
areas mentioned above. The workshop chair should be informed of
closely related work submitted to a conference or journal in advance
of submission. One author of each accepted paper will be expected to
present it at the LAM’09 workshop. Submissions should not exceed 15
pages, preferably using the LaTeX article class. The following formats
are accepted: PDF, PS. Please send your submission electronically to LAM.09 <at> durham.ac.uk
  by the deadline listed below. The submissions will be reviewed by
the workshop's programme committee and additional reviewers. Accepted
papers will appear in informal workshop pre-proceedings and authors
will be encouraged to re-submit papers to formal proceedings to be
published as a special journal issue of Fundamenta Informaticae.

Invited Speakers:

Dale Miller (INRIA, France)
Frederick Peschanski (Paris 6, France)
Frank Pfenning (Carnegie Mellon, USA)

Important Dates:

Submission Deadline (extended): 17 May 2009
Notification: 12 June 2009
Preliminary programme: 19 June 2009
Final papers for proceedings: 10 July 2009
Workshop: 9–10 August 2009

Programme Committee:

Thomas Agotnes, Bergen, Norway
Matteo Baldoni, Torino, Italy
Marina De Vos, Bath, UK
Louise Dennis, Liverpool, UK
Jürgen Dix, Clausthal, Germany
Berndt Farwer (chair), Durham, UK
Michael Fisher, Liverpool, UK
Didier Galmiche, Nancy, France
Paul Harrenstein, München, Germany
James Harland, Melbourne, Australia
Andreas Herzig, Toulouse, France
Wojtek Jamroga, Clausthal, Germany
Michael Köhler-Bußmeier, Hamburg, Germany
João Leite, Lisbon, Portugal
Alessio Lomuscio, London, UK
Dale Miller, INRIA, France
Frederic Peschanski, Paris, France
Vladimiro Sassone, Southampton, UK
Mark-Oliver Stehr, Menlo Park, USA
Wamberto Vasconcelos, Aberdeen, UK

Further Information:

About the workshop: http://www.dur.ac.uk/lam.09
About LICS: http://www2.informatik.hu-berlin.de/lics/lics09/
Permalink | Reply | 0 comments |
headers
S Barry Cooper | 5 May 2009 10:30
Picon
Favicon

Developments in Computational Models 2009 - final call

========================================================================
                           Final Call for Papers

                                 DCM 2009
     5th International Workshop on Developments in Computational Models
                   - Computational Models From Nature

                  http://www.pps.jussieu.fr/~danos/dcm09
                              Rhodes, Greece
                          Saturday, 11 July 2009

                   ** EXTENDED DEADLINE: 7 MAY, 2009 **

          A satellite event of ICALP 2009 - http://icalp09.cti.gr/
========================================================================

DCM 2009 is the fifth in a series of international workshops focusing 
on new computational models. It aims to bring together researchers who 
are currently developing new computational models or new features of a
traditional one. And to foster interaction, to provide a forum for
presenting new ideas and work in progress, and to enable newcomers to 
learn about current activities in this area.

DCM 2009 will be a one-day satellite event of ICALP 2009, with a special
focus on the theme 'Computational Models From Nature'.

Plenary speakers:

Prakash Panangaden (McGill University) "Computing with Anyons"
Amin Coja-Oghlan (Edinburgh) "Random Constraint Satisfaction Problems"
Damien Woods (Seville) "Two Notions of Uniformity in Natural Computing"

Topics of interest include all abstract models of computation and their
properties, and their applications to the development of programming
languages and systems:

- quantum computation, including implementations and formal methods in
quantum protocols;
- probabilistic computation and verification in modelling situations;
- chemical, biological and bio-inspired computation, including spatial
models, self-assembly, growth models;
- general concurrent models including the treatment of mobility, trust, 
and security;
- information-theoretic ideas in computing.

PLEASE SUBMIT an extended abstract (of around 10 pages or less) in PDF
format to the conference EasyChair submission page:

          https://www.easychair.org/login.cgi?conf=dcm2009

by the EXTENDED DEADLINE:
                               7 MAY, 2009.

Accepted contributions will appear in a special issue of the EPTCS
(Electronic Proceedings in Theoretical Computer Science).

After the workshop, full versions of selected papers will be considered 
for a special issue of the IJSI (International Journal of Software and
Informatics).

IMPORTANT DATES:

Submission deadline: 7 May, 2009
Notification: 25 May
Workshop: 11 July, 2009

PROGRAMME COMMITTEE:

S. Barry Cooper (Leeds, Co-chair)
Vincent Danos (Edinburgh, Co-chair)
Paola Bonizzoni (Milan)
Alessandra Carbone (Paris) 
Luca Cardelli (Microsoft Research)
Robert Coecke (Oxford)
Mariangiola Dezani (Turin) 
Ellie D'Hondt (Brussels)
Lionel Dupuy (SCRI, Dundee)
Jerome Feret (INRIA, ENS Paris)
Maribel Fernandez (King's College, London)
Mark Hogarth (Cambridge)
Jean-Pierre Jouannaud (Tsinghua, CNRS)
Zoran Konkoli (Chalmers)
Angsheng Li (CAS, Beijing)
Ian Mackie (Ecole Polytechnique)
Gheorghe Paun (Bucharest)
Simon Perdrix (Paris) 
Grzegorz Rozenberg (Leiden)
Peter Selinger (Dalhousie) 
Jiri Wiedermann (Prague)
Damien Woods (Seville)

=========================================================================
Further information:  Barry Cooper, pmt6sbc <at> leeds.ac.uk
                       Vincent Danos, vincent.danos <at> gmail.com
=========================================================================
Permalink | Reply | 0 comments |
headers
Roberto Gorrieri | 5 May 2009 11:05
Picon

Computational Methods in Systems Biology (CMSB'09) - call for posters

***************************************************************

Due to many requests, we have been able to accomodate a poster
session at the

              7th International Conference on
          COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
                     (CMSB 2009)

              August 31 -- September 1, 2009
                      Bologna, Italy
                http://cmsb09.cs.unibo.it/
***************************************************************

Important Dates
---------------
May, 30:                    Submission of posters
June, 15:                   Notification of acceptance/rejection
August 31 -- September 1:   Conference

Submissions, at most two pages long, describing the topic and main points
to be presented in the poster, should be submitted electronically as 
PDF via Easychair at

     * http://www.easychair.org/conferences/?conf=cmsb09

***************************************************************
Permalink | Reply | 0 comments |
headers
philippe.geril | 5 May 2009 11:34
Favicon

GAMEON-NA'2009, August 26-28, Georgia Tech Global Learning Center, Atlanta, USA, 2ND CFP

 

GAMEON-NA'2009
Atlanta, GA, USA
August 26-28, 2009
SECOND CALL FOR PAPERS
5th Annual
North American Game-On Conference
Organised by
The European Technology Institute
and Sponsored by
EUROSIS
Hosted at
Georgia Tech Global Learning Center
For latest information see:
http://www.eurosis.org/cms/?q=taxonomy/term/186

Dear Colleague,
this is a reminder that the submission period
deadline for GAMEON-NA'2009 starts next June 5th.

Venue information has now been updated:
http://www.eurosis.org/cms/index.php?q=node/979

More info updates to follow.

As a reminder also please find enclosed the list of the
conference topics:
[] Games Development Methodology
[] Simulation in Games
[] Artificial Intelligence
[] Learning and Adaptation
[] Intelligent/Knowledgeable Agents
[] Collaboration & Multi-agent Systems
[] Opponent Modelling
[] Physics and Simulation/Graphical Simulation
[] 3D Scalability
[] Facial, Avatar, NPC, 3D in Game Animation
[] AI and Simulation Tools for games design
[] Game Design
[] Rendering Techniques
[] Voice Interaction
[] Psychology and Affective Computing
[] Artistic input to game and character design
[] Storytelling and Natural Language Processing
[] Online Gaming - Security Issues in Online Gaming
[] MMOG's
[] Serious gaming
[] Wargaming Aerospace Simulations, Board Games etc....
[] Games for training.
[] Games Applications in education, Government, health, Corporate...
[] Games Consoles
[] Games Console Design
[] Mobile Gaming
[] Perceptual User Interfaces for Games
[] Poster Session
[] Student Session
[] Tutorials
[] Exhibition

Conference Chair

Joseph Saur, Georgia Tech, Atlanta, USA

Local Committee

Margaret Loper, Georgia Tech, Atlanta, USA

International Programme Committee

Game Development Methodology

Track Chair: Licinio Roque, University of Coimbra, Coimbra, Portugal
Joaquim Ramos de Carvalho, University of Coimbra, Portugal
Esteban Walter Gonzalez Clua, Universidade Federal Fluminense, Brasil
Gabriele D'Angelo, University of Bologna, Bologna, Italy
Óscar Mealha, University of Aveiro, Portugal
Jari Multisilta, University of Tampere, Finland
Eva Petersson, Aalborg University, Esbjerg, Denmark
Erick Passos, Universidade Federal Fluminense, Brazil
Ana Veloso, Portugal
Marcelo Zamith, From Universidade Federal Fluminense, Brazil

Physics and Simulation

Graphics Simulation and Techniques
Stefano Ferretti, University of Bologna, Bologna, Italy
Yan Luo, National Institute of Standards and Technology, USA
Joerg Kienzle, McGill University, Montreal, Canada
Ian Marshall, Coventry University, Coventry, United Kingdom
Marco Roccetti, University of Bologna, Bologna, Italy

Facial, Avatar, NPC, 3D in Game Animation
Marco Gillies, University College London, London, United Kingdom
Yoshihiro Okada, Kyushu University, Kasuga, Fukuoka, Japan
Paolo Remagnino, Kingston University, Kingston Upon Thames, United Kingdom
Marcos Rodrigues, Sheffield Hallam University, Sheffield, United Kingdom
Joao Manuel Tavares, FEUP, Porto, Portugal

Rendering Techniques
Sushil Bhakar, Concordia University, Montreal, Canada
Joern Loviscach, Fachhochschule Bielefeld, Bielefeld, Germany
Frank Puig, University of Informatics Sciences, Havana, Cuba

Artificial Intelligence

Artificial Intelligence and Simulation Tools for Game Design
Mokhtar Beldjehem, École Polytechnique de Montréal, Montreal, Canada
Penny de Byl, Breda University of Applied Sciences, Breda, The Netherlands
Antonio J. Fernandez, Universidad de Malaga, Malaga, Spain
Gregory Paull, The MOVES Institute, Naval Postgraduate School, Monterey, USA
Oryal Tanir, Bell Canada, Montreal, Canada
Christian Thurau, Fraunhofer Institute, Schloss Birlinghoven, Germany
Hans Vangheluwe, McGill University, Montreal, Canada

Learning & Adaptation
Christian Bauckage, Franhofer IAIS, Sankt Augustin, Germany
Christos Bouras, University of Patras, Patras, Greece
Adriano Joaquim de Oliveira Cruz, Univ. Federal de Rio de Janeiro, Rio de Janeiro, Brazil
Andrzej Dzielinski, Warsaw University of Technology, Warsaw, Poland
Pascal Estrallier, Universite de La Rochelle, La Rochelle, France

Intelligent/Knowledgeable Agents
Nick Hawes, University of Birmingham, United Kingdom
Wenji Mao, Chinese Academy of Sciences, Beijing, P. R. China
Scott Neal Reilly, Charles River Analytics, Cambridge, USA
Marco Remondino, University of Turin, Turin, Italy

Collaboration & Multi-agent Systems
Victor Bassilious, University of Abertay, Dundee, United Kingdom
Sophie Chabridon, Institut TELECOM, Evry, France

Opponent Modelling
Ingo Steinhauser, Binary Illusions, Braunschweig, Germany

Peripheral

Voice Interaction

TBA

Psychology and Affective Computing

Eva Hudlicka, Psychometrix Associates, Blacksburg, USA

Artistic input to game and character design

Anton Eliens, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands
Olli Leino, IT-University of Copenhagen, Copenhagen, Denmark
Richard Wages, Nomads Lab, Koln, Germany

Storytelling and Natural Language Processing

Ali Arya, Carleton University, Ottawa, Canada
Jenny Brusk, Gotland University College, Gotland, Sweden
R. Michael Young, Liquid Narrative Group, North Carolina State University, Raleigh, USA
Clark Verbrugge, McGill University, Montreal, Canada

Modelling of Virtual Worlds

Rafael Bidarra, Delft University of Technology, Delft, The Netherlands
Ruck Thawonmas, Ritsumeikan University, Kusatsu, Shiga, Japan

Online Gaming and Security Issues in Online Gaming

Pal Halvorsen, University of Oslo, Oslo, Norway
Timo Knuutila, University of Turku, Turku, Finland
Andreas Petlund, University of Oslo, Oslo, Norway
Jouni Smed, University of Turku, Turku, Finland
Knut-Helge Vik, University of Oslo, Oslo, Norway

MMOG's

Chris Joslin, Carleton University, Ottawa, Canada
Michael J. Katchabaw, The University of Western Ontario, London, Canada
Alice Leung, BBN Technologies, Cambridge, USA
Mike Zyda, USC Viterbi School of Engineering, Marina del Rey, USA

Serious Gaming

Wargaming Aerospace Simulations, Board Games etc....
Roberto Beauclair, Institute for Pure and Applied Maths., Rio de Janiero, Brazil
Erol Gelenbe, Imperial College London, United Kingdom
Henry Lowood, Stanford University Libraries, Stanford, USA
Jaap van den Herik, Tilburg University, Tilburg, The Netherlands

Games for training
Michael J. Katchabaw, The University of Western Ontario, London, Canada
Gustavo Lyrio, IMPA, Rio de Janeiro, Brazil
Tony Manninen, University of Oulu, Oulu, Finland
Jens Müller-Iden, Universität Münster, Münster, Germany
Maja Pivec, FH JOANNEUM, University of Applied Sciences, Graz, Austria
Martina Wilson, The Open University, Milton Keynes, United Kingdom

Games Applications in Education, Government, Health, Corporate, First Responders and Science
Paul Pivec, RaDiCAL
Daniela M. Romano University of Sheffield, Sheffield, United Kingdom
Russell Shilling, Office of Naval Research, Arlington VA, USA

Games Interfaces - Playing outside the Box

Games Console Design
Chris Joslin, Carleton University, Ottawa, Canada
Anthony Whitehead, Carleton University, Ottawa, Canada

Mobile Gaming
Stefano Cacciaguera, University of Bologna, Bologna, Italy
Sebastian Matyas, Otto-Friedrich-Universität Bamberg, Bamberg, Germany

Perceptual User Interfaces for Games
Tony Brooks, Aalborg University Esbjerg, Esbjerg, Denmark
Lachlan M. MacKinnon, University of Abertay, Dundee, United Kingdom

Regards
Philippe

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


<div>
<div></div>
<div>&nbsp;<p align="center">
GAMEON-NA'2009<br>
Atlanta, GA, USA<br>
August 26-28, 2009<br>
SECOND CALL FOR PAPERS<br>
5th Annual<br>
North American Game-On Conference<br>
Organised by<br>
The European Technology Institute<br>
and Sponsored by<br>
EUROSIS<br>
Hosted at<br>
Georgia Tech Global Learning Center<br>
For latest information see:<br>
http://www.eurosis.org/cms/?q=taxonomy/term/186
</p>
<p>
Dear Colleague,<br>
this is a reminder that the submission period<br>
deadline for GAMEON-NA'2009 starts next June 5th.
</p>
<p>
Venue information has now been updated:<br>
http://www.eurosis.org/cms/index.php?q=node/979
</p>
<p>More info updates to follow.</p>
<p>
As a reminder also please find enclosed the list of the<br>
conference topics:<br>
[] Games Development Methodology<br>
[] Simulation in Games<br>
[] Artificial Intelligence<br>
[] Learning and Adaptation<br>
[] Intelligent/Knowledgeable Agents<br>
[] Collaboration &amp; Multi-agent Systems<br>
[] Opponent Modelling<br>
[] Physics and Simulation/Graphical Simulation<br>
[] 3D Scalability<br>
[] Facial, Avatar, NPC, 3D in Game Animation<br>
[] AI and Simulation Tools for games design<br>
[] Game Design<br>
[] Rendering Techniques<br>
[] Voice Interaction<br>
[] Psychology and Affective Computing<br>
[] Artistic input to game and character design<br>
[] Storytelling and Natural Language Processing<br>
[] Online Gaming - Security Issues in Online Gaming<br>
[] MMOG's<br>
[] Serious gaming<br>
[] Wargaming Aerospace Simulations, Board Games etc....<br>
[] Games for training.<br>
[] Games Applications in education, Government, health, Corporate...<br>
[] Games Consoles<br>
[] Games Console Design<br>
[] Mobile Gaming<br>
[] Perceptual User Interfaces for Games<br>
[] Poster Session<br>
[] Student Session<br>
[] Tutorials<br>
[] Exhibition
</p>
<h3>Conference Chair</h3>
<p>
Joseph Saur, Georgia Tech, Atlanta, USA
</p>
<h3>Local Committee</h3>
<p>
Margaret Loper, Georgia Tech, Atlanta, USA
</p>
<h3>International Programme Committee</h3>
<h4>Game Development Methodology</h4>
<p>
Track Chair: Licinio Roque, University of Coimbra, Coimbra, Portugal<br>
Joaquim Ramos de Carvalho, University of Coimbra, Portugal<br>
Esteban Walter Gonzalez Clua, Universidade Federal Fluminense, Brasil<br>
Gabriele D'Angelo, University of Bologna, Bologna, Italy<br>
&Oacute;scar Mealha, University of Aveiro, Portugal<br>
Jari Multisilta, University of Tampere, Finland<br>
Eva Petersson, Aalborg University, Esbjerg, Denmark<br>
Erick Passos, Universidade Federal Fluminense, Brazil<br>
Ana Veloso, Portugal<br>
Marcelo Zamith, From Universidade Federal Fluminense, Brazil
</p>
<h4>Physics and Simulation</h4>
<p>
Graphics Simulation and Techniques<br>
Stefano Ferretti, University of Bologna, Bologna, Italy<br>
Yan Luo, National Institute of Standards and Technology, USA<br>
Joerg Kienzle, McGill University, Montreal, Canada<br>
Ian Marshall, Coventry University, Coventry, United Kingdom<br>
Marco Roccetti, University of Bologna, Bologna, Italy
</p>
<p>
Facial, Avatar, NPC, 3D in Game Animation<br>
Marco Gillies, University College London, London, United Kingdom<br>
Yoshihiro Okada, Kyushu University, Kasuga, Fukuoka, Japan<br>
Paolo Remagnino, Kingston University, Kingston Upon Thames, United Kingdom<br>
Marcos Rodrigues, Sheffield Hallam University, Sheffield, United Kingdom<br>
Joao Manuel Tavares, FEUP, Porto, Portugal
</p>
<p>
Rendering Techniques<br>
Sushil Bhakar, Concordia University, Montreal, Canada<br>
Joern Loviscach, Fachhochschule Bielefeld, Bielefeld, Germany<br>
Frank Puig, University of Informatics Sciences, Havana, Cuba
</p>
<h4>Artificial Intelligence</h4>
<p>
Artificial Intelligence and Simulation Tools for Game Design<br>
Mokhtar Beldjehem, &Eacute;cole Polytechnique de Montr&eacute;al, Montreal, Canada<br>
Penny de Byl, Breda University of Applied Sciences, Breda, The Netherlands<br>
Antonio J. Fernandez, Universidad de Malaga, Malaga, Spain<br>
Gregory Paull, The MOVES Institute, Naval Postgraduate School, Monterey, USA<br>
Oryal Tanir, Bell Canada, Montreal, Canada<br>
Christian Thurau, Fraunhofer Institute, Schloss Birlinghoven, Germany<br>
Hans Vangheluwe, McGill University, Montreal, Canada
</p>
<p>
Learning &amp; Adaptation<br>
Christian Bauckage, Franhofer IAIS, Sankt Augustin, Germany<br>
Christos Bouras, University of Patras, Patras, Greece<br>
Adriano Joaquim de Oliveira Cruz, Univ. Federal de Rio de Janeiro, Rio de Janeiro, Brazil<br>
Andrzej Dzielinski, Warsaw University of Technology, Warsaw, Poland<br>
Pascal Estrallier, Universite de La Rochelle, La Rochelle, France
</p>
<p>
Intelligent/Knowledgeable Agents<br>
Nick Hawes, University of Birmingham, United Kingdom<br>
Wenji Mao, Chinese Academy of Sciences, Beijing, P. R. China<br>
Scott Neal Reilly, Charles River Analytics, Cambridge, USA<br>
Marco Remondino, University of Turin, Turin, Italy
</p>
<p>
Collaboration &amp; Multi-agent Systems<br>
Victor Bassilious, University of Abertay, Dundee, United Kingdom<br>
Sophie Chabridon, Institut TELECOM, Evry, France
</p>
<p>
Opponent Modelling<br>
Ingo Steinhauser, Binary Illusions, Braunschweig, Germany
</p>
<h3>Peripheral</h3>
<h4>Voice Interaction</h4>
<p>
TBA
</p>
<h4>Psychology and Affective Computing</h4>
<p>
Eva Hudlicka, Psychometrix Associates, Blacksburg, USA
</p>
<h4>Artistic input to game and character design</h4>
<p>
Anton Eliens, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands<br>
Olli Leino, IT-University of Copenhagen, Copenhagen, Denmark<br>
Richard Wages, Nomads Lab, Koln, Germany
</p>
<h4>Storytelling and Natural Language Processing</h4>
<p>
Ali Arya, Carleton University, Ottawa, Canada<br>
Jenny Brusk, Gotland University College, Gotland, Sweden<br>
R. Michael Young, Liquid Narrative Group, North Carolina State University, Raleigh, USA<br>
Clark Verbrugge, McGill University, Montreal, Canada
</p>
<h4>Modelling of Virtual Worlds</h4>
<p>
Rafael Bidarra, Delft University of Technology, Delft, The Netherlands<br>
Ruck Thawonmas, Ritsumeikan University, Kusatsu, Shiga, Japan
</p>
<h4>Online Gaming and Security Issues in Online Gaming</h4>
<p>
Pal Halvorsen, University of Oslo, Oslo, Norway<br>
Timo Knuutila, University of Turku, Turku, Finland<br>
Andreas Petlund, University of Oslo, Oslo, Norway<br>
Jouni Smed, University of Turku, Turku, Finland<br>
Knut-Helge Vik, University of Oslo, Oslo, Norway
</p>
<h4>MMOG's</h4>
<p>
Chris Joslin, Carleton University, Ottawa, Canada<br>
Michael J. Katchabaw, The University of Western Ontario, London, Canada<br>
Alice Leung, BBN Technologies, Cambridge, USA<br>
Mike Zyda, USC Viterbi School of Engineering, Marina del Rey, USA
</p>
<h4>Serious Gaming</h4>
<p>
Wargaming Aerospace Simulations, Board Games etc....<br>
Roberto Beauclair, Institute for Pure and Applied Maths., Rio de Janiero, Brazil<br>
Erol Gelenbe, Imperial College London, United Kingdom<br>
Henry Lowood, Stanford University Libraries, Stanford, USA<br>
Jaap van den Herik, Tilburg University, Tilburg, The Netherlands
</p>
<p>
Games for training<br>
Michael J. Katchabaw, The University of Western Ontario, London, Canada<br>
Gustavo Lyrio, IMPA, Rio de Janeiro, Brazil<br>
Tony Manninen, University of Oulu, Oulu, Finland<br>
Jens M&uuml;ller-Iden, Universit&auml;t M&uuml;nster, M&uuml;nster, Germany<br>
Maja Pivec, FH JOANNEUM, University of Applied Sciences, Graz, Austria<br>
Martina Wilson, The Open University, Milton Keynes, United Kingdom
</p>
<p>
Games Applications in Education, Government, Health, Corporate, First Responders and Science<br>
Paul Pivec, RaDiCAL<br>
Daniela M. Romano University of Sheffield, Sheffield, United Kingdom<br>
Russell Shilling, Office of Naval Research, Arlington VA, USA
</p>
<h4> Games Interfaces - Playing outside the Box</h4>
<p>
Games Console Design<br>
Chris Joslin, Carleton University, Ottawa, Canada<br>
Anthony Whitehead, Carleton University, Ottawa, Canada
</p>
<p>
Mobile Gaming<br>
Stefano Cacciaguera, University of Bologna, Bologna, Italy<br>
Sebastian Matyas, Otto-Friedrich-Universit&auml;t Bamberg, Bamberg, Germany
</p>
<p>
Perceptual User Interfaces for Games<br>
Tony Brooks, Aalborg University Esbjerg, Esbjerg, Denmark<br>
Lachlan M. MacKinnon, University of Abertay, Dundee, United Kingdom
</p>
<p>Regards<br>
Philippe</p>

--<br>
Philippe Geril Tel: +32.59.255.330<br>
EUROSIS -ETI Fax: +32.59.255339<br>
Greenbridge NV E-mail: philippe.geril <at> eurosis.org<br>
Wetenschapspark 1 E-mail: pgeril <at> yahoo.co.uk<br>
Plassendale 1 URL: http://www.eurosis.org<br>
B-8400 Ostend<br>
Belgium</div>
<br><br>
</div>
Permalink | Reply | 0 comments |
headers
Chengcui Zhang | 5 May 2009 19:39
Picon
Favicon

Deadline Approaching: 2009 IEEE International Conference on Semantic Computing


FULL PAPER AND DEMO DEADLINE -- MAY 10TH!

Call for Papers

Third IEEE International Conference on Semantic Computing

IEEE ICSC2009

September 14th-16th, 2009, Berkeley, CA, USA
http://www.icsi.berkeley.edu/icsc

Sponsored by IEEE Computer Society

The field of Semantic Computing addresses the derivation and matching of
the  semantics of  computational content  to that of naturally expressed
user intentions in order to retrieve,  manage, manipulate or even create
content, where "content" may  be anything  including video, audio, text,
processes, services, hardware, networks, etc.

The third IEEE International Conference on Semantic Computing (ICSC2009)
continues  to  foster  the  growth  of  a  new  research  community. The
conference builds  on the  success of the  past  ICSC  conferences as an
international  forum  for   researchers  and  practitioners  to  present
research that advances the state of  the art and  practice  of  Semantic
Computing,  as  well  as  identifying  the emerging  research topics and
defining  the future of  the field.  The event  is located  in Berkeley,
California. The  technical  program   of  ICSC2009  includes   workshops,
invited   keynotes, paper  presentations,  panel  discussions, and  more.
Submissions of high-quality papers describing mature results or on-going
work are invited.

Areas of interest include:

Semantic Analysis
   * Natural language processing
   * Image and video analysis
   * Audio and speech analysis
   * Data and web mining
   * Analysis of behaviors of software, services and networks
   * Analysis of social networks

Semantic Integration
   * Metadata and other description languages
   * Database schema integration
   * Ontology integration
   * Interoperability and service integration

Semantic Applications
   * Semantic programming languages and software engineering
   * Semantic system design and synthesis
   * Search engines and question answering
   * Semantic web services
   * Content-based multimedia retrieval and editing
   * Context-aware networks of sensors, devices and applications
   * Human centered communications
   * Semantic trusted computing
   * Semantic GIS systems

Semantic Interfaces
   * Natural language interfaces
   * Multimodal interfaces

The main goal of  the conference is to foster the dialog between experts
in  each  of  these  disciplines.  Therefore  we   especially  encourage
submissions of  work  that is interesting  to  multiple  areas,  such as
multimodal approaches.

Please  refer  to the conference website for further information:
http://www.icsi.berkeley.edu/icsc

KEYNOTE SPEAKERS
Dana Scott, Turing Award Winner, Carnegie Mellon University
Charles J. Fillmore, University of California Berkeley
Alex Acero, Microsoft Research
Ruzena Bajcsy, University of California Berkeley

WORKSHOPS AND SPECIAL SESSIONS
ICSC 2009 features four workshops and two Special Sessions:
  * Graph Algorithms for Semantic Computing
  * Workshop on Semantic Computing and Multimedia Systems
  * Middleware for the Semantic Web: Towards Knowledge in the Cloud
  * SWIM: Semantic Web Information Management
  * Special Session on Semantic Speech Retrieval
  * Special Session on Semantic-Based Interoperability

SUBMISSIONS
- Regular Papers
Authors  are invited to  submit an 8-page technical paper manuscript  in
double-column  IEEE  format  following the  guidelines  available on the
ICSC2009 web page under "submissions".

- Demonstration Papers
Authors  are invited to submit an 2-page  technical paper manuscript  in
double-column  IEEE  format  following the  guidelines  available on the
ICSC2009 web page under "demonstrations".

The  conference proceedings  will  be published by IEEE Computer Society
Press. Distinguished  quality papers  presented  at  the conference will
be selected for publications in internationally renowned journals.

IMPORTANT DATES
Regular paper submission: May 10th, 2009 (extended)
Demo descriptions: May 10th, 2009 (extended)
Workshop and special sessions: Please refer to ICSC website.
Conference: September 14th-16th, 2009
Permalink | Reply | 0 comments |
headers
Thomas Freytag | 6 May 2009 08:26
Picon
Favicon

Call for Papers - AWPN 2009 in Karlsruhe

+---------------- CALL FOR PAPERS ----------------------------------+
|                                                                   |
|        16. Workshop ALGORITHMEN UND WERKZEUGE FÜR PETRINETZE      |
|                                                                   |
+------------ 25. und 26. September 2009 in Karlsruhe --------------+

Liebe Petrinetter,

der Workshop AWPN findet dieses Jahr in Karlsruhe statt.

Termine:
--------

Einsendeschluss für lange Beiträge:      15. Juli      2009
Einsendeschluss für kurze Beiträge:      15. August    2009
Anmeldung:                               15. September 2009
Workshop:                            25./26. September 2009

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

Veranstalter: Fachgruppe "Petrinetze und verwandte Systemmodelle" der GI

Ausrichter: Thomas Freytag
	      Duale Hochschule Baden-Württemberg
	      Erzbergerstr. 121
	      76133 Karlsruhe
		Telefon: 0721-9735-937
		Email: freytag <at> dhbw-karlsruhe.de

Ziel:
-----

Wir wollen Entwickler und Anwender von Petrinetzbasierten Algorithmen und 
Werkzeugen zusammenzubringen und damit die Abstimmung zwischen Angebot und 
Nachfrage nach Petrinetzbasierter Technologie verbessern.

Der Workshop bietet Vorträge über Algorithmen, Werkzeuge, Fallstudien sowie 
Werkzeugdemonstrationen mit Bezug zu Petrinetzen oder verwandten 
Systemmodellen.

Inhaltliche Schwerpunkte:
-------------------------

    * Entscheidungsalgorithmen für dynamische Eigenschaften
    * Zustandsraumreduktion
    * Temporale Logik und Model-Checking
    * Analyse mit algebraischen und linear-algebraischen Methoden
    * Simulationsverfahren
    * Datenstrukturen und Algorithmen in Werkzeugen
    * Benutzungsschnittstellen und Visualisierung
    * Schnittstellen und (XML-) Austauschformate für Petrinetzwerkzeuge
    * Fallstudien zur Validierung von Modellierungstechniken
    * Software-Engineering- und Workflow-Managementwerkzeuge
    * Mit Petrinetzen verwandte Modelle und Methoden

Beiträge:
---------

Ergebnisse können in Form von Vorträgen bzw. Werkzeugdemonstrationen
präsentiert 
werden. Ein Beitrag kann als langer oder kurzer Beitrag eingereicht werden. 
Die beiden Formen unterscheiden sich in ihrer Zielsetzung und im Verfahren. 

Ein langer Beitrag beschreibt ein Ergebnis entsprechend üblicher Standards
für 
Workshops. Er ist in englischer Sprache verfasst. Er umfasst nicht mehr als 
15 Seiten und muss bis zum 15. Juli 2009 eingereicht werden. Er wird nach 
gängigen Standards begutachtet, wobei das Programmkomitee identisch ist 
mit dem Steering-Committee. Ausgewählte Langbeiträge können eingeladen
werden 
für den LNCS-ToPNoC-Band zu den Workshops der Konferenz PETRI NETS 2010. Für

diesen Band findet eine weitere Begutachtung auf Zeitschriftenniveau statt, 
wobei die Gutachten für AWPN berücksichtigt werden.

Ein kurzer Beitrag beschreibt eine Idee oder Work in Progress. Er ist in 
deutscher oder englischer Sprache verfasst. Er umfasst nicht mehr als 6
Seiten 
und muss bis zum 15. August 2009 eingereicht werden. Für kurze Beiträge
findet 
kein Auswahlverfahren statt, aber die Beiträge werden auf Relevanz sowie die

Einhaltung eines wissenschaftlichen Mindeststandards hin geprüft.
Ausgewählte 
Kurzbeiträge können nach dem Workshop in einer Ausgabe des Petri Net
Newsletter 
veröffentlicht werden.

Schriftliche Ausarbeitungen und Werkzeugpräsentationen bitte an Thomas
Freytag 
(freytag <at> dhbw-karlsruhe.de) im PDF-Format (DIN A4) ohne Seitenzahlen oder 
Kopf-/Fußzeilen schicken. Bitte dabei den Springer LNCS-Stil 
(http://www.springer.com/comp/lncs/Authors.html) verwenden.

Die Beiträge werden als CEUR-WS-Proceedings veröffentlicht, die Teilnehmer 
erhalten eine gedruckte Version in Form eines internen Forschungsberichts
der
Dualen Hochschule ausgehändigt. 

Vorträge:
---------

Unabhängig von der Art des eingereichten Beitrages beträgt die Länge eines 
Vortrages 20 Minuten, gefolgt von 10 Minuten Zeit für Diskussion. Die
Sprache 
des Workshops ist deutsch, es sind aber auch Vorträge in englischer Sprache 
willkommen. Overheadprojektor, Beamer und ein PC stehen zur Verfügung.

Steering Committee:
-------------------

    * Jörg Desel (Stellvertreter)
    * Ekkart Kindler
    * Kurt Lautenbach
    * Robert Lorenz
    * Daniel Moldt
    * Rüdiger Valk
    * Karsten Wolf (Sprecher)

Webseite
--------

Die Webseite für den Workshop mit aktuellen und weitergehende Informationen 
zur Einreichung, Anmeldung, Anreise und zum Programm verfügbar ist online
unter
http://woped2.dhbw-karlsruhe.de/awpn2009.

Viele Grüße aus Karlsruhe,

Für das Organisationskomitee

Thomas Freytag

----
[[ Petri Nets World:                                                ]]
[[              http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ:                                                ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies:                                ]]
[[                               petrinet <at> informatik.uni-hamburg.de ]]
Permalink | Reply | 0 comments |
headers
FMICS 2009 workshop chair | 8 May 2009 08:54
Picon

[FMICS 2009] Call for Posters

FMICS 2009 - CALL FOR POSTERS
Please visit: http://users.dsic.upv.es/workshops/fmics2009

************************************************************
*              14th International Workshop on              *
*      Formal Methods for Industrial Critical Systems      *
*                       FMICS 2009                         *
*                                                          *
*                   November 2-3, 2009                     *
*               Eindhoven, The Netherlands                 *
************************************************************

** Attention Practitioners of Formal Methods:             **
** FMICS 2009 wants to Gain advantage of your Experience! **


FMICS 2009  is actively soliciting practitioners  to present
posters that  describe how formal methods  work---or fail to
work---in real-world, industrial critical systems.

* Poster  contributions are  sought in  all areas  of formal
methods for  industrial critical  systems with  a particular
focus on practical experiences:

    - Tools   for   the   development   of   formal   design
    descriptions, code  generation and testing with  a focus
    on their industrial applicability (e.g., scalability and
    usability issues).
    - Formal  techniques  and  tools  to  support  automated
    analysis,     certification,    debugging,     learning,
    optimization and transformation of complex, distributed,
    real-time systems and embedded systems.
    - Case  studies  and  experience  reports on  industrial
    applications  of  formal  methods, focusing  on  lessons
    learned or identification of new research directions.
    - Impact  of  the  adoption  of  formal methods  on  the
    development process and associated costs.
    - Application  of formal methods in  standardization and
    industrial forums.
    - Applied research project overviews.
    - Speculative, late-breaking results.

* Why should I present a Poster at FMICS 2009?
The  most obvious  reason is  to  get your  own work  highly
visible in  a competitive forum.  But it's also a  chance to
share your wisdom about  formal methods with an appreciative
audience. Evidence  about the  utility of formal  methods is
much more  valuable when it  has been carefully  written up,
formally reviewed  and published  in a  citable proceedings.
Poster descriptions will be published in the Springer series
Lecture Notes  in Computer  Science (LNCS) volume  for FMICS
2009.

* Poster  descriptions need  to present  a clear  thesis and
provide supporting evidence that might include:

    - insights gained from  real-world projects using formal
    methods
    - comparison   of  formal  methods   with   informal  or
    semi-formal  methods in  the  context  of an  industrial
    project
    - legal issues encountered  when using formal methods in
    a real-world project
    - obstacles  to commercialize  SW Tools based  on Formal
    Methods
    - real-world constraints that created special challenges
    for formal methods in general.

* Attached to  the poster, authors are invited  to submit an
extended abstract through the  workshop paper submission web
pages. Each accepted  poster will have up to 2  pages in the
LNCS proceedings, and a 10 minute slot for presentation in a
plenary poster  session. Authors of accepted posters will be
expected  to present  them in  person at  Eindhoven. Posters
will also be displayed during the workshop, and particularly
before the poster session.

* Submission deadline:                          June 5, 2009
   Notification:                                June 20, 2009
   Camera-ready version                         July 15, 2009
   Workshop                                November 2-3, 2009

CO-LOCATION
-----------
FMICS  2009  is  part  of  the  first  Formal  Methods  Week
(FMweek),  which  will bring  together  a  choice of  events
in   the  area,   including  TESTCOM/FATES   (Conference  on
Testing  of Communicating  Systems  and  Workshop on  Formal
Approaches  to Testing  of Software),  FACS (Formal  Aspects
of  Component  Software),  PDMC  (Parallel  and  Distributed
Methods  of  verifiCation),   FM2009  (Symposium  of  Formal
Methods Europe), CPA  (Communicating Process Architectures),
FAST (Formal  Aspects of  Security and Trust),  FMCO (Formal
Methods  for   Components  and  Objects),  and   the  REFINE
Workshop.  For   the  latest  information  on   FMweek,  see
http://www.win.tue.nl/fmweek.

************************************************************
*                                                          *
*      +============================================+      *
*      |                                            |      *
*      |                 ** FMweek **               |      *
*      |                                            |      *
*      +============================================+      *
*      |     CPA     |     FACS     |     FAST      |      *
*      +--------------------------------------------+      *
*      |    FM2009   |     FMCO     |     FMICS     |      *
*      +--------------------------------------------+      *
*      |     PDMC    |    REFINE    | TESTCOM/FATES |      *
*      +--------------------------------------------+      *
*      |        http://www.win.tue.nl/fmweek        |      *
*      +============================================+      *
*                                                          *
************************************************************
Permalink | Reply | 0 comments |
headers
Marcin Szpyrka | 8 May 2009 12:09
Picon
Favicon

CEE-SET 2009 deadline extended

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

CALL FOR PAPERS - DEADLINE EXTENDED

4th IFIP TC2 Central and East European Conference on Software Engineering 
Techniques (CEE-SET 2009)

Krakow, Poland
October 12-14, 2009

web-site: http://www.cee-set.agh.edu.pl

**************************************************************** 

The mission of the CEE-SET (IFIP Central and Eastern European Conference on 
Software Engineering Techniques) series of conferences is to integrate 
researches and practitioners mainly from Central and Eastern European 
countries with the aim of building theoretical as well as empirical 
background for software engineering.

TOPICS

The conference is to be a forum for presentation and evaluation of both, 
currently used methods and techniques and new approaches or directions in 
software engineering. Main topics of the Conference will include all aspects 
of software development:

* Software architectures
* Middleware, frameworks and components
* Software components and reuse
* Model-driven software development
* Software development methodologies
* Software requirements engineering and modeling
* Software quality
* Software measurement and metrics
* Software testing, analysis and verification
* Software products and process improvement
* Formal methods in software engineering
* Agile software development methodologies and practices
* Maintenance and reverse engineering
* Methods and tools in software engineering
* Experimentation in software engineering
* Evidence-based software engineering
* Software projects management
* Building empirical models and theories in software engineering
* Future of software engineering research and practice
* Adaptive and self-managing software systems
* Documentation management in software project
* Human factors in software engineering
* Software engineering training and education
* Software engineering for secure and safe systems
* Project management 

PAPER SUBMISSION AND PUBLICATION

The proceedings of CEE-SET'07 and CEE-SET'08 have been accepted for 
publication as LNCS and we will do our best to arrange similar publication 
this year. Therefore, submitted papers must be in English and they must be 
prepared according to Springer's LNCS style 
(http://www.springer.com/computer/lncs). They have to present original 
research - all submitted papers must be unpublished and not submitted for 
publication elsewhere. At least one author of each accepted paper must attend 
the conference to present the paper. Papers should be submitted 
electronically in the PDF format. Final papers shall not contain more than 14 
pages in the format specified by Springer. Submissions that are significantly 
longer may be rejected immediately. All prospective authors are asked to 
submit an electronic copy of their manuscript according to the timetable 
through the following web site: 
http://www.easychair.org/conferences/?conf=ceeset2009. Authors of best papers 
will be invited to submit revised and extended versions of their papers for 
publication in a special issues of scientific journals. 

IMPORTANT DATES
* Full-paper submissions (up to 14 LNCS pages): May 31, 2009 EXTENDED
* Work-in-Progress submissions (up to 6 LNCS pages): May 31, 2009 EXTENDED
* Notification sent to authors: July 31, 2009
* Conference program ready: August 18, 2009
* Camera ready papers due: (LNCS format): August 31, 2009
* Preliminary registration closes: September 11, 2009
* Registration closes: October 9, 2009
* Conference opens: October 12, 2009

PROGRAMME COMMITTEE

The Programme Committee is available at the conference web page: 
http://www.cee-set.agh.edu.pl

CONTACT

If you have any questions or run into problems, please send e-mail to: 
cee-set <at> agh.edu.pl
Permalink | Reply | 0 comments |
headers
S Barry Cooper | 8 May 2009 12:26
Picon
Favicon

CiE 2009 in Heidelberg - Reminder of deadlines for Early Registration and Informal Presentations


                  CiE 2009: COMPUTABILITY IN EUROPE 2009 -
              Mathematical Theory and Computational Practice
                            Heidelberg, Germany
                             19 - 24 July 2009

      *************************************************************
             Deadline for Early Registration - FRIDAY 15 MAY
           Deadline for Informal Presentations - MONDAY 1 JUNE
      *************************************************************

            http://www.math.uni-heidelberg.de/logic/cie2009/

***********************************************************************
IMPORTANT DATES:

Early registration deadline: MAY 15
Submission of informal presentations: JUNE 1
Late registration deadline: JULY 12

***********************************************************************
FINAL CALL FOR INFORMAL PRESENTATIONS AT CiE 2009:

In addition to the formal presentations based on our LNCS proceedings 
volume, we invite researchers to give informal presentations. For this, 
please send us a brief description of your talk (between one paragraph and 
half a page) by the DEADLINE:

                               1 JUNE 2009.

Please submit your abstract by sending an informal email to our contact 
address:

                        logic <at> math.uni-heidelberg.de

Following CiE 2009, there will be special issues of the journals:

     * Annals of Pure and Applied Logic
     * Journal of Logic and Computation
     * Theory of Computing Systems.

These will contain full articles of selected CiE 2009 presentations, 
including informal presentations.

***********************************************************************
Contact: logic <at> math.uni-heidelberg.de
***********************************************************************
Permalink | Reply | 0 comments |

Gmane