Kai Sachs | 1 Sep 10:03 2008
Picon

SPEC 2009 CfP

********************************************************************
               SPEC Benchmark Workshop 2009
                 January 25, 2009
                    Austin, Texas
********************************************************************

The goal of the SPEC 2009 Workshop is to provide a forum for academia and industry to discuss the 
practice of system performance evaluation by the sharing of ideas and experiences. The workshop will 
bring together developers and users of performance evaluation software and will be held on Sunday, 
January 25, 2009 in Austin, Texas, in conjunction with SPEC’s Annual meetings.

Presentations will center on novel performance evaluation strategies; new benchmark design; use of 
benchmarks in industry, academia and government; and workload characterization. While traditional 
areas of performance evaluation are solicited, papers addressing the emerging areas related to 
evaluating power, reliability, virtualization scalability and security are also of interest.

The Standard Performance Evaluation Corporation (SPEC) invites the performance evaluation community 
to submit full papers and extended abstracts on a range of topics relevant to performance evaluation. 
The proceedings will be published by Springer-Verlag (pending approval).

-------------------------------------------------------------------------------
-
Submission guidelines:

Full (20 page) and short (8 page) papers are solicited. Submissions should be formatted according to 
the LNCS format (see author's instructions given on http://www.springer.de/comp/lncs/authors.html)
Submissions must be original and should not have been published previously or be under consideration 
for publication while being evaluated for this workshop. Papers must be submitted electronically in PDF 
format. All accepted papers will appear in a published proceedings.


-------------------------------------------------------------------------------
-
Important Dates
Paper/Extended Abstract Submission:  October 3, 2008
Notification of Acceptances:         October 26, 2008
Final Version of Papers:             November 9, 2008
Workshop:                            January 25, 2009


In Cooperation with:
IEEE Technical Committee on Computer Architecture (TCCA)
-------------------------------------------------------------------------------
-

Organization
General Chair: Rudi Eigenmann, Purdue University
Program Chair: David Kaeli, Northeastern University
Publication Chair: Kai Sachs, TU Darmstadt

**Steering Committee**

Alan Adamson - IBM Canada
Jose Nelson Amaral - University of Alberta
David Bader - Georgia Tech
Rudi Eigenmann - Purdue University
Rema Hariharan - AMD
John Henning - Sun Microsystems
Lizy John - University of Texas at Austin
Sam Kounev - TU Darmstadt
David Kaeli - Northeastern University
David Morse - Dell
Kai Sachs - TU Darmstadt

**Program Committee**

Jose Nelson Amaral - University of Alberta
Umesh Bellur - Indian Institute of Technology Bombay
Anton Chernoff - AMD
Lieven Eeckhout - University of Ghent
Rudi Eigenmann - Purdue University
Jose Gonzalez - Intel Barcelona
John Henning - Sun Microsystems
Lizy John - University of Texas at Austin
David Kaeli - Northeastern University
Helen Karatza - Aristotle University of Thessaloniki
Samuel Kounev - Universität Karlsruhe (TH)
Tao Li - University of Florida
David Lilja - University of Minnesota
Christoph Lindemann - University of Leipzig
John Mashey - Consultant
Jeffrey Reilly - Intel Corporation
Resit Sendag - University of Rhode Island
Erich Strohmaier - Lawrence Berkeley National Laboratory
Bronis Supinski - Lawrence Livermore National Laboratory
Petr Tuma - Charles University in Prague
Reinhold Weicker - formerly Fujitsu Siemens
<div>********************************************************************≤br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;SPEC Benchmark Workshop 2009<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;January 25, 2009<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Austin, Texas<br>********************************************************************≤br><br>The goal of the SPEC 2009 Workshop is to provide a forum for academia and industry to discuss the&nbsp;<br>practice of system performance evaluation by the sharing of ideas and experiences. The workshop will&nbsp;<br>bring together developers and users of performance evaluation software and will be held on Sunday,&nbsp;<br>January 25, 2009 in Austin, Texas, in conjunction with SPEC&rsquo;s Annual meetings.<br><br>Presentations will center on novel performance evaluation strategies; new benchmark design; use of&nbsp;<br>benchmarks in industry, academia and government; and workload characterization. While traditional&nbsp;<br>areas of performance evaluation are solicited, papers addressing the emerging areas related to&nbsp;<br>evaluating power, reliability, virtualization scalability and security are also of interest.<br><br>The Standard Performance Evaluation Corporation (SPEC) invites the performance evaluation community&nbsp;<br>to submit full papers and extended abstracts on a range of topics relevant to performance evaluation.&nbsp;<br>The proceedings will be published by Springer-Verlag (pending approval).<br><br>-------------------------------------------------------------------------------<br>-<br>Submission guidelines:<br><br>Full (20 page) and short (8 page) papers are solicited. Submissions should be formatted according to&nbsp;<br>the LNCS format (see author's instructions given on&nbsp;<a href="http://www.springer.de/comp/lncs/authors.html)">http://www.springer.de/comp/lncs/authors.html)</a>.&nbsp;<br>Submissions must be original and should not have been published previously or be under consideration&nbsp;<br>for publication while being evaluated for this workshop. Papers must be submitted electronically in PDF&nbsp;<br>format. All accepted papers will appear in a published proceedings.<br><br><br>-------------------------------------------------------------------------------<br>-<br>Important Dates<br>Paper/Extended Abstract Submission: &nbsp;October 3, 2008<br>Notification of Acceptances: &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;October 26, 2008<br>Final Version of Papers: &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;November 9, 2008<br>Workshop: &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;January 25, 2009<br><br><br>In Cooperation with:<br>IEEE Technical Committee on Computer Architecture (TCCA)<br>-------------------------------------------------------------------------------<br>-<br><br>Organization<br>General Chair: Rudi Eigenmann, Purdue University<br>Program Chair: David Kaeli, Northeastern University<br>Publication Chair: Kai Sachs, TU Darmstadt<br><br>**Steering Committee**≤br><br>Alan Adamson - IBM Canada<br>Jose Nelson Amaral - University of Alberta<br>David Bader - Georgia Tech<br>Rudi Eigenmann - Purdue University<br>Rema Hariharan - AMD<br>John Henning - Sun Microsystems<br>Lizy John - University of Texas at Austin<br>Sam Kounev - TU Darmstadt<br>David Kaeli - Northeastern University<br>David Morse - Dell<br>Kai Sachs - TU Darmstadt<br><br>**Program Committee**≤br><br>Jose Nelson Amaral - University of Alberta<br>Umesh Bellur - Indian Institute of Technology Bombay<br>Anton Chernoff - AMD<br>Lieven Eeckhout - University of Ghent<br>Rudi Eigenmann - Purdue University<br>Jose Gonzalez - Intel Barcelona<br>John Henning - Sun Microsystems<br>Lizy John - University of Texas at Austin<br>David Kaeli - Northeastern University<br>Helen Karatza - Aristotle University of Thessaloniki<br>Samuel Kounev - Universit&auml;t Karlsruhe (TH)<br>Tao Li - University of Florida<br>David Lilja - University of Minnesota<br>Christoph Lindemann - University of Leipzig<br>John Mashey - Consultant<br>Jeffrey Reilly - Intel Corporation<br>Resit Sendag - University of Rhode Island<br>Erich Strohmaier - Lawrence Berkeley National Laboratory<br>Bronis Supinski - Lawrence Livermore National Laboratory<br>Petr Tuma - Charles University in Prague<br>Reinhold Weicker - formerly Fujitsu Siemens</div>
prmm | 2 Sep 06:10 2008
Picon

WoSAR 2008 - Final Call For Papers

                         FINAL CALL FOR PAPERS
                             WoSAR 2008

First International Workshop on Software Aging and Rejuvenation

November 11, 2008, Seattle/Redmond, WA, USA

Co-located with ISSRE 2008 (www.issre.org)
19th IEEE International Symposium on Software Reliability Engineering
November 11-14, 2008

After more than ten years of research work in software aging and
rejuvenation, this   is   the   first   international   event   to   bring
  together   researchers   and practitioners involved with the theoretical
and experimental aspects of software aging and rejuvenation.  As a
satellite event of the premier symposium, ISRRE 2008, this workshop aims
to provide a forum for researchers and practitioners to
present and discuss the state of the art and the new challenges in
software aging and   rejuvenation  research,  as  well  as  providing   a 
 unique   opportunity   for establishing collaborations among several
research groups interested in this research field.

TOPICS OF INTEREST

This call is an invitation to all researchers and practitioners with an
interest about the following topics (but not limited to):

- Modeling and characterization of the software aging phenomenon
- Experimental and empirical software aging detection techniques
- Modeling, analysis and implementation of rejuvenation scheduling
- Design, implementation, and evaluation of rejuvenation mechanisms
- Reports on the application of software monitoring and rejuvenation
  to large industrial systems
- Prediction models for mean time to aging-related failures
- Test strategies focused on aging-related faults
- Novel applications for software rejuvenation
- Aging-oriented reliability growth models
- Control of software aging effects
- Analysis of real case studies
- Software aging metrics

PAPER SUBMISSION

Authors from academia, industry and government are invited to submit high
quality unpublished research work in two categories:

- Position Papers: describing open issues and/or original ideas for the
SAR  field.

- Regular  Papers: describing the results of theoretical and experimental
SAR   research.

After rigorous review, all the accepted papers will be included in the
ISSRE supplemental proceedings published by IEEE CS and IEEE Explore.
Authors of selected high quality regular papers will be invited to publish
an extended version of their papers in a special issue of the Journal of
Systems and Software (JSS).

IMPORTANT DATES

Papers due (to be received by): September 15, 2008
Notification of acceptance: September 30, 2008
Submission of camera-ready papers and copyright forms: October 15, 2008

SUBMISSION INSTRUCTIONS

Papers must be written in English and be formatted according to the IEEE
authoring guidelines [1]. Position and regular papers, respectively,
should not exceed the following size limits: 2-3 and 5-6 pages IEEE style.
Paper submission will be done electronically sending a PDF version of the
paper to: WoSAR2008 <at> wiso.uni-erlangen.de

Submission implies the willingness of at least one of the authors to
register and present the paper, if accepted.

KEYNOTE SPEAKERS

Larry Bernstein, Stevens Institute of Technology, USA
Chandra Kintala, Yahoo!Labs, India
Kishor Trivedi, Duke University, USA

ORGANIZING COMMITTEE

General Co-Chairs:
Alberto Avritzer, Siemens, USA
Kai-Yuan Cai, Beijing University of Aeronautics and Astronautics, China
Tadashi Dohi, Hiroshima University, Japan
Publicity/Publication Chair:
Rivalino Matias Jr., Duke University, USA
Finance Chair:
Kalyan Vaidyanathan, Sun Microsystems, USA
Technical Program Committee Co-Chairs:
Michael Grottke, University of Erlangen-Nuremberg, Germany
Chandra Kintala, Yahoo!Labs, India
Kalyan Vaidyanathan, Sun Microsystems, USA
Web Master:
Hiroyuki Okamura, Hiroshima University, Japan

PROGRAM COMMITTEE

Alberto Avritzer, Siemens, USA
Yujuan Bao, Google, USA
Andrea Bobbio, Università di Torino, Italy
Kai-Yuan Cai, Beihang University of Aeronautics and Astronautics, China
Tadashi Dohi, Hiroshima University, Japan
Sachin Garg, Yahoo!Labs, India
Swapna Gokhale, University of Connecticut, USA
Katerina Goseva-Popstojanova, West Virginia University, USA
Richard Harper, IBM, USA
Kenichi Kourai, Tokyo Institute of Technology, Japan
Yun Liu, Boeing, USA
Paulo Maciel, Univ. Fed. Pernambuco, Brazil
Miroslaw Malek, Humboldt-Universitaet, Germany
Rajesh Mansharamani, Tata Consultancy Services, India
Rivalino Matias Jr., Duke University, USA
Hiroyuki Okamura, Hiroshima University, Japan
Koichiro Rinsaka, Kobe Gakuin University, Japan
Stefano Russo, Università di Napoli Federico II, Italy
Luis Silva, Universidade de Coimbra, Portugal
Kishor Trivedi, Duke University, USA

SPONSORSHIP

The WoSAR 2008 has corporate supports of:
- Siemens (http://www.siemens.com)
- The Journal of Pattern Recognition Research (JPRR) (http://www.jprr.org)
** For more information please visit the WoSAR 2008 website [2].

[1]http://conferences.cis.unisa.edu.au/2006/tabletop2006/IEEE/Format/instruct.htm

[2] http://www.csc2.ncsu.edu/conferences/issre/2008/wosar_WS.php
Attachment (FINAL CFP - WOSAR08.pdf): application/pdf, 188 KiB
                         FINAL CALL FOR PAPERS
                             WoSAR 2008

First International Workshop on Software Aging and Rejuvenation

November 11, 2008, Seattle/Redmond, WA, USA

Co-located with ISSRE 2008 (www.issre.org)
19th IEEE International Symposium on Software Reliability Engineering
November 11-14, 2008

After more than ten years of research work in software aging and
rejuvenation, this   is   the   first   international   event   to   bring
  together   researchers   and practitioners involved with the theoretical
and experimental aspects of software aging and rejuvenation.  As a
satellite event of the premier symposium, ISRRE 2008, this workshop aims
to provide a forum for researchers and practitioners to
present and discuss the state of the art and the new challenges in
software aging and   rejuvenation  research,  as  well  as  providing   a 
 unique   opportunity   for establishing collaborations among several
research groups interested in this research field.

TOPICS OF INTEREST

This call is an invitation to all researchers and practitioners with an
interest about the following topics (but not limited to):

- Modeling and characterization of the software aging phenomenon
- Experimental and empirical software aging detection techniques
- Modeling, analysis and implementation of rejuvenation scheduling
- Design, implementation, and evaluation of rejuvenation mechanisms
- Reports on the application of software monitoring and rejuvenation
  to large industrial systems
- Prediction models for mean time to aging-related failures
- Test strategies focused on aging-related faults
- Novel applications for software rejuvenation
- Aging-oriented reliability growth models
- Control of software aging effects
- Analysis of real case studies
- Software aging metrics

PAPER SUBMISSION

Authors from academia, industry and government are invited to submit high
quality unpublished research work in two categories:

- Position Papers: describing open issues and/or original ideas for the
SAR  field.

- Regular  Papers: describing the results of theoretical and experimental
SAR   research.

After rigorous review, all the accepted papers will be included in the
ISSRE supplemental proceedings published by IEEE CS and IEEE Explore.
Authors of selected high quality regular papers will be invited to publish
an extended version of their papers in a special issue of the Journal of
Systems and Software (JSS).

IMPORTANT DATES

Papers due (to be received by): September 15, 2008
Notification of acceptance: September 30, 2008
Submission of camera-ready papers and copyright forms: October 15, 2008

SUBMISSION INSTRUCTIONS

Papers must be written in English and be formatted according to the IEEE
authoring guidelines [1]. Position and regular papers, respectively,
should not exceed the following size limits: 2-3 and 5-6 pages IEEE style.
Paper submission will be done electronically sending a PDF version of the
paper to: WoSAR2008 <at> wiso.uni-erlangen.de

Submission implies the willingness of at least one of the authors to
register and present the paper, if accepted.

KEYNOTE SPEAKERS

Larry Bernstein, Stevens Institute of Technology, USA
Chandra Kintala, Yahoo!Labs, India
Kishor Trivedi, Duke University, USA

ORGANIZING COMMITTEE

General Co-Chairs:
Alberto Avritzer, Siemens, USA
Kai-Yuan Cai, Beijing University of Aeronautics and Astronautics, China
Tadashi Dohi, Hiroshima University, Japan
Publicity/Publication Chair:
Rivalino Matias Jr., Duke University, USA
Finance Chair:
Kalyan Vaidyanathan, Sun Microsystems, USA
Technical Program Committee Co-Chairs:
Michael Grottke, University of Erlangen-Nuremberg, Germany
Chandra Kintala, Yahoo!Labs, India
Kalyan Vaidyanathan, Sun Microsystems, USA
Web Master:
Hiroyuki Okamura, Hiroshima University, Japan

PROGRAM COMMITTEE

Alberto Avritzer, Siemens, USA
Yujuan Bao, Google, USA
Andrea Bobbio, Università di Torino, Italy
Kai-Yuan Cai, Beihang University of Aeronautics and Astronautics, China
Tadashi Dohi, Hiroshima University, Japan
Sachin Garg, Yahoo!Labs, India
Swapna Gokhale, University of Connecticut, USA
Katerina Goseva-Popstojanova, West Virginia University, USA
Richard Harper, IBM, USA
Kenichi Kourai, Tokyo Institute of Technology, Japan
Yun Liu, Boeing, USA
Paulo Maciel, Univ. Fed. Pernambuco, Brazil
Miroslaw Malek, Humboldt-Universitaet, Germany
Rajesh Mansharamani, Tata Consultancy Services, India
Rivalino Matias Jr., Duke University, USA
Hiroyuki Okamura, Hiroshima University, Japan
Koichiro Rinsaka, Kobe Gakuin University, Japan
Stefano Russo, Università di Napoli Federico II, Italy
Luis Silva, Universidade de Coimbra, Portugal
Kishor Trivedi, Duke University, USA

SPONSORSHIP

The WoSAR 2008 has corporate supports of:
- Siemens (http://www.siemens.com)
- The Journal of Pattern Recognition Research (JPRR) (http://www.jprr.org)
** For more information please visit the WoSAR 2008 website [2].

[1]http://conferences.cis.unisa.edu.au/2006/tabletop2006/IEEE/Format/instruct.htm

[2] http://www.csc2.ncsu.edu/conferences/issre/2008/wosar_WS.php
Kurt Jensen | 3 Sep 09:50 2008
Picon
Picon

Information from the SC meeting in Xi'an June 2008

Information from the SC meeting in Xi’an June 2008 During the SC meeting at the Petri Net conference in Xi’an a number of important decisions were made. Kurt JensenSC chair

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

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

 

Advanced Course on Petri Nets

 

The next advanced course on Petri Nets will take place in Rostock Germany in September 2010. We plan to have a program of two weeks, an introductory one and an advanced one. For the introductory week, we try a concept of presenting theoretical results in the immediate context of convincing applications and associated tools. For the advanced week, we plan to have a number of state-of-the-art lectures with a mixture of lecturers from within the community and from neighbouring fields. More details can be found on the course web pages:

http://www.petrinet-summerschool.org/ (which are under construction).

 

Transactions on Petri Nets and other models of Concurrency

 

ToPNoC is now “ready to fly”, i.e. to have its first volumes “on the street”:

 

  • The volume based on workshop papers from Siedlce is nearly finished (with Wil van der Aalst and Jonathan Billington as editors).
  • The volume based on workshop papers from Xi’an has been initiated shortly after the conference (with Jonathan Billington and Maciej Koutny as editors).
  • Wil van der Aalst is the editor of a topical volume on Process-Aware Information Systems.
  • Susanna Donatelli is the editor of a topical volume on Recent Advances in Sstochastic/Probabilistic Issues.

 

As for all other journals, it is also possible to submit papers directly to ToPNoC and the first two such submissions were received shortly before the Xi’an conference. Papers which are accepted based on direct submissions will appear in one of the volumes described above. The choice of volume will depend on the contents of the paper (and timing). Kurt Jensen will (as editor-in-chief) handle the evaluation of such submissions or delegate the handling to one of the members of the editorial board. More information about ToPNoC can be found on: www.springer.com/lncs/topnoc/

 

W&T chairs and W&T committee

 

Each conference has two W&T chairs who are responsible for all the “practical things” around workshops and tutorials, such as:

 

  • call for proposals, evaluation of these and recommendations for the SC meeting,
  • selection and evaluation of revised papers for the ToPNoC volume.

 

The W&T chairs for the next conferences are:

 

§        2009  Paris     Maciej Koutny and Susanna Donatelli

§        2010  Braga    Susanna Donatelli and Jetty Kleijn

§        2011  ???        Jetty Kleijn and Wil van der Aalst    

 

There is also a W&T committee consisting of Wil van der Aalst, Jonathan Billington and Susanna Donatelli supplemented with the relevant W&T chairs. The committee takes care of larger more political questions, such as:

 

  • change of the format for tutorials and workshops
  • change of the deadlines for proposals.

 

It is also the W&T committee who together with the SC chair appoints the future W&T chairs.

 

New Japanese SC member

 

Sadatoshi Kumagai has stepped down from the Steering Committee, since he has left his professorship at Osaka University. The steering committee has decided to replace Kumagai by professor Kunihiko Hiraishi from the JAIST School of Information Science. The SC wants to thank Sadatoshi for all the work which he has done for the Petri Net community – both internationally and in Japan. It has always been a great pleasure to work with him during all these years. Thank you very much.

 

We expect all SC members to participate regularly in our conferences and to contribute actively to the Petri Net activities in the person’s home country. If an SC member is absent from the SC meeting three years in a row the SC will discuss whether the SC member should leave the committee (unless there are special temporary reasons for the absence).

 

Redesign of the introductory tutorial

 

A small committee consisting of Jörg Desel, Jetty Kleijn, Wolfgang Reisig and Fabrice Kordon/Laure Petrucci (as representative for the organisers in France) will work on a revision of the format for the introductory tutorial. The name of the event should be more attractive and reflect that it is advanced material presented by some of the best persons in the field. One idea  is to change the tutorial to be a set of “advanced mini-courses”. Each mini-course could run for 3-4 hours and have 1-2 presenters. It should be possible to follow only some of the “advanced mini-courses”. Some of them may be presented each year, while others could be present only each second or third year. 

 

Physical or electronic PC-meeting

 

A large majority of the Sc members want to keep the physical PC meeting. The last couple of years the meeting has been supplemented with the use of discussion forums in the conference system. This has made it possible for PC members who cannot attend the PC meeting to play a more active role in the discussions.

 

In the invitation to the European PC members we tell that we expect them to participate in the PC meeting. In the future we will also tell all PC members that we expect them to participate in the conference.

  

Requirements and evaluation of tool papers

 

Kees van Hee and five other members of the PC for Xi’an have written a 10-page paper which describes how a good tool paper can look. The paper has been revised and submitted to the Petri Net Newsletter. The Call for Papers for the future conferences will have a sentence which refers to the paper and proposes that authors of tool papers consult the paper for information about how a good tool paper can look and what it should contain 

 

Selection of organisers for 2010 and 2011

 

It was decided to accept the proposal to organise the 2010 conference in Braga, Portugal with João Fernandes, Ricardo Marchado and João Barros as organisers. Here the Petri Net conference will once again be co-located with the ACSD-conference.

 

We have received a proposal to organise the 2011 conference in Santiago de Compostela, Spain. However, we do not want to have the conference in Europe for three consecutive years and it would also be a little bit strange to have two consecutive conferences only a few hundred kilometres from each other. Hence we will look for candidates outside Europe for the 2011 conference. Kunihiko Hiraishi is working on a proposal from Japan and Kamel Barkaoui is working on a proposal from Tunis. The proposers from Spain have been informed that they are welcome to resubmit their proposal for 2012.

 

Workshops and Advanced Tutorials for Paris

 

For the 2009 conference in Paris we have accepted the following three workshops:

 

  • Workshop on Abstractions for Petri Nets and Other Models of Concurrency (APNOC).
    Natalia Sidorova and Alexander Serebrenik 
  • Workshop on Petri Nets and Software Engineering (PNSE)
    Daniel Moldt
  • Workshop on Organizational Modeling (ORGMOD)
    Daniel Moldt, Olivier Boissier and Michael Köhler-Bußmeier

 

In addition to this we are working on 2-3 other possibilities for workshops. Last year it was decided to move the deadline for proposals for Advanced Tutorials to January 5 (i.e. the same deadline as for papers to the conference). If you have proposals for workshops or advanced tutorials please contact the W&T chairs (Maciej Koutny and Susanna  Donatelli)

 

Invited speakers for Paris

 

The 2009 conference in Paris is co-located with the International Symposium on Rapid System Prototyping (RSP). Together with the RSP steering committee it has been decided to invite:

 

  • Joseph Sifakis
  • Grzegorz Rozenberg and Gabriel Juhas from the Petri Net community.
  • Bernard Courtois and Steve Miller from the RSP community.

 

---------- 

 

<div>

<div class="Section1">
<span lang="EN-US">Information from the SC meeting in Xi&rsquo;an June 2008</span><span lang="EN-US">&nbsp;</span><span lang="EN-US">During the SC meeting at the Petri Net conference in Xi&rsquo;an a number of important decisions were made.</span><span lang="EN-US">&nbsp;</span><span lang="EN-US">Kurt Jensen</span><span lang="EN-US">SC chair</span>

<p class="MsoNormal"><span lang="EN-GB">NEW
MAIL ADDRESS:</span><span lang="EN-GB"> </span><span><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 lang="EN-GB">kjensen <at> cs.au.dk</span></span></a></span></p>

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

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

<p class="MsoNormal"><span lang="EN-GB">Advanced Course on
Petri Nets</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 Germany in September 2010. We plan to have a program of two
weeks, an introductory one and an advanced one. For the introductory week, we
try a concept of presenting theoretical results in the immediate context of
convincing applications and associated tools. For the advanced week, we plan to
have a number of state-of-the-art lectures with a mixture of lecturers from
within the community and from neighbouring fields. More details can be found on
the course web pages:</span></p>

<p class="MsoNormal"><span lang="EN-GB"><a href="http://www.petrinet-summerschool.org/">http://www.petrinet-summerschool.org/</a>
(which are under construction).</span></p>

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

<p class="MsoNormal"><span lang="EN-GB">Transactions on
Petri Nets and other models of Concurrency</span></p>

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

<p class="MsoNormal"><span lang="EN-GB">ToPNoC is now &ldquo;ready to fly&rdquo;, i.e. to have
its first volumes &ldquo;on the street&rdquo;:</span></p>

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

<ul type="square">
<li class="MsoNormal">
<span lang="EN-GB">The volume based on workshop papers from Siedlce
     is nearly finished (with Wil van der Aalst and Jonathan Billington as
     editors).</span><span lang="EN-GB"> </span>
</li>
 <li class="MsoNormal">
<span lang="EN-GB">The volume based on workshop papers from
     Xi&rsquo;an has been initiated shortly after the conference (with Jonathan
     Billington and Maciej Koutny as editors).</span><span lang="EN-GB"> </span>
</li>
 <li class="MsoNormal">
<span lang="EN-GB">Wil van der Aalst is the editor of a topical
     volume on Process-Aware Information Systems.</span><span lang="EN-GB"> </span>
</li>
 <li class="MsoNormal">
<span lang="EN-GB">Susanna Donatelli is the editor of a topical
     volume on Recent Advances in Sstochastic/Probabilistic Issues.</span><span lang="EN-GB"> </span>
</li>
</ul>
<p class="MsoNormal"><span lang="EN-GB">&nbsp;</span></p>

<p class="MsoNormal"><span lang="EN-GB">As for all other journals, it is also possible to
submit papers directly to ToPNoC and the first two such submissions were
received shortly before the Xi&rsquo;an conference. Papers which are accepted
based on direct submissions will appear in one of the volumes described above.
The choice of volume will depend on the contents of the paper (and timing).
Kurt Jensen will (as editor-in-chief) handle the evaluation of such submissions
or delegate the handling to one of the members of the editorial board. More
information about ToPNoC can be found on: <span class="MsoHyperlink">www.springer.com/lncs/topnoc/</span></span></p>

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

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

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

<p class="MsoNormal"><span lang="EN-GB">Each conference has two W&amp;T chairs who are
responsible for all the &ldquo;practical things&rdquo; around workshops and
tutorials, such as:</span></p>

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

<ul type="square">
<li class="MsoNormal">
<span lang="EN-GB">call for proposals, evaluation of these and
     recommendations for the SC meeting,</span><span lang="EN-GB"> </span>
</li>
 <li class="MsoNormal"><span lang="EN-GB">selection and evaluation of revised papers for
     the ToPNoC volume.</span></li>
</ul>
<p class="MsoNormal"><span lang="EN-GB">&nbsp;</span></p>

<p class="MsoNormal"><span lang="EN-GB">The W&amp;T chairs for the next conferences are:</span></p>

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

<p class="MsoNormal"><span lang="EN-GB">&sect;</span><span lang="EN-GB">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span><span lang="EN-GB">2009&nbsp;
Paris&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Maciej Koutny and Susanna Donatelli</span></p>

<p class="MsoNormal"><span lang="IT">&sect;</span><span lang="IT">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span><span lang="IT">2010&nbsp;
Braga&nbsp;&nbsp;&nbsp; Susanna Donatelli and Jetty Kleijn</span></p>

<p class="MsoNormal"><span>&sect;</span><span>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
</span><span>2011&nbsp; ???&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Jetty Kleijn
and Wil van der Aalst&nbsp;&nbsp;&nbsp;&nbsp;</span> </p>

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

<p class="MsoNormal"><span lang="EN-GB">There is also a W&amp;T committee consisting of Wil
van der Aalst, Jonathan Billington and Susanna Donatelli supplemented with the
relevant W&amp;T chairs. The committee takes care of larger more political
questions, such as:</span></p>

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

<ul type="square">
<li class="MsoNormal">
<span lang="EN-GB">change of the format for tutorials and workshops</span><span lang="EN-GB"> </span>
</li>
 <li class="MsoNormal">
<span lang="EN-GB">change of the deadlines for proposals.</span><span lang="EN-GB"> </span>
</li>
</ul>
<p class="MsoNormal"><span lang="EN-GB">&nbsp;</span></p>

<p class="MsoNormal"><span lang="EN-GB">It is also the W&amp;T committee who together with
the SC chair appoints the future W&amp;T chairs. </span></p>

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

<p class="MsoNormal"><span lang="EN-GB">New Japanese SC
member</span></p>

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

<p class="MsoNormal"><span lang="EN-GB">Sadatoshi Kumagai has stepped down from the Steering
Committee, since he has left his professorship at Osaka University. The
steering committee has decided to replace Kumagai by professor Kunihiko
Hiraishi from the JAIST School of Information Science. The SC wants to thank
Sadatoshi for all the work which he has done for the Petri Net community
&ndash; both internationally and in Japan. It has always been a great pleasure
to work with him during all these years. Thank you very much.</span></p>

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

<p class="MsoNormal"><span lang="EN-GB">We expect all SC members to participate regularly in
our conferences and to contribute actively to the Petri Net activities in the
person&rsquo;s home country. If an SC member is absent from the SC meeting
three years in a row the SC will discuss whether the SC member should leave the
committee (unless there are special temporary reasons for the absence).</span></p>

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

<p class="MsoNormal"><span lang="EN-GB">Redesign of the
introductory tutorial</span></p>

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

<p class="MsoNormal"><span lang="EN-GB">A small committee consisting of J&ouml;rg Desel, Jetty
Kleijn, Wolfgang Reisig and Fabrice Kordon/Laure Petrucci (as representative
for the organisers in France) will work on a revision of the format for the
introductory tutorial. The name of the event should be more attractive and
reflect that it is advanced material presented by some of the best persons in
the field. One idea &nbsp;is to change the tutorial to be a set of
&ldquo;advanced mini-courses&rdquo;. Each mini-course could run for 3-4 hours
and have 1-2 presenters. It should be possible to follow only some of the
&ldquo;advanced mini-courses&rdquo;. Some of them may be presented each year,
while others could be present only each second or third year.&nbsp;</span></p>

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

<p class="MsoNormal"><span lang="EN-GB">Physical or
electronic PC-meeting</span></p>

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

<p class="MsoNormal"><span lang="EN-GB">A large majority of the Sc members want to keep the
physical PC meeting. The last couple of years the meeting has been supplemented
with the use of discussion forums in the conference system. This has made it
possible for PC members who cannot attend the PC meeting to play a more active
role in the discussions.</span></p>

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

<p class="MsoNormal"><span lang="EN-GB">In the invitation to the European PC members we tell
that we expect them to participate in the PC meeting. In the future we will
also tell all PC members that we expect them to participate in the conference.</span></p>

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

<p class="MsoNormal"><span lang="EN-GB">Requirements and
evaluation of tool papers</span></p>

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

<p class="MsoNormal"><span lang="EN-GB">Kees van Hee and five other members of the PC for
Xi&rsquo;an have written a 10-page paper which describes how a good tool paper
can look. The paper has been revised and submitted to the Petri Net Newsletter.
The Call for Papers for the future conferences will have a sentence which
refers to the paper and proposes that authors of tool papers consult the paper
for information about how a good tool paper can look and what it should
contain&nbsp;</span></p>

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

<p class="MsoNormal"><span lang="EN-GB">Selection of
organisers for 2010 and 2011</span></p>

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

<p class="MsoNormal"><span lang="EN-GB">It was decided to accept the proposal to organise the
2010 conference in Braga, Portugal with Jo&atilde;o Fernandes, Ricardo Marchado and
Jo&atilde;o Barros as organisers. Here the Petri Net conference will once again be
co-located with the ACSD-conference.</span></p>

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

<p class="MsoNormal"><span lang="EN-GB">We have received a proposal to organise the 2011 conference
in Santiago de Compostela, Spain. However, we do not want to have the
conference in Europe for three consecutive years and it would also be a little
bit strange to have two consecutive conferences only a few hundred kilometres
from each other. Hence we will look for candidates outside Europe for the 2011
conference. Kunihiko Hiraishi is working on a proposal from Japan and Kamel
Barkaoui is working on a proposal from Tunis. The proposers from Spain have
been informed that they are welcome to resubmit their proposal for 2012.</span></p>

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

<p class="MsoNormal"><span lang="EN-GB">Workshops and
Advanced Tutorials for Paris</span></p>

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

<p class="MsoNormal"><span lang="EN-GB">For the 2009 conference in Paris we have accepted the
following three workshops:</span></p>

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

<ul type="square">
<li class="MsoNormal">
<span lang="EN-US">Workshop on Abstractions for Petri Nets and
     Other Models of Concurrency (APNOC).</span><span lang="EN-GB"><br>
     Natalia Sidorova and Alexander Serebrenik&nbsp;</span><span lang="EN-GB"> </span>
</li>
 <li class="MsoNormal">
<span lang="EN-GB">Workshop on Petri Nets and Software Engineering
     (PNSE)<br>
     Daniel Moldt</span><span lang="EN-GB"> </span>
</li>
 <li class="MsoNormal">
<span lang="EN-GB">Workshop on Organizational Modeling (ORGMOD)<br>
     Daniel Moldt, Olivier Boissier and Michael K&ouml;hler-Bu&szlig;meier</span><span lang="EN-GB"> </span>
</li>
</ul>
<p class="MsoNormal"><span lang="EN-GB">&nbsp;</span></p>

<p class="MsoNormal"><span lang="EN-GB">In addition to this we are working on 2-3 other possibilities
for workshops.</span><span lang="EN-GB"> </span><span lang="EN-GB">Last year it was decided
to move the deadline for proposals for Advanced Tutorials to January 5 (i.e.
the same deadline as for papers to the conference). If you have proposals for
workshops or advanced tutorials please contact the W&amp;T chairs</span><span lang="EN-GB"> </span><span lang="EN-GB">(Maciej Koutny and Susanna &nbsp;Donatelli)</span></p>

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

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

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

<p class="MsoNormal"><span lang="EN-GB">The 2009 conference in Paris is co-located with the
International Symposium on Rapid System Prototyping (RSP). Together with the
RSP steering committee it has been decided to invite:</span></p>

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

<ul type="square">
<li class="MsoNormal">
<span lang="EN-GB">Joseph Sifakis</span><span lang="EN-GB"> </span>
</li>
 <li class="MsoNormal"><span lang="EN-GB">Grzegorz Rozenberg and Gabriel Juhas from the
     Petri Net community.</span></li>
 <li class="MsoNormal"><span lang="EN-GB">Bernard Courtois and Steve Miller from the RSP
     community<span>.</span></span></li>
</ul>
<p class="MsoNormal"><span lang="EN-GB">&nbsp;</span></p>

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

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

</div>

</div>
Nihal PEKERGIN | 4 Sep 09:14 2008
Picon

Last Call for participation QEST2008


****************************************************************
***    Our apologies if you receive multiple copies          ***
****************************************************************

                   CALL FOR PARTICIPATION

5th International Conference on Quantitative Evaluation of SysTems

September 14-17, 2008, Palais du Grand Large, Saint Malo, France

                      http://www.qest.org/qest2008/

Co-located with Formats 2008, the 5th International Conference on Formal Modelling and Analysis of 
Timed Systems
		     
                     http://formats08.inria.fr/

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

The International Conference on Quantitative Evaluation of SysTems
(QEST) is the leading forum on evaluation and verification of computer
systems and networks, through stochastic models and measurements. QEST
combines four former events: PNPM (Workshop on Petri Nets and
Performance Models), PAPM (Workshop on Process Algebra and Performance
Modelling), PROBMIV (Workshop on Probabilistic Methods in
Verification), and TOOLS (Conference on Modelling Techniques and Tools
for Computer Performance Evaluation).

KEYNOTES

* Michael Littman, Autonomous Model Learning for Reinforcement Learning
* Albert Benveniste, Composing Web Services in an open world : QoS issues
* Peter Glynn, Linear Programming, Lyapunov Functions, and Performance  Analysis

TUTORIALS + PROGRAMME

            http://www.qest.org/qest2008/programme.php

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

REGISTRATION

The registration fees include the following items:

* a copy of the proceedings of both QEST'08 and FORMATS'08, 
* the three lunches (Monday, Tuesday, Wednesday), 
* the "Cheese-and-wine" session on Monday, 
* the visit to the Mont St Michel, 
* and the gala diner on Tuesday evening.

Early registration (on or before August 17)
QEST Tutorials	100 €
QEST/FORMATS registration	430 €
QEST/FORMATS student registration	280 €

Late registration (after August 17)
QEST Tutorials	135 €
QEST/FORMATS registration	530 €
QEST/FORMATS student registration	340 €
--
Open WebMail Project (http://openwebmail.org)

Arnold Beckmann | 5 Sep 12:12 2008
Picon
Picon

New Association Computability in Europe formed


After four very successful conferences in Amsterdam in 2005, Swansea in 
2006, Siena in 2007 and Athens in 2008, our community has officially 
formed the association

                          Computability in Europe

at the Annual General Meeting at this year's Computability in Europe 
conference in Athens.  The object of the Association is to promote the 
development, particularly in Europe, of computability-related science, 
ranging over mathematics, computer science, and applications in various 
natural and engineering sciences such as physics and biology. This also 
includes the promotion of the study of philosophy and history of computing 
as it relates to questions of computability. A draft constitution of the 
Association can be found at

http://www.amsta.leeds.ac.uk/~pmt6sbc/CiE.const.draft.pdf

We invite every researcher interested in the object of the Association to 
become a member.  The initial membership fee is set at zero, and lasts 
until 30 June 2010.

To apply for membership of the Association, please complete and submit the 
form at

http://www.cs.swan.ac.uk/acie/

Any enquiries concerning association CiE membership should be sent to the 
Membership Secretary, Arnold Beckmann, at a.beckmann <at> swansea.ac.uk.

If you are not interested in becoming a member of this Association, we 
apologise for any inconvenience caused.

With best regards,
Association Computability in Europe

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


Dr Arnold Beckmann   |                    Swansea University
                     |                      Computer Science
                     |
                     |              a.beckmann <at> swansea.ac.uk
                     |   http://www.cs.swan.ac.uk/~csarnold/

Hagen Voelzer | 11 Sep 10:18 2008
Picon

Open PhD Positions at IBM Zurich Research Lab / Business Integration Technologies Group


PhD students in the Business Integration Technologies group


 The IBM Zurich Research Lab is the European branch of IBM's worldwide

 Research division located in Rüschlikon, Switzerland. We conduct

 fundamental and applied research that contributes to IBM's products,

 services, and solutions. The Business Integration Technologies group

 focuses on business process modeling and management as well as

 service-oriented architectures. We are seeking applications for



                                PhD students



 who will join our group throughout the year 2009.



 Applicants must have a very solid background in Computer Science,

 demonstrated by a University Master's degree in Computer Science with very

 good to excellent grades. During their studies, they should have acquired

 expertise in one (or more) of the following areas



  ·

     advanced understanding of algorithms and their analysis,

  ·

     modeling, semantics and verification of distributed and concurrent

     systems,

  ·

     theory of programming and compilers,

  ·

     logic-based knowledge representation and reasoning, temporal and

     reasoning about action.



 In addition, very good programming and communications skills (English,

 oral and written) will be required. Applicants should like to work in

 teams, but also be able to drive a project of their own over a longer

 period of time. A strong desire to deeply drill into theory and implement

 own concepts is a prerequisite for a successful completion of a PhD thesis

 in our group. A demonstrated interest in doing research, for example by

 having actively contributed as a student to a research project, by having

 written a first publication, or by a research-oriented Master’s thesis, is

 a plus.



 PhD students at the IBM Zurich Research Lab are offered a contract for 3

 years. An extension to a 4th year is possible depending on research

 results achieved by the student. Students are expected to perform

 high-quality academic research, while working on an IBM research project.

 They will be supervised jointly by an experienced IBM researcher and a

 university professor.



                                 Diversity



 IBM is committed to diversity at the workplace. With us, you will find an

 open, multicultural environment offering both women and men excellent

 opportunities to develop their social and professional skills. Students

 can explore an international research culture bringing together academics

 and industry, understand how IBM is dedicated to the success of its

 customers, learn about transferring research ideas into products, and

 become familiar with the latest IT technologies and novelties in IT

 services. We are especially encouraging talented female computer

 scientists to apply.




                                How to apply


 Interested students can send inquiries or should apply directly by email

 by sending a CV including all university transcripts by 1 November 2008 to



 Dr.  Jana Koehler

 Manager Business Integration Technologies

 IBM Zurich Research Laboratory

 email: koe <at> zurich.ibm.com
----
[[ 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 ]]
Joost-Pieter Katoen | 11 Sep 10:31 2008
Picon
Picon

ETAPS 2009 Final Call for Papers

[We apologize for multiple copies]

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

                 FINAL CALL FOR PAPERS: ETAPS 2009

  European Joint Conferences on Theory And Practice of Software

                       March 22 - March 29, 2009

                         York, United Kingdom

                         http://www.etaps.org
                  http://www.cs.york.ac.uk/etaps09/

****  DL Abstract: October 2;      DL full paper : October 9 ****

***************** These deadlines are STRICT ********************

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

-- 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
2009 is already the twelfth event in the series.

-- INVITED SPEAKERS --

Rajeev Alur (UPenn, USA)
Jean-Marc Eber (Paris, France)
Stephen Gilmore (Edinburgh, UK)
Steven Miller (Rockwell Collins, USA)
John Reynolds (CMU, USA)
Vivek Sarkar (Rice, USA)
Wolfgang Thomas (RWTH Aachen, Germany)

-- MAIN CONFERENCES --

- CC:	   International Conference on Compiler Construction
	   ( http://www.brics.dk/~mis/CC2009/ )

- ESOP:	   European Symposium on Programming
	   ( http://esop09.pps.jussieu.fr )

- FASE:	   Fundamental Approaches to Software Engineering
	   ( http://www.pst.ifi.lmu.de/fase2009/ )

- FOSSACS: Foundations of Software Science and Computation Structures
	   ( http://fossacs09.soe.ucsc.edu/ )

- TACAS:   Tools and Algorithms for the Construction and Analysis of Systems
	   ( http://www.embedded.rwth-aachen.de/tacas2009/ )

-- IMPORTANT DATES --

02 October 2008:   Submission deadline for abstracts (strict)
09 October 2008:   Submission deadline for full papers (strict)
12 December 2008:  Notification of acceptance/rejection
05 January 2009:   Camera-ready versions due (strict)
22-29 March 2009:  ETAPS 2009

-- GENERAL SUBMISSION INFORMATION --

ETAPS conferences accept two types of contributions: research papers
and tool demonstration papers. Both types will appear in the
proceedings 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), following the instructions on the conferences'
web sites. 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 must not be more than 15 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
   presented. 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
   demonstration 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 --

The ETAPS 2009 satellite events comprise workshops and tutorials which
will be held on the Sunday (March 22) before and the Saturday/Sunday
(March 28/29) after the main conferences.

WORKSHOPS

   - ACCAT:	Applied and Computational Category Theory
   - ARSPA-WITS:	Automated Reasoning for Security Protocol Analysis &
		Issues in the Theory of Security
   - Bytecode:	Bytecode Semantics, Verification, Analysis and
		 Transformation
   - COCV:	Compiler Optimization Meets Compiler Verification
   - COMPASS:	Correctness, Modeling, and Performance of Aerospace
		Systems
   - FESCA:	Formal Engineering Approaches to Components and
		Architectures
   - FInCo:	Foundations of Interactive Computation
   - FORMED:	Formal Methods in Computer Science Education
   - GaLoP:	Games for Logics and Programming Languages
   - GT-VMT:	Graph Transformation and Visual  Modeling Techniques
   - HFL:	Hardware Design using Functional Languages
   - LDTA:	Language Descriptions, Tools and Applications
   - LSCITS:	Large Scale Complex IT Systems
   - MBT:	Model-Based Testing
   - MLQA:	Models and Logics for Quantitative Analysis
   - OpenCert:	Foundations and Techniques for Open Source Software
		Certification
   - PLACES:	Programming Language Approaches to Concurrency and
		Communication-cEntric Software
   - QAPL:	Quantitative Aspects of Programming Languages
   - RC:		Reversible Computation
   - SafeCert:	Certification of Safety-Critical Software Controlled
		Systems
   - TAASN:	Theory and Applications of Abstraction, Substitution
		and Naming
   - TERMGRAPH:	Computing with Terms and Graphs
   - VAMP:	Verification and Analysis of Multi-threaded Java-like
		Programs
   - WING:	Invariant Generation

TUTORIALS

   - Complete and Exhaustive Testing Techniques
   - Formal Foundations for Verifying Security-Critical Software
   - Retrenchment: Straddling formal refinement and the real world
   - Verification-centric Development in Java with JML and ESC/Java2

Additional information about satellite events is available on the
ETAPS web pages and will be updated periodically:

http://www.etaps.org
http://www.cs.york.ac.uk/etaps09/

-- YORK --

The City of York combines evidence of a history going back to Roman
times, tourist attractions, and a bustling modern city centre. York
Minster, on a site that has been the city's focus in Roman, Norman and
modern times, is among the finest Gothic cathedrals and dominates the
city. The Viking past is represented by preserved archaeological
remains and reconstructed settlements in the world-famous Jorvik
Centre. Since the nineteenth century, York has been a railway city and
houses the National Railway Museum, with its stunning collection of
locomotives, carriages and railway memorabilia. York is the ancient
administrative capital of northern England and is at the heart of the
county of Yorkshire, dominating the Vale of York. To the west, the
Pennines provide beautiful scenery and outdoor activities, whilst to
the East, the Yorkshire Moors hold many beauty spots. There are local
transport connections to East Coast resorts of Scarborough, Whitby and
Robin Hoods Bay.

For more information, please visit York's tourism website:

http://www.visityork.org

-- FURTHER INFORMATION AND ENQUIRIES --

ETAPS 2009 is organised by the Department of Computer Science at the
University of York, UK.

For further information, do not hesitate to contact the Local
Organisers at the following address:

etaps-organisers -AT- cs.york.ac.uk

-- ORGANISING COMMITTEE --

Bob French, Jeremy Jacob, Gerald Luettgen (Chair), John McDermid,
Simon O'Keefe, Richard Paige, Fiona Polack, Colin Runciman,
Ginny Wilson, Alan Wood.
Jaime Lloret Mauri | 12 Sep 00:29 2008
Picon

2nd CfP: ICNS 2009 | April 21-25, 2009 - Valencia, Spain

Please consider to contribute to and/or forward to the appropriate groups the
following opportunity to submit and publish original scientific results.

Apologies for cross-postings.

============== ICNS 2009 | Call for Papers ===============

CALL FOR PAPERS, TUTORIALS, PANELS

ICNS 2009, The Fifth International Conference on Networking and Services
April 21-25, 2009 - Valencia, Spain

General page: http://www.iaria.org/conferences2009/ICNS09.html
Call for Papers: http://www.iaria.org/conferences2009/CfPICNS09.html

Important deadlines:

Submission (full paper)  November 1, 2008
Authors notification December 5, 2008
Registration December 20, 2008
Camera ready  December 25, 2008

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

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

ICNS 2009 Area Tracks are the following (details in the CfP on site):

ENCOT: Emerging Network Communications and Technologies
COMAN: Network Control and Management
SERVI: Multi-technology service deployment and assurance
NGNUS:  Next Generation Networks and Ubiquitous Services
MPQSI: Multi Provider QoS/SLA Internetworking
GRIDNS: Grid Networks and Services
EDNA: Emergency Services and Disaster Recovery of Networks and Applications
IPv6DFI: Deploying the Future Infrastructure
IPDy: Internet Packet Dynamics
GOBS: GRID over Optical Burst Switching Networks

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

ICNS 2009 Chairs:

General Chair: Jaime Lloret Mauri, Polytechnic University of Valencia, Spain

TPC Chairs:
Salvador Sales, Polytechnic University of Valencia, Spain
Feng Xia, Queensland University of Technology, Australia / Zhejiang University,
China

Advisory Board Chair:  Petre Dini, Cisco, USA

ICNS 2009 Industry Chairs:
Kevin Y Ung, Boeing, USA
Leo Lehmann, OFCOM, Switzerland

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

--

-- 

Guy Juanole | 12 Sep 09:53 2008
Picon
Picon

FeT'2009 - IFAC Conference - Ansan (Korea) - May 20-22, 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

    I apologize for the reception of multiple copies.

         Guy Juanole
       FeT'2009 IPC Chairman
Pascal Berruet | 15 Sep 17:44 2008
Picon

[DCDS 09] Special session on Reconfiguration


[Apologize for multiple copies]

Dear colleagues,

We have the pleasure to organise a special session dealing with 
“Reconfiguration for Discrete Events control.

It will take place during the 2nd workshop on Dependable Control of 
Discrete Systems in Bari, Italy, June 10-12, 2009.

Today, reconfigurable systems that have the ability to switch from one 
configuration to another in order to answer a disturbance or a critical 
requirement are a major evolution of systems.
The aim of this session is to provide academic and industrial 
researchers with an opportunity to exchange about new developments 
linked to reconfiguration of discrete event systems. Beside the 
reconfiguration process, this session will open the discussion about the 
necessary means and methods to ensure that delivered services stay 
available in spite of the occurrence of a failure or of a priority 
switch’ requirement.

This session will consider all works relating on the process of 
reconfiguration and also to its evaluation and its implementation. Works 
concerning properties, decision making, observers for reconfiguration, 
operating modes management, automated control laws design, monitoring, 
supervision and control of reconfigurable systems are particularly 
concerned.
Considered application areas are (but not exclusively): manufacturing, 
transportation, embedded systems, operational process, power 
transmission systems, sensor networks …

If you find some interest in this problematic, you are welcome to 
contact us. Please send us before November 1st 2009 an acknowledgement 
if your opinion is to propose a paper (indicate the title, the authors, 
your location and an extended abstract about 3 usual size pages). We 
will then contact you for more details about the organization of the 
session. Thanks to send it to either eric.niel <at> insa-lyon.fr and 
Pascal.Berruet <at> univ-ubs.fr in PDF format.

Further information on DCDS Congress can be obtained at the conference 
web site:
http://dcds09.poliba.it

Sincerely Yours,

Pascal Berruet

Eric Niel.

--

-- 

Pascal BERRUET

Université Européenne de Bretagne - UBS
CNRS, UMR 3192, Lab-STICC
Centre de Recherche - BP 92116
F-56321 Lorient Cedex - FRANCE

Tel : (33/0) 2 97 87 45 25 - Fax : (33/0) 2 97 87 45 27
Mail : Pascal.Berruet <at> univ-ubs.fr
http://www.lab-sticc.fr/


Gmane