Petri Nets mailing list

fsvweb | 1 Sep 2009 12:39

Last Call for Participation: GAMES 2009


                   GAMES 2009

    Annual Workshop of the ESF Networking Programme on
           Games for Design and Verification

             September 14 - 17, 2009
                   Udine, Italy
           http://games2009.dimi.uniud.it/

              LAST CALL FOR PARTICIPATION

GAMES is a European Network pursuing research and 
training on the design and verification of computing 
systems, in a framework that is based on the interplay 
of finite and infinite games, mathematical logic, and 
automata theory. 

For details, see www.games.rwth-aachen.de/

SCOPE:
The scope of the workshop includes the mathematical 
and algorithmic analysis of finite and infinite games, 
the interplay of games with automata theory and  logic, 
and applications of games, automata, and logic for the 
design and verification of computing systems.

PROGRAMME:
As in previous years, GAMES 2009 will be an informal 
workshop, without proceedings. Its programme consists

(Continue reading)

headers

olivier.bournez.work.lists | 2 Sep 2009 10:02

Last Call for Participation: Reachability Problems 2009


LAST CALL FOR PARTICIPATION

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

   REACHABILITY PROBLEMS, RP'2009

  September 23-25, 2009,
  Ecole Polytechnique,					
  Palaiseau (Near Paris) France

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

        http://www.lix.polytechnique.fr/rp09

The annual fall colloquium organized by the Computer Science
Laboratory of Ecole Polytechnique (LIX) will host Reachability
Problems RP'2009. RP'2009 will take place at Ecole Polytechnique
(on-site at Palaiseau, a suburb district of Paris, FRANCE).

Invited Speakers:
================
- Ahmed Bouajjani ( University of Paris 7 )
- Thomas A. Henzinger ( EPFL in Lausanne )
- Oded Maler ( VERIMAG )
- Alexander Shen ( CNRS Marseille )
- Moshe Y. Vardi ( Rice University )

Program:
================

(Continue reading)

headers

Gregory Zacharewicz Univ Bordeaux | 2 Sep 2009 11:10

--> SYMPOSIUM ON THEORY OF MODELING AND SIMULATION (DEVS 2010)

  CALL FOR PAPERS
Symposium on Theory of Modeling and Simulation -
DEVS Integrative M&S Symposium (DEVS 2010)

April 12-15 2010. Florida Mall Hotel and Conference Center.
Orlando, FL.

http://www.sce.carleton.ca/faculty/wainer/DEVS10

Sponsored by
The Society for Modeling and Simulation International

in cooperation with ACM/SIGSIM

The purpose of this symposium is to provide a forum to discuss most recent
advancements in Theory of Modeling and Simulation. The main focus is on
theory of modeling, methodology, practice and toolkits, as well as lessons
learned and challenges. The Symposium will focus on bridging different
areas in the Theory of Modeling and Simulation, including formal modeling,
model-checking, graph transformation, modeling methodologies and tools. It
also provides an opportunity to exchange ideas with other SpringSim'10 
symposia
participants in different fields, including tracks co-located with the 
Symposium
on High Performance Computer Simulation.

Topics of interest include (but are not limited to) the following:

* Theory
o DEVS modeling methodology

(Continue reading)

headers

Berndt Farwer | 3 Sep 2009 10:14

CfP: Fundamenta Informaticae - Special Issue on Logics, Agents, and Mobility

Apologies for multiple copies.

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

Fundamenta Informaticae

Special Issue on Logics, Agents, and Mobility

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

SCOPE

-----

This special issue is related to the topics of the workshop LAM'09

<http://www.dur.ac.uk/lam.09>: Logics for Agents and Mobility, which took

place in Los Angeles, California, USA, on 10 August 2009. Both participants of

the workshop and other authors are invited to submit contributions.

The aim of the special issue is to collect research papers in the area of

logics and mobile systems, especially in the field of agents and multi-agent

systems. Many notions used in the theory of agents are derived from philosophy

and linguistics (belief, desire, intention, speech act, etc.), and

interdisciplinary discourse has proved fruitful for the advance of this

domain. On the other hand, 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). The 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.

Areas of interest:

- logics and other formal methods for specification and reasoning about

agents, MAS, and mobile systems

- the aspects of location and resource in logics

- security

- temporal logics and model checking

- type systems and static analysis

- logic programming

- ...

SUBMISSION

----------

We encourage the submission of surveys and original articles (typically 15-25

pages; submission of longer papers will be evaluated depending on editorial

constraints) that present high-quality contributions and have not been

previously published or heave been simultaneously submitted for publication

elsewhere. Extended versions of papers are acceptable if they represent a

significant additional contribution when compared to the original paper.

Submissions must comply with Fundamenta Informaticae's author guidelines. They

must be written in English and should be prepared in LaTeX using the FI style

that can be obtained from <http://fi.mimuw.edu.pl/fundam.zip>

Original articles should introduce the scientific contribution in succinct and

informal manner, including a brief statement of the importance of the problem,

related work, and originality of the approach.

Tutorials and surveys will be reviewed for

* quality of presentation

* fair/complete crediting of the contributions to the subject

and should contain

* an introduction to the main problems/questions

* some notes on motivation/importance

* description of main ideas/algorithms/improvements that have driven

research in the field

* a list of important open problems

* a complete bibliography.

Submissions to this special issue should be sent to:

lam.09 <at> durham.ac.uk

Submissions will be subject to the regular reviewing procedures of Fundamenta

Informaticae.

IMPORTANT DATES

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

* Submission of papers: 31 October 2009

* Notification of acceptance/rejection: 19 December 2009

* Final version: 14 February 2009

GUEST EDITOR

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

* Berndt Farwer (Durham University, UK)

<div><div><span class="Apple-style-span"><div>
<div>Apologies for multiple copies.</div>
<div><br></div>
<div>=============================================</div>
<div>Fundamenta Informaticae</div>
<div>Special Issue on Logics, Agents, and Mobility</div>
<div>=============================================</div>
<div><br></div>
<div>SCOPE</div>
<div>-----</div>
<div>This special issue is related to the topics of the workshop LAM'09</div>
<div>&lt;<a href="http://www.dur.ac.uk/lam.09">http://www.dur.ac.uk/lam.09</a>&gt;: Logics for Agents and Mobility, which took</div>
<div>place in Los Angeles, California, USA, on 10 August 2009. Both participants of</div>
<div>the workshop and other authors are invited to submit contributions.</div>
<div><br></div>
<div>The aim of the special issue is to collect research papers in the area of</div>
<div>logics and mobile systems, especially in the field of agents and multi-agent</div>
<div>systems. Many notions used in the theory of agents are derived from philosophy</div>
<div>and linguistics (belief, desire, intention, speech act, etc.), and</div>
<div>interdisciplinary discourse has proved fruitful for the advance of this</div>
<div>domain. On the other hand, the deployment of large-scale pervasive</div>
<div>infrastructures (mobile ad-hoc networks, mobile devices, RFIDs, etc.) is</div>
<div>becoming a reality. This raises a number of scientific and technological</div>
<div>challenges for the software modelling and programming models for such</div>
<div>large-scale, open and highly-dynamic distributed systems. The agent and</div>
<div>multi-agent systems approach seems particularly adapted to tackle this</div>
<div>challenge, but there are many issues remaining to be investigated. For</div>
<div>instance, the agents must be location-aware since the actual services</div>
<div>available to them may depend on their (physical or virtual) location. The</div>
<div>quality and quantity of resources at their disposal is also largely fluctuant,</div>
<div>and the agents must be able to adapt to such highly dynamic environments.</div>
<div>Moreover, mobility itself raises a large number of difficult issues related to</div>
<div>safety and security, which require the ability to reason about the software</div>
<div>(e.g. for analysis or verification). The logics and type systems with temporal</div>
<div>or other kinds of modalities (relating to location, resource and/or</div>
<div>security-awareness) play a central role in the semantic characterisation and</div>
<div>then verification of properties about mobile agent systems. There are still</div>
<div>many open problems and research questions in the theory of such systems.</div>
<div><br></div>
<div>Areas of interest:</div>
<div>- logics and other formal methods for specification and reasoning about</div>
<div>&nbsp;&nbsp;agents, MAS, and mobile systems</div>
<div>- the aspects of location and resource in logics</div>
<div>- security</div>
<div>- temporal logics and model checking</div>
<div>- type systems and static analysis</div>
<div>- logic programming</div>
<div>- ...</div>
<div><br></div>
<div>SUBMISSION</div>
<div>----------</div>
<div>We encourage the submission of surveys and original articles (typically 15-25</div>
<div>pages; submission of longer papers will be evaluated depending on editorial</div>
<div>constraints) that present high-quality contributions and have not been</div>
<div>previously published or heave been simultaneously submitted for publication</div>
<div>elsewhere. Extended versions of papers are acceptable if they represent a</div>
<div>significant additional contribution when compared to the original paper.</div>
<div><br></div>
<div>Submissions must comply with Fundamenta Informaticae's author guidelines. They</div>
<div>must be written in English and should be prepared in LaTeX using the FI style</div>
<div>that can be obtained from &lt;<a href="http://fi.mimuw.edu.pl/fundam.zip">http://fi.mimuw.edu.pl/fundam.zip</a>&gt;</div>
<div><br></div>
<div>Original articles should introduce the scientific contribution in succinct and</div>
<div>informal manner, including a brief statement of the importance of the problem,</div>
<div>related work, and originality of the approach.</div>
<div><br></div>
<div>Tutorials and surveys will be reviewed for</div>
<div><br></div>
<div>&nbsp;&nbsp;* quality of presentation</div>
<div>&nbsp;&nbsp;* fair/complete crediting of the contributions to the subject</div>
<div><br></div>
<div>and should contain</div>
<div><br></div>
<div>&nbsp;&nbsp;* an introduction to the main problems/questions</div>
<div>&nbsp;&nbsp;* some notes on motivation/importance</div>
<div>&nbsp;&nbsp;* description of main ideas/algorithms/improvements that have driven</div>
<div>&nbsp;&nbsp; &nbsp;research in the field</div>
<div>&nbsp;&nbsp;* a list of important open problems</div>
<div>&nbsp;&nbsp;* a complete bibliography.</div>
<div><br></div>
<div>Submissions to this special issue should be sent to:</div>
<div><a href="mailto:lam.09 <at> durham.ac.uk">lam.09 <at> durham.ac.uk</a></div>
<div><br></div>
<div>Submissions will be subject to the regular reviewing procedures of Fundamenta</div>
<div>Informaticae.</div>
<div><br></div>
<div><br></div>
<div>IMPORTANT DATES</div>
<div>---------------</div>
<div>&nbsp;&nbsp; * Submission of papers: 31 October 2009</div>
<div>&nbsp;&nbsp; * Notification of acceptance/rejection: 19 December 2009</div>
<div>&nbsp;&nbsp; * Final version: 14 February 2009</div>
<div><br></div>
<div>GUEST EDITOR</div>
<div>------------&nbsp;</div>
<div>* Berndt Farwer (Durham University, UK)</div>
</div></span></div></div>

headers

Kurt Jensen | 3 Sep 2009 10:56

Important decisions from the SC meeting in Paris, June 2009

Important decisions from the Steering committee meeting in Paris

The next Advanced Course on Petri Nets will take place in Rostock in northern of Germany September 13-24, 2010. For more information, please see: www.petrinet-summerschool.org.

Starting from the 2010 conference in Braga the “Introductory Tutorial” will be replaced by a “Petri Net Course” which takes place Sunday, Monday, and Tuesday. It offers a thorough introduction to Petri Nets and consists of four parts: Basic Net Classes, Coloured Petri Nets, Timed and Stochastic Petri Nets, and Applications of Petri Nets. If all four parts are followed, ECTS credits can be given to PhD students.

The next Petri Net conferences will take place in:

2010, Braga, Portugal with João Fernandes as organiser

2011, Kanazawa, Japan with Kunihiko Hiraishi as organiser

2012, Tunes City, Tunis with Kamel Barkaoui as organiser (still to be confirmed)

PC-chairs:

2010, Portugal: Lilius & Penczek

2011, Japan: Kristensen & Petrucci

2012, Tunis: Haddad & Pomello

W&T chairs:

2010, Portugal: Donatelli & Kleijn

2011, Japan: Kleijn & Van der Aalst

2012, Tunis: Van der Aalst & Yakovlev

Invited speakers for Braga 2010:

David Harel, Israel
Kim Guldstrand Larsen, Denmark
Gabriel Juhas, Slovak Republic

Lars M. Kristensen, Norway

Maciej Koutny, UK

David Harel will be the first speaker in a new series of talks entitled: “Distinguished Carl Adam Petri Lectures”.

Kurt Jensen

SC-chair

<div>

<div class="Section1">

<p class="MsoNormal"><span lang="EN-GB">Important
decisions from the Steering committee meeting in Paris</span></p>

<p class="MsoNormal"><span lang="EN-GB">&nbsp;</span></p>

<p class="MsoNormal"><span lang="EN-GB">The next Advanced
Course on Petri Nets will take place in Rostock in northern of Germany
September 13-24, 2010. For more information, please see: <a href="http://www.petrinet-summerschool.org/" title="blocked::http://www.petrinet-summerschool.org/"><span><span title="blocked::http://www.petrinet-summerschool.org/">www.petrinet-summerschool.org</span></span></a>.</span></p>

<p class="MsoNormal"><span lang="EN-GB">&nbsp;</span></p>

<p class="MsoNormal"><span lang="EN-GB">Starting from the
2010 conference in Braga the &ldquo;Introductory Tutorial&rdquo; will be
replaced by a &ldquo;Petri Net Course&rdquo; which takes place Sunday, Monday,
and Tuesday. It offers a thorough introduction to Petri Nets and consists of
four parts: Basic Net Classes, Coloured Petri Nets, Timed and Stochastic Petri
Nets, and Applications of Petri Nets. If all four parts are followed, ECTS
credits can be given to PhD students. </span></p>

<p class="MsoNormal"><span lang="EN-GB">&nbsp;</span></p>

<p class="MsoNormal"><span lang="EN-GB">The next Petri
Net conferences will take place in:</span></p>

<p class="MsoNormal"><span lang="EN-GB">&nbsp;</span></p>

<p class="MsoNormal"><span lang="EN-GB">2010, Braga,
Portugal with Jo&atilde;o Fernandes as organiser</span></p>

<p class="MsoNormal"><span lang="EN-GB">2011, Kanazawa,
Japan with Kunihiko Hiraishi as organiser</span></p>

<p class="MsoNormal"><span lang="EN-GB">2012, Tunes City,
Tunis with Kamel Barkaoui as organiser (still to be confirmed)</span></p>

<p class="MsoNormal"><span lang="EN-GB">&nbsp;</span></p>

<p class="MsoNormal"><span lang="EN-GB">PC-chairs:</span></p>

<p class="MsoNormal"><span lang="EN-GB">&nbsp;</span></p>

<p class="MsoNormal"><a name="OLE_LINK1"></a><a name="OLE_LINK2"></a><span lang="EN-GB">2010, Portugal: Lilius &amp; Penczek</span></p>

<p class="MsoNormal"><span lang="EN-GB">2011, Japan:
Kristensen &amp; Petrucci</span></p>

<p class="MsoNormal"><span lang="EN-GB">2012, Tunis:
Haddad &amp; Pomello</span></p>

<p class="MsoNormal"><span lang="EN-GB">&nbsp;</span></p>

<p class="MsoNormal"><span lang="EN-GB">W&amp;T chairs:</span></p>

<p class="MsoNormal"><span lang="EN-GB">&nbsp;</span></p>

<p class="MsoNormal"><span lang="EN-GB">2010, Portugal:
Donatelli &amp; Kleijn</span></p>

<p class="MsoNormal"><span>2011, Japan: Kleijn &amp; Van der Aalst</span></p>

<p class="MsoNormal"><span>2012, Tunis: Van der Aalst &amp; Yakovlev</span></p>

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

<p class="MsoNormal"><span lang="EN-GB">Invited speakers for
Braga 2010:</span></p>

<p class="MsoNormal"><span lang="EN-GB">&nbsp;</span></p>

<p class="MsoNormal"><span>David Harel, Israel <br>
Kim Guldstrand Larsen, Denmark <br>
Gabriel Juhas, Slovak Republic</span></p>

<p class="MsoNormal"><span lang="EN-GB">Lars M.
Kristensen, Norway</span></p>

<p class="MsoNormal"><span lang="EN-GB">Maciej
Koutny, UK </span></p>

<p class="MsoNormal"><span lang="EN-GB">David Harel will
be the first speaker in a new series of talks entitled: &ldquo;Distinguished
Carl Adam Petri Lectures&rdquo;.</span></p>

<p class="MsoNormal"><span lang="EN-GB">&nbsp;</span></p>

<p class="MsoNormal"><span lang="EN-GB">Kurt Jensen</span></p>

<p class="MsoNormal"><span lang="EN-GB">SC-chair</span></p>

</div>

</div>

headers

Joost-Pieter Katoen | 4 Sep 2009 14:56

ETAPS 2010: Call for papers


[We apologize for multiple copies]

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

                     CALL FOR PAPERS: ETAPS 2010

  European Joint Conferences on Theory And Practice of Software

                      March 20 - March 28, 2010

                           Paphos, Cyprus

                       http://www.etaps.org
                 http://www.etaps10.cs.ucy.ac.cy/

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

-- ABOUT ETAPS --

The European Joint Conferences on Theory and Practice of Software
(ETAPS) is the primary European forum for academic and industrial
researchers working on topics relating to Software Science. ETAPS,
established in 1998, is a confederation of five main annual confe-
rences, accompanied by satellite workshops and other events. ETAPS
2010 is the thirteenth event in the series.

-- INVITED SPEAKERS --

     Mark Harman (KCL)
     Jim Larus (MSR)
     Dave Naumann (Stevens)
     Joseph Sifakis (IMAG)
     Colin Stirling (Edinburgh)
     Phil Wadler (Edinburgh)

-- MAIN CONFERENCES --

- CC: International Conference on Compiler Construction
- ESOP: European Symposium on Programming
- FASE: Fundamental Approaches to Software Engineering
- FOSSACS: Foundations of Software Science and Computation Structures
- TACAS: Tools and Algorithms for the Construction and Analysis
          of Systems

-- IMPORTANT DATES --

01  October 2009: Submission deadline for abstracts (strict)
08  October 2009: Submission deadline for full papers (strict)
11 December 2009: Notification of acceptance/rejection
04  January 2010: Camera-ready versions due (strict)
20-28 March 2010: ETAPS 2010

-- GENERAL SUBMISSION INFORMATION --

ETAPS conferences accept two types of contributions: research papers
and tool demonstration papers. Both types will appear in the procee-
dings and have presentations during the conference. Submitted papers
must be in English presenting original research. They must be 
unpublished and not submitted for publication elsewhere (neither
conference nor journal). In particular, simultaneous submission of
the same contribution to multiple ETAPS conferences is forbidden. One
author of each accepted paper must attend the conference to present
the paper.

Papers should be submitted electronically in PDF (preferably) or PS
(using Type 1 fonts). The proceedings will be published in the Springer-
Verlag Lecture Notes  in Computer Science series. Final papers will
be in the format specified by Springer-Verlag at the URL:

http://www.springer.de/comp/lncs/authors.html

Submissions not adhering to the specified format and length may be 
rejected immediately, without review.

-- Research Papers --

Papers should be no more than 20 pages long (including figures and
references). Additional material intended for the referee but not
for publication in the final version - for example details of proofs
- may be placed in a clearly marked appendix that is not included in
the page limit. ETAPS referees are at liberty to ignore appendices,
and papers must be understandable without them.

-- Tool Demonstration Papers --

Submissions should consist of two parts:

- The first part, at most four pages, should describe the tool. Please
include the URL of the tool (if available) and provide information
which illustrates the maturity and robustness of the tool. (This part
will be included in the proceedings.)

- The second part, at most six pages, should explain how the demon-
stration will be carried out and what it will show, including screen 
dumps and examples.  (This part will be not be included in the 
proceedings, but will be evaluated.)

Please note that FOSSACS does not accept tool demonstration papers.

-- SATELLITE EVENTS --

At ETAPS 2010, 19 workshops will take place.

-- Paphos --

The west coast town of Paphos with its pleasant harbour and medieval
fort, combines a cosmopolitan holiday resort, spectacular countryside
and historical sites.  With a population of just 28.000 inhabitants, 
Paphos nestles in the lee of the Western Troodos Mountains and close
to the Akamas National Park which add another dimension to this area
of scenic beauty. Paphos has an air of holiday charm combined with
history, and olden-day elegance is lent to the town by its classical
style buildings in the upper part of town which leads to the shopping
area. The lower part of the town has a life of its own, down near the
sea, home of the harbour, the fish taverns, souvenir shops and several
hotels with important archaeological sites around them. Paphos was the
island's capital, and it is famous for the remains of the Roman
Governor's palace, where extensive, fine mosaics are a major tourist
attraction. The town of Paphos is included in the official UNESCO list
of cultural and natural treasures of the world's heritage.

-- FURTHER INFORMATION AND ENQUIRIES --

For further information, do not hesitate to contact the following addresses.

- GENERAL INFORMATION  e-mail: etaps10 <at> cs.ucy.ac.cy

- George Papadopoulos, george <at> cs.ucy.ac.cy

- Anna Philippou, annap <at> cs.ucy.ac.cy

headers

Paulo Romero Martins Maciel | 4 Sep 2009 17:30

2009 IEEE Computer Pioneer Award

Dear Colleagues,

As you all know, last July, Carl A. Petri received the 2009 IEEE Computer Pioneer Award. This year award was presented to Carl A. Petri, Edward J. McCluskey and Jean J. Bartik.

“The IEEE Computer Pioneer Award is presented to individuals who have made significant contributions to concepts and developments in electronic and computer field that have clearly advanced the state of art in computing” [IEEE Computer, Vol. 2, no. 7, July 2009].

I might have missed that, but I would suggest mention that on the Petri Nets World webpage.

Best regards,

Paulo Maciel.

On Thu, Sep 3, 2009 at 5:56 AM, Kurt Jensen <kjensen <at> cs.au.dk> wrote:

Important decisions from the Steering committee meeting in Paris

The next Advanced Course on Petri Nets will take place in Rostock in northern of Germany September 13-24, 2010. For more information, please see: www.petrinet-summerschool.org.

Starting from the 2010 conference in Braga the “Introductory Tutorial” will be replaced by a “Petri Net Course” which takes place Sunday, Monday, and Tuesday. It offers a thorough introduction to Petri Nets and consists of four parts: Basic Net Classes, Coloured Petri Nets, Timed and Stochastic Petri Nets, and Applications of Petri Nets. If all four parts are followed, ECTS credits can be given to PhD students.

The next Petri Net conferences will take place in:

2010, Braga, Portugal with João Fernandes as organiser

2011, Kanazawa, Japan with Kunihiko Hiraishi as organiser

2012, Tunes City, Tunis with Kamel Barkaoui as organiser (still to be confirmed)

PC-chairs:

2010, Portugal: Lilius & Penczek

2011, Japan: Kristensen & Petrucci

2012, Tunis: Haddad & Pomello

W&T chairs:

2010, Portugal: Donatelli & Kleijn

2011, Japan: Kleijn & Van der Aalst

2012, Tunis: Van der Aalst & Yakovlev

Invited speakers for Braga 2010:

David Harel, Israel
Kim Guldstrand Larsen, Denmark
Gabriel Juhas, Slovak Republic

Lars M. Kristensen, Norway

Maciej Koutny, UK

David Harel will be the first speaker in a new series of talks entitled: “Distinguished Carl Adam Petri Lectures”.

Kurt Jensen

SC-chair

----
[[ 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 ]]

--
prmm <at> cin.ufpe.br
www.modcs.org

Phone: 55 81 2126 84 30, ext.: 4009

Center of Informatics
Federal University of Pernambuco

<div>
<p class="MsoNormal"><span lang="EN-US">Dear Colleagues,</span></p>
<p class="MsoNormal"><span lang="EN-US">As you all know, last July, Carl A. Petri received the 2009 IEEE Computer Pioneer Award. This year award was presented to Carl A. Petri, Edward J. McCluskey and Jean J. Bartik.</span></p>

<p class="MsoNormal"><span lang="EN-US">&ldquo;The IEEE Computer Pioneer Award is presented to individuals who have made significant contributions to concepts and developments in electronic and computer field that have clearly advanced the state of art in computing&rdquo; [IEEE Computer, Vol. 2, no. 7, July 2009].</span></p>

<p class="MsoNormal"><span lang="EN-US">I might have missed that, but I would suggest mention that on the <span>Petri Nets World webpage.</span></span></p>

<p class="MsoNormal"><span lang="EN-US">Best regards,</span></p>
<p class="MsoNormal"><span lang="EN-US">Paulo Maciel.</span></p>
<br><br><div class="gmail_quote">On Thu, Sep 3, 2009 at 5:56 AM, Kurt Jensen <span dir="ltr">&lt;<a href="mailto:kjensen <at> cs.au.dk">kjensen <at> cs.au.dk</a>&gt;</span> wrote:<br><blockquote class="gmail_quote">
<div lang="DA" vlink="purple" link="blue">
<div>
<p><span lang="EN-GB">Important decisions from the Steering committee meeting in Paris</span></p>
<p><span lang="EN-GB">&nbsp;</span></p>
<p><span lang="EN-GB">The next Advanced Course on Petri Nets will take place in Rostock in northern of Germany September 13-24, 2010. For more information, please see: <a title="blocked::http://www.petrinet-summerschool.org/" href="http://www.petrinet-summerschool.org/" target="_blank"><span><span title="blocked::http://www.petrinet-summerschool.org/">www.petrinet-summerschool.org</span></span></a>.</span></p>

<p><span lang="EN-GB">&nbsp;</span></p>
<p><span lang="EN-GB">Starting from the 2010 conference in Braga the &ldquo;Introductory Tutorial&rdquo; will be replaced by a &ldquo;Petri Net Course&rdquo; which takes place Sunday, Monday, and Tuesday. It offers a thorough introduction to Petri Nets and consists of four parts: Basic Net Classes, Coloured Petri Nets, Timed and Stochastic Petri Nets, and Applications of Petri Nets. If all four parts are followed, ECTS credits can be given to PhD students. </span></p>

<p><span lang="EN-GB">&nbsp;</span></p>
<p><span lang="EN-GB">The next Petri Net conferences will take place in:</span></p>
<p><span lang="EN-GB">&nbsp;</span></p>
<p><span lang="EN-GB">2010, Braga, Portugal with Jo&atilde;o Fernandes as organiser</span></p>
<p><span lang="EN-GB">2011, Kanazawa, Japan with Kunihiko Hiraishi as organiser</span></p>
<p><span lang="EN-GB">2012, Tunes City, Tunis with Kamel Barkaoui as organiser (still to be confirmed)</span></p>

<p><span lang="EN-GB">&nbsp;</span></p>
<p><span lang="EN-GB">PC-chairs:</span></p>
<p><span lang="EN-GB">&nbsp;</span></p>
<p><a name="123854f88d0b5f09_OLE_LINK1"></a><a name="123854f88d0b5f09_OLE_LINK2"></a><span lang="EN-GB">2010, Portugal: Lilius &amp; Penczek</span></p>

<p><span lang="EN-GB">2011, Japan: Kristensen &amp; Petrucci</span></p>
<p><span lang="EN-GB">2012, Tunis: Haddad &amp; Pomello</span></p>
<p><span lang="EN-GB">&nbsp;</span></p>
<p><span lang="EN-GB">W&amp;T chairs:</span></p>
<p><span lang="EN-GB">&nbsp;</span></p>
<p><span lang="EN-GB">2010, Portugal: Donatelli &amp; Kleijn</span></p>
<p><span>2011, Japan: Kleijn &amp; Van der Aalst</span></p>
<p><span>2012, Tunis: Van der Aalst &amp; Yakovlev</span></p>
<p><span>&nbsp;</span></p>
<p><span lang="EN-GB">Invited speakers for Braga 2010:</span></p>
<p><span lang="EN-GB">&nbsp;</span></p>
<p><span>David Harel, Israel <br>Kim Guldstrand Larsen, Denmark <br>Gabriel Juhas, Slovak Republic</span></p>
<p><span lang="EN-GB">Lars M. Kristensen, Norway</span></p>
<p><span lang="EN-GB">Maciej Koutny, UK </span></p>
<p><span lang="EN-GB">David Harel will be the first speaker in a new series of talks entitled: &ldquo;Distinguished Carl Adam Petri Lectures&rdquo;.</span></p>

<p><span lang="EN-GB">&nbsp;</span></p>
<p><span lang="EN-GB">Kurt Jensen</span></p>
<p><span lang="EN-GB">SC-chair</span></p>
</div>
</div>
<br>----<br>[[ Petri Nets World: &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;]]<br>
[[ &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;<a href="http://www.informatik.uni-hamburg.de/TGI/PetriNets/" target="_blank">http://www.informatik.uni-hamburg.de/TGI/PetriNets/</a> ]]<br>[[ Mailing list FAQ: &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;]]<br>
[[ <a href="http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html" target="_blank">http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html</a> ]]<br>[[ Post messages/summary of replies: &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;]]<br>
[[ &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; <a href="mailto:petrinet <at> informatik.uni-hamburg.de">petrinet <at> informatik.uni-hamburg.de</a> ]]<br>
</blockquote>
</div>
<br><br clear="all"><div></div>
<br>-- <br><a href="mailto:prmm <at> cin.ufpe.br">prmm <at> cin.ufpe.br</a><br><a href="http://www.modcs.org">www.modcs.org</a><br><br>Phone: 55 81 2126 84 30, ext.: 4009<br><br>Center of Informatics<br>Federal University of Pernambuco<br>
</div>

headers

Helen Karatza | 4 Sep 2009 22:21

PerNEM 2010 Call for Papers

　Our apologies if you receive multiple copies of this announcement

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

PerNEM 2010 Call for Papers

The First Annual Workshop on Pervasive Networks for Emergency Management

(In conjunction with IEEE PerCom 2010)

http://san.ee.ic.ac.uk/pernem2010/

Mannheim, Germany, March 29 - April 2, 2010

Scope

-----

The events that took place on 11 September 2001 have brought to the forefront the unique challenges that occur during a crisis, which require effective sensing, communications and decision making with demanding time constraints in highly dynamic environments. Pervasive systems address these requirements by providing decision support to rescuers and evacuees, guaranteeing communications and collecting information that is vital for planning and organising the emergency operation. This workshop focuses on pervasive networked sensing and decision making, both wired and wireless, geared towards emergency management. PerNEM 2010 addresses leading edge research in these areas through the use of sensing, communication, decision support, simulation tools and modelling methods with focus on system design, optimisation and experimental evaluation.

Topics

-------

PerNEM will bring together contributions which include but are not limited to the following areas:

* Networked sensors for emergency management

* Pervasive middleware for emergency management

* Decentralised algorithms for pervasive systems

* Self-aware and self- adaptive network design and evaluation

* Network self-healing, security and self-defence

* Wireless Networks for emergency support

* Mobile sensors for disaster monitoring

* Networked robotics for wireless communications

* Pervasive emergency management systems

* QoS in critical communications

Registration and Submission Details

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

Accepted papers will be included and indexed in the IEEE digital libraries (Xplore), showing their affiliation with IEEE PerCom.

Submitted papers should be no longer than 6 pages in length, and formatted to 2 columns, 10pt fonts, using the IEEE Computer Society 8.5" x 11" authors kit.

Papers should be submitted via the EasyChair PerNEM 2010 page: http://www.easychair.org/conferences/?conf=pernem2010

Paper submission: September 28, 2009

Author notification: December 21, 2009

Camera-ready due: January 29, 2010

Organising Committee

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

Erol Gelenbe