Stephen A. Edwards | 2 Oct 2008 20:37

ACSD 2009 First Call for Papers

              *** FIRST CALL FOR PAPERS ***

                       ACSD 2009
             9th International Conference on
        Application of Concurrency to System Design

                   1-3 July 2009
             University of Augsburg, Germany
        acsd[at]informatik[dot]uni-augsburg[dot]de
        http://www.informatik.uni-augsburg.de/acsd/

         *** Paper deadline: 4 January 2009 ***
        Notification of acceptance: 10 March 2009
            Final version due: 10 April 2009

The International Conference on Application of Concurrency to System Design (ACSD) serves as a forum for
disseminating theoretical results with application potential and advanced methods and tools for the
design of complex concurrent systems. While there are already quite a few success stories in the field,
there is still a strong need to bring theory and practice closer together. The conference aims at
cross-fertilizing both theoretical and applied research on topics including, but not limited to, the following:

* Design methods, tools and techniques based on models of computation and concurrency (data-flow models,
communicating automata, Petri nets, process algebras, state charts, MSCs, etc.), (performance)
analysis, verification, testing and synthesis.

* Hardware / software co-design, platform-based design, component-based design, refinement
techniques, hardware / software abstractions, co-simulation and verification.

* Synchronous and asynchronous design, asynchronous circuits, globally asynchronous locally
synchronous systems, interface design, multi-clock systems, functional and timing verification.
(Continue reading)

Kurt Jensen | 2 Oct 2008 22:27
Picon
Picon

Guidelines for Programme Committees and Organising Committees

Dear Colleagues

 

An updated version of the Guidelines for Programme Committees and Organising Committees has been put on the web-page:

 

                      http://www.informatik.uni-hamburg.de/TGI/PetriNets/sc-info/

 

Kurt Jensen

SC Chair

 

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

 

<div>

<div class="Section1">

<p class="MsoNormal"><span>Dear Colleagues</span></p>

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

<p class="MsoNormal"><span lang="EN-GB">An updated version of the Guidelines for Programme
Committees and Organising Committees has been put on the web-page:</span></p>

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

<p class="MsoNormal"><span lang="EN-GB">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <a href="http://www.informatik.uni-hamburg.de/TGI/PetriNets/sc-info/">http://www.informatik.uni-hamburg.de/TGI/PetriNets/sc-info/</a></span></p>

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

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

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

<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"> </span><span><a href="mailto:kjensen <at> cs.au.dk"><span lang="EN-GB">kjensen <at> cs.au.dk</span></a></span></p>

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

</div>

</div>
Alexander Romanovsky | 6 Oct 2008 18:15
Picon
Favicon

CfPart: Software Engineering for Resilient Systems (SERENE 08)

1st Int. workshop on Software Engineering for Resilient Systems - SERENE 2008

November 17-19, 2008
Newcastle upon Tyne, UK
http://serene2008.uni.lu/

CALL FOR PARTICIPATION

SERENE 2008 is organized by the ERCIM working group SERENE and
is being held in cooperation with ACM SIGSOFT. The SERENE 2008
workshop is an international forum for researchers and practitioners
interested in the advances in Software Engineering for Resilient Systems.
Engineering such systems is a challenging issue which needs urgent attention
from and combined efforts by people working in various domains.
Achieving this objective is a very complex task, since it implies reasoning
explicitly and in a consistent way about systems functional and non-functional
characteristics. SERENE advocates the idea that resilience should be explicitly
included into traditional software engineering theories and practices and
should become an integral part of all steps of software development.
As current software engineering practices tend to either capture only normal
behaviour, or to deal with all abnormal situations only at the late development
phases, new software engineering methods and tools need to be developed
to support explicit handling of abnormal situations through the whole software
life cycle. Moreover, every phase of the software development process needs
to be enriched with the phase-specific resilience means.

For further information, please visit the SERENE website at:
http://serene2008.uni.lu/

The program at a glance:
- two invited talks (Brian Randell, Newcastle University, UK and
Ralf Reussner, Universität Karlsruhe, Germany)
- three Technical Papers sessions
- two PhD Forum sessions
- a Project session
- an Experience/Industry session

-----------------------------------------------------------------------
Preliminary Program

NOVEMBER 17
13:30	Welcome
13:45	Invited talk: Brian Randell. System 
Complexity, Dependability and Failures
15:00	Break

Technical session: Architectures and modelling
15:30	Simone Cirani, Natalya Fedotova, Luca Veltri. A Resilient Architecture
                 for DHT-based Distributed Collaborative Environments
16:00	Neil Harrison, Paris Avgeriou. Incorporating Fault Tolerance Tactics
                 in Software Architecture Patterns
16:30	Sadaf Mustafiz, Jörg Kienzle, Andrey Berlizev. Addressing Degraded
                 Outcomes and Degraded Modes in Behavioural Models
17:00	Discussion
17:30	Day-1 Close

NOVEMBER 18
9:00	The SERENE ERCIM working group Report
9:15	Invited talk: Ralf Reussner. Challenges and Results in Component
                 Quality Certification
10:30	Break

Technical session: Mobility
11:00	Máté Kovács, Paolo Lollini, István 
Majzik, Andrea Bondavalli. An Integrated
                 Framework for the Dependability 
Evaluation of Distributed Mobile Applications
11:30	Linas Laibinis, Elena Troubitsyna, Alexei 
Iliasov, Alexander Romanovsky.
                 Formal development of cooperative 
exception handling for mobile agent systems
12:00	Discussion

12:30	Lunch

Experience/Industry session
14:00        Anatoliy Gorbenko, Vyacheslav 
Kharchenko, Olga Tarasyuk, Yuhui Chen,
                  Alexander Romanovsky. The Threat 
of Uncertainty in Service-Oriented Architecture
14:30	Gabriel Zenarosa, Soumya Simanta. Experiences in Engineering Active
                 Replication into a Traditional 
Three-tiered Client-server System
15:00	Massimo Felici, Valentino Meduri, Alessandra Tedeschi, Carlo Riccucci.
                 Supporting Resilience in Air Traffic Management

15:30	Break

PhD Forum papers: session 1
16:00	Anirban Bhattacharyya, John Fitzgerald. Development of a Formalism for
                 Modelling and Analysis of Dynamic 
Reconfiguration of Dependable Real-Time
                 Systems: A Technical Diary
16:30	Richard Payne. RPL: A Policy Language For Dynamic Reconfiguration

17:00	Discussion
17:30	Day-2 Close

NOVEMBER 19
Technical session: Construction of and reasoning about resilient systems
9:00	Fernando Barros. An Evolving Hierarchical & Modular Approach to
                 Resilient Software
9:30	Ian Hayes. Towards Reasoning about Teleo-Reactive Programs for Robust
                 Real-Time Systems
10:00	Discussion
10:30	Break

PhD Forum papers: session 2
11:00	James Hawthorne, Richard Anthony. A Reconfigurable Component
                 Model Using Reflection
11:30	Ilya Lopatkin. Resilience through Dynamic 
Reconfiguration in Agent Systems
12:00	Thorsten van Ellen, Wilhelm Hasselbring. Extended Exceptions for
                 Contingencies and their 
Implications for the Software Life-Cycle

Project papers
12:30	Alexander Romanovsky. DEPLOY: Industrial Deployment of Advanced System
                 Engineering Methods for High Productivity and Dependability
12:50	Henrique Moniz, Paolo Masci, Alessandra Tedeschi. Services for Fault-
                 Tolerant Conflict Resolution in Air Traffic Management
13:10	Discussion
13:30	Day-3 Close

-----------------------------------------------------------------------
The SERENE organizing committee:
Nicolas Guelfi, Univ. of Luxembourg, Luxembourg
Henry Muccini, Univ. of L’Aquila, Italy
Patrizio Pelliccione, Univ. of L’Aquila, Italy
Alexander Romanovsky, Newcastle Univ., UK
Kai Sachs | 6 Oct 2008 21:30
Picon

SPEC 2009: Deadline Extension

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

*** Paper submission deadline extended to October 15, 2008 ***

http://www.spec.org/workshops/2009/austin/

In Cooperation with IEEE Technical Committee on Computer Architecture
(TCCA)
Proceedings published by Springer as LNCS volume.


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 antd
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.

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

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 through EasyChair (http://www.easychair.org/conferences/?conf=spec2009).

The proceedings will be published by Springer-Verlag as a volume in
the Lecture Note of Computer Science (LNCS) series.

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

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


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 - Universitat Karlsruhe (TH)
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 - Universitat 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><div>********************************************************************≤br>&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;&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;&nbsp;Austin, Texas<br>********************************************************************≤br><br>*** Paper submission deadline extended to October 15, 2008 ***<br><br><a href="http://www.spec.org/workshops/2009/austin/">http://www.spec.org/workshops/2009/austin/</a><br><br>In Cooperation with IEEE Technical Committee on Computer Architecture<br>(TCCA)<br>Proceedings published by Springer as LNCS volume.<br><br><br>The goal of the SPEC 2009 Workshop is to provide a forum for academia<br>and industry to discuss the<br>practice of system performance evaluation by the sharing of ideas antd<br>experiences. The workshop will<br>bring together developers and users of performance evaluation software<br>and will be held on Sunday,<br>January 25, 2009 in Austin, Texas, in conjunction with SPEC's Annual<br>meetings.<br><br>Presentations will center on novel performance evaluation strategies;<br>new benchmark design; use of<br>benchmarks in industry, academia and government; and workload<br>characterization. While traditional<br>areas of performance evaluation are solicited, papers addressing the<br>emerging areas related to<br>evaluating power, reliability, virtualization scalability and security<br>are also of interest.<br><br>The Standard Performance Evaluation Corporation (SPEC) invites the<br>performance evaluation community<br>to submit full papers and extended abstracts on a range of topics<br>relevant to performance evaluation.<br><br>-------------------------------------------------------------------------------<br><br>Submission guidelines:<br><br>Full (20 page) and short (8 page) papers are solicited. Submissions<br>should be formatted according to<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>.<br><br>Submissions must be original and should not have been published<br>previously or be under consideration<br>for publication while being evaluated for this workshop. Papers must<br>be submitted electronically in PDF<br>format through EasyChair (<a href="http://www.easychair.org/conferences/?conf=spec2009">http://www.easychair.org/conferences/?conf=spec2009</a>).<br><br>The proceedings will be published by Springer-Verlag as a volume in<br>the Lecture Note of Computer Science (LNCS) series.<br><br>-------------------------------------------------------------------------------<br><br>Important Dates<br>Paper/Extended Abstract Submission: &nbsp;October 15, 2008<br>Notification of Acceptances: &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;November 5, 2008<br>Final Version of Papers: &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;November 15, 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><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 - Universitat Karlsruhe (TH)<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 - Universitat 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></div>
Alexander Romanovsky | 7 Oct 2008 19:28
Picon
Favicon

International Journal of Critical Computer-Based Systems

*************************************************
                         CALL FOR PAPERS

  International Journal of Critical Computer-Based Systems (IJCCBS)

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

For its inaugural issue, the International Journal of Critical Computer-
Based Systems (Inderscience Publishers) seeks original as well as survey
papers on the engineering of high-integrity systems in critical applications
(process control, transportation, defence, medicine, banking, e-commerce,
etc.), with special emphasis on model-based paradigms for dependability
assurance and industrial experience reports. The journal covers both
theoretical and practical aspects of money/life-critical systems development,
including novel technologies, designs and evaluation approaches.
Papers focusing on methodologies and tools to master the increasing
complexity (in terms of size, distribution and heterogeneity) of these
systems are especially welcome.

The submission deadline for inclusion in the first issue is
*** January 31st, 2009 ***.

Topics of interest include:

Computer Dependability (Reliability, Availability, Maintainability, Safety,
Resilience, Performability, Trustworthiness, Survivability, Plasticity),
High-Assurance Systems Engineering, Verification and Validation,
Model-Based Software Testing, Formal Methods, Model-Checking
and Theorem-Proving, Software Fault-Tolerance and Rejuvination,
Multi-Paradigm Modeling (Multi-Formalism, Meta-Modeling), Fault Injection
and Measurement Based Analysis, FMECA, Risk Assessment and
Hazard Analysis, Information and Network Security, Protocols for
Real-Time Distributed Systems, Dependable Middlewares, Self-Checking
and Reconfigurable Hardware, Business Continuity Management,
Back-Up and Disaster Recovery Strategies, Human Machine Interaction
and Human Factors

Members of the Editorial Board include:

Jean-Paul Blanquart	   Andrea Bondavalli
Michael J. Butler	   Francesco Flammini
Giuliana Franceschinis   Rick Harper
Gerard Holzmann	   Leonardo Impagliazzo
Jan Jorjens	   Karama Kanoun
Johan Karlsson            Tim Kelly
Antonino Mazzeo	   Nicola Mazzocca
Pieter J. Mosterman	   Takashi Nanya
Nuno Ferreira Neves	   Odd Nordland
Andr·s Pataricza	   Ricardo Jimenez Peris
David Powell	   Paolo Prinetto
Blake Putney	   Hassan Reza
Luigi Romano	   Alexander Romanovsky
Francesca Saglietti	   Lisa Spainhower
Neil Storey	   Neeraj Suri
Kishor Trivedi	   Hans Vangheluwe
Valeria Vittorini	   Angela Vozella
Armin Zimmermann

Please check the journal website at
http://www.inderscience.com/ijccbs
to obtain further information about main topics, editorial board members
and paper submission procedure.

Published articles will be indexed in the major on-line archives (including
DBLP).
Rza Bashirov | 13 Oct 2008 16:40
Picon
Favicon

about automatically generation of incidence matrices

Dear Petri Netter,
 
At current stage of our research we need to implement invariants methods to large P/T-nets (place/transition nets) to analyze the reachability property. We can automatically generate P/T-nets for objects being considered. Given a P/T-net, whether we can automatically generate related incidence matrix. If it is so, then which software tool do you recommend to us?
 
Rza Bashirov
Eastern Mediterranean University
<div>
<div>Dear Petri Netter,</div>
<div>&nbsp;</div>
<div>At current stage of our research 
we&nbsp;need to implement invariants methods to large P/T-nets (place/transition 
nets) to analyze&nbsp;the reachability property. We can 
automatically&nbsp;generate&nbsp;P/T-nets for&nbsp;objects&nbsp;being 
considered. Given a P/T-net,&nbsp;whether we can automatically generate related 
incidence matrix.&nbsp;If it is so, then which software tool do you recommend to 
us?</div>
<div>&nbsp;</div>
<div>Rza Bashirov</div>
<div>Eastern Mediterranean 
University</div>
</div>
Lee Pike | 14 Oct 2008 08:17
Favicon

FMCAD'08: Early registration ends Oct. 16th (Call for Participation)

Please note that early registration ends Oct. 16th, and the hotel  
registration deadline is Oct. 18th.

========================================================================
                        CALL FOR PARTICIPATION
========================================================================

                              FMCAD 2008
International Conference on Formal Methods in Computer-Aided Design
                        http://fmcad.org/2008

                         November 17-20, 2008
                  Embassy Suites Portland--Downtown
                           Portland, Oregon

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

Important Dates
===============
  Early Registration Deadline: October 16, 2008
  Hotel Registration Deadline: October 18, 2008

Conference Overview
===================
  FMCAD 2008 is the eighth in a series of conferences on the theory
  and application of formal methods in hardware and system design and
  verification. In 2005, the bi-annual FMCAD and sister conference
  CHARME decided to merge to form an annual conference with a unified
  community. The resulting unified FMCAD provides a leading
  international forum to researchers and practitioners in academia and
  industry for presenting and discussing groundbreaking methods,
  technologies, theoretical results, and tools for formally reasoning
  about computing systems, as well as open challenges therein.

Local Information
=================
  The Conference will be held at the Embassy Suites (Downtown) in
  Portland, Oregon.  We have negotiated a special rate with the hotel
  for conference attendees.  Please book early to secure the reduced
  rate.  For details, please see the conference web page.  A dinner
  cruise on the Willamette River is planned.

Technical Program
=================
  The technical program is available at the conference web page.  It
  includes 2 invited keynotes, 4 invited tutorials, 24 regular papers,
  4 short papers, and 2 panels.

  Keynotes
  --------
  o Ken McMillan (Cadence): Interpolation -- Theory and Applications
  o Carl Seger (Intel): Formal Methods and Physical Design: Match Made
    in Heaven or Fools' Paradise?

  Tutorials
  ---------
  o Kevin Jones (Rambus): Analog and Mixed Signal Verification: The
    State of the Art and some Open Problems
  o Moshe Levinger (IBM): Building a Bridge: From Pre-Silicon
    Verification to Post-Silicon Validation
  o Byron Cook (Microsoft): Computing Bounds on Space and Time for
    Hardware Compilation.
  o David Hardin (Rockwell Collins): Considerations in the Design and
    Verification of Microprocessors for Safety-Critical and
    Security-Critical Applications.

  Panels
  ------
  o High Level Design and ESL: Who Cares?
  o The Future of Formal: Academic, IC, EDA, and Software Perspectives

Sponsors
========
         Sponsored by: IEEE CEDA
  In cooperation with: ACM SIGDA
    Financial support: Cadence, Galois, IBM, Intel, NEC, Synopsys

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

--
Galois, Inc.
<http://www.galois.com>

Phone: +1 503.626.6616 ext. 135
Fax: +1 503.350.0833

Cristian Mahulea | 14 Oct 2008 11:05
Picon
Favicon

ADHS'09 - First Call for Papers

[Apologize for multiple copies]

[The First Call for Papers may be downloaded in pdf format:
http://diisconf.cps.unizar.es/adhs09/web/images/adhs09_first_CFP.pdf]

                     FIRST CALL FOR PAPERS

                            ADHS’09
    3rd IFAC Conference on Analysis and Design of Hybrid Systems
                        Zaragoza, Spain
                     September 16-18, 2009

               Submission Deadline: March 26, 2009
              http://diisconf.cps.unizar.es/adhs09

SCOPE AND TOPICS
The IFAC conference series on Analysis and Design of Hybrid Systems
(ADHS) is focused on the Automation of Dynamical Systems. ADHS'09 is the
third conference of this series, after ADHS'03 in Saint Malo (France)
and ADHS’06 in Alghero (Italy). The ADHS series follows the successful
conference series on the Automatisation des Processus Mixtes /
Automation of Mixed Processes: ADPM'92 in Paris (France), ADPM'94 in
Brussels (Belgium), ADPM'98 in Reims (France), ADPM’00 in Dortmund
(Germany). 

Contributions are invited in all areas pertaining to the engineering of
hybrid dynamic systems including: modelling, specification, analysis,
verification, control synthesis, simulation, and implementation.
Contributions on applications of hybrid methods in various fields, such
as process industry, transportation systems, communication networks,
safety systems, etc., are particularly encouraged. Synthetic
presentations of hybrid-system problems in these fields are also
encouraged.

INVITED SPEAKERS
E. F. Camacho, University of Seville, Spain
P.J. Mosterman, MathWorks, Inc., USA
J. H. van Schuppen, CWI, Netherlands

PAPER SUBMISSION
Style files and instructions for preparation of camera-ready copy will
be available at
    http://diisconf.cps.unizar.es/adhs09/
Papers submission must be done electronically through the conference
submission site:
   http://diisconf.cps.unizar.es/adhs09/openconf/

Extended versions of the best papers presented at ADHS'09 will also be
selected for possible publication in a special issue of Nonlinear
Analysis: Hybrid System Journal, and in other IFAC Journals.

INVITED SESSIONS
Proposals for invited sessions on particular aspects of hybrid systems
are invited.  An invited session should consist of 4 to 6 papers in the
format described for individual contributions and a one-page abstract
summarising the aim and content of the session. This abstract should
contain: a title for the session, the name and full address of the
session organizer, a list of keywords and the list of the papers
included.

IMPORTANT DATES
March 26, 2009: submission of papers and invited sessions
May 25, 2009: Notification of acceptance
June 25, 2009: Final manuscripts and registration

PROGRAM COMMITTEE
CHAIRS: A. Giua (IT), M. Silva (ES), J. Zaytoon (FR)
INDUSTRIAL CO-CHAIR: P.J. Mosterman (US)
MEMBERS:
P. Albertos (Spain)
H. Alla (France)
M. Ayala Botto (Portugal)
L. Basáñez (Spain)
A. Bemporad (Italy)
R. Boel (Belgium)
B. Brogliato (France)
J. Buisson (France)
P. Caines (Canada)  
E. F. Camacho (Spain)
K. Camlibel (Netherlands)
S. Caramihai (Romania)
C. Cassandras (USA)
V. Cocquempot (France) 
P. Colaneri (Italy) 
J. Daafouz (France)
J. A. De la Puente (Spain)
C. De Prada (Spain) 
E. De Santis (Italy)
I. Demongodin (France)
M. D. Di Benedetto (Italy)
G. Dimirovski (Macedonia,  Turkey) 
S. Dormido (Spain)
M. Egerstedt (USA)
S. Engell (Germany) 
M. P. Fanti (Italy)
J. L. Ferrier (France)
L. Fridman (Mexico)
A. Girard (France)
H. Guéguen (France)
A. H. Haddad (USA) 
M. Heemels (Netherlands)
T. Henzinger (USA) 
J. Imura (Japan)
C. Iung (France)
J. Júlvez (Spain)
N. Kossoulas (Greece)
S. Kowalewski (Germany)
B. Krogh (USA)
A. B. Kurzhanski (Russia)
M. Lazar (Netherlands)
D. Lefebvre (France)
B. Lennartson (Sweden)
J. J. Lesage (France)
D. Liberzon (USA)
G. Lichtenberg (Germany)
J. Lunze (Germany) 
C. Mahulea (Spain)
N. Manamanni (France)
L. Martínez Salamero (Spain)
P. E. Miyagi (Brasil)
T. Moor (Germany)
J. Neidig (Germany)
G. Pappas (USA)
O. Pastravanu (Romania)
J. R. Perán (Spain)
C. Prieur (France)
J. Raisch (Germany)
A. Ramírez-Treviño (Mexico)
L. Recalde (Spain) 
G. Schneider (Norway)
M. Sobotka (Germany)
C. Seatzu (Italy)
M. P. Spathopoulos (UK)
O. Stursberg (Germany)
Z. Sun (Ireland)
T. Ushio (Japan) 
C. Valentin (France)
D. A. van Beek (Netherlands)
A. J. van der Schaft (Netherlands)
J. H. van Schuppen (Netherlands)
S. N. Vassilyev (Russia) 
T. Villa (Italy)
E. Villani (Brasil) 
Y. Wardi (USA)

ORGANIZING COMMITTEE
CHAIRS: L. Recalde, M. Silva
MEMBERS: 
Jorge Júlvez	
Juan-Pablo López Grao
Cristian Mahulea
José Merseguer
Diego Pérez Palacín
Ramón Piedrafita
Carlos-Renato Vázquez

CONTACTS AND INFORMATIONS
ADHS'09 Secretariat
DIIS (Departamento de Informática e Ingeniería de Sistemas)
Universidad de Zaragoza
c/ María de Luna 1,
50018 ZARAGOZA, Spain
e-mail: adhs09 <at> unizar.es
URL: http://diisconf.cps.unizar.es/adhs09/

Martin Gebauer | 17 Oct 2008 10:44
Picon
Favicon

Deadline Extension ISSS 2009

*Call for Submissions*

*ISSS 2009 - First International Symposium on Services Science March
23-25, 2009 in Leipzig, Germany*

General page:  http://isss.uni-leipzig.de/index.php

Call for Papers:  http://isss.uni-leipzig.de/index.php/CfP.html

Please consider to contribute and encourage your team members and fellow
scientists to contribute to the ISSS 2009!

Thanks for forwarding the information on this Call for Papers to those
potentially interested to submit!

Your active support would be appreciated to build a submission portfolio
to guarantee a reasonable pool to select high quality papers!

*Important Dates *

Please note that the submission deadline has been extended to October
31, 2008 upon popular demand!

*Submission of symposium papers:*
Oct. 31, 2008

*Author Notification of Acceptance: *
Nov. 30, 2008

*Submission of publication-ready papers: *
Dec. 31, 2008

*Submission system*

Submissions must be electronically done, follow this link to the SABRE
submission system and select ISSS 2009 as conference:
http://sabreconference.wifa.uni-leipzig.de/frontend/index.php?page_id=566

*Publishing*

All research and industrial papers will be published within a series of
the Institute for Applied Informatics (InfAI) e. V.
<http://infai.org/en/Welcome> published by Logos Verlag
Berlin
<http://www.logos-verlag.de/cgi-bin/engtransid?page=/englisch/engstartseite.html&lng=eng&id=> 

(Scientific Publisher).

Extended versions of selected papers will be published in international
journals (Electronic Markets - The International Journal
<http://www.electronicmarkets.org/>, International Journal of
Information Systems in the Service Sector (IJISSS), International
Journal on Service Science, Management, Engineering and Technology
(IJSSMET)).

*Best Paper Award*

There will be a Best Paper Award for the best submitted paper presented
by  Helge Löbler <http://www.marketing.uni-leipzig.de/index.php?id=345>,
University of Leipzig, Germany.

*SABRE-Keynotes *

The ISSS 2009 is a part of the Multi-Conference SABRE - Software, Agents
and Services for Business, Research and E-Science
<http://www.sabre-conference.com/>. We are glad to announce that the
first Keynote will be held by Martin Jetter
<http://www-05.ibm.com/de/ibm/unternehmen/cv_management/jetter_en.html>
, General Manager from IBM Germany and the second Keynote by Stephen
Vargo, American Marketing Association, University of Hawaii!

*Co-Organizers *

We welcome the co-organizers:

    * BITKOM German Association for Information Technology,
      Telecommunications and New Media
      http://www.bitkom.org/ <http://www.bitkom.org/en/>
    * KVD Kundendienst-Verband Deutschland e. V.
      http://www.kvd.de/

-- 
________________________________________________________________________________

The First International Symposium on Services Science (ISSS 2009),
Leipzig, Germany, 23rd-25th March 2009

Subscribe to the newsletter at http://isss.uni-leipzig.de/
________________________________________________________________________________

Martin Gebauer

Universität Leipzig
Institut für Informatik
Betriebliche Informationssysteme

Johannisgasse 26, 04103 Leipzig

Tel.: 	  +49 341 97-32272
Fax.: 	  +49 341 97-32329
Mob.:     +49 151 21-103640
E-Mail:	  gebauer <at> informatik.uni-leipzig.de
Homepage: http://bis.informatik.uni-leipzig.de/MartinGebauer

Jaime Lloret Mauri | 17 Oct 2008 11:42
Picon

3rd CfP: ICNS 2009 + 1st Workshop LMPCNAP | 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 + 1st Workshop LMPCNAP | 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

- The first International Workshop on Learning Methodologies and Platforms used
in the Cisco Networking Academy Program (CNAP), LMPCNAP 2009 will be held

during ICNS 2009 in April 21-25, 2009 - Valencia, Spain

General page: http://www.iaria.org/conferences2009/LMPCNAP.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 published in IARIA Journals:
http://www.iariajournals.org

Please note the Poster Forum special submission with on progress and challenging
ideas.

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 General Chair

Jaime Lloret Mauri, Polytechnic University of Valencia, Spain

- ICNS 2009 Industry Chairs

Kevin Y Ung, Boeing, USA
Leo Lehmann, OFCOM, Switzerland
Francisco Javier Sánchez, Administrador de Infraestructuras Ferroviarias (ADIF),
Spain

- ICNS 2009 Technical Program Committee Chair

Giancarlo Fortino, Università della Calabria, Italy
Salvador Sales, Polytechnic University of Valencia, Spain
Feng Xia, Queensland University of Technology, Australia / Zhejiang University,
China

- ICNS Advisory Chairs

Wojciech Burakowski, Warsaw University of Technology, Poland
Vicente Casares, Polytechnic University of Valencia, Spain
Petre Dini, Cisco Systems, Inc., USA / Concordia University, Canada
Xiaohua Jia, City University of Hong Kong - Kowloon, Hong Kong
Manuel Sierra-Pérez, Universidad Politécnica de Madrid, Spain

- LMPCNAP 2009 General Chair

Rafael Tomas, Mediterranean Cisco Academy Training Center (CATC), Spain

- LMPCNAP 2009 Technical Program Commitee chair

Prof. Tomeu Serra, Universitat de les Illes Balears, Spain

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

--

-- 


Gmane