headers
Holger Giese | 1 Jun 2007 10:51
Picon
Favicon

CFP: 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4)

                            Call for Papers

               4th Workshop on Object-oriented Modeling of
                   Embedded Real-Time Systems (OMER 4)

October 30 and 31, 2007, Heinz Nixdorf MuseumsForum, Paderborn, Germany.
                     http://omer4.uni-paderborn.de

**************************************************************************
                 Paper Submission Deadline: 1st July 2007
**************************************************************************

Scope

Most of the technical systems which make up our daily environment such
as cars or airplanes are unthinkable in their current form without the
hidden complex embedded software which controls and coordinates their
behavior. As the embedded software of advanced technical systems not
only realizes the fundamental functionality, but is today often also
employed to realize the main competitive advantages of a product,
embedded software has become the main driver for innovations in many
technical fields.

Model-based development and automatic code generation have become an
established technology on the functional level. However, their seamless
support for the system level and its object-oriented modeling remains
challenging. The adaptation and improvement of object-oriented,
component-based, and model-based methods which promise to facilitate the
development, deployment, and reuse of software components in embedded
environments therefore has gained much attention in industry and
(Continue reading)

Permalink | Reply | 0 comments |
headers
Carlos Areces | 1 Jun 2007 16:45
Picon
Favicon

ESSLLI 2008: Call for Course and Workshop Proposals

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   20th European Summer School in Logic, Language and Information
                                 ESSLLI 2008
             Monday, 4 August - Friday, 15 August 2008
             Hamburg, Germany

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

                  CALL FOR COURSE and WORKSHOP PROPOSALS
                  --------------------------------------

The European Summer School in Logic, Language and Information (ESSLLI)
is organized every year by the Association for Logic, Language and
Information (FoLLI, http://www.folli.org) in different sites around
Europe.

The main focus of ESSLLI is on the interface between linguistics,
logic and computation.  ESSLLI offers foundational, introductory and
advanced courses, as well as workshops, covering a wide variety of
topics within the three areas of interest: Language and Computation,
Language and Logic, and Logic and Computation.

Previous summer schools have been highly successful, attracting up to
500 students from Europe and elsewhere.  The school has developed into
an important meeting place and forum for discussion for students and
researchers interested in the interdisciplinary study of Logic,
Language and Information.

The ESSLLI 2008 Program Committee invites proposals for
foundational, introductory, and advanced courses, and for workshops
(Continue reading)

Permalink | Reply | 0 comments |
headers
Jinjun Chen | 4 Jun 2007 12:12
Picon
Picon

Reminder: Call for papers -- GPWW2007

Call for Papers
3rd International Workshop on Grid and Peer-to-Peer based Workflows (GPWW)
September 24th 2007, Brisbane, Australia
http://www.ict.swin.edu.au/conferences/gpww/
To be held in conjunction with the
5th International Conference on Business Process Management (BPM 2007) 

Submission deadline 8 June 2007.

Many e-science and complex e-business applications, such as climate
modelling, astrophysics, high-energy physics, structural biology and
chemistry, medical surgery, international banking, insurance, international
stock market modelling and control, require the creation of a collaborative
workflow management system as part of their sophisticated problem solving
processes in the grid environments. At the same time, since many
e-scientists and business people lack the necessary low-level expertise to
utilize the current generation of Grid toolkits, such as GT4, and the
specified workflow processes themselves can then be reused, shared, adapted
and annotated with interpretations of quality, provenance and security, the
research and development of grid workflow management systems become a must
and have already evoked a high degree of interest. Furthermore, because the
Grid requires a very highly distributed workflow management that can take
advantage of the distributed resources across multi-institutional virtual
organizations, the decentralized grid workflow deployment becomes a further
interesting research area. As such, peer-to-peer based workflow comes into
the picture, which is supposed to provide a kind of decentralized grid
workflow infrastructure to more efficiently support widely spread grid
workflows across the Grid. Given that a lot of valuable work has been done
on business process management, the exploration of whether and how to apply
existing business process technologies into grid workflow process management
(Continue reading)

Permalink | Reply | 0 comments |
headers
goedel-fellowship | 4 Jun 2007 12:46
Picon
Favicon

Kurt Goedel Centenary Fellowships - Call for Submissions



KURT GÖDEL CENTENARY RESEARCH PRIZE FELLOWSHIPS

The research fellowship prize program is organized by the Kurt Gödel Society and 
sponsored by the John Templeton Foundation.It offers:
•	two Ph.D. (pre-doctoral) fellowships of $60,000 US per annum for two years
•	two post-doctoral fellowships of $ 80,000 US per annum for two years
and
•	one senior fellowship of $ 120,000 US per  annum for one year 
based on an international open competition, resulting in the publication of research papers 
in a special issue of the Annals of Pure and Applied Logic.

The Kurt Gödel Society invites submissions (from all areas specified in the scope)
to the research fellowship prize program in honor of the celebration of Kurt Gödel’s 100th birthday.

Scope

    * model theory
    * proof theory
    * recursion theory
    * set theory
    * foundations of mathematics
    * philosophy of mathematics
    * foundations of computer science (related to logic)
    * automated reasoning (related to logic)
    * complexity (related to logic) 

All fellowship proposals, regardless of subject area, will be judged according to
(Continue reading)

Permalink | Reply | 0 comments |
headers
Helen Karatza | 4 Jun 2007 21:25
Picon

CFP: CAMAD '07, Athens, Greece

We apologize in advance if you receive multiple copies of this CFP

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

CALL FOR PAPERS

12th International Workshop on Computer Aided Modeling and Design of
Communication Links and Networks (CAMAD '07)

Athens, Greece, 7 September, 2007

Part of the
18th IEEE International Symposium on Personal, Indoor and Mobile Radio
Communications (PIMRC 2007)
Athens, Greece, 3-7 September, 2007
www.pimrc2007.org


Endorsed by Communications Systems Integration and Modeling,
and Satellite and Space Communications Technical Committees of IEEE ComSoc


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


IMPORTANT DATES
       Full papers due: 15 June 2007
       Notification: 15 July 2007
       Camera Ready due: 30 July 2007


Scope of CAMAD 2007:
====================

The 12th International Workshop on Computer-Aided Modeling and Design of
Communication Links and Networks (CAMAD) provides a forum for discussion of
recent developments on analytical and simulation tools and techniques for
the performance evaluation of communications systems.
The workshop launched in 1986 and organized every 2 years thereafter is
often held in cooperation with flagship IEEE Communication Society
conferences (Int. Conference on Communications - ICC, Global
Telecommunication Conference - GLOBECOM). Last CAMAD'06 was a two days
stand-alone event, held in the beautiful city of Trento, just before ICC
2006 (Istanbul, Turkey).
CAMAD '07 is an effort to establish the workshop as an annual event
motivated by the ever increasing interest in this hot research and
development field. The workshop is soliciting papers describing original
work, unpublished and not currently submitted for publication elsewhere, on
topics, including but not limited to, the following:

* Modeling and Simulation techniques for Integrated Communication Systems
* Traffic Engineering and Analysis
* Traffic Modeling
* Network Measurements
* Simulation techniques for large-scale Networks
* Simulation and Fast Simulation Techniques for Communication Networks
* Validation of Simulation Models with Measurements
* Network Optimization and Resource Provisioning
* Next Generation Internet
* Overlay and Virtual Networks
* Autonomic Communication Systems
* Cross-Layer & Cross-System Protocol Design
* Network Monitoring
* Modeling and Design of Network Services and Systems
* Wireless, Mobile, Ad hoc and Sensor Networks
* Modeling and Design of Wireless Ad Hoc Networks
* Seamless Integration of Wireless, Cellular and Broadcasting Networks with
Internet
* Design of Satellite Networks
* Integration of Terrestrial and Satellite Networks

The event is Part of IEEE PIMRC 2007, and is endorsed by the IEEE ComSoc
Technical Committees on Communications Systems Integration and Modeling
(CSIM) and Satellite and Space Communications (SSC).

Submission Information:
=======================
Prospective authors are invited to submit full paper of not more than eight
(8) IEEE style pages including results, figures and references. Please send
a PDF version of the paper to Charalabos Skianis
(skianis <at> iit.demokritos.gr).Papers will be reviewed with the standard
reviewing procedure (each paper being sent to at least 3 independent
anonymous reviewers). Accepted papers will be published on IEEExplore (upon
final approval). The best accepted paper will receive the Best Paper Award,
sponsored by IEEE ComSoc CSIM Technical Committee.

General Chair
==============
Charalabos Skianis, NCSR 'Demokritos', Greece

Technical Program Co-Chairs
===========================
Helen Karatza, Aristotle University of Thessaloniki, Greece
Mario Marchese, University of Genoa, Italy

Publication Chair
=================
George Kormentzas, University of Aegean, Greece

Steering Committee Chair
========================
Michael Devetsikiotis, North Carolina State Univ., USA

Steering Committee
==================
Nelson L.S. da Fonseca, UNICAMP, Brazil
Fabrizio Granelli, Univ. of Trento, Italy
Pascal Lorenz, Univ. of Haute Alsace, France
Hussein Mouftah, Univ. of Ottawa, Canada

Technical Program Committee
============================
Fatih Alagoz (Bogazici Univ., Turkey)
Igor Bisio (Univ. of Genoa, Italy)
Giulia Boato (Univ. of Trento, Italy)
Stephen Bush (GE Global Research Center, USA)
Carlo Caini (Univ. of Bologna, Italy)
Periklis Chatzimisios (TEI of Thessaloniki, Greece)
Nelson Fonseca (State Univ. of Campinas, Brazil)
Luiz A. Da Silva (Virginia Polytechnic Institute and
State University, USA)
Tomaso De Cola (CNIT - Univ. of Genoa, Italy)
Spyros Denazis (Hitachi Europe, France)
Michael Devetsikiotis (NCSU, USA)
Christos Douligeris (Univ. of Piraeus, Greece)
Rachid El Azouzi (Univ. of Avignon, France)
Marc Emmelmann (Tech. Univ. of Berlin, Germany)
Victor Frost (Univ. Kansas, USA)
Stefano Giordano (Univ. of Pisa, Italy)
Fabrizio Granelli (Univ. of Trento, Italy)
Rose Qingyang Hu (Mississippi State Univ., USA)
Changcheng Huang (Carleton University, Canada)
Abbas Jamalipour (Univ. of Sydney, Australia)
Athanasios Kanatas (Univ. of Piraeus, Greece)
Dzmitry Kliazovich (Univ. of Trento, Italy)
Kimon Kontovasilis (NCSR 'Demokritos', Greece)
Anastasios Kourtis (NCSR 'Demokritos', Greece)
Fotios Lazarakis (NCSR 'Demokritos', Greece)
Georgios Lazarou (Mississippi State Univ., USA)
Jie Li (Univ. of Tsukuba, Japan)
Renato Lo Cigno (Univ. of Trento, Italy)
Pascal Lorenz (Univ. of Haute Alsace, France)
Alexander Markhasin (Siberian State Univ. of Telecom.
and Information Sciences, Russia)
Ahmed Mehaoua (U. of Paris - René Descartes, France)
Mohammad S. Obaidat (Monmouth Univ., USA)
Ibrahim Onyuksel (Northern Illinois Univ., USA)
Evangelos Pallis (CTRC, Greece)
Otilia Popescu (Univ. of Texas at Dallas, USA)
Neeli Prasad (Aalborg Univ., Denmark)
Helena Szczerbicka (Univ. of Hannover, Germany)
Petia Todorova (Fraunhofer-FOKUS, Germany)
Ahmed Toufik (LaBRI-Univ. of Bordeaux I, France)
Ljiljana Trajkovic (Simon Fraser Univ., Canada)
Vassilis Tsaoussidis (Demokritos Univ., Greece)
Maria-Angeles Vazquez Castro (UAB, Spain)
Steven Wright (BellSouth, USA)
<div>
<div>We apologize in advance if you receive multiple 
copies of this 
CFP<br><br>****************************************************************************<br>***<br><br>CALL 
FOR PAPERS<br><br>12th International Workshop on Computer Aided Modeling and 
Design of<br>Communication Links and Networks (CAMAD '07)<br><br>Athens, Greece, 
7 September, 2007<br><br>Part of the<br>18th IEEE International Symposium on 
Personal, Indoor and Mobile Radio<br>Communications (PIMRC 2007)<br>Athens, 
Greece, 3-7 September, 2007<br><a href="http://www.pimrc2007.org/">www.pimrc2007.org</a><br><br><br>Endorsed by 
Communications Systems Integration and Modeling,<br>and Satellite and Space 
Communications Technical Committees of IEEE 
ComSoc<br><br><br>****************************************************************************<br><br><br>IMPORTANT 
DATES<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Full papers due: 15 June 
2007<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Notification: 15 July 
2007<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Camera Ready due: 30 July 2007 
<br><br><br>Scope of CAMAD 2007:<br>====================<br><br>The 12th 
International Workshop on Computer-Aided Modeling and Design of<br>Communication 
Links and Networks (CAMAD) provides a forum for discussion of<br>recent 
developments on analytical and simulation tools and techniques for<br>the 
performance evaluation of communications systems.<br>The workshop launched in 
1986 and organized every 2 years thereafter is<br>often held in cooperation with 
flagship IEEE Communication Society<br>conferences (Int. Conference on 
Communications - ICC, Global<br>Telecommunication Conference - GLOBECOM). Last 
CAMAD'06 was a two days<br>stand-alone event, held in the beautiful city of 
Trento, just before ICC<br>2006 (Istanbul, Turkey).<br>CAMAD '07 is an effort to 
establish the workshop as an annual event<br>motivated by the ever increasing 
interest in this hot research and<br>development field. The workshop is 
soliciting papers describing original<br>work, unpublished and not currently 
submitted for publication elsewhere, on<br>topics, including but not limited to, 
the following:<br><br>* Modeling and Simulation techniques for Integrated 
Communication Systems<br>* Traffic Engineering and Analysis<br>* Traffic 
Modeling<br>* Network Measurements<br>* Simulation techniques for large-scale 
Networks<br>* Simulation and Fast Simulation Techniques for Communication 
Networks<br>* Validation of Simulation Models with Measurements<br>* Network 
Optimization and Resource Provisioning<br>* Next Generation Internet<br>* 
Overlay and Virtual Networks<br>* Autonomic Communication Systems<br>* 
Cross-Layer &amp; Cross-System Protocol Design<br>* Network Monitoring<br>* 
Modeling and Design of Network Services and Systems<br>* Wireless, Mobile, Ad 
hoc and Sensor Networks<br>* Modeling and Design of Wireless Ad Hoc 
Networks<br>* Seamless Integration of Wireless, Cellular and Broadcasting 
Networks with<br>Internet<br>* Design of Satellite Networks<br>* Integration of 
Terrestrial and Satellite Networks<br><br>The event is Part of IEEE PIMRC 2007, 
and is endorsed by the IEEE ComSoc<br>Technical Committees on Communications 
Systems Integration and Modeling<br>(CSIM) and Satellite and Space 
Communications (SSC).<br><br>Submission 
Information:<br>=======================<br>Prospective authors are invited to 
submit full paper of not more than eight<br>(8) IEEE style pages including 
results, figures and references. Please send<br>a PDF version of the paper to 
Charalabos Skianis<br>(<a href="mailto:skianis <at> iit.demokritos.gr).Papers">skianis <at> iit.demokritos.gr).Papers</a> will be 
reviewed with the standard<br>reviewing procedure (each paper being sent to at 
least 3 independent<br>anonymous reviewers). Accepted papers will be published 
on IEEExplore (upon<br>final approval). The best accepted paper will receive the 
Best Paper Award,<br>sponsored by IEEE ComSoc CSIM Technical 
Committee.<br><br>General Chair<br>==============<br>Charalabos Skianis, NCSR 
'Demokritos', Greece<br><br>Technical Program 
Co-Chairs<br>===========================<br>Helen Karatza, Aristotle University 
of Thessaloniki, Greece<br>Mario Marchese, University of Genoa, 
Italy<br><br>Publication Chair<br>=================<br>George Kormentzas, 
University of Aegean, Greece<br><br>Steering Committee 
Chair<br>========================<br>Michael Devetsikiotis, North Carolina State 
Univ., USA<br><br>Steering Committee<br>==================<br>Nelson L.S. da 
Fonseca, UNICAMP, Brazil<br>Fabrizio Granelli, Univ. of Trento, Italy<br>Pascal 
Lorenz, Univ. of Haute Alsace, France<br>Hussein Mouftah, Univ. of Ottawa, 
Canada<br><br>Technical Program 
Committee<br>============================<br>Fatih Alagoz (Bogazici Univ., 
Turkey)<br>Igor Bisio (Univ. of Genoa, Italy)<br>Giulia Boato (Univ. of Trento, 
Italy)<br>Stephen Bush (GE Global Research Center, USA)<br>Carlo Caini (Univ. of 
Bologna, Italy)<br>Periklis Chatzimisios (TEI of Thessaloniki, Greece)<br>Nelson 
Fonseca (State Univ. of Campinas, Brazil)<br>Luiz A. Da Silva (Virginia 
Polytechnic Institute and<br>State University, USA)<br>Tomaso De Cola (CNIT - 
Univ. of Genoa, Italy)<br>Spyros Denazis (Hitachi Europe, France)<br>Michael 
Devetsikiotis (NCSU, USA)<br>Christos Douligeris (Univ. of Piraeus, 
Greece)<br>Rachid El Azouzi (Univ. of Avignon, France)<br>Marc Emmelmann (Tech. 
Univ. of Berlin, Germany)<br>Victor Frost (Univ. Kansas, USA)<br>Stefano 
Giordano (Univ. of Pisa, Italy)<br>Fabrizio Granelli (Univ. of Trento, 
Italy)<br>Rose Qingyang Hu (Mississippi State Univ., USA)<br>Changcheng Huang 
(Carleton University, Canada)<br>Abbas Jamalipour (Univ. of Sydney, 
Australia)<br>Athanasios Kanatas (Univ. of Piraeus, Greece)<br>Dzmitry 
Kliazovich (Univ. of Trento, Italy)<br>Kimon Kontovasilis (NCSR 'Demokritos', 
Greece)<br>Anastasios Kourtis (NCSR 'Demokritos', Greece)<br>Fotios Lazarakis 
(NCSR 'Demokritos', Greece)<br>Georgios Lazarou (Mississippi State Univ., 
USA)<br>Jie Li (Univ. of Tsukuba, Japan)<br>Renato Lo Cigno (Univ. of Trento, 
Italy)<br>Pascal Lorenz (Univ. of Haute Alsace, France)<br>Alexander Markhasin 
(Siberian State Univ. of Telecom.<br>and Information Sciences, Russia)<br>Ahmed 
Mehaoua (U. of Paris - Ren&eacute; Descartes, France)<br>Mohammad S. Obaidat (Monmouth 
Univ., USA)<br>Ibrahim Onyuksel (Northern Illinois Univ., USA)<br>Evangelos 
Pallis (CTRC, Greece)<br>Otilia Popescu (Univ. of Texas at Dallas, USA)<br>Neeli 
Prasad (Aalborg Univ., Denmark)<br>Helena Szczerbicka (Univ. of Hannover, 
Germany)<br>Petia Todorova (Fraunhofer-FOKUS, Germany)<br>Ahmed Toufik 
(LaBRI-Univ. of Bordeaux I, France)<br>Ljiljana Trajkovic (Simon Fraser Univ., 
Canada)<br>Vassilis Tsaoussidis (Demokritos Univ., Greece)<br>Maria-Angeles 
Vazquez Castro (UAB, Spain)<br>Steven Wright (BellSouth, 
USA)<br>
</div>
</div>
Permalink | Reply | 0 comments |
headers
Marc Boyer | 6 Jun 2007 15:18
Picon

FET2007 - Last deadline extension (June 13)

Last deadline extension  : June 13, 2007

**********************************************************************
*                          CALL FOR PAPERS                           *
*                7th IFAC International Conference on                *
*     Fieldbuses and nETworks in industrial and embedded systems     *
*                        November 7-8-9, 2007                        *
*                          Toulouse, France                          *
**********************************************************************

                                WEB SITE
                         http://www.fet2007.org

----------------------------------------------------------------------
Sponsored by IFAC Technical Committee on Components and Technologies
for Control (TC 4.1)
Co-Sponsored by IFAC Technical Committee on Networked Control Systems
(TC 1.5)
----------------------------------------------------------------------

SCOPE

The FET Conference is the largest  IFAC technical event devoted to the
context  of   industrial and  embedded  networked   systems  and their
applications. Such systems integrate    more or less  smart   sensors,
actuators and  computing devices   which  are interconnected   through
communication means which  can be either  dedicated  or shared between
different applications.   Initially,  those communication   means were
wired   networks, mainly fieldbuses  or specific  real time local area
networks.   Nowadays, the communication  means  are broadened i-e they
include other  technologies  like wireless  technologies, more general
real-time  local  area  networks and also  internetworking  through IP
networks.  The  main  application   domains are  industry  automation,
embedded systems (such as avionics, trains, ships and automotive ones)
and  home automation. The purpose  of the  conference  is to provide a
forum to share  ideas and experiences,   in this area of  information,
communication  and cooperation  technologies  and theirs real-time and
dependable applications, between academic researchers,   practitioners
and service providers,  to  review current trends  and to  discuss new
research directions.  This new edition  will be the seventh.  Previous
conferences  were held  in  Vienna  (Austria) 1995,1997, in  Magdeburg
(Germany),  1999, in Nancy  (France), 2001, in Aveiro (Portugal), 2003
and in Puebla (Mexico), 2005.

FOCUS
- Distributed systems, Embedded systems, Multimedia systems, Networks,
   Heterogeneous networks, Internetworking, Network control, Networked
   Control Systems;
- System integration, Interoperability;
- Real-Time (Hard, Soft), Performances, Fault-Tolerance,
   Dependability, Security, Performability.

MAIN TOPICS
- Networks: Fieldbuses, Wireless networks, Sensor networks, Industrial
   networks, IP networks, Satellite, Real-time networks, Services,
   Protocols, Scheduling, Routing
- Architecture: Layers, Cross-layering, Middleware (Communication,
   Cooperation), Quality of Service (QoS)
- Applications: Industrial, Robotic, Process control, Production
   systems, Embedded systems (avionic, train, automotive, ship),
   Building automation, Hospital, Healthcare systems
- Analysis: Formal modeling, Verification, Evaluation, Validation,
   Simulation, Links between QoS and application requirements, Tools
- Cases studies: From the specification to the implementation

SUBMISSION OF PAPERS
Two types of papers will be considered:
- Regular papers which report novel and significant contributions to
   the fields concerned by the conference.
- Work in progress papers which present recent ideas and on-going
   works related to the fields of the conference.

Authors are invited to submit in English electronically regular papers
(double column, 6-8 pages) and work in progress papers (double column,
not exceeding 4 pages).

The submission of the paper has to be done on this submission page:
                http://www.fet2007.org/Submissions/

RECOMMENDATIONS FOR AUTHORS

They are available at :

     * http://www.ifac-control.org/events/information-for-ifac-authors/
     * Other example in Word format at
                 http://www.fet2007.org/Doc/Samples.doc

                    AUTHOR SCHEDULE: Important dates

Extension of the deadline :

         June 5, 2007: Submission of regular papers
         June 5, 2007: Submission of work in progress papers
         September 10, 2007: Notification of acceptance
         September 28, 2007: Camera ready version due

COPYRIGHT CONDITIONS
The material submitted for  presentation at an IFAC meeting (Congress,
Symposium, Conference, Workshop)  must  be original, not published  or
being considered elsewhere. All papers  accepted for presentation will
appear in the Preprints of the meeting and  will be distributed to the
participants. Papers duly    presented at the  Congress, Symposia  and
Conferences will  be archived  and offered for  sale,  in the form  of
Proceedings,  by Elsevier Ltd, Oxford,  UK.  In the case of Workshops,
papers duly presented will be archived by  IFAC and may be offered for
sale,  in the form   of   Proceedings,  by Workshop  organizers.   The
presented papers will be  further screened for possible publication in
the IFAC  Journals  (Automatica, Control Engineering  Practice, Annual
Reviews in  Control,    Journal   of Process    Control    Engineering
Applications of Artificial Intelligence, and Mechatronics), or in IFAC
affiliated journals. All papers presented will be  recorded as an IFAC
Publication. Copyright of material  presented  at an IFAC  meeting  is
held by IFAC. Authors will be sent a copyright transfer form. The IFAC
Journals and,  after   these, IFAC affiliated  journals  have priority
access to all  contributions presented. However, if  the author is not
contacted by an editor of these journals within three months after the
meeting, he/she is  free  to re-submit  the  material  for publication
elsewhere. In this case, the paper must carry a  reference to the IFAC
meeting where it was originally presented.

CONFERENCE COMMITTEES

* Conference Chairman

Guy Juanole (France)

* Steering Committee

Dietmar  Dietrich  (Austria), José Alberto  Fonseca  (Portugal), Peter
Neuman   (Germany),   Thilo   Sauter   (Austria),  Herbert  Schweinzer
(Austria), Jean-Pierre Thomesse (France)

* International Progam Committee

-Chairman :  Miguel Leon Chavez (Mexico)
-Vice chairman :  Christian Fraboul (France)
-Vice chairman (Industry) : Henry Sarthou (France)

- Members

Affonso Guedes Luis (Brasill)
Almeida Luis (Portugal)
Cardeira Carlos (Portugal)
Cena Gianluca (Italy)
Decotignie Jean - Dominique (Switzerland)
Dietrich Dietmar (Austria)
Fischer Peter (Germany)
Fonseca José Alberto (Portugal)
Franco Lucia Regina (Brasil)
Gayraud Thierry (France)
Halang Wolfgang (Germany)
Hancke Gerhard (South Africa)
Hansson Hans (Sweden)
Hong Jiman (South Korea)
Kabitzsch Klaus (Germany)
Kastner Wolfgang (Austria)
Khakraborty Samarjit (Singapore)
Koopman Philip (USA)
Kuo Tei-Wei (Taiwan)
Lepage  Francis (France)
Lo Bello Lucia (Italy)
Mahlknecht Stefan (Austria)
Marcos Marga (Spain)
Misson Michel(France)
Nakamoto Yukikazu (Japan)
Navet Nicolas (France)
Neumann Peter (Germany)
Norström Christer (Sweden)
Palensky Peter (Austria)
Pereira Carlos (Brasil)
Petters Stefan (Australia)
Pimentel Juan (USA)
Sauter Thilo (Austria)
Schweinzer Herbert (Austria)
Sempere Victor (Spain)
Simonot-Lion Françoise (France)
Simplot-Ryl David (France)
Song YeQiong (France)
Soucek Stefan (Austria)
Suzuki Kenji (Japan)
Thomesse Jean-Pierre (France)
Tor Skeie (Norway)
Tovar Eduardo (Portugal)
Trinquet Yvon (France)
Val Thierry (France)
Vasques Francisco (Portugal)
Vitturi Stefano (Italy)
Willig Andreas (Germany)
Wolisz Adam (Germany)
Wollschläger Martin (Germany)

* National Organisation Committee

- Chairman :  Guy Juanole (LAAS)

- Vice Chairman (Industry) : Henry Sarthou (AIRBUS)

- Members  : Slim Abdellatif (LAAS),  Pascal Berthou (LAAS),Marc Boyer
(IRIT), Gina Briand  (LAAS), Agnan De  Bonneval (LAAS), Jérome  Ermont
(IRIT), Marie-José Fontagne  (LAAS), Christian Fraboul (IRIT), Thierry
Gayraud (LAAS), Delphine Maillet-Mongeau (LAAS), Gérard Mouney (LAAS),
Jean-Luc Scharbarg (IRIT), Janan Zaytoon (IFAC,France)

--

-- 
Marc Boyer                  INPT - ENSEEIHT - Dép. Télécoms & Réseaux
Tel: (33)  5.61.58.80.65                                     IRIT-IRT
Fax: (33)  5.61.58.80.14                              2, rue Camichel
http://irt.enseeiht.fr/boyer/                  31071 TOULOUSE Cedex 7
Permalink | Reply | 0 comments |
headers
Michael Neely | 6 Jun 2007 18:59
Picon
Favicon

Call for Participation: Sigmetrics 2007

**** Conference Dates: June 12-16, 2007 *********

CALL FOR PARTICIPATION:  SIGMETRICS 2007 International Conference on 
Measurement and Modeling of Computer Systems

Sponsored by ACM SIGMETRICS
Held in conjunction with FCRC 2007

June 12th-16th 2007, San Diego, California

http://www.cs.cmu.edu/~sigm07/

We cordially invite you to attend the ACM SIGMETRICS Conference,
held in conjunction with FCRC'07 in San Diego, CA.  The conference
brings together researchers from academia and industry and presents 
state-of-the-art analytic, simulation, and measurement-based 
performance evaluation techniques applied to all areas of 
computer-science and engineering.

Highlights include:
-------------------
   * A presentation of the 2007 ACM SIGMETRICS Achievement Award
 to Dr. Don Towsley of the University of Massachusetts - Amherst

   * A series of Computing Community Consortium talks
 (http://www.cra.org/ccc/fcrc/)

   * A strong (mostly single-track) technical program

   * An exciting workshop program:
 - MineNet 2007, workshop on Mining Network Data
 - SIGMETRICS 2007 Student workshop
 - MAMA 2007, workshop on MAthematical performance Modeling
         and Analysis

   * A broad tutorial program, highlighting cutting-edge research
     and technologies, including:
 - an overview of modern day cryptography which is at the
                 heart of most present-day secure systems;
 - a tutorial based on the open-source netFPGA hardware platform
         suitable for networking research and education, with a
         focus on its use for network measurements;
 - an introduction to research on network data streaming with a
         focus on algorithms for large data sets on the Internet;
 - a survey of basics and recent activities in network coding,
         with applications to P2P file-sharing and efficient
         design of multi-hop wireless networks.

   * A panel on Future Research Directions in Performance Evaluation 

   * A series of FCRC Keynote Lectures
     (http://www.acm.org/fcrc/keynoteroster.htm)

Full details are on the conference Web site.

Important dates:
----------------
 * Early Registration Deadline:  May 11, 2007
          (http://www.acm.org/fcrc/Registration.htm)

 * Hotel Registration Cutoff Date: May 9, 2007
          (http://www.acm.org/fcrc/hotelregistration2007.htm)

 * Workshops:  
         MineNet, June 12th, 2007
         SIGMETRICS Student workshop, June 13th, 2007
         MAMA, June 13th, 2007

 * Tutorials:
         A survey of modern cryptography, June 12, 2007
         NetFPGA, June 12, 2007
         Network data streaming, June 12, 2007
         Network coding, June 13, 2007

 * Main Conference: June 14-16, 2007
Permalink | Reply | 0 comments |
headers
Alexander Pinl | 8 Jun 2007 16:24
Picon
Favicon

CFP: AWPN 2007

Dear Colleagues,

below, find the first call for papers of the 14th workshop on algorithms 
and tools for Petri nets which will take place in Koblenz, Germany, in 
September '07. As the official workshop language is German, the CFP is 
written in German, too. Nevertheless, English contributions are welcome!

********************************************************************
*                                                                  *
*             Einladung und CFP für den 14. Workshop               *
*                                                                  *
*        Algorithmen und Werkzeuge für Petrinetze (AWPN)           *
*                                                                  *
*                      der GI-Fachgruppe                           *
*                                                                  *
*           'Petrinetze und verwandte Systemmodelle'               *
*                                                                  *
*        20. - 21. September 2007, Universität in Koblenz          *
*                                                                  *
********************************************************************

Der Workshop konzentriert sich auf Fragestellungen zur Analyse und 
Simulation von Petrinetz-Modellen sowie auf Erfahrungen mit der 
Implementierung von Analyse-, Simulations- und 
Visualisierungswerkzeugen. Aktuelle Ergebnisse, Werkzeuge und auch 
Überblicke können vorgestellt werden. Einen Schwerpunkt des Treffens 
bilden der Erfahrungsaustausch und die Diskussion.

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

Organisation:
-------------
- Jörg Desel (Katholische Universität Eichstätt-Ingolstadt)
- Gabriel Juhás (Katholische Universität Eichstätt-Ingolstadt)
- Ekkart Kindler (Universität Paderborn)
- Peter Kemper (Universität Dortmund)
- Kurt Lautenbach (Universität Koblenz-Landau)
- Karsten Wolf (Universität Rostock)
- Rüdiger Valk (Universität Hamburg)

Beiträge und Anmeldung:
-----------------------
Ergebnisse können in Form von Vorträgen und Werkzeugdemonstrationen 
präsentiert werden. Ein Auswahlverfahren findet nicht statt, die 
eingegangenen Beiträge werden lediglich auf thematische Eignung hin 
überprüft. Schriftliche Ausarbeitungen (max. 6 Seiten) können bis zum 
15.08.2007 geschickt werden an:

                Alexander Pinl
                E-Mail: apinl <at> uni-koblenz.de

Die Beiträge werden in einem Forschungsbericht des Instituts für 
Softwaretechnik der Universität in Koblenz veröffentlicht, den alle 
Teilnehmer erhalten. Beiträge können in englischer oder deutscher 
Sprache verfasst sein. Werkzeugpräsentationen können ebenfalls bis zum 
15.08.2007 angemeldet werden.

Anmeldung:
----------
Eine Anmeldung zum Workshop ist bis zum 14. September 2007 bei Alexander 
Pinl möglich. Die Teilnahme am Workshop ist kostenlos.

Weitere Informationen:
----------------------
Informationen im WWW unter http://www.uni-koblenz.de/~ag-pn/html/awpn2007

Mit besten Grüßen,

Alexander Pinl
Universität Koblenz-Landau
Institut für Softwaretechnik
AG Lautenbach
http://www.uni-koblenz.de/~ag-pn
Permalink | Reply | 0 comments |
headers
Aalst, W.M.P. van der | 8 Jun 2007 16:59
Picon
Picon

PhD and Postdoc positions on Process Integration and Workflow Management using Formal Methods at TU/e - Eindhoven

People with Petri-net expertise are explicitly invited to apply on the
two positions listed below.

------------------------------------------------------------------------
PhD and Postdoc positions on Process Integration and Workflow Management
using Formal Methods

In the context of the Poseidon project we are looking for both a PhD and
a Postdoc with a strong technical background in process modeling and
analysis. The Poseidon project involves Thales, the Embedded Systems
Institute, Noldus, Technische Universiteit Eindhoven (TU/e), and five
other Dutch universities. Thales is a global electronics company
delivering mission-critical information systems and services for the
Aerospace, Defense, and Security markets and serves as the main industry
partner in this project. Several PhDs, Postdocs, and staff members will
work on this project for a period of four years. The overall goal is to
address the reliably of evolving systems-of-systems in the domain of
maritime safety and security.

The AIS group at TU/e is doing research in the area of process modeling
and analysis. The group uses formal methods such as Petri nets to
design, analyze, and implement dynamic systems. The group is well-versed
in workflow management, process mining, and process verification.
Therefore, the main contribution of AIS group in the Poseidon project
will focus the process aspects of systems-of-systems. A PhD and a
Postdoc eager and qualified to work on these topics will be hired.

For the Poseidon project, systems-of-systems in the domain of maritime
safety and security will act as research driver and industrial reference
frame. The contribution of AIS in the project focuses on the
"Integration and Acceptance" subject and involves the following research
topics:
- The connection of system components that use various protocols for
interaction.
This involves issues such as process compatibility, process mining, and
interface adaptation. A related challenge is the discovery of protocols
and non-conformance by actually observing the systems interact in their
natural habitat.
- Supporting the integration and acceptance workflow. Thales produces
systems that are made-to-order and that need to be tested under
different circumstances. The integration and acceptance of these systems
is a complex process that can profit from workflow technology.

Requirements:
We are interested in candidates with a solid background in computer
science (demonstrated by a relevant MSc or PhD), interested in systems
for process support, such as workflow management, middleware, and other
process-aware information systems. Candidates with a background in
formal methods (e.g., Petri nets or process algebra) and experience in
process modeling techniques such as UML are especially welcomed.
Candidates from non-Dutch or non-English speaking countries should be
prepared to prove their English language skills. Moreover, candidates
are expected to have affinity for research with an industrial focus.

Employment:
- Full-time employment for four years.
- A salary according to the standard university regulations.
- Support for your personal development and career planning.
- Attractive secondary labor conditions.
- The selected candidates will be employed by TU/e, but a significant
part of the activities will take place at the Embedded Systems Institute
also located in Eindhoven.

Procedure:
Interested candidates are requested to send an application (both
motivational letter and curriculum vitae) by e-mail to office <at> esi.nl
with a reference to "Poseidon" and application number of the position(s)
you apply for indicated in the subject field (The application numbers
are: 32987 for the PhD position and 32988 for the Postdoc position).
More information about the Poseidon project may be obtained via the ESI
office, cf. office <at> esi.nl and
http://www.esi.nl/site/frames.html?/site/projects/poseidon.html. Please
check this site for details before submitting the application.

For more information about the two positions within AIS, please contact
prof.dr. Wil van der Aalst http://is.tm.tue.nl/staff/wvdaalst/ or Marc
Voorhoeve http://wwwis.win.tue.nl/~mvoorhoe/.
Permalink | Reply | 0 comments |
headers
CHIHAB HANACHI | 8 Jun 2007 22:11
Picon
Favicon

CFP : ciow


ALL FOR PAPERS : CIOW 2007
***************************************************
Second International Workshop CIOW-2007 on
Coordination of Inter-Organisational Workflow:
Agent and Semantic Web Based Models.
December 3, 2007
http://www.irit.fr/ciow/2007

Within WISE-07
Nancy, France
http://wise2007.loria.fr

This year Selected and Revised Papers will be Published in a Special Issue
of Web Intelligence and Agent Systems Journal (IOS press)

IMPORTANT DATES
===============
Due Date for abstracts submission : June 30, 2007

Due date for workshop papers submission : July 15,2007
Notification of workshop paper to authors : August 31, 2007
Workshop date : December 3, 2007

Main objective: This workshop will try to address the following issues: how
agent and/or the semantic web technologies can help in designing and
implementing adequate coordination models for Inter-Organizational
Workflow. It is meant to cover foundations, techniques, methodologies and
applications of Inter-Orgnanizational Workflow coordination by means of
Agent and/or Semantic Web technologies. The workshop is interdisciplinary
in nature and open to contributions from fields as varied as Multi-Agent
Systems, Workflow, Cooperative Information Systems, and Semantic Web.
Topics
Possible topics include, but are not limited to:

-         business process sharing and ontology
-        coordination mechanisms for IOW;
-        organization-oriented coordination of IOW;
-        interaction protocols between workflows;
-        workflow interaction mining
-        contracts enactment and monitoring;
-        distributed agent-based workflow enactment;
-        semantic workflow composition;
-        transactions over heterogeneous distributed workflows;
-        techniques for web service workflow;
-        workflow services’ description, discovery and invocation;
-        workflow capacity description language;
-        workflow service agentification;
-        IOW architecture;
-        IOW representation with OWL-S and WSMO;
-        Industrial applications.

Submission of Papers
=================
We will solicit original workshop papers not exceeding twelve pages in
length (according to the LNCS style) and discussing foundations,
techniques, methodologies or applications of Inter-Organizational Workflow
coordination by means of Agent and/or Semantic Web technologies. The
workshop is interdisciplinary in nature and encourages contributions from
fields as diverse as Multi-Agent Systems, Workflow, Cooperative Information
Systems, and Semantic Web.
Submissions will be assessed on their scientific content, significance,
originality, quality and clarity. Each paper will be reviewed by at least 2
anonymous reviewers.
All submissions should be in PDF format. Each submission must be
accompanied by the title, key words, every author name and affiliation, and
must specify a contact author along with phone & fax numbers and email
address. Submission should be sent, by : July 15,2007.

hanachi <at> univ-tlse1.fr
Phone :  00 33 5 61 63 35 60
Fax : 00 33 5 61 63 37 94

Program Chairs
============
Chihab Hanachi, University Toulouse 1-IRIT laboratory, France,
hanachi <at> univ-tlse1.fr
Andrea Omicini, DEIS, Alma Mater Studiorum  Università di Bologna, Italy.
andrea.omicini <at> unibo.it
Nahid Shahmehri
The Laboratory for Intelligent Information Systems, Department of Comp &
Info Sc  Linkoping University, Sweden,
nahsh <at> ida.liu.se

Program Committee   (to be completed)
=================
Eric Andonoff, IRIT, Toulouse, France
Benali Khalid, Loria, Nancy, France
Brian Blake, Georgetown University, Washington DC, USA.
Olivier Boissier, Ecole Nationale Supérieure Mines of Saint-Etienne, France
Jorge Cardoso, Funchal, Portugal
François Charoy Loria, Nancy, France
Dickson K. W. Chiu, Dickson Computer Systems, Hong Kong
Nirmit Desai, IBM, USA
Jiangbo Dang, Siemens Corporate Research, USA
Monica Divitini, Norwegian University of Science and Technology, Norway.
Victor Lesser, University of Massachusetts, USA
Hamid Motahari,The University of New South Wales, Sydney, Australia
Aris Ouksel, University of Illinois, Chicago, USA
Ricardo Rabelo, Federal University of Santa Catarina, Brasil
Alessandro Ricci,  University of Bologna ,  Italy.
Andreas Wombacher, EPFL, Switzerland
Samir Tata, Institut National des Télécommunications, France
Farouk Toumani, LIMOS Laboratory, France
José Vidal, University of South Carolina, Columbia, USA

----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.
Permalink | Reply | 0 comments |

Gmane