Helen Karatza | 1 Oct 09:39 2009
Picon

PerNEM 2010 Call for Papers

                                 PerNEM 2010 Call for Papers

 The First Annual Workshop on Pervasive Networks for Emergency Management
                       (In conjunction with IEEE PerCom 2010)
                            http://san.ee.ic.ac.uk/pernem2010/

                       Mannheim, Germany, March 29 - April 2, 2010
 
                             EXTENDED SUBMISSION DEADLINE  Oct. 20, 2009
 

 Scope
 -----

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

 Topics
 -------

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

     * Networked sensors for emergency management
     * Pervasive middleware for emergency management
     * Decentralised algorithms for pervasive systems
     * Self-aware and self- adaptive network design and evaluation
     * Network self-healing, security and self-defence
     * Wireless Networks for emergency support
     * Mobile sensors for disaster monitoring
     * Networked robotics for wireless communications
     * Pervasive emergency management systems
     * QoS in critical communications

 Registration and Submission Details
 -----------------------------------

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

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

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

 Paper submission: October 20, 2009  (Extended)
 Author notification: December 21, 2009
 Camera-ready due: January 29, 2010


 Organising Committee
 ----------------------

 Erol Gelenbe
         Intelligent Systems & Networks Group, Imperial College London, UK

 Georgia Sakellari
         Intelligent Systems & Networks Group, Imperial College London, UK

 Avgoustinos Filippoupolitis
         Intelligent Systems & Networks Group, Imperial College London, UK

 Programme Committee
 ---------------------

 Christoforos Anagnostopoulos
         Institute for Mathematical Sciences, Imperial College London, UK

 Gokce Gorbil
         Intelligent Systems & Networks Group, Imperial College London, UK

 Alex Healing
         Centre for Information and Security Systems Research, British  Telecom, UK

 Laurence Hey
         Intelligent Systems & Networks Group, Imperial College London, UK

 Eleni Karatza
         Department of Informatics, Aristotle University of Thessaloniki, Greece

 Georgios Loukas
         Intelligent Systems & Networks Group, Imperial College London, UK

 Gulay Oke
         Istanbul Technical University, Turkey

 Alex Rogers
         Intelligence, Agents, Multimedia Group, University of Southampton, UK

 Simone Silvestri
         University of Rome "La Sapienza", Italy

 Oliver Smith
         General Dynamics UK Ltd




<div>
<div>
<div>
<div>&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;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
PerNEM 2010 Call for Papers<br><br>&nbsp;The First Annual Workshop on Pervasive 
Networks for Emergency 
Management<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
(In conjunction with IEEE PerCom 
2010)<br>&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; 
<a href="">http://san.ee.ic.ac.uk/pernem2010/</a><br><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
Mannheim, Germany, March 29 - April 2, 2010</div>
<div>&nbsp;</div>
<div>&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;&nbsp; 
EXTENDED SUBMISSION DEADLINE&nbsp; Oct. 20, 2009</div>
<div>&nbsp;</div>
<div>
<br>&nbsp;Scope<br>&nbsp;-----<br><br>&nbsp;The events that took place on 
11 September 2001 have brought to the<br>&nbsp;forefront the unique challenges 
that occur during a crisis, which<br>&nbsp;require effective sensing, 
communications and decision making with<br>&nbsp;demanding time constraints in 
highly dynamic environments. Pervasive<br>&nbsp;systems address these 
requirements by providing decision support to<br>&nbsp;rescuers and evacuees, 
guaranteeing communications and collecting<br>&nbsp;information that is vital 
for planning and organising the emergency<br>&nbsp;operation. This workshop 
focuses on pervasive networked sensing and<br>&nbsp;decision making, both wired 
and wireless, geared towards emergency<br>&nbsp;management. PerNEM 2010 
addresses leading edge research in these areas<br>&nbsp;through the use of 
sensing, communication, decision support,<br>&nbsp;simulation tools and 
modelling methods with focus on system design,<br>&nbsp;optimisation and 
experimental 
evaluation.<br><br>&nbsp;Topics<br>&nbsp;-------<br><br>&nbsp;PerNEM will bring 
together contributions which include but are not<br>&nbsp;limited to the 
following areas:<br><br>&nbsp;&nbsp;&nbsp;&nbsp; * Networked sensors for 
emergency management<br>&nbsp;&nbsp;&nbsp;&nbsp; * Pervasive middleware for 
emergency management<br>&nbsp;&nbsp;&nbsp;&nbsp; * Decentralised algorithms for 
pervasive systems<br>&nbsp;&nbsp;&nbsp;&nbsp; * Self-aware and self- adaptive 
network design and evaluation<br>&nbsp;&nbsp;&nbsp;&nbsp; * Network 
self-healing, security and self-defence<br>&nbsp;&nbsp;&nbsp;&nbsp; * Wireless 
Networks for emergency support<br>&nbsp;&nbsp;&nbsp;&nbsp; * Mobile sensors for 
disaster monitoring<br>&nbsp;&nbsp;&nbsp;&nbsp; * Networked robotics for 
wireless communications<br>&nbsp;&nbsp;&nbsp;&nbsp; * Pervasive emergency 
management systems<br>&nbsp;&nbsp;&nbsp;&nbsp; * QoS in critical 
communications<br><br>&nbsp;Registration and Submission 
Details<br>&nbsp;-----------------------------------<br><br>&nbsp;Accepted 
papers will be included and indexed in the IEEE digital<br>&nbsp;libraries 
(Xplore), showing their affiliation with IEEE PerCom.<br><br>&nbsp;Submitted 
papers should be no longer than 6 pages in length, and<br>&nbsp;formatted to 2 
columns, 10pt fonts, using the IEEE Computer Society<br>&nbsp;8.5" x 11" authors 
kit.<br><br>&nbsp;Papers should be submitted via the EasyChair PerNEM 2010 
page:<br>&nbsp;<a href="">http://www.easychair.org/conferences/?conf=pernem2010</a><br><br>&nbsp;Paper submission: October 20, 2009&nbsp; 
(Extended)<br>&nbsp;Author notification: December 21, 2009<br>&nbsp;Camera-ready 
due: January 29, 2010<br><br><br>&nbsp;Organising 
Committee<br>&nbsp;----------------------<br><br>&nbsp;Erol 
Gelenbe<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Intelligent Systems 
&amp; Networks Group, Imperial College London, UK<br><br>&nbsp;Georgia 
Sakellari<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Intelligent 
Systems &amp; Networks Group, Imperial College London, 
UK<br><br>&nbsp;Avgoustinos 
Filippoupolitis<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Intelligent 
Systems &amp; Networks Group, Imperial College London, UK<br><br>&nbsp;Programme 
Committee<br>&nbsp;---------------------<br><br>&nbsp;Christoforos 
Anagnostopoulos<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Institute 
for Mathematical Sciences, Imperial College London, UK<br><br>&nbsp;Gokce 
Gorbil<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Intelligent Systems 
&amp; Networks Group, Imperial College London, UK<br><br>&nbsp;Alex 
Healing<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Centre for 
Information and Security Systems Research, British&nbsp;&nbsp;Telecom, 
UK<br><br>&nbsp;Laurence Hey<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
Intelligent Systems &amp; Networks Group, Imperial College London, 
UK<br><br>&nbsp;Eleni 
Karatza<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Department of 
Informatics, Aristotle University of&nbsp;Thessaloniki, 
Greece<br><br>&nbsp;Georgios 
Loukas<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Intelligent Systems 
&amp; Networks Group, Imperial College London, UK<br><br>&nbsp;Gulay 
Oke<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Istanbul Technical 
University, Turkey<br><br>&nbsp;Alex 
Rogers<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Intelligence, Agents, 
Multimedia Group, University of Southampton,&nbsp;UK<br><br>&nbsp;Simone 
Silvestri<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; University of Rome 
"La Sapienza", Italy<br><br>&nbsp;Oliver 
Smith<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; General Dynamics UK 
Ltd<br><br><br><br><br>
</div>
</div>
</div>
</div>
Aalst, W.M.P. van der | 1 Oct 18:02 2009
Picon
Picon

Postdoc position on “Health Monitoring of Systems-of-Systems using Process Mining” at the Technische Universiteit Eindhoven

The Department of Mathematics and Computer Science of the Technische Universiteit 
Eindhoven has a vacancy for a

Postdoc (1.0 fte) 

“Health Monitoring of Systems-of-Systems using Process Mining” 

as part of the Poseidon project V32.048

within the expertise group Architecture of Information Systems (AIS).

The Department of Mathematics and Computer Science provides undergraduate and MSc 
programs in Industrial and Applied Mathematics and in Computer Science. The Department has 
research collaborations with other Departments at the Technische Universiteit Eindhoven as well 
as with a large number of other universities and companies, both at home and abroad. The 
Department has approximately 350 employees and more than 700 students.

The Architecture of Information Systems group is doing research in the area of process 
modeling and analysis. The group uses formal methods such as Petri nets to design, analyse, 
and implement dynamic systems. The group is well-versed in workflow management, process 
mining, and process verification. 
Therefore, the main contribution of the AIS group in the Poseidon project will focus on the 
process aspects of systems-of-systems. In the context of the Poseidon project we are looking 
for a Postdoc with experience in data mining and machine learning and/or process modeling and 
formal methods. 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, Defence, 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.

Project description:
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. One Postdoc is already working on adapter 
generation. The candidate (i.e., the second Postdoc of AIS working on Poseidon) should focus 
on the mining of system interactions and determining the “health of a system”.  The main 
research challenge is the discovery of problems in parts of the systems by observing 
messages, etc..

Requirements:
We are looking for a candidate who meets the following requirements: 
*	a solid background in Computer Science and interested in systems for process support 
(demonstrated by a relevant PhD);
*	knowledge of data mining and machine learning and/or process modeling and formal 
methods;
*	candidates from non-Dutch or non-English speaking countries should be prepared to prove 
their English language skills;
*	good communicative skills in English, both in speaking and in writing; 
*	candidates should come from a NATO country;
*	candidates should be willing to spend a substantial part of their time within Thales (Hengelo);
*	moreover, candidates are expected to have affinity for research with an industrial focus and 
should be able to realize research ideas in terms of software. 

Appointment and salary:
We offer:
*	a full-time temporary appointment for a period of 21 months;
*	a gross salary between € 2.861,-- and € 3.755,-- per month, depending on experience and 
knowledge (salary scale 10 of the CLA Dutch Universities);
*	support for your personal development and career planning;
*	a broad package of fringe benefits (e.g. excellent technical infrastructure, child care, 
savings schemes, and excellent sports facilities);
*	the selected candidate 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.

Information:
*	More information about the Poseidon project may be obtained via the ESI office, e-mail: 
office <at> esi.nl  and http://www.esi.nl/ .
*	For more information about the position within AIS, please contact prof.dr.ir. Wil van der 
Aalst, e-mail: www.vdaalst.com .
*	Further information: mrs P.J. Evers Bc, HR advisor, e-mail: pzwin <at> tue.nl  

Application:
Interested candidates are requested to send an application by e-mail to office <at> esi.nl with a 
reference to "Poseidon" and application number V32.048 indicated in the subject field .

The application should consist of the following parts: 
*	motivational letter;
*	a curriculum vitae;
*	copies of diplomas;
*	proof of English language skills (if applicable). 

Applications should be received by 31st October 2009 and preferably earlier.


----
[[ 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 ]]
i-Society 2010 | 2 Oct 02:54 2009
Picon

i-Society 2010: Call for Papers

Apologies for cross-postings. Please send it to interested
colleagues and students. Thanks!


CALL FOR PAPERS


*******************************************************************
International Conference on Information Society (i-Society 2010)
28-30 June, 2010, London, UK
www.i-society.eu
*******************************************************************

The International Conference on Information Society (i-Society 2010)
is a global knowledge-enriched collaborative effort that has its
roots from both academia and industry. The conference covers a wide
spectrum of topics that relate to information society, which includes
technical and non-technical research areas.

The mission of i-Society 2010 conference is to provide opportunities
for collaboration of professionals and researchers to share existing
and generate new knowledge in the field of information society.
The conference encapsulates the concept of interdisciplinary science
that studies the societal and technological dimensions of knowledge
evolution in digital society. The i-Society bridges the gap
between academia and industry with regards to research collaboration
and awareness of current development in secure information management
in the digital society.

The topics in i-Society 2010 include but are not confined to the
following areas:

*New enabling technologies
- Internet technologies
- Wireless applications
- Mobile Applications
- Multimedia Applications
- Protocols and Standards
- Ubiquitous Computing
- Virtual Reality
- Human Computer Interaction
- Geographic information systems
- e-Manufacturing

*Intelligent data management
- Intelligent Agents
- Intelligent Systems
- Intelligent Organisations
- Content Development
- Data Mining
- e-Publishing and Digital Libraries
- Information Search and Retrieval
- Knowledge Management
- e-Intelligence
- Knowledge networks

*Secure Technologies
- Internet security
- Web services and performance
- Secure transactions
- Cryptography
- Payment systems
- Secure Protocols
- e-Privacy
- e-Trust
- e-Risk
- Cyber law
- Forensics
- Information assurance
- Mobile social networks
- Peer-to-peer social networks
- Sensor networks and social sensing

*e-Learning
- Collaborative Learning
- Curriculum Content Design and Development
- Delivery Systems and Environments
- Educational Systems Design
- e-Learning Organisational Issues
- Evaluation and Assessment
- Virtual Learning Environments and Issues
- Web-based Learning Communities
- e-Learning Tools
- e-Education

*e-Society
- Global Trends
- Social Inclusion
- Intellectual Property Rights
- Social Infonomics
- Computer-Mediated Communication
- Social and Organisational Aspects
- Globalisation and developmental IT
- Social Software

*e-Health
- Data Security Issues
- e-Health Policy and Practice
- e-Healthcare Strategies and Provision
- Medical Research Ethics
- Patient Privacy and Confidentiality
- e-Medicine

*e-Governance
- Democracy and the Citizen
- e-Administration
- Policy Issues
- Virtual Communities

*e-Business
- Digital Economies
- Knowledge economy
- eProcurement
- National and International Economies
- e-Business Ontologies and Models
- Digital Goods and Services
- e-Commerce Application Fields
- e-Commerce Economics
- e-Commerce Services
- Electronic Service Delivery
- e-Marketing
- Online Auctions and Technologies
- Virtual Organisations
- Teleworking
- Applied e-Business
- Electronic Data Interchange (EDI)

*e-Art
- Legal Issues
- Patents
- Enabling technologies and tools

*e-Science
- Natural sciences in digital society
- Biometrics
- Bioinformatics
- Collaborative research

*Industrial developments
- Trends in learning
- Applied research
- Cutting-edge technologies

* Research in progress
- Ongoing research from undergraduates, graduates/postgraduates and professionals

Important Dates:
Paper Submission Date: January 31, 2010
Notification of Paper Acceptance /Rejection: February 28, 2010
Camera Ready Paper Due: March 15, 2010
Early Bird Attendee registration: January 01, 2010
Late Bird Attendee registration: February 28, 2010
Conference Dates: June 28-30, 2010

For more details, please visit www.i-society.eu
<div>
    Apologies for cross-postings. Please send it to interested <br>
    colleagues and students. Thanks!<br><br><br>
    CALL FOR PAPERS<br><br><br>
    *******************************************************************<br>
    International Conference on Information Society (i-Society 2010) <br>
    28-30 June, 2010, London, UK<br>
    www.i-society.eu <br>
    ******************************************************************* <br><br>
    The International Conference on Information Society (i-Society 2010)<br>
    is a global knowledge-enriched collaborative effort that has its <br>
    roots from both academia and industry. The conference covers a wide <br>
    spectrum of topics that relate to information society, which includes <br>
    technical and non-technical research areas. <br><br>
    The mission of i-Society 2010 conference is to provide opportunities <br>
    for collaboration of professionals and researchers to share existing <br>
    and generate new knowledge in the field of information society. <br>
    The conference encapsulates the concept of interdisciplinary science <br>
    that studies the societal and technological dimensions of knowledge <br>
    evolution in digital society. The i-Society bridges the gap <br>
    between academia and industry with regards to research collaboration <br>
    and awareness of current development in secure information management <br>
    in the digital society. <br><br>
    The topics in i-Society 2010 include but are not confined to the <br>
    following areas: <br><br>
    *New enabling technologies <br>
    - Internet technologies <br>
    - Wireless applications <br>
    - Mobile Applications <br>
    - Multimedia Applications <br>
    - Protocols and Standards <br>
    - Ubiquitous Computing <br>
    - Virtual Reality <br>
    - Human Computer Interaction <br>
    - Geographic information systems <br>
    - e-Manufacturing <br><br>
    *Intelligent data management <br>
    - Intelligent Agents <br>
    - Intelligent Systems <br>
    - Intelligent Organisations <br>
    - Content Development <br>
    - Data Mining <br>
    - e-Publishing and Digital Libraries <br>
    - Information Search and Retrieval <br>
    - Knowledge Management <br>
    - e-Intelligence <br>
    - Knowledge networks <br><br>
    *Secure Technologies <br>
    - Internet security <br>
    - Web services and performance <br>
    - Secure transactions <br>
    - Cryptography <br>
    - Payment systems <br>
    - Secure Protocols <br>
    - e-Privacy <br>
    - e-Trust <br>
    - e-Risk <br>
    - Cyber law <br>
    - Forensics <br>
    - Information assurance <br>
    - Mobile social networks <br>
    - Peer-to-peer social networks <br>
    - Sensor networks and social sensing <br><br>
    *e-Learning <br>
    - Collaborative Learning <br>
    - Curriculum Content Design and Development <br>
    - Delivery Systems and Environments <br>
    - Educational Systems Design <br>
    - e-Learning Organisational Issues <br>
    - Evaluation and Assessment <br>
    - Virtual Learning Environments and Issues <br>
    - Web-based Learning Communities <br>
    - e-Learning Tools <br>
    - e-Education <br><br>
    *e-Society <br>
    - Global Trends <br>
    - Social Inclusion <br>
    - Intellectual Property Rights <br>
    - Social Infonomics <br>
    - Computer-Mediated Communication <br>
    - Social and Organisational Aspects <br>
    - Globalisation and developmental IT <br>
    - Social Software <br><br>
    *e-Health <br>
    - Data Security Issues <br>
    - e-Health Policy and Practice <br>
    - e-Healthcare Strategies and Provision <br>
    - Medical Research Ethics <br>
    - Patient Privacy and Confidentiality <br>
    - e-Medicine <br><br>
    *e-Governance <br>
    - Democracy and the Citizen <br>
    - e-Administration <br>
    - Policy Issues <br>
    - Virtual Communities <br><br>
    *e-Business <br>
    - Digital Economies <br>
    - Knowledge economy <br>
    - eProcurement <br>
    - National and International Economies <br>
    - e-Business Ontologies and Models <br>
    - Digital Goods and Services <br>
    - e-Commerce Application Fields <br>
    - e-Commerce Economics <br>
    - e-Commerce Services <br>
    - Electronic Service Delivery <br>
    - e-Marketing <br>
    - Online Auctions and Technologies <br>
    - Virtual Organisations <br>
    - Teleworking <br>
    - Applied e-Business <br>
    - Electronic Data Interchange (EDI) <br><br>
    *e-Art <br>
    - Legal Issues <br>
    - Patents <br>
    - Enabling technologies and tools <br><br>
    *e-Science <br>
    - Natural sciences in digital society <br>
    - Biometrics <br>
    - Bioinformatics <br>
    - Collaborative research <br><br>
    *Industrial developments <br>
    - Trends in learning <br>
    - Applied research <br>
    - Cutting-edge technologies <br><br>
    * Research in progress <br>
    - Ongoing research from undergraduates, graduates/postgraduates and professionals <br><br>
    Important Dates: <br>
    Paper Submission Date: January 31, 2010 <br>
    Notification of Paper Acceptance /Rejection: February 28, 2010 <br>
    Camera Ready Paper Due: March 15, 2010 <br>
    Early Bird Attendee registration: January 01, 2010 <br>
    Late Bird Attendee registration: February 28, 2010 <br>
    Conference Dates: June 28-30, 2010 <br><br>
    For more details, please visit www.i-society.eu <br>
</div>
Selmin Nurcan | 3 Oct 13:59 2009
Picon

RCIS'2010 Call for Papers


Dear Colleague,

Please find underneath the Call for Paper for the Fourth IEEE International Conference on Research Challenges in Information Science (RCIS'2010).

We invite you to submit your work in RCIS'2010 before November 10th.


RCIS 2010 is a conference of RCIS CONFERENCE SERIES Ouarzazate (2007), Marrakech (2008), Fez(2009), Nice (2010)


RCIS'2010 Proceedings will be published by IEEE (Print Version ISBN #978-1-4244-4840-1)

Visit http://www.ieee.org/web/conferences/search/index.html and type RCIS for the conference keyword.



We will be also grateful to you for advertising  RCIS'2010 and inviting your colleagues and/or research students to submit their work.


I hope to meet you in Nice.
Best regards,

Selmin Nurcan
RCIS'2010 Publicity Chair



*****************************************************************
(We apologize if you are receiving duplicates through different channels...)

*****************************************************************
Call for Papers
4th International Conference on Research Challenges in Information Science (RCIS)
May 19-21, 2010, Nice, France
http://www.farcampus.com/rcis/

Co-sponsored by IEEE France Section, EMSI, IAE de Nice and SONEMA.

General Chair:  Peri Loucopoulos (Loughborough University, UK)
RCIS Steering Committee Chair: Oscar Pastor (Technical University of Valencia, Spain)
PC Chair:  Jean Louis Cavarero (University of Nice, France)
PC Co-chair:  Nadine Tournois (University of Nice, France)
Doctoral papers & Workshop Chair: André Flory (INSA de Lyon, France)
Operating Committee Chair: Martine Collard (University of Nice, France)

Keynote Speakers:
Brian Fitzgerald (University of Limerick, Ireland)
Colette Rolland (University of Paris 1 Pantheon Sorbonne, France)
Roel Wieringa (University of Twente, Netherlands)



RCIS 2010 is a conference of RCIS CONFERENCE SERIES Ouarzazate (2007), Marrakech (2008), Fez(2009), Nice (2010)

Proceedings will be published by IEEE (Print Version ISBN #978-1-4244-4840-1)

Visit http://www.ieee.org/web/conferences/search/index.html and type RCIS for the conference keyword.


Papers submission deadline: November 10, 2009

The Call for Papers and the RCIS'2010 POSTER can be downloaded from the RCIS'2010 Web site
http://www.farcampus.com/rcis/call_for_papers.php

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


-------------8<-------------------8<-------------------8<-------------------8<-------------------8<--------

RCIS 2010

CALL FOR PAPERS

The 4th International Conference on RESEARCH CHALLENGES IN INFORMATION SCIENCE

MAY 19-21, 2010, NICE, FRANCE

Papers submission deadline: November 10, 2009
http://www.farcampus.com/rcis/



SCOPE AND TOPICS:

The Fourth International Conference on RESEARCH CHALLENGES IN INFORMATION SCIENCE (RCIS) aims at providing an international forum for scientists, researchers, engineers and developers from a wide range of information science areas. While presenting research findings and state-of-art solutions, you are especially invited to share experiences on new research challenges in these main topics:

- Databases
- Information Systems
- Web Systems
- Business Process Modelling, Analysis and Design
- Intelligent Agents
- Knowledge Management
- Ontologies
- Knowledge Discovery from Data
- Business applications
- Management applications



Each of these topics areas is expanded on the conference web page (http://www.farcampus.com/rcis/topics.php). Papers may address one or more of the listed sub-topics, although authors should not feel limited by them. Unlisted but related sub-topics are also acceptable, provided they fit in one of the conference main topics.


CONFERENCE PUBLICATIONS AND BEST PAPERS

Papers that have already been accepted or are currently under review for other conferences or journals will not be considered for publications at RCIS’2010. Authors are invited to submit papers in English using the paper format indicated below. Each submitted paper will have to be associated to one of the four following categories.

Technical solution papers present solutions which are novel or significantly improve on existing solutions. A technical solution paper must include a preliminary validation of the proposed solution. Results must be stated clearly enough so that it is possible to validate them in later research.

Evaluation papers evaluate existing problem situations or validate proposed solutions with scientific means, i.e. by empirical studies, experiments, case studies, simulations, mathematical proofs, etc. The research method must be sound and appropriate.

Industrial practice and experience papers present problems or challenges encountered in practice, relate success and failure stories, or report on industrial practice. The practice must be clearly described and its context must be given.

Doctoral Papers are papers submitted by doctoral students (only) and are related to research work in progress.



PAPER SUBMISSION

By submitting a paper, authors implicitly agree that at least one of them will register to the conference and present the paper. Submitted papers will be reviewed by the RCIS’2010 Program Committee based on originality, significance, technical soundness, and clarity of exposition. A "blind" paper evaluation method will be used. Therefore authors are kindly requested to produce and provide the full paper, without any reference to the authors.

The manuscript must contain, in its first page, the paper title, the paper category (Technical solution, Evaluation, Industrial or Doctoral), an abstract and a list of keywords but no names or contact details are to be included in any part of the file. Notification of paper acceptance/rejection will be sent by email.

The papers which have been presented by their authors during the conference will be puablished in IEEE RCIS’2010 proceedings.


Paper submissions must be formatted using the IEEE 2-column format (see http://www.ieee.org). They should be limited to a maximum of 12 pages.

All paper submissions will be handled electronically  (see //www.farcampus.com/rcis/author.php).



The authors of papers that obtain the highest marks in the reviewing process will be invited to submit an extended version to a journal.



General Chair: Peri Loucopoulos (Loughborough University, UK)

RCIS Steering Committee Chair: Oscar Pastor ( Technical University of Valencia, Spain)

PC Chair: Jean Louis Cavarero (University of Nice, France)

PC Co-Chair: Nadine Tournois (University of Nice, France)

'Doctoral Papers' Workshop Chair: André Flory (INSA de Lyon, France)

Publicity Chair: Selmin Nurcan (University of Paris 1 Panthéon Sorbonne, France)

Operating Committee Chair: Martine Collard (University of Nice, France)


Program Committee
http://www.farcampus.com/rcis/committee.php


Keynote Speakers:
        Brian Fitzgerald (University of Limerick, Ireland)
        Colette Rolland (University of Paris 1 Panthéon Sorbonne, France)
        Roel Wieringa (University of Twente, Netherlands)



IMPORTANT DATES:

Papers submission deadline: NOVEMBER 10, 2009

Notification of acceptance and Registration opening: FEBRUARY 1, 2010

RCIS-2010 Conference: MAY 19-21, 2010


Conference contact: rcis <at> farcampus.com


-------------8<-------------------8<-------------------8<-------------------8<-------------------8<--------








----------------------------------------------------------------
Selmin NURCAN
Maître de Conférences / Associate Professor
----------------------------------------------------------------
Submit a paper to the Fourth International Conference on
Research Challenges in Information Science (RCIS'2010)
http://www.farcampus.com/rcis/index.php
Deadline: November 10, 2009
All workshop papers will be published in IEEE proceedings
(Print Version ISBN #978-1-4244-4840-1)
----------------------------------------------------------------
Submit a paper to the 22nd International Conference on
Advanced Information Systems Engineering (CAISE'2010)
http://www.caise2010.rnu.tn
Deadline: November 30, 2009
----------------------------------------------------------------
Don't miss the Second International Workshop on
Business Process Management & Social Software
(BPMS2'09) in conjunction with BPM'09
http://crinfo.univ-paris1.fr/users/nurcan/BPMS2_2009/
All workshop papers will be published by Springer in the LNBIP
(Lecture Notes in Business Information Processing) series
----------------------------------------------------------------
Don't miss the First International Workshop on Service
oriented Architecture Enterprise  for Enterprise Engineering
(SoEA <at> EE'09) in conjunction with EDOC'09
http://crinfo.univ-paris1.fr/users/nurcan/SoEA <at> EE_2009/
All workshop papers will be published in IEEE Computer Society
Proceedings
----------------------------------------------------------------
The University of Paris 1 Panthéon Sorbonne jointly
with the Sorbonne Graduate Business School (IAE) has been
running for the last 11 years, a highly successful 2-year Masters
programme that is now open to Foreign students
http://www.iksem.org
----------------------------------------------------------------
Université Paris 1 - Panthéon - Sorbonne
Centre de Recherche en Informatique
90, rue de Tolbiac 75634 Paris cedex 13 FRANCE                  
http://crinfo.univ-paris1.fr/users/nurcan       
Tel : 33 - 1 44 07 86 34        Fax : 33 - 1 44 07 89 54                                         
mailto:nurcan <at> univ-paris1.fr                    
----------------------------------------------------------------
IAE de Paris    Université Paris 1 - Panthéon - Sorbonne
21, rue Broca 75240 Paris cedex 05 FRANCE       
Tel : 33 - 1 53 55 27 13 (répondeur)    Fax : 33 - 1 53 55 27 01                                                 
----------------------------------------------------------------
To handle yourself, use your head.
To handle others, use your heart.
----------------------------------------------------------------
<div>
<br>Dear Colleague,<br><br>
Please find underneath the Call for Paper for the Fourth IEEE
International Conference on Research Challenges in Information Science
(RCIS'2010). <br><br>
We invite you to submit your work in RCIS'2010 before November 10th.
<br><br><br>
RCIS 2010 is a conference of RCIS CONFERENCE SERIES Ouarzazate
(2007), Marrakech (2008), Fez(2009), Nice (2010)<br><br><br>
RCIS'2010 Proceedings will be published by IEEE (Print Version ISBN
#978-1-4244-4840-1)<br><br>Visit
<a href="http://www.ieee.org/web/conferences/search/index.html" eudora="autourl">http://www.ieee.org/web/conferences/search/index.html</a>
and type RCIS for the conference keyword.<br><br><br><br>
We will be also grateful to you for advertising&nbsp; RCIS'2010 and inviting your colleagues and/or research students to submit their work.<br><br><br>
I hope to meet you in Nice.<br>
Best regards,<br><br>
Selmin Nurcan<br>
RCIS'2010 Publicity Chair<br><br><br><br>*****************************************************************≤br>
(We apologize if you are receiving duplicates through different channels...)<br><br>
*****************************************************************≤br>
Call for Papers<br>4th International Conference on Research Challenges in Information Science (RCIS)<br>
May 19-21, 2010, Nice, France<br><a href="http://www.farcampus.com/rcis/" eudora="autourl">http://www.farcampus.com/rcis/</a><br><br>Co-sponsored by IEEE France Section, EMSI, IAE de Nice and SONEMA. <br><br>
General Chair:&nbsp; Peri Loucopoulos (Loughborough University, UK) <br>
RCIS Steering Committee Chair: Oscar Pastor (Technical University of Valencia, Spain)<br>
PC Chair:&nbsp; Jean Louis Cavarero (University of Nice, France)<br>
PC Co-chair:&nbsp; Nadine Tournois (University of Nice, France)<br>
Doctoral papers &amp; Workshop Chair: Andr&eacute; Flory (INSA de Lyon, France)<br>
Operating Committee Chair: Martine Collard (University of Nice, France)<br><br>Keynote Speakers:<br>Brian Fitzgerald (University of Limerick, Ireland)<br>
Colette Rolland (University of Paris 1 Pantheon Sorbonne, France)<br>
Roel Wieringa (University of Twente, Netherlands)<br><br><br><br>
RCIS 2010 is a conference of RCIS CONFERENCE SERIES Ouarzazate (2007), Marrakech (2008), Fez(2009), Nice (2010)<br><br>Proceedings will be published by IEEE (Print Version ISBN #978-1-4244-4840-1)<br><br>Visit <a href="http://www.ieee.org/web/conferences/search/index.html" eudora="autourl">http://www.ieee.org/web/conferences/search/index.html</a> and type RCIS for the conference keyword.<br><br><br>Papers submission deadline: November 10, 2009<br><br>The Call for Papers and the RCIS'2010 POSTER can be downloaded from the RCIS'2010 Web site <br><a href="http://www.farcampus.com/rcis/call_for_papers.php" eudora="autourl">http://www.farcampus.com/rcis/call_for_papers.</a><a href="http://www.farcampus.com/rcis/call_for_papers.php" eudora="autourl">php<br><br></a>*****************************************************************≤br><br><br>-------------8&lt;-------------------8&lt;-------------------8&lt;-------------------8&lt;-------------------8&lt;--------<br><br>RCIS 2010 <br><br>CALL FOR PAPERS <br><br>The 4th International Conference on RESEARCH CHALLENGES IN INFORMATION SCIENCE <br><br>MAY 19-21, 2010, NICE, FRANCE<br><br>Papers submission deadline: November 10, 2009 <br><a href="http://www.farcampus.com/rcis/" eudora="autourl">http://www.farcampus.com/rcis/</a><br><br><br><br>SCOPE AND TOPICS: <br><br>The Fourth International Conference on RESEARCH CHALLENGES IN INFORMATION SCIENCE (RCIS) aims at providing an international forum for scientists, researchers, engineers and developers from a wide range of information science areas. While presenting research findings and state-of-art solutions, you are especially invited to share experiences on new research challenges in these main topics: <br><br>
- Databases<br>
- Information Systems<br>
- Web Systems<br>
- Business Process Modelling, Analysis and Design<br>
- Intelligent Agents<br>
- Knowledge Management<br>
- Ontologies<br>
- Knowledge Discovery from Data<br>
- Business applications<br>
- Management applications <br><br><br><br>
Each of these topics areas is expanded on the conference web page (<a href="http://www.farcampus.com/rcis/topics.php" eudora="autourl">http://www.farcampus.com/rcis/topics.php</a>). Papers may address one or more of the listed sub-topics, although authors should not feel limited by them. Unlisted but related sub-topics are also acceptable, provided they fit in one of the conference main topics.<br><br><br>CONFERENCE PUBLICATIONS AND BEST PAPERS <br><br>Papers that have already been accepted or are currently under review for other conferences or journals will not be considered for publications at RCIS&#146;2010. Authors are invited to submit papers in English using the paper format indicated below. Each submitted paper will have to be associated to one of the four following categories.<br><br>Technical solution papers present solutions which are novel or significantly improve on existing solutions. A technical solution paper must include a preliminary validation of the proposed solution. Results must be stated clearly enough so that it is possible to validate them in later research. <br><br>Evaluation papers evaluate existing problem situations or validate proposed solutions with scientific means, i.e. by empirical studies, experiments, case studies, simulations, mathematical proofs, etc. The research method must be sound and appropriate. <br><br>Industrial practice and experience papers present problems or challenges encountered in practice, relate success and failure stories, or report on industrial practice. The practice must be clearly described and its context must be given. <br><br>Doctoral Papers are papers submitted by doctoral students (only) and are related to research work in progress. <br><br><br><br>
PAPER SUBMISSION<br><br>By submitting a paper, authors implicitly agree that at least one of them will register to the conference and present the paper. Submitted papers will be reviewed by the RCIS&#146;2010 Program Committee based on originality, significance, technical soundness, and clarity of exposition. A "blind" paper evaluation method will be used. Therefore authors are kindly requested to produce and provide the full paper, without any reference to the authors. <br><br>
The manuscript must contain, in its first page, the paper title, the paper category (Technical solution, Evaluation, Industrial or Doctoral), an abstract and a list of keywords but no names or contact details are to be included in any part of the file. Notification of paper acceptance/rejection will be sent by email.<br><br>The papers which have been presented by their authors during the conference will be puablished in IEEE RCIS&#146;2010 proceedings.<br><br><br>Paper submissions must be formatted using the IEEE 2-column format (see <a href="http://www.ieee.org/" eudora="autourl">http://www.ieee.org</a>). They should be limited to a maximum of 12 pages. <br><br>
All paper submissions will be handled electronically&nbsp; (see //<a href="http://www.farcampus.com/rcis/author.php" eudora="autourl">www.farcampus.com/rcis/author.php</a>). <br><br><br><br>The authors of papers that obtain the highest marks in the reviewing process will be invited to submit an extended version to a journal.<br><br><br><br>
General Chair: Peri Loucopoulos (Loughborough University, UK) <br><br>RCIS Steering Committee Chair: Oscar Pastor ( Technical University of Valencia, Spain)<br><br>PC Chair: Jean Louis Cavarero (University of Nice, France)<br><br>PC Co-Chair: Nadine Tournois (University of Nice, France)<br><br>'Doctoral Papers' Workshop Chair: Andr&eacute; Flory (INSA de Lyon, France)<br><br>Publicity Chair: Selmin Nurcan (University of Paris 1 Panth&eacute;on Sorbonne, France)<br><br>Operating Committee Chair: Martine Collard (University of Nice, France)<br><br><br>Program Committee<br><a href="http://www.farcampus.com/rcis/committee.php" eudora="autourl">http://www.farcampus.com/rcis/committee.php</a><br><br><br>Keynote Speakers: <br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Brian Fitzgerald (University of Limerick, Ireland)<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Colette Rolland (University of Paris 1 Panth&eacute;on Sorbonne, France)<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Roel Wieringa (University of Twente, Netherlands)<br><br><br><br>IMPORTANT DATES: <br><br>Papers submission deadline: NOVEMBER 10, 2009<br><br>Notification of acceptance and Registration opening: FEBRUARY 1, 2010<br><br>
RCIS-2010 Conference: MAY 19-21, 2010<br><br><br>Conference contact: rcis <at> farcampus.com<br><br><br>-------------8&lt;-------------------8&lt;-------------------8&lt;-------------------8&lt;-------------------8&lt;--------<br><br><br><br><br><br><br><br><br>----------------------------------------------------------------<br>Selmin NURCAN<br>
Ma&icirc;tre de Conf&eacute;rences / Associate Professor<br>----------------------------------------------------------------<br>Submit a paper to the Fourth International Conference on <br>
Research Challenges in Information Science (RCIS'2010)<br><a href="http://www.farcampus.com/rcis/index.php" eudora="autourl">http://www.farcampus.com/rcis/index.php</a><br>Deadline: November 10, 2009<br>All workshop papers will be published in IEEE proceedings<br>
(Print Version ISBN #978-1-4244-4840-1)<br>----------------------------------------------------------------<br>Submit a paper to the 22nd International Conference on <br>
Advanced Information Systems Engineering (CAISE'2010)<br><a href="http://www.caise2010.rnu.tn/" eudora="autourl">http://www.caise2010.rnu.tn</a><br>Deadline: November 30, 2009<br>----------------------------------------------------------------<br>Don't miss the Second International Workshop on <br>
Business Process Management &amp; Social Software<br>(BPMS2'09) in conjunction with BPM'09<br><a href="http://crinfo.univ-paris1.fr/users/nurcan/BPMS2_2009/" eudora="autourl">http://crinfo.univ-paris1.fr/users/nurcan/BPMS2_2009/</a><br>All workshop papers will be published by Springer in the LNBIP <br>
(Lecture Notes in Business Information Processing) series <br>----------------------------------------------------------------<br>Don't miss the First International Workshop on Service <br>
oriented Architecture Enterprise&nbsp; for Enterprise Engineering<br>(SoEA <at> EE'09) in conjunction with EDOC'09<br><a href="http://crinfo.univ-paris1.fr/users/nurcan/SoEA <at> EE_2009/" eudora="autourl">http://crinfo.univ-paris1.fr/users/nurcan/SoEA <at> EE_2009/</a><br>All workshop papers will be published in IEEE Computer Society <br>
Proceedings <br>----------------------------------------------------------------<br>The University of Paris 1 Panth&eacute;on Sorbonne jointly <br>
with the Sorbonne Graduate Business School (IAE) has been <br>
running for the last 11 years, a highly successful 2-year Masters <br>
programme that is now open to Foreign students <br><a href="http://www.iksem.org/" eudora="autourl">http://www.iksem.org</a><br>----------------------------------------------------------------<br>Universit&eacute; Paris 1 - Panth&eacute;on - Sorbonne<br>
Centre de Recherche en Informatique<br>
90, rue de Tolbiac 75634 Paris cedex 13 FRANCE&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<br><a href="http://crinfo.univ-paris1.fr/users/nurcan" eudora="autourl">http://crinfo.univ-paris1.fr/users/nurcan</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<br>
Tel : 33 - 1 44 07 86 34 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Fax : 33 - 1 44 07 89 54&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;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <br><a href="mailto:nurcan <at> univ-paris1.fr" eudora="autourl">mailto:nurcan <at> univ-paris1.fr</a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<br>----------------------------------------------------------------<br>IAE de Paris&nbsp;&nbsp;&nbsp; Universit&eacute; Paris 1 - Panth&eacute;on - Sorbonne<br>
21, rue Broca 75240 Paris cedex 05 FRANCE&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<br>
Tel : 33 - 1 53 55 27 13 (r&eacute;pondeur)&nbsp;&nbsp;&nbsp;&nbsp;Fax : 33 - 1 53 55 27 01&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;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <br>----------------------------------------------------------------<br>To handle yourself, use your head.<br>
To handle others, use your heart. <br>----------------------------------------------------------------</div>
Armin Biere | 4 Oct 19:16 2009
Picon

FMCAD'09 Call For Participation

Dear colleague,

we put together a very interesting program for FMCAD'09!

  http://fmv.jku.at/fmcad09

Please register soon. Early registration ends on October 11!

FMCAD'09 takes place from November 15 through 18 at the 
University of Texas at Austin.  Beside presentations of 
30 accepted papers we have

  * two keynotes, one by Turing Award Winner E. Allen Emerson 
    (UT Austin) on "Formal Methods: From Start to Limit" and 
    another keynote from John D. Barton (Intel) on "Post Silicon 
    Validation/Verification practices in the PC industry"

  * three industrial experience reports by Michael Theobald 
    (D.E. Shaw), John Penix (Google), and 
    Jorg Bormann (OneSpin Solutions),

  * and last but not least two tutorials, one by 
    Nikolaj Bjorner (Microsoft) on "Bit-Precise Constraints: 
    Applications and Decision Procedures" and another tutorial by
    Moshe Vardi (Rice) on "Formal Techniques for SoC Verification"

There are two panels organized by Vigyan Singhal (Oski Technology)

  * a semiconductor panel on the topic "Frontline users speak up!
    What works, What doesn't, and What are they doing about it?"

    Ken Albin (AMD), Alan Carlin (Freescale), Velu Durairaj (TI),
    Alan Hunter (ARM), Tushar Ringe (ADI), Dan Smith (NVIDIA)

    moderated by Adnan Aziz (UT Austin)

  * an EDA vendors lunch panel on "What will be the next 
    breakthrough solutions in formal?"

    Harry Foster (Mentor Graphics), 
    Ziyad Hanna (Jasper Design Automation),
    Kevin Harrer (Synopsys), Axel Scherer (Cadence)

    moderated by JL Gray (Verilab)

Note again that early registration ends already on October 11.

We hope to see you in Austin!

Regards,

Armin Biere and Carl Pixley (co-chairs)
Wang Yi | 5 Oct 22:08 2009
Picon
Picon

HSCC 2010 submission deadlines extended

[Our apologies if you receive multiple copies]

    * Abstracts due: October 10, 2009, 11:59pm PST
    * Papers due: October 17, 2009, 11:59pm PST

===================================================================
The 13th ACM International Conference on Hybrid Systems:
Computation and Control (HSCC'10) in conjunction with CPSWEEK
             April 12-16, 2010, Stockholm
               http://hscc10.it.uu.se
===================================================================

HSCC'10 will be part of the 3rd Cyber-Physical Systems Week (CPSWeek)
collocated in Stockholm, Sweden with RTAS (Real-Time and Embedded
Technology and Applications Symposium), IPSN (International Conference
on Information Processing in Sensor Networks), and  LCTES (Languages,
Compilers, and Tools for Embedded Systems).

HSCC is an international conference dedicated to the theory and
practice of embedded reactive systems involving the interplay between
discrete and continuous dynamic behaviors. Academic and industrial
researchers are invited to exchange information on the latest
development of applications and theoretical advancements in the
analysis, design, control, optimization and implementation of hybrid
systems. Submissions are invited in all areas pertaining to the
analysis, design, control, optimization, implementation, and
applications of hybrid systems.

Topics of interest include, but are not limited to:

  * Models of heterogeneous systems;
  * Computability and complexity;
  * Real-time computing and control;
  * Embedded and resource-aware systems;
  * Computation and control over wireless networks;
  * Networked embedded systems;
  * Autonomous and robotic systems;
  * Tools for analysis, verification, control, and optimization;
  * Programming languages support and implementation;
  * Applications including automotive, communication networks, avionics,
    energy systems, transportation networks, manufacturing and robotics,
    biology and other sciences.

      Important Dates (EXTENDED)

    * Abstract submission: October 10, 2009, 11:59pm PST
    * Full paper submission: October 17, 2009, 11:59pm PST
    * Author notification: December 7
    * Final version: January 9

Submission Guidelines:
----------------------

Submitted papers should present original research that is unpublished
and not submitted elsewhere. Papers should be no more than 10 pages,
10-point, 2-column in ACM format. Accepted papers will be published by ACM.
There will also be a possibility to present work-in-progress papers (for 
which
the submission deadline will be in January/February 2010).
Submission site: http://hscc10.it.uu.se

Program Chairs:
---------------

Karl Henrik Johansson, KTH, Sweden
Wang Yi, Uppsala University, Sweden

Program Committee:

   * Alessandro Abate, Delft University of Technology, the Netherlands
   * Aaron Ames, Texas A&M University, USA
   * Panos Antsaklis, University of Notre Dame, USA
   * Eugene Asarin, Paris University
   * Alexandre Bayen, University of California, Berkeley, USA
   * Alberto Bemporad, University of Siena, Italy
   * Frank de Boer, CWI, Netherlands
   * Domitilla del Vecchio, University of Michigan, USA
   * Martin Fränzle, Carl von Ossietzky Universität, Germany
   * Maurice Heemels, Eindhoven University of Technology, Netherlands
   * Christoph Kirsch, University of Salzburg, Austria
   * Jun-ichi Imura, Tokyo Institute of Technology, Japan
   * Kim Larsen, Aalborg University, Denmark
   * Michael Lemmon, University of Notre Dame, USA
   * John Lygeros, ETH, Switzerland
   * Ian Mitchell, University of British Columbia, Canada
   * Sayan Mitra, University of Illinois at Urbana-Champaign, USA
   * Luigi Palopoli, Università degli Studi di Trento, Italy
   * Paritosh Pandya, Tata Institute of Fundamental Research Research,
     India
   * Paul Pettersson, Malardalen University, Sweden
   * Andre Platzer, Carnegie Mellon University, USA
   * Giordano Pola, University of L'Aquila, Italy
   * Nacim Ramdani, INRIA, France
   * Jean-Francois Raskin, Université Libre de Bruxelles, Belgium
   * Sriram Sankaranarayanan, NEC Laboratories, USA
   * Luca Schenato, University of Padova, Italy
   * Oleg Sokolsky, University of Pennsylvania
   * Paulo Tabuada, University of California, Los Angeles, USA
   * P.S. Thiagarajan, National University of Singapore
   * Stavros Tripakis, Verimag, France/UC Berkerley, USA
   * Manel Velasco, Universitat Politècnica de Catalunya, Spain
   * Jan Lunze, Ruhr-Universität Bochum, Germany
   * Gera Weiss, Ben Gurion University, Israel (no web page found)
   * Jingling Xue, University of New South Wales, Austrailia

Steering Committee:
-------------------

Rajeev Alur, Univ. Pennsylvania, USA
Bruce Krogh, CMU, USA
Oded Maler, VERIMAG, France
Manfred Morari, ETH, Switzerland
George Pappas, Univ. Pennsylvania, USA
Werner Damm, OFFIS, Germany
Christophe Joubert | 6 Oct 09:49 2009
Picon

CfPart: FMICS 2009, 2-3 November 2009, Final Call


FMICS 2009 - FINAL CALL FOR PARTICIPATION
Please visit: http://users.dsic.upv.es/workshops/fmics2009

************************************************************
*             14th International Workshop on               *
*      Formal Methods for Industrial Critical Systems      *
*                      FMICS 2009                          *
*                                                          *
*                part of the first FMweek                  *
*                   November 2-3, 2009                     *
*               Eindhoven, The Netherlands                 *
************************************************************
*                      ** NEWS **                          *
*                                                          *
*        >> Final programme                                *
*                                                          *
*        >> Normal registration before October 19          *
*                                                          *
*        >> Springer LNCS 5825 proceedings                 *
*                                                          *
************************************************************

FMICS 2009  is the fourteenth  in a series  of International
Workshop on Formal Methods  for Industrial Critical Systems.
Previous  workshops of  the  ERCIM working  group on  Formal
Methods for Industrial Critical  Systems were held in Oxford
(March  1996), Cesena  (July  1997),  Amsterdam (May  1998),
Trento (July 1999), Berlin  (April 2000), Paris (July 2001),
Malaga (July  2002), Trondheim (June 2003),  Linz (September
2004), Lisbon  (September 2005), Bonn (August  2006), Berlin
(July 2007), and L'Aquila (September 2008).

The aim of  the FMICS workshop series is to  provide a forum
for researchers  who are  interested in the  development and
application of  formal methods  in industry.  In particular,
these workshops bring together  scientists and engineers who
are active in the area  of formal methods and are interested
in exchanging  their experiences in the  industrial usage of
these  methods.  These  workshops  also  strive  to  promote
research  and  development  for the  improvement  of  formal
methods and tools for industrial applications.

Complete  and up  to date  information can  be found  at the
event website http://users.dsic.upv.es/workshops/fmics2009/.
FMICS 2009 is  part of the 1st FMweek  (Formal Methods week,
http://www.win.tue.nl/fmweek/),  which  brings  together  10
international  scientific  events,  6  project  and  working
group  meetings,  and  a  variety  of  other  activities  in
the  area.  Further  information  about  the  FMICS  working
group  and  the  next  FMICS   workshop  can  be  found  at:
http://www.inrialpes.fr/vasy/fmics.

INVITED SPEAKERS
----------------
Dino Distefano       Queen Mary, University of London, UK
Diego Latella        CNR/ISTI, Italy
Thierry Lecomte      ClearSy, France
Ken McMillan         Cadence Berkeley Labs, USA

Following  a   tradition  established  over  the   past  few
years,  the European  Association  of  Software Science  and
Technology  (EASST)   will  offer  an  award   to  the  best
FMICS  paper.

PROGRAM CHAIRS
--------------
Maria Alpuente       Technical University of Valencia, Spain
Byron Cook           Microsoft Research, UK

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

VENUE
-----
The  venue for  FMICS 2009  is the  Auditorium of  Eindhoven
University of Technology. The  university campus lies in the
centre of  Eindhoven, within walking distance  of conference
hotels. The city  itself can easily be reached  via both its
own airport and Schiphol (the Dutch mainport).

REGISTRATION
------------
The  event   website  provides   a  one-stop   window  where
participants  can   register  to  FMICS  2009   and  to  any
combination of FMweek events they would  like to participate
in, and make hotel reservation for their stay in Eindhoven.

************************************************************
*                                                          *
*      +============================================+      *
*      |                                            |      *
*      |                 ** FMweek **               |      *
*      |                                            |      *
*      +============================================+      *
*      |     FMICS     |    FM2009    |   REFINE    |      *
*      +--------------------------------------------+      *
*      |        PDMC      |     TESTCOM/FATES       |      *
*      +--------------------------------------------+      *
*      |    FACS   |   CPA   |   FAST   |   FMCO    |      *
*      +--------------------------------------------+      *
*      |        http://www.win.tue.nl/fmweek        |      *
*      +============================================+      *
*                                                          *
************************************************************

Ion Petre | 6 Oct 13:50 2009
Picon

CfPart: Tutorial on Comp. SysBio, Workshop on Computational Models for Cell Processes

Call for participation for two events connecting computer science and
biology, 
in conjunction with Formal Methods 2009:

1. Tutorial on Computational Systems Biology
	Eindhoven, the Netherlands, November 2, 2009
	http://combio.abo.fi/tcsb09/ 
	Registration deadline: October 16, 2009

2. Second International Workshop on Computational Models for Cell Processes
           Eindhoven, the Netherlands, November 3, 2009
           http://combio.abo.fi/compmod09/
	Registration deadline: October 19, 2009

1. Tutorial on Computational Systems Biology (November 2, 2009, full day
event)
--------------------------------------------
- Lecturers: Ion Petre and Ralph-Johan Back, Abo Akademi University, Finland

- Content: This one-day tutorial provides an introduction to computational 
systems biology, starting with a crash course on molecular biology for 
computer scientist and continuing with discrete, continuous and stochastic 
modeling techniques, as well as formal methods-based approaches. A 
demonstration is included on Copasi (Complex Pathway Simulator), a useful 
tool for modeling and simulating sysbio projects. The well-known heat 
shock response, that the lecturers and their research groups have been 
working on already for some years, will serve as a running example 
connecting the various topics.

- Registration deadline: October 16, 2009

2. Workshop on Computational Models for Cell Processes (November 3, 2009)
------------------------------------------------------

FOCUS
-----
Computational systems biology is an exciting new application area for
applied mathematics and computer science. This workshop of the 16th
International Symposium on Formal Methods fosters an excellent platform
gathering researchers in formal methods and related fields that are
interested in the wealth of opportunities and challenges in systems biology.

INVITED SPEAKERS
----------------
- Jasmin Fisher (Microsoft Research Cambridge)
- Hidde de Jong (INRIA Grenoble - Rhone-Alpes)
- Grzegorz Rozenberg (University of Leiden)

ACCEPTED PAPERS
---------------
- Bogdan Aman and Gabriel Ciobanu. Mobile Membranes with Timers 
- Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo Schettini and Paolo
Milazzo. On the Interpretation of Delays in Delay Stochastic Simulation of
Biological Systems 
- Jiri Barnat, Lubos Brim, Ivana Cerna, Sven Drazan, Jana Fabriková and
David Safranek. BioDiVinE: A Framework for Parallel Analysis of Biological
Models 
- Daniela Besozzi, Paolo Cazzaniga, Matteo Dugo, Dario Pescini and Giancarlo
Mauri. A study on the combined interplay between stochastic fluctuations and
the number of flagella in bacterial chemotaxis 
- Luca Bortolussi and Alberto Policriti. Hybrid Semantics of Stochastic
Programs with Dynamic Reconfiguration. 
- Mario Coppo, Ferruccio Damiani, Elena Grassi, Mike Guether and Angelo
Troina. Modelling an Ammonium Transporter with SCLS 
- Laurence Loewe, Stuart Moodie and Jane Hillston. Quantifying the implicit
process flow abstraction in SBGN-PD diagrams with Bio-PEPA 
- Heike Siebert. Dynamical and Structural Modularity of Discrete Regulatory
Networks

REGISTRATION AND IMPORTANT DATES
---------------------------------
- Registration: http://www.win.tue.nl/fm2009/ 
- Registration deadline: October 19, 2009 
- Late registration: after October 19, including on-site registration
- Workshop: November 2, 2009

PROGRAMME COMMITTEE
-------------------
- Ralph Back, Abo Akademi, Finland
- Lubos Brim, Masaryk University, Czech Republic
- Muffy Calder, University of Glasgow, UK
- Eugen Czeizler, Abo Akademi, Finland
- Vincent Danos, University of Edinburgh, UK
- Russ Harmer, University of Paris 7, France
- Monika Heiner, Brandenburg University of Technology Cottbus, Germany
- Jane Hillston, University of Edinburgh, UK
- Ina Koch, Max Planck Institute for Molecular Genetics, Germany
- Vincenzo Manca, University of Verona, Italy
- Giancarlo Mauri, University of Milan-Bicocca, Italy
- Satoru Miyano, University of Tokyo, Japan
- Andrei Paun, Louisiana Tech University, US
- Ion Petre, Abo Akademi, Finland
- Jaco van de Pol, University of Twente, the Netherlands
- Alberto Policriti, University of Udine, Italy
- Erik de Vink, Eindhoven University of Technology, the Netherlands

ORGANIZERS
----------
- Ion Petre, ipetre 'AT' abo.fi
- Erik de Vink, evink 'AT' win.tue.nl
- Ralph-Johan Back, backrj 'AT' abo.fi

VENUE: Technische Universiteit Eindhoven, the Netherlands

Bechir ZALILA | 6 Oct 13:47 2009
Picon

NOTERE'2010: 1st Call for Papers


                     NOTERE’2010: CALL FOR PAPERS

              The 10th Annual International Conference on
                 New Technologies of Distributed Systems

                 31 May - 2 June  2010,  Tozeur, Tunisia

                       http://notere2010.redcad.org

Technically Co-sponsored by the Computer Society Chapter of the
IEEE-Tunisia section.

-----------
Background
-----------

The technologies for information distribution are still evolving
changing. The International Conference on new distributed systems
technologies (NOTERE 2010: NOuvelles TEchnologies de la REpartition)
is a bilingual (French/English) forum for engineers and scientists in
academia, industry and government to present the recent advances and
latest research results in the design, implementation, deployment, and
evaluation of distributed system platforms, applications and
architectures. NOTERE 2010 will include a high quality scientific
program, invited speakers, tutorials and workshops in conjunction with
the conference.

After the nine past conferences held successively in Pau, Montreal,
Paris, Saadia, Gatineau, Toulouse, Marrakech, Lyon, Montreal, the
tenth edition of NOTERE will be Held in Tozeur in Tunisia.

--------------------
Topics of Interests
--------------------

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

 * Service oriented Architecture, Web applications, Web services
 * Domain Specific languages for distributed systems
 * Object, component, and agent based distributed systems 
 * Collaborative Applications, Distributed and mobile coordination et
   collaboration
 * Distributed Algorithms 
 * Reliability and scalability of distributed systems
 * Context-aware, self-adaptation, self-reparation, and self-* 
 * Autonomous middleware, Event based middleware
 * Communication Architectures and protocols
 * Service oriented architecture of network services
 * Sensor Networks, ubiquitous Networks and their  applications
 * Peer to peer systems and their applications
 * Management of distributed information and  management policies
 * Modeling, Formal and Semi-formal methods, and tools for distributed
   systems
 * Privacy, trust and security in distributed systems
 * Semantic approaches and ontology for modeling and management of
   distributed systems
 * QoS Management in distributed systems
 * Cloud computing, Grid computing et their applications
 * Software and middleware for embedded distributed systems and their
   applications

-----------------------------
Paper Submission & Selection
----------------------------- 

 * Papers should be written in English or French, and must be
   submitted electronically in IEEE 2-column style. The cover page
   should include paper title, author's full names, affiliations and
   complete addresses, abstract, and a list of keywords.

 * Authors must upload their paper as PDF file using the NOTERE'2010
   submission system hosted by Easy Chair
   https://www.easychair.org/login.cgi?conf=notere2010. If any problem
   arises when submitting your paper, please contact us at the
   following email address: : notere2010 <at> redcad.org.

 * Each submitted paper will be evaluated by at least three reviewers
   of the program committee. At least one author of each accepted
   paper should participate at the conference in order to present it.

------------
Publication
------------

 * All accepted papers will be published in the conference proceedings
   edited by IEEE. Only those which are written in English will be
   published in IEEE Xplore.

----------------
Important Dates
---------------- 

Deadline for Research Paper Submission

   * Paper Submission: January 20, 2010
   * Acceptance Notification : Mars 20, 2010
   * Camera Ready Version: April 15, 2010
   * Conference days:  31 May - 2 June  2010

Deadline for workshop submission

   * Workshop proposals due: November 15, 2009
   * Notification of acceptance : November 22, 2009
   * Workshop website and complete CfP due: December 15, 2009
   * Workshops Days: May 29-30, 2010

-----------
Committees
-----------

Program Committees Chairs:
 * Khalil Drira , LAAS - University of Toulouse, France (khalil <at> laas.fr) 
 * Mohamed Jmaiel , ENIS - Sfax, Tunisia (mohamed.jmaiel <at> enis.rnu.tn)

Steering Committee:
 * Djamal Benslimane, LIRIS - Lyon, France
 * Rachida Dssouli, CIISE - Montreal, Canada
 * Mohammed Erradi, LAGI - Rabat, Morocco
 * Abdellatif Obaid , UQAM - Montreal, Canada
 * Pierre de Saqui-Sannes, LAAS - University of Toulouse, France

Workshop Chair:
 * Tarak Chaari, ISECS – University of Sfax, Tunisia
   (tarak.chaari <at> redcad.org)

Organization Committee Chair:
 * Ahmed Hadj Kacem, FSEGS - University of Sfax, Tunisia
   (ahmed.hadjkacem <at> fsegs.rnu.tn)

Organization Committee:
 * Riadh Ben halima, ENIS - University of Sfax, Tunisia
 * Mohamed Hadj Kacem, ISIM - University of Sfax, Tunisia
 * Slim Kallel, FSEG - University of  Sfax, Tunisia
 * Bechir Zalila, ENIS - University of Sfax, Tunisia

Program Committee:
 * Ludovic Apvrille, TELECOM ParisTech - Paris, France
 * Bechir Ayeb, FSM - Monastir, Tunisia
 * Daniel Amyot, SITE - Ottawa University, Canada
 * Abdelfettah Belghith, ENSI – University of  Manouba, Tunisia
 * Boualem Benatallah, UNSW - Sydney, Australia
 * Djamal Benslimane, UCBL- Lyon, France
 * Grégor von Bochmann, Ottawa University, Canada
 * Azzedine Boukerche, SITE – Ottawa University, Canada
 * Anna Cavalli, TELECOM SudParis -Evry, France
 * Soumaya Cherkaoui,  Sherbrook University, Canada
 * Dalila Chiadmi, UMI - Rabat, Morocco
 * Isabelle Chrisment, LORIA -Nancy, France
 * Pierre Cointe, Ecole des Mines - Nantes, France
 * Paulo Cunha, CIN-UFPE Recife - Pernambuco, Brazil
 * Michel Diaz, LAAS-CNRS - University of Toulouse, France
 * Khalil Drira, LAAS-CNRS - University of Toulouse, France
 * Rachida Dssouli, Concordia University, Canada
 * Mohammed Erradi, ENSIAS - Rabat, Morocco
 * Mamoun Filali Amine, IRIT - University of Toulouse, France
 * Faiez Gargouri, ISIMS - University of Sfax, Tunisia
 * Reinhard Gotzhein, University of Kaiserslautern, Germany
 * Ahmed Hadj Kacem, FSEGS - University of Sfax, Tunisia
 * Zahi Jarir,  Cadi Ayyad University - Marrakech, Morocco
 * Claude Jard, National High School of Cachan, France
 * Mohamed Jemni, ESSTT - University of Tunis, Tunisia
 * Mohamed Jmaiel, ENIS - University of Sfax, Tunisia
 * Ferhat Khendek, Concordia University, Canada
 * Ahmed Khoumsi, Sherbrook University, Canada
 * Marc Lacoste, Orange Labs - Issy Les Moulineaux, France
 * Jean-Christophe Lapayre, University of Franche-Comté, France
 * Luigi Logrippo, SITE – Ottawa University, Canada
 * Zakaria Maamar, Zayed University - Abu Dhabi,  UAE
 * Ali Mhidi, GM - Oakland, USA
 * Fatma Mili, Oakland University, USA
 * Hafedh Mili, UQAM- Montreal, Canada
 * Mohamed Mosbah, ENSERB - University of Bordeaux, France
 * Ghita Mostefaoui, Diamond Light Source - Oxford, United Kingdom
 * John Mullins, Polytechnic School  of Montreal, Canada
 * Olga Nabuco, CTI CENPRA -  Campinas, Brazil
 * Elie Najm, TELECOM ParisTech - Paris, France
 * Guevara Noubir, Northeastern University, USA
 * Abdellatif Obaid, UQAM- Montreal, Canada
 * Mauro Oliveira, Technical Federal School - Fortaleza, Brazil
 * Laurent Pautet, TELECOM ParisTech - Paris, France
 * Guy Pujolle, LIP6 - Paris, France
 * Aziz Salah, UQAM - Montreal, Canada
 * Pierre de Saqui-Sannes, LAAS-CNRS - University of Toulouse, France
 * Ahmed Serhrouchni, TELECOM ParisTech - Paris, France
 * Samir Tata, TELECOM SudParis -Evry, France
 * Said Tazi, LAAS-CNRS - University of Toulouse, France
 * Jean-Pierre Thomesse, LORIA -Nancy, France
 * Ken Turner, Université de Stirling, United Kingdom
 * Christelle Vangenot, Polytechnic Federal School of Lausanne, Suisse
 * Thierry Villemur, LAAS-CNRS - University of Toulouse, France
 * Roberto Willrich, Federal University of  Santa Catarina, Brazil

------------------
General Inquiries
------------------

For further information, please visit http://notere2010.redcad.org or
send emails to notere2010 <at> redcad.org
----
[[ 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 ]]
Michael Duvigneau | 6 Oct 17:52 2009
Picon

PN-Simulator Renew 2.2 available

Dear Petri-Netters,

we are happy to announce the new version 2.2 of the
Java-based Petri net tool Renew.

Please visit our web page at

http://www.renew.de/

for more information on Renew. From the same address you can
download the ready-to-install archives of the new version 2.2
and the source code at your option.  We do not require any
registration to download the software, but any feedback from
you is greatly welcome.

Improvements include the graphical export to file formats like
PDF, PNG and SVG, several additions to figure handling, and the
internal separation of simulation threads.

Note that from Renew 2.2 on, at least Java 1.5 is required
to run or compile Renew.

Please feel free to contact us by email at

mailto:support <at> renew.de

if you have any questions.

Yours,
Michael Duvigneau
Lawrence Cabac


Gmane