Thomas Icard | 2 Nov 17:21 2008
Picon

ESSLLI Student Session -- Call for papers

The 2009 ESSLLI Student Session will take place from July 20 to July 31 in Bordeaux, France, as part of the
annual European Summer School in Logic, Language, and Information. We hereby invite paper submissions
from students in the areas of logic and computation, logic and language, and language and computation for
presentation in the oral session or in the poster session. All submissions will be reviewed by three
experts in the field, and those selected for presentation will be published in the proceedings. The
Student Session is an excellent venue to present work in progress, and also to gain experience presenting
one’s research to a wide audience. As in previous years, Springer is offering 500 Euro in textbooks for
the best paper award, and 250 Euro in textbooks to each of two runners-up. The deadline for submission is
February 1, 2009.

For more details, please see the full call for papers:
http://www.stanford.edu/~icard/esslli/call
----
[[ 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 ]]
Natalia Sidorova | 3 Nov 09:31 2008
Picon
Picon

APNOC 2009 - Call for Papers

===============================================================
Call for papers
===============================================================
APNOC 2009
International Workshop on Abstractions for Petri Nets
and Other Models of Concurrency
http://www.win.tue.nl/apnoc2009/
===============================================================
Paris, France, June 22, 2009

a satellite event of Petri Nets 2009
30th International Conference on Application and Theory of
Petri Nets and Other Models of Concurrency

 

co-located with 20th IEEE/IFIP International Symposium on Rapid System Prototyping
===============================================================
Selected papers from the workshop will be published in ToPNoC -
"Transactions on Petri Nets and Other Models of Concurrency" -
journal subline of Lecture Notes in Computer Science.
===============================================================
Deadline for abstracts: March 13, 2009
Deadline for paper submission: March 20, 2009
Deadline for posters: May 1, 2009
===============================================================

APNOC is a forum for researchers interested in abstraction techniques and methodologies for modeling and verification of concurrent systems. The modeling language of particular interest is Petri nets; other formalisms such as process algebras, pi-calculus, B-method, etc., are also of great interest, since abstraction techniques are often formalism-independent and could be transferred from one formalism to another. Both academics and practitioners can contribute and learn from such a meeting.

Contributions describing original research in topics related to the use of abstractions for Petri nets and other models of concurrency, as well as surveys addressing abstraction techniques and open problems and new applications of abstractions are being sought. Topics of interest include but are not limited to:

    * State space abstraction and aggregation
    * Abstract interpretation techniques
    * Abstractions for handling underspecified systems
    * Pattern-based abstractions
    * Abstractions for handling incomplete information
    * Abstraction for efficiency, explanation, anytime reasoning,
    * Methodologies for applying abstraction techniques in modelling
    * Case studies where abstraction plays a central role
    * Tools support for abstractions

The programme committee invites submissions of full contributions (up to 15 pages) or short contributions (up to 5 pages). Ongoing work (up to 2 pages) can be presented in a special poster session. Papers should be submitted in electronic form (PDF) using the Springer LNCS-format (http://www.springer.de/comp/lncs/authors.html). Submissions should include title, author's address and email, and an abstract. Please use the online conference management system (see http://www.win.tue.nl/apnoc2009/)

Accepted papers will be included in the workshop proceedings which will be available at the workshop. At least one of the authors of each accepted contribution should register and take part in the workshop to give the presentation.

Selected papers from the workshop will be invited for publication in a volume of a journal subline of Lecture Notes in Computer Science entitled "Transactions on Petri Nets and Other Models of Concurrency" (ToPNoC).

Important Dates:

Deadline for abstracts: March 13, 2009
Deadline for papers: March 20, 2009
Notification of paper acceptance: May 1, 2009
Deadline for posters: May 1, 2009
Notification of poster acceptance: May 12, 2009
Deadline for all final contributions: May 22, 2009
Workshop: June 22, 2009

INVITED SPEAKER

    * Radhia Cousot (École Polytechnique, France)

PROGRAMME COMMITTEE:

    * Wil van der Aalst (The Netherlands)
    * Josep Carmona (Spain)
    * Radhia Cousot (France)
    * Philippe Darondeau (France)
    * Jörg Desel (Germany)
    * Olga Kouchnarenko (France)
    * Maciej Koutny (UK)
    * Charles Lakos (Australia)
    * Laure Petrucci (France)
    * Jean-François Raskin (Belgium)
    * Olivier Roux (France)
    * Alexander Serebrenik (The Netherlands) (co-chair)
    * Natalia Sidorova (The Netherlands) (co-chair)
    * Martin Steffen (Norway)
    * Ulrich Ultes-Nitsche (Switzerland)
    * Walter Vogler (Germany)
    * Karsten Wolf (Germany)


<div>
<p class="MsoNormal">===============================================================<br>
Call for papers<br>
===============================================================<br>
APNOC 2009<br>
International Workshop on Abstractions for Petri Nets<br>
and Other Models of Concurrency<br><a href="http://www.win.tue.nl/apnoc2009/">http://www.win.tue.nl/apnoc2009/</a><br>
===============================================================<br>
Paris, France, June 22, 2009<br><br>
a satellite event of Petri Nets 2009<br>
30th International Conference on Application and Theory of<br>
Petri Nets and Other Models of Concurrency<p>&nbsp;</p></p>
<p class="MsoNormal">co-located with 20th IEEE/IFIP International
Symposium on
Rapid System Prototyping<br>
===============================================================<br>
Selected papers from the workshop will be published in ToPNoC -<br>
"Transactions on Petri Nets and Other Models of Concurrency" -<br>
journal subline of Lecture Notes in Computer Science.<br>
===============================================================<br>
Deadline for abstracts: March
13, 2009<br>
Deadline for paper submission: March
20, 2009<br>
Deadline for posters: May 1,
2009<br>
===============================================================<br><br>
APNOC is a forum for researchers interested in abstraction techniques
and
methodologies for modeling and verification of concurrent systems. The
modeling
language of particular interest is Petri nets; other formalisms <span>such as process algebras, pi-calculus,
B-method, etc.,
</span>are also of great interest, since abstraction techniques are
often
formalism-independent and could be transferred from one formalism to
another.
Both academics and practitioners can contribute and learn from such a
meeting.<br><br>
Contributions describing original research in topics related to the use
of
abstractions for Petri nets and other models of concurrency, as well as
surveys
addressing abstraction techniques and open problems and new
applications of
abstractions are being sought. Topics of interest include but are not
limited
to:<br><br>
&nbsp;&nbsp;&nbsp; * State space abstraction and aggregation<br>
&nbsp;&nbsp;&nbsp; * Abstract interpretation techniques<br>
&nbsp;&nbsp;&nbsp; * Abstractions for handling underspecified systems<br>
&nbsp;&nbsp;&nbsp; * Pattern-based abstractions<br>
&nbsp;&nbsp;&nbsp; * Abstractions for handling incomplete information<br>
&nbsp;&nbsp;&nbsp; * Abstraction for efficiency, explanation, anytime
reasoning,<br>
&nbsp;&nbsp;&nbsp; * Methodologies for applying abstraction techniques in
modelling<br>
&nbsp;&nbsp;&nbsp; * Case studies where abstraction plays a central role<br>
&nbsp;&nbsp;&nbsp; * Tools support for abstractions<br><br>
The programme committee invites submissions of full contributions (up
to 15
pages) or short contributions (up to 5 pages). Ongoing work (up to 2
pages) can
be presented in a special poster session. Papers should be submitted in
electronic form (PDF) using the Springer LNCS-format (<a href="http://www.springer.de/comp/lncs/authors.html">http://www.springer.de/comp/lncs/authors.html</a>).
Submissions should include title, author's address and email, and an
abstract.
Please use the online conference management system (see <a href="http://www.win.tue.nl/apnoc2009/">http://www.win.tue.nl/apnoc2009/</a>)<br><br>
Accepted papers will be included in the workshop proceedings which will
be
available at the workshop. At least one of the authors of each accepted
contribution should register and take part in the workshop to give the
presentation.</p>
<p class="MsoNormal"><p></p></p>
<p class="MsoNormal">Selected papers from the workshop will be invited
for
publication in a volume of a journal subline of Lecture Notes in
Computer
Science entitled "Transactions on Petri Nets and Other Models of
Concurrency" (ToPNoC).<br><br>
Important Dates:<br><br>
Deadline for abstracts: March 13, 2009<br>
Deadline for papers: March 20, 2009<br>
Notification of paper acceptance: May 1, 2009<br>
Deadline for posters: May 1, 2009<br>
Notification of poster acceptance: May 12, 2009<br>
Deadline for all final contributions: May 22, 2009<br>
Workshop: June 22, 2009<br><br>
INVITED SPEAKER<br><br>
&nbsp;&nbsp;&nbsp; * Radhia Cousot (<span>&Eacute;cole
Polytechnique, </span>France)<br><br>
PROGRAMME COMMITTEE:<br><br>
&nbsp;&nbsp;&nbsp; * Wil van der Aalst (The Netherlands)<br>
&nbsp;&nbsp;&nbsp; * Josep Carmona (Spain)<br>
&nbsp;&nbsp;&nbsp; * Radhia Cousot (France)<br>
&nbsp;&nbsp;&nbsp; * Philippe Darondeau (France)<br>
&nbsp;&nbsp;&nbsp; * J&ouml;rg Desel (Germany)<br>
&nbsp;&nbsp;&nbsp; * Olga Kouchnarenko (France)<br>
&nbsp;&nbsp;&nbsp; * Maciej Koutny (UK)<br>
&nbsp;&nbsp;&nbsp; * Charles Lakos (Australia)<br>
&nbsp;&nbsp;&nbsp; * Laure Petrucci (France)<br>
&nbsp;&nbsp;&nbsp; * Jean-Fran&ccedil;ois Raskin (Belgium)<br>
&nbsp;&nbsp;&nbsp; * Olivier Roux (France)<br>
&nbsp;&nbsp;&nbsp; * Alexander Serebrenik (The Netherlands) (co-chair)<br>
&nbsp;&nbsp;&nbsp; * Natalia Sidorova (The Netherlands) (co-chair)<br>
&nbsp;&nbsp;&nbsp; * Martin Steffen (Norway)<br><span lang="DE">&nbsp;&nbsp;&nbsp;
* Ulrich Ultes-Nitsche (Switzerland)<br>
&nbsp;&nbsp;&nbsp; * Walter Vogler (Germany)<br>
&nbsp;&nbsp;&nbsp; * Karsten Wolf (Germany)<br></span></p>
<p class="MsoNormal"><br><span lang="DE"><p></p></span></p>
</div>
ahmet yýlmaz | 3 Nov 18:23 2008
Picon

Timed-Petri nets

Dear All,

 I  am Ahmet Yilmaz.I m a graduated student at İstanbul Technical university.
 My thesis is reachabiliy analysis of Timed Petri Nets.It is hard to find books about Timed Petri
 nets.I just found  "Timed Petri Nets-Theory and Applications-J. Wang".
 
 Will you help me to find books and materials.And ı m glad to find this group.
 
 Best regards,
 Ahmet Yilmaz

<div>
<table cellspacing="0" cellpadding="0" border="0"><tr><td valign="top">Dear All,<br><br>&nbsp;I&nbsp; am Ahmet Yilmaz.I m a graduated student at &#304;stanbul Technical university.<br>&nbsp;My thesis is reachabiliy analysis of Timed Petri Nets.It is hard to find books about Timed Petri<br>&nbsp;nets.I just found&nbsp; "Timed Petri Nets-Theory and Applications-J. Wang".<br>&nbsp;<br>&nbsp;Will you help me to find books and materials.And &#305; m glad to find this group.<br>&nbsp;<br>&nbsp;Best regards,<br>&nbsp;Ahmet Yilmaz</td></tr></table>
<br>
</div>
Martin Schwarick | 3 Nov 21:09 2008
Picon

new bdd/idd model checking tools

A new version of DSSZMC is available.
It contains tools for the symbolic analysis of bounded Petri nets for
standard properties and CTL model checking.
They are based on an efficient implementation of Zero-suppressed Binary
Decision Diagrams (zbdd-mc) and Interval Decision Diagrams (idd-mc).
Main features:
# no previous knowledge of the boundedness degree required (idd-mc)
# efficient saturation-based reachability analysis
# dead state analysis with trace generation
# analysis of strongly connected components (liveness, reversibility)
# efficient CTL model checking based on limited backward reachability
analysis and forward traversals
# support of past-tense CTL operators
# support of Petri nets with extended arcs (read arcs, inhibitor arcs,
reset arcs)

The tools are available for windows, linux and mac.

For download and further details visit
http://www-dssz.informatik.tu-cottbus.de/software/software.html

Best regards
Martin Schwarick

-----------------------------------------------
Martin Schwarick
Brandenburg University of Technology at Cottbus
Computer Science Institute
= Data Structures and Software Dependability =

Postbox 10 13 44, 03013 Cottbus, Germany

http://www-dssz.informatik.tu-cottbus.de/

ms <at> informatik.tu-cottbus.de

-----------------------------------------------
Thomas Freytag | 5 Nov 17:07 2008
Picon

A workflow Petrinet tool: WoPeD 2.0.0 has been released

Dear Petri-Netters,

we are proud to announce a new release 2.0.0 of WoPeD ("Workflow Petrinet
Designer"), an easy-to-use, freely available, Java-written tool for editing,
managing, simulating and analyzing workflow Petri nets using the
well-established "van der Aalst" notation.

WoPeD is being developed at the University of Cooperative Education
(Berufsakademie) Karlsruhe, Germany. WoPeD can either be used as a classical
place-transition net editor or as a specialized workflow net editor with
many useful extensions.

The new version mainly adds the following features:
- Enhanced simulation control "gadget"
- Reachability/coverability graph construction and visualization
- Experimental BPEL export including data and operations perspective
- Start option directly from the web as a Java applet with an import and
  export interface via webservice
- Drag-and-drop-installer for MacOS

More information including the download link can be found on the WoPeD
Website http://www.woped.org.

All Petri net people who are working with Petri nets in general or
especially in the area of workflow management are welcome to check
out and try out WoPeD. Any sort of feedback is very much appreciated 
and would help us to improve the tool.

Best regards

Thomas Freytag
_______________________________
Prof. Dr. Thomas Freytag
University of Cooperative Education
Department of Computer Science
Erzbergerstrasse 121
D-76133 Karlsruhe
E-Mail: freytag <at> ba-karlsruhe.de
Web: www.thomas-freytag.de
Phone: +49-721-9735-937

Guy Juanole | 6 Nov 19:45 2008
Picon
Picon

Conference IFAC - FeT'2009 - Ansan (Korea) - 20,22 May 2009


    Please find all the informations on the " 8th IFAC International 
Conference on Fieldbuses and neTworks in Industrial and Embedded 
Systems" at the following web site:

                      www.fet2009.org

    The deadlines for the submissions are:

       November 30   for the "regular papers"
       December 31 for the "work in progress papers"

    I apologize for the reception of multiple copies.

         Guy Juanole
       FeT'2009 IPC Chairman
FMICS 2009 workshop chair | 7 Nov 13:57 2008
Picon

FMICS 2009: First Call for Papers

FMICS 2009 - FIRST CALL FOR PAPERS
Please visit: http://www.dsic.upv.es/workshops/fmics2009

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

IMPORTANT DATES
---------------
Deadline for abstracts:                  1st April
Deadline for papers:                       7 April
Accept/Reject notification:                15 June
Camera-ready version:                      15 July
Workshop:                             2-3 November

SCOPE OF THE WORKSHOP
---------------------
The aim of the ERCIM FMICS workshop series is to provide a forum for
researchers who are interested in the development and application of
formal methods in industry. In particular, these workshops bring
together scientists and engineers that are active in the area of
formal methods and interested in exchanging their experiences in the
industrial usage of these methods.
These workshops also strive to promote research and development for the
improvement of formal methods and tools for industrial applications.
Topics include, but are not restricted to:
- Design, specification, code generation and testing based on formal
     methods.
- Methods, techniques and tools to support automated analysis,
     certification, debugging, learning, optimization and transformation
     of complex, distributed, real-time systems and embedded systems.
- Verification and validation methods that address shortcomings
     of existing methods with respect to their industrial applicability
     (e.g., scalability and usability issues).
- Tools for the development of formal design descriptions.
- 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.

INVITED SPEAKERS
----------------
To be announced

CO-CHAIRS
---------
Maria Alpuente           (Technical University of Valencia, Spain)
Byron Cook               (Microsoft Research, UK)

PROGRAM COMMITTEE
-------------------
Hassan Ait-Kaci          (Ilog, Canada)
Maria Alpuente           (Technical University of Valencia, Spain)
Thomas Arts              (IT-Universitetet i Goteborg, Sweden)
Demis Ballis             (Universita degli Studi di Udine, Italy)
Josh Berdine             (Microsoft Research, UK)
Lubos Brim               (Masarykova Univerzita, Czech Republic)
Darren Cofer             (Rockwell Collins, USA)
Byron Cook               (Microsoft Research, UK)
Patrick Cousot           (Ecole Normale Superieure, France)
Santiago Escobar         (Technical University of Valencia, Spain)
Azadeh Farzan            (University of Toronto, Canada)
Hubert Garavel           (INRIA Rhone-Alpes, France)
Stefania Gnesi           (ISTI-CNR, Italy)
Alexey Gotsman           (University of Cambridge, UK)
Holger Hermanns          (Universitat des Saarlandes, Germany)
Christophe Joubert       (Technical University of Valencia, Spain)
Daniel Kroening          (ETH Zurich, Switzerland)
Michael Leuschel         (Heinrich-Heine-Universitat Dusseldorf, Germany)
Pedro Merino             (Universidad de Malaga, Spain)
Juan Jose Moreno-Navarro (Universidad Politecnica de Madrid, Spain)
Corina Pasareanu         (NASA Ames Research Center, USA)
Jaco van de Pol          (Universiteit Twente, The Netherlands)
Murali Rangarajan        (Honeywell, USA)
Jakob Rehof              (Technische Universitat Dortmund, Germany)
Andrey Rybalchenko       (Max-Planck-Gesellschaft, Germany)
Marcel Verhoef           (Chess, The Netherlands)
Martin Wirsing           (Ludwig-Maximilians-Universitat Munchen, Germany)
Hongseok Yang            (Queen Mary, University of London, UK)
Greta Yorsh              (IBM T.J. Watson Research Center, USA)

ERCIM FMICS WG COORDINATOR
--------------------------
Alessandro Fantechi      (Universita degli Studi di Firenze and
ISTI-CNR, Italy)

WORKSHOP CHAIR
--------------
Christophe Joubert       (Technical University of Valencia, Spain)

PAPER SUBMISSIONS
-----------------
Submissions must be made electronically.

Papers should be up to 16 pages in LNCS format, with the names and
affiliations of the authors and a clear and informative
abstract. Additional details may be included in a clearly marked
appendix, which will be read at the discretion of the program
committee. All submissions must report on original research.

Submitted papers must not have previously appeared in a journal or
conference with published proceedings and must not be concurrently
submitted to any other peer-reviewed workshop, symposium, conference
or archival journal. Any partial overlap with any such published or
concurrently submitted paper must be clearly indicated.

Case study papers should identify lessons learned, validate theoretical
results (such as scalability of methods), or provide specific motivation
for further research and development.

Publication of the workshop proceedings in the Springer series Lecture
Notes in Computer Science (LNCS) is envisaged.

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 FM 2009 (16th
symposium on Formal Methods), TESTCOM/FATES (conference on Testing of
Communicating Systems and workshop on Formal Approaches to Testing of
Software), PDMC (Parallel and Distributed Methods of verifiCation),
FACS (Formal Aspects of Component Software), CPA (Communicating Process
Architectures), FAST (Formal Aspects in Security and Trust), FMCO
(Formal Methods for Components and Objects) and the REFINE Workshop.
For the latest information on FMweek, please visit 
http://www.win.tue.nl/fmweek.
frank singhoff | 7 Nov 18:58 2008
Picon

[asr-forum] CfP 14th Conf. Reliable Software Technologies, Ada-Europe 2009


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

                             CALL FOR PAPERS

                     14th International Conference on
             Reliable Software Technologies - Ada-Europe 2009

                     8 - 12 June 2009, Brest, France

                         Organized by Ada-Europe,
                      in cooperation with ACM SIGAda

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

Ada-Europe organizes annual international conferences since the early
80's.  This is the 14th event in the Reliable Software Technologies
series, previous ones being held at Montreux, Switzerland ('96),
London, UK ('97), Uppsala, Sweden ('98), Santander, Spain ('99),
Potsdam, Germany ('00), Leuven, Belgium ('01), Vienna, Austria ('02),
Toulouse, France ('03), Palma de Mallorca, Spain ('04), York, UK ('05),
Porto, Portugal ('06), Geneva, Switzerland ('07), Venice, Italy ('08).

General Information
-------------------
The 14th International Conference on Reliable Software Technologies
(Ada-Europe 2009) will take place in Brest, France.  Following its
traditional style, the conference will span a full week, including
a three-day technical program and vendor exhibitions from Tuesday to
Thursday, along with parallel tutorials and workshops on Monday and
Friday.

Schedule
--------
01 December 2008: Submission of regular papers, tutorial and workshop
                   proposals
12 January 2009:  Submission of industrial presentation proposals
09 February 2009: Notification to all authors
09 March 2009:    Camera-ready version of regular papers required
11 May 2009:      Industrial presentations, tutorial and workshop
                   material required
08-12 June 2009:  Conference

Topics
------
The conference has successfully established itself as an international
forum for providers, practitioners and researchers into reliable
software technologies.  The conference presentations will illustrate
current work in the theory and practice of the design, development
and maintenance of long-lived, high-quality software systems for a
variety of application domains.  The program will allow ample time
for keynotes, Q&A sessions, panel discussions and social events.
Participants will include practitioners and researchers in
representation from industry, academia and government organizations
active in the promotion and development of reliable software
technologies.  To mark the completion of the Ada language standard
revision process, contributions that present and discuss the potential
of the revised language are particularly sought after.

Prospective contributions should address the topics of interest to the
conference, which include but are not limited to those listed below:

- Methods and Techniques for Software Development and Maintenance:
   Requirements Engineering, Object-Oriented Technologies, Model-driven
   Architecture and Engineering, Formal Methods, Re-engineering and
   Reverse Engineering, Reuse, Software Management Issues, Model
   Engineering.

- Software Architectures: Design Patterns, Frameworks, Architecture-
   Centered Development, Component and Class Libraries, Component-based
   Design.

- Enabling Technologies: Software Development Environments and Project
   Browsers, Compilers, Debuggers, Run-time Systems, Middleware
   Components.

- Software Quality: Quality Management and Assurance, Risk Analysis,
   Program Analysis, Verification, Validation, Testing of Software
   Systems.

- Theory and Practice of High-integrity Systems: Real-Time,
   Distribution, Fault Tolerance, Security, Reliability, Trust and
   Safety.

- Embedded Systems: Architecture Modeling, Co-Design, Reliability and
   Performance Analysis.

- Mainstream and Emerging Applications: Multimedia and Communications,
   Manufacturing, Robotics, Avionics, Space, Health Care,
   Transportation.

- Ada Language and Technology: Programming Techniques, Object-
   Orientation, Concurrent and Distributed Programming, Evaluation &
   Comparative Assessments, Critical Review of Language Features and
   Enhancements, Novel Support Technology, HW/SW Platforms.

- Experience Reports: Case Studies and Comparative Assessments,
   Management Approaches, Qualitative and Quantitative Metrics.

- Ada and Education: Where does Ada stand in the software engineering
   curriculum; how learning Ada serves the curriculum; what it takes to
   form a fluent Ada user; lessons learned on Education and Training
   Activities with bearing on any of the conference topics.

Call for Regular Papers
-----------------------
Authors of regular papers which are to undergo peer review for
acceptance are invited to submit original contributions.  Paper
submissions shall be in English, complete and not exceeding 14
LNCS-style pages in length.  Authors should submit their work via
the Web submission system accessible from the Conference Home page.
The format for submission is solely PDF.  Should you have problems
to comply with format and submission requirements, please contact
the Program Chair.

Proceedings
-----------
The authors of accepted regular papers shall prepare camera-ready
submissions in full conformance with the LNCS style, not exceeding 14
pages and strictly by 9 March 2009.  For format and style guidelines
authors should refer to: 
<http://www.springer.de/comp/lncs/authors.html>http://www.springer.de/comp/lncs/authors.html.
Failure to comply and to register for the conference will prevent the
paper from appearing in the proceedings.  The conference proceedings
will be published in the Lecture Notes in Computer Science (LNCS)
series by Springer Verlag, and will be available at the start of the
conference.

Awards
------
Ada-Europe will offer honorary awards for the best regular paper and
the best presentation.

Call for Industrial Presentations
---------------------------------
The conference also seeks industrial presentations which may deliver
value and insight, but do not fit the selection process for regular
papers.  Authors of industrial presentations are invited to submit a
short overview (at least 1 page in size) of the proposed presentation
to the Conference Chair by 12 January 2009.  The Industrial Program
Committee will review the proposals and make the selection.  The
authors of selected presentations shall prepare a final short abstract
and submit it to the Conference Chair by 11 May 2009, aiming at a
20-minute talk.  The authors of accepted presentations will be invited
to derive articles from them for publication in the Ada User Journal,
which will host the proceedings of the Industrial Program of the
Conference.

Call for Tutorials
------------------
Tutorials should address subjects that fall within the scope of the
conference and may be proposed as either half- or full-day events.
Proposals should include a title, an abstract, a description of the
topic, a detailed outline of the presentation, a description of the
presenter's lecturing expertise in general and with the proposed
topic in particular, the proposed duration (half day or full day),
the intended level of the tutorial (introductory, intermediate, or
advanced), the recommended audience experience and background, and a
statement of the reasons for attending.  Proposals should be submitted
by e-mail to the Tutorial Chair.  The providers of full-day tutorials
will receive a complimentary conference registration as well as a fee
for every paying participant in excess of 5; for half-day tutorials,
these benefits will be accordingly halved.  The Ada User Journal will
offer space for the publication of summaries of the accepted tutorials.

Call for Workshops
------------------
Workshops on themes that fall within the conference scope may be
proposed.  Proposals may be submitted for half- or full-day events, to
be scheduled on either ends of the conference week.  Workshop proposals
should be submitted to the Conference Chair.  The workshop organizer
shall also commit to preparing proceedings for timely publication in
the Ada User Journal.

Call for Exhibitions
--------------------
Commercial exhibitions will span the three days of the main conference.
Vendors and providers of software products and services should contact
the Exhibition Chair for information and for allowing suitable planning
of the exhibition space and time.

Grants for Students
-------------------
A limited number of sponsored grants is expected to be available for
students who would like to attend the conference or tutorials.  Contact
the Conference Chair for details.

Organizing Committee
--------------------

Conference Chair
   Frank Singhoff, UBO/LISyC, France
   <mailto:Frank.Singhoff <at> univ-brest.fr>Frank.Singhoff <at> univ-brest.fr

Program Co-Chairs
   Yvon Kermarrec, Télécom Bretagne, France
   <mailto:Yvon.Kermarrec <at> telecom-bretagne.eu>Yvon.Kermarrec <at> telecom-bretagne.eu
   Fabrice Kordon, University Pierre & Marie Curie, France
   <mailto:Fabrice.Kordon <at> lip6.fr>Fabrice.Kordon <at> lip6.fr

Tutorial Chair
   Jérôme Hugues, Télécom Paris-Tech, France
   <mailto:Jerome.Hugues <at> telecom-paristech.fr>Jerome.Hugues <at> telecom-paristech.fr

Exhibition Chair
   Pierre Dissaux, Ellidiss Technologies
   <mailto:Pierre.Dissaux <at> ellidiss.com>Pierre.Dissaux <at> ellidiss.com

Publicity Chair
   Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
   <mailto:Dirk.Craeynest <at> cs.kuleuven.be>Dirk.Craeynest <at> cs.kuleuven.be

Local Chairs
   Alain Plantec and Mickael Kerboeuf, UBO/LISyC, France
   <mailto:Alain.Plantec <at> univ-brest.fr>Alain.Plantec <at> univ-brest.fr and 
<mailto:Mickael.Kerboeuf <at> univ-brest.fr>Mickael.Kerboeuf <at> univ-brest.fr

Program Committee
-----------------
Alejandro Alonso, Universidad Politécnica de Madrid, Spain
Leemon Baird, US Air Force Academy, USA
Johann Blieberger, Technische Universität Wien, Austria
Maarten Boasson, University of Amsterdam, The Netherlands
Bernd Burgstaller, Yonsei University, Korea
Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
Alfons Crespo, Universidad Politécnica de Valencia, Spain
Juan A. De la Puente, Universidad Politécnica de Madrid, Spain
Raymond Devillers, Université Libre de Bruxelles, Belgium
Michael González Harbour, Universidad de Cantabria, Spain
Javier Gutiérrez José, Universidad de Cantabria, Spain
Philippe Dhaussy, ENSIETA/LISyC, France
Andrew Hately, Eurocontrol CRDS, Hungary
Jérôme Hugues, Telecom Paris, France
Günter Hommel, Technischen Univesität Berlin, Germany
Hubert Keller, Institut für Angewandte Informatik, Germany
Yvon Kermarrec, Télécom Bretagne, France
Fabrice Kordon, Université Pierre & Marie Curie, France
Albert Llemosí, Universitat de les Illes Balears, Spain
Franco Mazzanti, ISTI-CNR Pisa, Italy
John McCormick, University of Northern Iowa, USA
Stephen Michell, Maurya Software, Canada
Javier Miranda, Universidad Las Palmas de Gran Canaria, Spain
Scott Moody, Boeing, USA
Daniel Moldt, University of Hamburg, Germany
Laurent Pautet, Telecom Paris, France
Laure Petrucci, LIPN, Université Paris 13, France
Luís Miguel Pinho, Polytechnic Institute of Porto, Portugal
Erhard Plödereder, Universität Stuttgart, Germany
Real Jorge, Universidad Politécnica de Valencia, Spain
Alexander Romanovsky, University of Newcastle upon Tyne, UK
Jean-Pierre Rosen, Adalog, France
Lionel Seinturier, Université de Lille, France
Frank Singhoff, UBO/LISyC, France
Oleg Sokolsky, University of Pennsylvania, USA
Ricky Sward, MITRE, USA
Tullio Vardanega, Università di Padova, Italy
Francois Vernadat, LAAS-CNRS, Université de Toulouse, Insa
Andy Wellings, University of York, UK
Jürgen Winkler, Friedrich-Schiller-Universität, Germany
Luigi Zaffalon, University of Applied Sciences, W. Switzerland

Industrial Committee
--------------------
Guillem Bernat, Rapita Systems, UK
Agusti Canals, CS, France
Roderick Chapman, Praxis HIS, UK
Colin Coates, Telelogic, UK
Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
Dirk Dickmanns, EADS, Germany
Tony Elliston, Ellidiss Software, UK
Franco Gasperoni, AdaCore, France
Hubert Keller, Forschungszentrum Karlsruhe GmbH, Germany
Bruce Lewis, US Army, USA
Ahlan Marriott, White-Elephant GmbH, Switzerland
Rei Stråhle, Saab Systems, Sweden

CfP in PDF format
-----------------
<http://www.cs.kuleuven.be/~dirk/ada-belgium/events/09/090608-aec-cfp.pdf>http://www.cs.kuleuven.be/~dirk/ada-belgium/events/09/090608-aec-cfp.pdf

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

Our apologies if you receive multiple copies of this announcement.
Please circulate widely.

<mailto:Dirk.Craeynest <at> cs.kuleuven.be>Dirk.Craeynest <at> cs.kuleuven.be, 
Ada-Europe'2009 Publicity Chair
Kurt Jensen | 9 Nov 11:13 2008
Picon
Picon

Extension of the Petri net Steering Committee

 

Dear Colleagues,

 

I am delighted to be able to report that

 

-          Chuang Lin, China,

-          Wojciech Penczek, Poland,

-          Antti Valmari, Finland.

 

have accepted our invitation to join the Steering Committee for the International

Petri Net community.

 

Welcome to all three of them.

 

Kurt Jensen

 

NEW MAIL ADDRESS: kjensen <at> cs.au.dk

 

 

<div>

<div class="Section1">

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

<p class="MsoNormal"><span lang="EN-GB">Dear Colleagues,</span></p>

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

<p class="MsoNormal"><span lang="EN-GB">I am delighted to be able to report that</span></p>

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

<p class="MsoNormal"><span lang="PL">-</span><span lang="PL">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span><span lang="PL">Chuang
Lin, China,</span></p>

<p class="MsoNormal"><span lang="PL">-</span><span lang="PL">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span><span lang="PL">Wojciech
Penczek, Poland,</span></p>

<p class="MsoNormal"><span lang="EN-GB">-</span><span lang="EN-GB">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
</span><span lang="EN-GB">Antti Valmari, Finland.</span></p>

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

<p class="MsoNormal"><span lang="EN-GB">have
accepted our invitation to join the Steering Committee for the International</span></p>

<p class="MsoNormal"><span lang="EN-GB">Petri
Net community.</span></p>

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

<p class="MsoNormal"><span lang="EN-GB">Welcome
to all three of them.</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">&nbsp;</span></p>

<p class="MsoNormal"><span lang="EN-GB">NEW
MAIL ADDRESS:</span><span lang="EN-GB"> <a href="blocked::mailto:kjensen <at> cs.au.dk" title="blocked::mailto:kjensen <at> cs.au.dk"><span title="blocked::mailto:kjensen <at> cs.au.dk"><span title="blocked::mailto:kjensen <at> cs.au.dk"><span>kjensen <at> cs.au.dk</span></span></span></a></span></p>

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

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

</div>

</div>
Jinjun Chen | 9 Nov 14:54 2008
Picon

Call for Papers ICWM2009

Call for papers: ICWM2009 (4th International Workshop on Workflow Management) - http://www.swinflow.org/confs/ICWM2009/ICWM2009.htm.
 
Submission deadline: January 5, 2008.
 
Publication: Workshop papers will be published by IEEE CS. Selected papers will be published by Special Issues in Concurrency and Computation: Practice and Experience and Journal of Computer and System Sciences.
 
Details can be referred to the conference website http://www.swinflow.org/confs/ICWM2009/ICWM2009.htm.

--
Dr. Jinjun Chen
Lecturer in Information Technology
CS3 - Centre for Complex Software Systems and Services
Faculty of Information and Communication Technologies
Swinburne University of Technology,
1, Alfred Street, Hawthorn,
Melbourne, Victoria 3122, Australia.
Tel: +61 3 9214 8739
Fax: +61 3 9819 0823
Office: EN508a, Engineering Building, Hawthorn Campus
Email: jinjun.chen <at> gmail.com
URL: http://www.swinflow.org/~jchen/

<div><p>Call for papers: ICWM2009 (4th International Workshop on Workflow Management) - <a href="http://www.swinflow.org/confs/ICWM2009/ICWM2009.htm">http://www.swinflow.org/confs/ICWM2009/ICWM2009.htm</a>.<br>&nbsp;<br>Submission deadline: January 5, 2008. <br>
&nbsp;<br>Publication: Workshop papers will be published by IEEE CS. Selected papers will be published by Special Issues in Concurrency and Computation: Practice and Experience and Journal of Computer and System Sciences. <br>
&nbsp;<br>Details can be referred to the conference website <a href="http://www.swinflow.org/confs/ICWM2009/ICWM2009.htm">http://www.swinflow.org/confs/ICWM2009/ICWM2009.htm</a>.<br clear="all"><br>-- <br>Dr. Jinjun Chen<br>Lecturer in Information Technology<br>
CS3 - Centre for Complex Software Systems and Services<br>Faculty of Information and Communication Technologies<br>Swinburne University of Technology,<br>1, Alfred Street, Hawthorn, <br>Melbourne, Victoria 3122, Australia.<br>
Tel: +61 3 9214 8739<br>Fax: +61 3 9819 0823<br>Office: EN508a, Engineering Building, Hawthorn Campus<br>Email: <a href="mailto:jinjun.chen <at> gmail.com">jinjun.chen <at> gmail.com</a><br>URL: <a href="http://www.swinflow.org/~jchen/">http://www.swinflow.org/~jchen/</a><br></p></div>

Gmane