===================================================
CALL FOR PAPERS
International Conference on Software Engineering Advances, ICSEA 2006
October 29 -November 1, 2006, Tahiti.
Call for Papers: http://www.iaria.org/conferences/CfPICSEA06.html
Submission: Go to http://www.iaria.org/conferences/ICSEA06.html
and click "Submit a paper"
Deadlines:
Submission deadline: June 11, 2006
Notification: July 1, 2006
Camera ready: July 15, 2006
The conference has the following tracks:
Track 1 Advances in fundamentals for software development
Track 2 Advanced mechanisms for software development
Track 3 Advanced design tools for developing software
Track 4 Advanced facilities for accessing software
Track 5 Software performance
Track 6 Software security, privacy, safeness
Track 7 Advances in software testing
Track 8 Specialized software advanced applications
Track 9 Open source software
Track 10 Agile software techniques
Track 11 Software deployment and maintenance
Track 12 Software economics, adoption, and education
===================================================
===================================================
CALL FOR PAPERS
International Conference on Systems and Networks Communications, ICSNC 2006
November 2 - November 4, 2006, Tahiti.
Call for Papers: http://www.iaria.org/conferences/CfPICSNC06.html
Submission: Go to http://www.iaria.org/conferences/ICSNC06.html
and click "Submit a paper"
Deadlines:
Submission deadline: June 11, 2006
Notification: July 1, 2006
Camera ready: July 15, 2006
The conference has the following specialized topics (mini-conferences):
WINET 2006 Wireless networks
HSNET 2006 High speed networks
SENET 2006 Sensor networks
MHNET 2006 Mobile and Ad hoc networks
SESYS 2006 Security systems
MCSYS 2006 Multimedia communications systems
POSYS 2006 Policy-based systems
PESYS 2006 Pervasive education systems
==================================================
Looking for your submissions.
For more information: pdini(a)cisco.com
[Please accept our apologies if you receive multiple copies of this
message.]
Eighth International Symposium on Stabilization, Safety, and Security of
Distributed Systems
(formerly Symposium on Self-stabilizing Systems) (SSS 2006)
November 17th-19th, 2006
Dallas, Texas, USA
http://www.irisa.fr/sss/2006/
==============================================================================
Selected papers will be published in a special issue of the ACM
Transactions
on Autonomous and Adaptive Systems (TAAS).
==============================================================================
==============================================================================
Important Dates
Paper Submission: July 7th, 2006
Notification to Authors: August 21st, 2006
Camera-ready: August 31st, 2006
Symposium: November 17th-19th, 2006
==============================================================================
The Symposium is a prestigious international forum for researchers and
practitioners in the design and development of fault-tolerant distributed
systems with self-* properties, such as self-stabilizing, self-configuring,
self-organizing, self-managing, self-repairing, self-healing,
self-optimizing,
self-adaptive, and self-protecting.
The theory of self-stabilization has been enriched in the last 25 years by
high quality research contributions in the areas of algorithmic techniques,
formal methodologies, model theoretic issues, and composition techniques.
All these areas are essential to the understanding and maintenance of
self-*
properties in fault-tolerant distributed systems.
Research in distributed systems is now at a crucial point in its evolution,
marked by the importance of dynamic systems such as peer-to-peer networks,
large-scale wireless sensor networks, mobile ad hoc networks, robotic
networks,
etc. Moreover, new applications such as grid and web services, banking and
e-commerce, e-health and robotics, aerospace and avionics, automotive,
industrial process control, etc. have joined the traditional
applications of
distributed systems.
Now, more than ever, the theory of self-stabilization has tremendous
impact in these areas. Therefore, this year, we are extending the scope of
the symposium to cover all safety and security related aspects of self-*
systems. The title of the conference has been changed to reflect this
expansion. There will be three tracks: networking, safety and security,
and
self-* properties in static and dynamic systems.
The symposium solicits contributions on all aspects of self-stabilization,
safety and security, recovery oriented systems and programing, from
theoretical
contributions, to reports of the actual experience of applying the
principles
of self-stabilization to static and dynamic systems.
Topics of interest include, but are not limited to:
Stabilization:
- self-stabilizing systems
- self-managed, self-assembling, autonomic and adaptive systems
- self-optimizing and self-protecting systems
- self-* abstractions for implementing fundamental services in static and
dynamic distributed systems
- impossibility results and lower bounds for self-* systems
- application of stabilizing algorithms and techniques in dynamic
distributed
systems
- data and code stabilization
- algorithms for self-* error detection/correction
Safety:
- safety critical systems
- trust models and specifications
- semantics of trust, distrust, mistrust, over-trust, cheat, risk and
reputation
- trust-related security and privacy
- reliable and dependable systems
- fault-tolerant systems, hardware redundancy, robustness, survivable
systems,
failure recovery
Security:
- security of network protocols
- security of sensor and mobile networks protocols
- secure architectures, frameworks, policy, intrusion detection/awareness
- proactive security
- self-* properties and their relation with classical fault-tolerance and
security
- security protocols for self-* systems
Networks and Applications:
- models of fault-tolerant communication
- stochastic, physical, and biological models to analyze self-* properties
- communication complexity
- data structures for efficient communication
- self-stabilizing hardware, software, and middleware
- algorithms for high-speed networks, sensors, wireless and robots networks
- mobile agents
- peer-to-peer networks, sensor networks, MANETs, and wireless mesh
networks
- network topologies, overlays, and protocols
- protocols for secure and reliable data transport and search in
wireless mesh
networks
- information storage and sharing in wireless mesh networks
Contributors are invited to submit a PDF file of their paper. Submissions
should be no longer than 4800 words and should not exceed 12 pages on
letter-size paper using at least 11 point font and reasonable margins (the
page limit includes all figures, tables, and graphs). Submissions should
include a cover page (that does not count towards the 12 page limit) that
includes paper title, authors and affiliations, contact author's e-mail
address, an abstract of the work in a few lines, and a few keywords.
Submitted
papers may have appendices beyond the 12 page limit, but reviewers are
free to
disregard any material beyond the 12 page limit. A paper submitted to
SSS 2006
is expected to be original research not previously published; a
submission may
not be concurrently submitted or to any other conference, workshop, or
journal.
The proceedings of the conference will be published in the Springer Verlag
Lecture Notes in Computer Science (LNCS) series. Selected papers will be
published in a special issue of the ACM Transactions on Autonomous and
Adaptive
Systems (TAAS).
General Chair:
Mohamed Gouda, University of Texas at Austin, USA, gouda(a)cs.utexas.edu
Program Co-chairs:
Ajoy K Datta University of Nevada Las Vegas, USA, datta(a)cs.unlv.edu
Maria Gradinariu, IRISA, France, mgradina(a)irisa.fr
Local Arrangements Chair:
Jorge Cobb, University of Texas at Dallas, USA, cobb(a)utdallas.edu
Ravi Prakash, University of Texas at Dallas, USA, ravip(a)utdallas.edu
Publicity and Web Chair:
Florent Claerhout, IRISA, France, fclaerho(a)irisa.fr
Steering Committee:
Anish Arora, Ohio State University, USA, anish(a)cse.ohio-state.edu
Ajoy K. Datta, University of Nevada Las Vegas, USA, datta(a)cs.unlv.edu
Shlomi Dolev, Ben-Gurion University of the Negev, Israel,
dolev(a)cs.bgu.ac.il
Sukumar Ghosh, Chair, University of Iowa, USA, ghosh(a)cs.uiowa.edu
Mohamed G. Gouda, University of Texas at Austin, USA, gouda(a)cs.utexas.edu
Ted Herman, University of Iowa, USA, ted-herman(a)uiowa.edu
Shing-Tsaan Huang, National Central University, Taiwan,
sthuang(a)csie.ncu.edu.tw
Toshimitsu Masuzawa, Osaka University, Japan, masuzawa(a)ist.osaka-u.ac.jp
Vincent Villain, Universie de Picardie, France, villain(a)laria.u-picardie.fr
CALL FOR PAPERS
***********************************************************************************************
****EXTENDED DEADLINE JUNE 04, 2006****
2ND INTERNATIONAL WORKSHOP ON SECURITY AND TRUST MANAGEMENT (STM'06)
Hamburg,Germany - September 20, 2006 (in conjunction with ESORICS 2006)
http://www.hec.unil.ch/STM06/
***********************************************************************************************
STM (Security and Trust Management) is a recently established working
group of ERCIM (European Research Consortium in Informatics and
Mathematics). STM 2006 is the second workshop in this series, and has
the following aims:
- to investigate the foundations and applications of security and trust
in ICT
- to study the deep interplay between trust management and common
security issues such as confidentiality, integrity and availability
- to identify and promote new areas of research connected with security
management, e.g. dynamic and mobile coalition management (e.g., P2P,
MANETs, Web/GRID services)
- to identify and promote new areas of research connected with trust
management, e.g. reputation, recommendation, collaboration etc
- to provide a platform for presenting and discussing emerging ideas
and trends
Topics of interest include but are not limited to:
- semantics and computational models for security and trust
- security and trust management architectures, mechanisms and policies
- networked systems security
- privacy and anonymity
- Identity management
- ICT for securing digital as well as physical assets
- cryptography
The primary focus is on high-quality original unpublished research, case
studies, and implementation experiences. We encourage submissions
discussing the application and deployment of security technologies in
practice.
Paper submissions. Submitted papers must not substantially overlap papers
that have been published or that are simultaneously submitted to a
journal or a conference with proceedings. Papers must have authors'
affiliation and contact information on the first page. Papers are limited
to 12 pages in ENTCS style format (using the generic template).
Excessively long papers will be returned without review. Accepted papers
will be published in a post-workshop ENTCS volume. To submit a paper,
please visit http://www.easychair.org/STM06/ . For more information
contact stm06(a)dti.unimi.it
Papers must be received by the deadline of June 04, 2006.
IMPORTANT DATES
Paper submission due: ****Extended Deadline June 04, 2006****
Acceptance notification: June 30, 2006
Final Papers due: August 20, 2006
GENERAL CHAIRS
Solange Ghernaouti Hélie
Univ. Lausanne, CH
email: sgh(a)unil.ch
Ulrich Ultes-Nitsche
Univ. Fribourg, CH
email: uun(a)unifr.ch
PROGRAM CO-CHAIRS
Sandro Etalle
University of Twente, NL
email: sandro.etalle(a)utwente.nl
Pierangela Samarati
Universita' di Milano - Italy
email: samarati(a)dti.unimi.it
PUBLICATION CHAIR
Sara Foresti
Universita' di Milano - Italy
email: foresti(a)dti.unimi.it
PUBLICITY CHAIR
Claudio A. Ardagna
Universita' di Milano - Italy
email: ardagna(a)dti.unimi.it
PROGRAM COMMITTEE:
Viajy Atluri, Rutgers Univ., USA
Joris Claessens, Microsoft EMIC, DE
Sabrina De Capitani di Vimercati, Univ. Milano, IT
Theo Dimitrakos, British Telecom, UK
Mara Isabel González Vasco, Univ. Rey Juan Carlos, SP
Stefanos Gritzalis, Univ. of Aegean, GR
Peter Herrmann, NTNU, NO
Valerie Issarny, INRIA, FR
Guenter Karjoth, IBM Research, CH
Antonio Lioy, Politecnico di Torino, IT
Javier Lopez, Univ. Malaga, SP
Fabio Martinelli, IIT-CNR, IT
Sjouke Mauw, Technical Univ. Eindhoven, NL
Daniel Olmedilla, L3S, GR
Babak Sadighi, SICS, SE
Luca Vigano', ETH Zurich, CH
Will Winsborough, Univ. Texas at S. Antonio, USA
Ting Yu, North Carolina State Univ., USA
Alec Yasinsac, Florida State Univ., USA
This call for papers and additional information about the conference
can be found at http://www.hec.unil.ch/STM06
(Apologies if you receive this call multiple times.)
***********************************************************************
CALL FOR POSTERS and DEMOS
*Deadline: June 30, 2006, 5 pm EDT*
IEEE SECON 2006
The Third IEEE International Conference on
Sensors, Mesh and Ad Hoc Communications and Networks
http://www.ieee-secon.org/2006/
Sponsored by IEEE Communications Society (www.comsoc.org)
Technically Co-Sponsored by AFCEA (www.afcea.org)
September 25-28, 2006
Reston, Virginia, USA (Near Washington DC's Dulles airport)
************************************************************************
To provide a forum for discussion and personal interaction between
presenter and participants, IEEE SECON 2006 will include poster and
demonstration sessions: works in progress, industry demonstrations of
new applications and techniques, practical implementations, military,
industrial and commercial developments, research testbeds and
demonstrations, recent research/implementation results, upcoming
research challenges, future directions, and novel approaches in the
fields of sensor, mesh and ad hoc communications and networks. One of
the key goals of this conference is to foster collaboration between
industry, government agencies and academia. Hence, participation of
researchers/developers from industry or governement agencies and
posters/demonstrations reporting joint work are especially encouraged.
Topics considered for posters and demo are, but not limited
to:
* New architectures and protocols to support
communication, localization, time synchronization,
routing, data dissemination, and other distributed
services in heterogeneous, large-scale distributed,
mesh networks and sensor networks
* Novel algorithms and theories for management,
supervisory control, and monitoring of distributed ad
hoc networks, and techniques for the interpretation
and use of sensor data in decision-making processes
* Modeling and performance evaluation of large-scale
distributed ad hoc and sensor networks, practical
implementations and deployments, and real-world
experiences
* Theories and models on fundamental information and
communication aspects of wireless mesh and sensor
networks
* Mechanisms for authenticated, secure communication and
data dissemination in sensor and mesh networks
* Algorithms and protocols to support quality of service
in mesh and sensor networks, including admission
control, resource allocation and fairness, and
capacity planning
* Integration of sensors into engineered systems,
including novel techniques for on-sensor renewable
power sources, mechanisms for on-sensor
self-calibration and self-testing, and efficient
schemes to maximize accuracy and minimize false alarms
* Hardware platforms incorporating multiple sensors,
computation, actuation, and wireless interfaces
* Software platforms, middleware, and tools for mesh and
sensor network applications development, deployment,
and management
Submissions should be in the form of a proposal describing the main
contributions of the poster/demo and the merits of the proposed
ideas. If available, preliminary results can also be
included. Proposals will be evaluated mainly based on their potential
to stimulate interesting discussions, exchange of ideas and promote
collaborations.
A prize will be awarded to the best demo by a jury composed of
academic and/or venture capital participants.
Submissions should not be more than three pages (preferably IEEE
conference format, 2-column) in length. Demonstration submissions
should include the space requirements and/or any other
equipment-specific requirements. The documents must contain the
authors' names, affiliations, and contact information and the
designated corresponding author.
Accepted authors of posters/demos will have a space in the poster/demo
session room to display their posters or exhibit their demos and
describe their work in discussions with interested attendees.
IEEE Communications Society policy states that all accepted SECON 2006
posters/demos must have at least one registration at the regular
rate. For authors co-authoring multiple posters/demos, one regular
registration is valid for up to three presentations.
Submission will be accepted until Friday, June 30th, 5 pm EDT for
demos and for posters. Please send the submission material to the
poster/demo chairs in pdf format, and make sure to include the first
author name and either POSTER or DEMO in the name of the pdf file:
Stefano Basagni Cedric Westphal
Northeastern University Nokia
basagni(a)ece.neu.edu cedric.westphal(a)nokia.com
Notification of Poster/Demo decisions: July 21, 2006. Accepted
Poster/Demo Presenters MUST register by August 31, 2006.
************************************************************************
==============================
CALL FOR PARTICIPATION
==============================
=========================================
IEEE International Conference on
Distributed Computing in Sensor Systems
June 18 - 20, 2006
San Francisco, California, USA
=========================================
WWW.DCOSS.ORG
The 2006 International Conference on Distributed Computing in Sensor Systems
(DCOSS '06) will take place in San Francisco during June 18 - 20, 2006.
DCOSS '06 will represent a merger of the DCOSS conference series and the
IEEE International Workshops on Algorithms for Wireless, Mobile, Ad Hoc and
Sensor Networks (WMAN). The first DCOSS conference, held at Marina del Rey on
June 30-July 1, 2005, featured high quality research papers and interesting
invited and contributed poster/presentation sessions. DCOSS '06 is intended
to cover several aspects of distributed computing in sensor systems such as
high level abstractions, computational models, systematic design methodologies,
algorithms, analysis and applications. The conference will be co-located with
several closely related workshops, and will provide a forum for researchers
and practitioners to present their contributions related to the above
high-level aspects of distributed sensor systems. In addition to contributed
papers, the meeting will also include keynote addresses by leading researchers,
a panel discussion, and a poster/presentation session.
SPONSORED BY
IEEE Computer Society Technical Committee on Parallel Processing (TCPP)
IEEE Computer Society Technical Committee on Distributed Processing (TCDP)
Held in co-operation with
ACM SIGARCH
ACM SIGBED
European Association for Theoretical Computer Science (EATCS)
IFIP WG 10.3
==================================================
CONFERENCE PROGRAM
==================================================
SUNDAY, JUNE 18, 2006
Workshop: Euro-American Workshop on Middleware for Sensor Networks (EAWMS)
Workshop: Mobility and Scalability in Wireless Sensor Networks (MSWSN)
==================================================
MONDAY, JUNE 19, 2006
7:30 am - 8:20 am Continental Breakfast
8:20 am - 8:30 am Opening Remarks
Jose Rolim
(Steering Committee Chair, Univ. of Geneva, Switzerland)
Viktor Prasanna
(General Chair, Univ. of Southern California, USA)
Phil Gibbons
(Program Chair, Intel Research/CMU, USA)
8:30 am - 9:35 am KEYNOTE:
"Structure Discovery and Information Brokerage
in Sensor Networks"
Leonidas Guibas (Stanford Univ., USA)
--------------------------------------------------
9:35 am - 9:50 am BREAK
--------------------------------------------------
9:50 am - 11:50 am Session 1: DISTRIBUTED ALGORITHMS & APPLICATIONS
* Evaluating Local Contributions to Global Performance in Wireless Sensor
and Actuator Networks
Christopher Rozell, Don Johnson (Rice Univ., USA)
* Roadmap Query for Sensor Network Assisted Navigation in Dynamic
Environments
Sangeeta Bhattacharya, Nuzhet Atay, Gazihan Alankus, Chenyang Lu,
Burchan Bayazit, Gruia-Catalin Roman
(Washington Univ. in St. Louis, USA)
* Stabilizing Consensus in Mobile Networks
Dana Angluin, Michael J. Fischer, Hong Jiang (Yale Univ.)
* When Birds Die: Making Population Protocols Fault-Tolerant
Carole Delporte-Gallet (Universite Paris); Hugues Fauconnier
(LIAFA, Paris);
Rachid Guerraoui (Swiss Federal Institute of Technology (EPFL));
Eric Ruppert (York Univ.)
* Stochastically Consistent Caching and Dynamic Duty Cycling for Erratic
Sensor Sources
Shanzhong Zhu, Wei Wang, Chinya Ravishankar
(Univ. of California at Riverside, USA)
* Distributed Model-Free Stochastic Optimization in Wireless Sensor Networks
Daniel Yagan, Chen Khong Tham (National Univ. of Singapore)
--------------------------------------------------
11:50 am - 1:15 pm LUNCH (on your own)
--------------------------------------------------
1:15 pm - 3:15 pm Session 2: PROGRAMMING SUPPORT & MIDDLEWARE
* Agimone: Middleware Support for Seamless Integration of Sensor and
IP Networks
Gregory Hackmann, Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu
(Washington Univ. St. Louis)
* Gossip Based Multi-Channel Reprogramming for Sensor Networks
Limin Wang, Sandeep Kulkarni (Michigan State Univ.)
* The Virtual Pheromone Communication Primitive
Leo Szumel, John Owens (Univ. of California at Davis)
* Logical Neighborhoods: A Programming Abstraction for Wireless Sensor Networks
Luca Mottola, Gian Pietro Picco (Politecnico di Milano)
* Y-Threads: Supporting Concurrency in Wireless Sensor Networks
Christopher Nitta, Raju Pandey, Yann Ramin
(Univ. of California at Davis)
* Comparative Analysis of Push-Pull Query Strategies for Wireless Sensor Networks
Shyam Kapadia, Bhaskar Krishnamachari (Univ. of Southern California)
--------------------------------------------------
3:15 pm - 3:30 pm BREAK
--------------------------------------------------
3:30 pm - 5:30 pm Session 3: DATA AGGREGATION & DISSEMINATION
* Using Data Aggregation to Prevent Traffic Analysis in Wireless
Sensor Networks
William Conner, Tarek Abdelzaher, Klara Nahrstedt
(Univ. of Illinois at Urbana-Champaign)
* Efficient and Robust Data Dissemination using Limited Extra
Network Knowledge
Ioannis Chatzigiannakis (Computer Technology Institute);
Athanasios Kinalis, Sotiris Nikoletseas
(Univ. of Patras and Computer Technology Institute)
* Distance-Sensitive Information Brokerage in Sensor Networks
Stefan Funke (Max-Planck-Institut f. Informatik);
Leonidas Guibas, An Nguyen, Yusu Wang (Stanford)
* Efficient In-Network Processing through Local Ad-hoc Information
Coalescence
Onur Savas, Murat Alanyali,Venkatesh Saligrama (Boston Univ.)
* Distributed Optimal Estimation from Relative Measurements for Localization
and Time Synchronization
Prabir Barooah (UCSB); Neimar Da Silva (Federal Univ. of Rio de Janerio);
Joao Hespanha (UCSB)
* GIST: Group-Independent Spanning Tree for Data Aggregation in Dense
Sensor Networks
Lujun Jia, Guevara Noubir, Rajmohan Rajaraman, Ravi Sundaram
(Northeastern Univ.)
--------------------------------------------------
5:30 pm - 7:30 pm Poster Session and Reception
Chair: Jim Reich (Palo Alto Research Center, USA)
==================================================
TUESDAY, JUNE 20, 2006
8:00 am - 8:30 am Continental Breakfast
8:30 am - 9:35 am KEYNOTE:
"In-network Adaptation of Sensor Node Location and Energy"
William J. Kaiser (Univ. of California, Los Angeles)
--------------------------------------------------
9:35 am - 9:50 am BREAK
--------------------------------------------------
9:50 am - 10:50 am Session 4: SECURITY
* Distributed User Access Control in Sensor Networks
Haodong Wang, Qun Li (College of William and Mary)
* Locating Compromised Sensor Nodes through Incremental Hashing
Authentication
Youtao Zhang (Univ. of Pittsburgh); Jun Yang, Lingling Jin
(UC Riverside); Weijia Li (Univ. of Pittsburgh)
* COTA: A Robust Multi-hop Localization Scheme in Wireless Sensor Networks
Yawen Wei, Zhen Yu, Yong Guan (Iowa State Univ.)
10:50 am - 11:50 am Session 5: INFORMATION FUSION
* Contour Approximation in Sensor Networks
Chiranjeeb Buragohain, Sorabh Gandhi (UCSB); John Hershberger
(Mentor Graphics); Subhash Suri (UCSB)
* A Distortion Aware Scheduling Approach for Wireless Sensor Networks
Periklis Liaskovitis, Curt Schurgers (UCSD)
* Optimal Placement and Selection of Camera Network Nodes for Target
Localization
Ali Ercan, Danny Yang, Abbas El Gamal, Leonidas Guibas (Stanford)
--------------------------------------------------
11:50 am - 1:15 pm LUNCH (on your own)
--------------------------------------------------
1:15 pm - 3:15 pm Session 6: LIFETIME MAXIMIZATION
* An Optimal Data Propagation Algorithm for Maximizing the Lifespan of
Sensor Networks
Aubin Jarry, Pierre Leone, Olivier Powell, Jose Rolim
(Univ. of Geneva)
* Lifetime Maximization under Connectivity and k-Coverage Constraints in
Wireless Sensor Networks
Wei Mo, Daji Qiao, Zhengdao Wang (Iowa State Univ.)
* Network Power Scheduling for TinyOS Applications
Barbara Hohlt, Eric Brewer (UC Berkeley)
* Algorithms for Scheduling Wireless Sensor Networks with Rate and
Duty-Cycle Constraints over Interference Channels
Rajgopal Kannan, Shuangqing Wei (Louisiana State Univ.)
* MobiRoute: Routing towards a Mobile Sink for Improving Lifetime in
Sensor Networks
Jun Luo, Jacques Panchard, Michal Piorkowski, Matthias Grossglauser,
Jean-Pierre Hubaux (Swiss Federal Institute of Technology (EPFL))
* SenCar: An Energy Efficient Data Gathering Mechanism for Large Scale
Multihop Sensor Networks
Ming Ma, Yuanyuan Yang (State Univ. of New York at Stony Brook)
--------------------------------------------------
3:15 pm - 3:30 pm BREAK
--------------------------------------------------
3:30 pm - 4:30 pm Session 7: LOCALIZATION
* A Distributed Linear Least Squares Method for Precise Localization with
Low Complexity in Wireless Sensor Networks
Frank Reichenbach (University of Rostock)
* Consistency-Based On-line Localization in Sensor Networks
Jessica Feng, Miodrag Potkonjak
(University of California at Los Angeles)
* The Robustness of Localization Algorithms to Signal Strength Attacks:
A Comparative Study
Yingying Chen, Konstantin Kleisouris, Xiaoyan Li, Wade Trappe,
Richard Martin (Rutgers University)
--------------------------------------------------
4:30 pm DCOSS 2006 CONCLUDES
==================================================
WORKSHOP PROGRAMS
================================================================
EURO-AMERICAN WORKSHOP ON MIDDLEWARE FOR SENSOR NETWORKS (EAWMS)
================================================================
SUNDAY, JUNE 18, 2006
8:00 am - 9:00 am Continental Breakfast
9:00 am - 9:15 am Opening Remarks: Stefan Fischer (Chair)
9:15 am - 10:30 am Session 1
* FABRIC: Towards Data Type-centric Middleware Synthesis
Dennis Pfisterer, Horst Hellbr?ck, Stefan Fischer
(University of L?beck, Germany)
* Rule-Oriented Programming for Wireless Sensor Networks
Kirsten Terfloth, Georg Wittemburg, Joschen Schiller
(Freie Universitdt Berlin, Germany)
Discussion
--------------------------------------------------
10:30 am - 10:45 am BREAK
--------------------------------------------------
10:45 am - 12:00 pm Session 2
* Transiently Shared Tuple Spaces for Sensor Networks
Amy L. Murphy (University of Lugano, Switzerland),
Gian Pietro Picco (Politecnico di Milano, Italy)
* Sensor Network Middleware for Managing a Cross-Layer Architecture
Christophe J. Merlin, Wendi B. Heinzelman
(University of Rochester, USA)
Discussion
--------------------------------------------------
12:00 pm - 1:00 pm LUNCH (on your own)
--------------------------------------------------
1:00 pm - 2:15 pm Session 3
* Frugal Mobile Objects
Benoit Garbinato (University of Lausanne, Switzerland),
Rachid Guerraoui, Jarle Hulaas, Maxime Monod, Jesper H. Spring
(EPFL, Switzerland)
* Resource-Aware Service Architecture for Collaboration of Sensor Nodes
Jan Blumenthal, Dirk Timmermann (University of Rostock, Germany)
Discussion
--------------------------------------------------
2:15 pm - 2:30 pm BREAK
--------------------------------------------------
2:30 pm - 3:45 pm Session 4
* Distributed Mining of Spatio-Temporal Event-Pattern in Sensor Networks
Kay Rfmer (ETHZ, Switzerland)
* Middleware and Simulation Support for WSN Motion Control Agorithm
Design and Analysis
Norbert Luttenberger, Jochen Koberstein (University of Kiel, Germany)
Discussion
--------------------------------------------------
3:45 pm - 4:00 pm BREAK
--------------------------------------------------
4:00 pm - 5:30 pm Session 5
* SensorBase.org - a Centralized Repository to Slog Sensor Network Data
Kevin Chang, Nathan Yau, Mark Hansen, Deborah Estrin
(University of California at Los Angeles, USA)
* Pervasive Grids: Integrating Sensor Networks into the Fixed Grid
Geoff Coulson (Lancaster University, England)
Discussion
Future Steps
=======================================================================
WORKSHOP ON MOBILITY AND SCALABILITY IN WIRELESS SENSOR NETWORKS (MSWSN)
=======================================================================
SUNDAY, JUNE 18, 2006
8:00 am - 8:45 am Continental Breakfast
8:45 am - 9:00 am Opening Remarks
Christian Schindelhaer (Chair)
9:00 am - 11:00 am Session 1: MOBILITY
* Invited Talk: Keith J. O'Hara (Georgia Institute of Technology, USA)
Mobility and Pervasiveness in Physical Computing Systems
joint work with Tucker Balch
(Georgia Institute of Technology, USA)
* Mobility Management in Sensor Networks
Muneeb Ali (Lahore University of Management Sciences, Pakistan),
Thiemo Voigt (Swedish Institute of Computer Science, Kista, Sweden),
Zartash Afzal Uzmi (Lahore University of Management Sciences, Pakistan)
* Autonomous Mobile Networks Overlaid on Public Transportation Networks
G. Sampath (Rochester Institute of Technology, USA), J. TenEyck
(Marist College, Poughkeepsie, USA)
--------------------------------------------------
11:00 am - 11:15 am BREAK
--------------------------------------------------
11:15 am - 12:30 pm Session 2: SCALABILITY
* Invited Talk: Sándor Fekete (Braunschweig University of Technology, Germany)
Algorithmic Aspects of Large Sensor Networks
joint work with Alexander Krüller
(Braunschweig University of Technology, Germany),
Dennis Pfisterer, Stefan Fischer
(University of Lübeck, Germany)
* Intelligent Hierarchical Cluster-Based Routing
Abdul W. Matin, Sajid Hussain
(Jodrey School of Computer Science, Wolfville, Canada)
--------------------------------------------------
12:30 pm - 2:00 pm LUNCH (on your own)
--------------------------------------------------
2:00 pm - 4:00 pm Session 3: LIFETIME
* Invited Talk: Sotiris Nikoletseas
(Research Academic Computer Technology Institute,
Patras, Greece)
"Adaptive Power Saving for Heterogeneous Sensor Networks
with Incremental Deployment"
* Invited Talk: Jun Luo
(School of Computer and Communication Sciences,
Lausanne, Switzerland)
"Mobility to Improve the Lifetime of Wireless Sensor Networks:
A Theoretical Framework"
joint work with Jean-Pierre Hubaux (School of Computer and
Communication Sciences, Lausanne, Switzerland)
--------------------------------------------------
4:00 pm - 4:15 pm BREAK
--------------------------------------------------
4:15 pm - 5:30 pm PANEL DISCUSSION
==================================================
Our apologies if you receive multiple copies of this email
CALL FOR PAPERS
Tenth IEEE International Conference on Communication Systems
30 Oct - 2 Nov 2006, Singapore
http://www.i2r.a-star.edu.sg/iccs2006
Technically co-sponsored by the IEEE and the IEEE Communications Society
co-organized by the IEEE Singapore Section, Singapore Communications Society Local Chapter, the National University of Singapore (NUS) and the Institute for Infocomm Research (I2R), Singapore.
The organising and technical committees of the symposium are seeking original contributions in the areas of, but not limited to:
. Antennas, propagation and channel modeling
. Cognitive radio
. Communication software & electronics
. Dynamic spectrum management
. Grid networks
. High speed networks
. Information Theory
. Microwave devices and systems
. Mobile radio communication systems
. Modulation and coding
. Network architecture
. Network Security
. Optical communications and photonics
. Optical networks
. Resource allocation, mobility management and QoS provisioning
. Satellite communications
. Signal processing for communications
. Space time processing & MIMO systems
. Speech, video and image processing
. Spread spectrum systems
. Ultra wideband technology
. Wireless ad-hoc and sensor networks
SUBMISSION GUIDELINES
Authors are invited to submit full papers in PDF format with sufficient detail to permit reasonable evaluation. Detailed instructions can be found on the conference website: http://www.i2r.a-star.edu.sg/iccs2006.
The proposal for tutorial should include the title and clear explanation of the content of the proposed tutorial. Please include in the proposal (1) Organizer Name, (2) Name of proposed instructor, (3) Title of tutorial and detailed outline, (4) Qualifications of proposed instructor, (5) Full contact information: mailing address, telephone & fax number, and email address.
Special Session Proposal
The proposal should include the title of the proposed special session and brief description of the proposed session. Please include in the proposal (1) Full Organizer Name, (2) Short biography of proposed session organizer, (3) Complete mailing address, (4) Telephone, (5) Fax number, (6) Email address, and (7) Potential authors that could contribute to the session.
Detailed submission guidelines and manuscript templates will be published on the conference's website.
IMPORTANT DATES
Full paper submission deadline: June 6, 2006 (extended)
Notification of acceptance: July 31, 2006
Tutorials proposals deadline: August 31, 2006
Final paper due: July 1, 2006
CONFERENCE COMMITTEE
General Chair:
Lawrence Wong
I2R, Singapore
Organizing Chair:
Yong Huat Chew
I2R, Singapore
Technical Program Co-Chairs:
Tjeng Thiang Tjung
I2R, Singapore
Mehul Motani
NUS, Singapore
Mohan Gurusamy
NUS, Singapore
Ying Chang Liang
I2R, Singapore
Publication Chair:
Nallanathan Arumugam
NUS, Singapore
Finance Chair:
Michael Ong
NUS, Singapore
Publicity Chair:
Boon Sain Yeo
I2R, Singapore
Local Arrangement Chair:
Emily Hao Jianzhong
I2R, Singapore
Sponsorship Chair:
Manjeet Singh
I2R, Singapore
Committee Members
Zhining Chen
I2R, Singapore
Chen Khong Tham
NUS, Singapore
International Advisory Panel:
Tjeng Thiang Tjung (Chair)
I2R, Singapore
Fumiyuki Adachi
Tohoku University, Japan
Vijay Bhargava
University of British Columbia, Canada
Hsiao-Hwa Chen
National Sun Yat Sen University, Taiwan.
Kah Seng Chung
Curtin University of Technology, Australia
Lajos Hanzo
University of Southampton, UK
Paul K M Ho
Simon Fraser University, Canada
Chi Chung Ko
NUS, Singapore
Witold A. Krzymien
University of Alberta, Canada
Jon W. Mark
University of Waterloo, Canada
Kenneth K Mei
City Uiniversity of Hong Kong, China
Tung Sang Ng
The University of Hong Kong, China
Ramjee Prasad
Aalborg University, Denmark
Yoshihide Yamada
National Defense Academy, Japan
Kiyotoshi Yasumoto
Kyushu University, Japan
Susumu Yoshida
Kyoto University, Japan
Peter T S Yum
Chinese University Hong Kong, China
Keith Q T Zhang
City University of Hong Kong, China
CALL FOR PAPERS
4th International Conference on Service-Oriented Computing (ICSOC'06)
Chicago, USA, December 4-7, 2006
Full conference information: http://www.icsoc.org/
Important Dates:
Workshop proposal submission: May 30, 2006
Paper abstract submission: June 12, 11:59pm, PST
Full paper submission: June 19, 11:59pm, PST
Tutorial and panel submission: July 6, 2006
Notification of acceptance: September 12, 2006
Final manuscript due: September 25, 2006
Main conference: December 4-7, 2006
The 4th International Conference of Service Oriented Computing (ICSOC'06)
follows on the success of three previous editions in Amsterdam (2005), New
York City (2004), and Trento (2003). Today ICSOC is recognized as the main
conference for service oriented computing research and covers the entire
spectrum from theoretical and foundational results to empirical evaluations
as well as practical and industrial experiences.
ICSOC'06 seeks original papers in the field of service oriented computing,
from theoretical and foundational results to empirical evaluations as well
as practical and industrial experiences, with an emphasis on contributions
to solve the many still open research problems that are of significant
impact to the field of service oriented applications. Topics include but are
not limited to the following:
* Business Service Modeling: Methods and tools for capturing business goals
and requirements, Decomposition into business services, Business
processes, Business policies, Modeling, analysis, and simulation,
Specification of functional and non-functional quality requirements;
* Service Assembly: Development and Discovery: Model-driven development,
Service composition architectures, Service registries, Service discovery
mechanisms, Semantic matching, Methods and tools for service development,
Governance, Verification and validation, Deployment strategies;
* Service Management: Instrumentation and service related data aggregation,
end-to-end Measurement, Analysis, Modeling and Capacity planning,
Definition of deployment topology, Infrastructure configuration,
Problem determination for SOAs, ITIL processes, Change management in
live systems.
* SOA Runtime: Service Bus for mediation, transformation and routing,
Runtime registry, Integration of legacy applications, Information
services for data access and data integration, Scalability, Topology
and Optimization, Service oriented middleware, Policy-based
configuration & Workload management
* Quality of Service: Reliable Service-Oriented Computing, Security and
Privacy in Service-Oriented Computing, SLA and Policy specification,
QoS Negotiation, Autonomic management of service levels, Empirical
Studies and Benchmarking of QoS, Performance and Dependability prediction
in SOA;
* Grid Services: Services and architecture for management of infrastructural
resources, Data and Compute intensive applications, Execution and resource
allocation services for job scheduling, Protocols for coordination across
multiple resource managers, Business value based allocation, Innovative
Strategies for Creation and Management of Virtual Enterprises and
Organizations, Prototype systems and Toolkits.
There will be two independent tracks for Research and Industrial papers,
each managed by a different program committee and with a different set of
evaluation criteria. The authors must clearly indicate the track to which
the paper is being submitted.
* Research Papers: The conference is soliciting original research papers on
all aspects of web services and service-oriented computing. The
submissions should contain results which advance the state of the art in
service-oriented systems, either through theoretical analysis or
experimental analysis. They should clearly establish the research
contribution, the relevance to service-oriented computing and the relation
to prior research. Submitted papers will be judged according to their
scientific merit and evaluated on significance, originality, technical
quality, and presentation.
* Industrial and Application Papers: ICSOC'06 places a strong emphasis on
its industrial program and encourages submissions covering the application
of service-oriented computing in practice, including papers describing
innovative service-based implementations, novel applications of service
oriented technology, and major improvements to the state-of-practice.
Actual case studies from practitioners emphasizing applications, service
technology, system deployment, organizational ramifications, or business
impact are especially welcomed. Industrial and application papers should
give sufficient details on the application domain, on the service oriented
techniques that have been used, on the issues surrounding actual
implementations and applications, and on the lessons learned in developing
service oriented applications. The papers submitted to this track can
range from a few page extended abstract to a full paper. The track will
also include a small number of invited visionary papers.
All papers should be submitted electronically in PDF and in Springer/LNCS
format. Research and industrial papers are not to exceed 12 pages. Abstracts
for research and application papers - not exceeding 200 words - need to be
submitted one week prior to the paper submission deadline. All submissions
should include title, authors, full contact information, and references.
Submissions should indicate at least two main topics and the scientific area
(or areas) that best fit the paper. For selected papers, authors will be
given the opportunity to submit a one-page reply, within one week, to answer
to the reviewers' concerns. This is done in the effort to improve the paper
selection process and make sure that papers are not rejected based on some
misunderstanding or erroneous interpretation by the reviewers that is easy
to correct in preparing the final version. All accepted papers will appear
in the ICSOC'06 archival proceedings, published by Springer.
For the complete information please visit the conference website:
http://www.icsoc.org
CONFERENCE ORGANIZATION
General Chairs: Ian Foster (ANL & The University of Chicago),
Carlo Ghezzi (Politecnico di Milano)
Program Chairs: Asit Dan (IBM),
Winfried Lamersdorf (Hamburg University)
Industrial Track Chairs: Robert Johnson (IBM),
Jeff Mischkinsky (Oracle)
Workshop Coordination Dimitrios Georgakopoulos (Telcordia Technologies)
Chairs: Norbert Ritter (Hamburg University)
Tutorial Chairs: Frank Leymann (University of Stuttgart)
Heiko Ludwig (IBM Research)
Local Organization Chair: Julie Wulf-Knoerzer (Univa)
Financial Chair: Vincenzo D'andrea, (University of Trento)
Registration Chair: Martin Swany (University of Delaware)
Publication Chair: Boualem Benatallah (UNSW)
Publicity Chair: Matei Ripeanu (University of British Columbia)
STEERING COMMITTEE
Fabio Casati (Hewlett-Packard Labs, USA)
Paco Curbera (IBM Research, USA)
Mike Papazoglou (Tilburg University, The Nederland)
Paolo Traverso (ITC-IRST, Italy)
PROGRAM COMMITTEE
Area Coordinators
Service Modeling: Wolfgang Emmerich (University College London)
Mathias Weske (University of Potsdam)
Service Assembly: Barbara Pernici (Politecnico di Milano)
Munindar Singh (North Carolina State University)
Service Management: Luciano Baresi (Politecnico di Milano)
Hiro Kishimoto (Fujitsu)
SOA Runtime: Douglas Schmidt (Vanderbilt University)
Steve Vinoski (Iona)
Quality of Service: Priya Narasimhan (CMU)
Jim Pruyne (HP)
Grid Services: Dennis Gannon (Indiana University)
Paul Watson (University of Newcastle upon Tyne)
Program Committee Members - Research Track
Nabil R. Adam (Rutgers University)
Jose Luis Ambite (USC)
Mikio Aoyama (NISE)
Boualem Benatallah (University of New South Wales)
Elisa Bertino (Purdue University)
Walter Binder (EPFL)
Athman Bouguettaya (Virginia Tech)
Sjaak Brinkkemper (Utrecht Univ.)
Tevfik Bultan (UCSB)
Fabio Casati (HP)
Malu Castellanos (HP)
Bruno Crispo (Vrije University)
Paco Curbera (IBM Research)
Vincenzo D'Andrea (Universita di Trento)
Umesh Dayal (HP)
Flavio De Paoli (Universita di Milano)
Tommaso Di Noia (University of Bari)
Jens-Peter Dittrich (ETH Zurich)
John Domingue (KMI)
Schahram Dustdar (University of Technology Vienna)
Kim Elms (SAP)
Boi Faltings (EPFL)
Dieter Fensel (Deri Innsbruck)
Gianluigi Ferrari (University of Pisa)
George Feuerlicht (University of Technology Sydney)
Ioannis Fikouras (Ericsson)
Daniela Florescu (INRIA)
Geoffrey Fox (Indiana University)
Dimitrios Georgakopoulos (Telcordia)
Paolo Giorgini (University of Trento)
Claude Godart (LORIA)
Paul Grefen (Eindhoven)
John Grundy (University of Auckland)
Mohand-Said Hacid (Université Lyon)
Hakan Hacigumus (Almaden IBM)
Richard Hull (Lucent)
Kate Keahey (Argonne National Laboratory)
Alfons Kemper (Technische Universität München)
Roger Kilian-Kehr (SAP Karlsruhe)
Jana Koehler (IBM Zurich Research Lab)
Bernd Kraemer (Fernuniversitaet Hagen)
Brian LaMacchia (Microsoft)
Frank Leymann (University of Stuttgart)
Ling Liu (Georgia Institute of Technology)
Pierluigi Lucchese (ITC-IRST Trento)
Heiko Ludwig (IBM Research)
Neil Maiden (City University London)
Ioana Manolescu (INRIA)
David Martin (SRI)
Eugene M. Maximilien (IBM Almaden)
Massimo Mecella (Universita di Roma)
Brahim Medjahed (Michigan University)
Toshi Nakata (NEC)
Steve Newhouse (Univ. of Southampton)
Christos Nikolaou (University of Crete)
David O'hallaron (CMU)
Guadalupe Ortiz (Univ. de Extremadura)
Mike Papazoglou (Tilburg University)
Anna Perini (ITC-IRST Trento)
Marco Pistore (Universita di Trento)
Axel Polleres (Univ. Rey Juan Carlos)
Jean Pierre Prost (IBM Montpellier)
Omer Rana (Cardiff University)
Thomas Risse (Fraunhofer Gesellschaft)
Norbert Ritter (Hamburg University)
Colette Rolland (Universite de Paris I)
Rainer Ruggaber (SAP)
Akhil Sahai (HP)
Volker Sander (Julich Research Centre)
Vladimiro Sassone (Univ. of Southampton)
Dimitrios N. Serpanos (Univ. of Patras)
Jun Shen (Univ. of Wollongong)
Santosh Srivastava (Univ. of New Castle)
Maarten Steen (Telematica Enschede)
Tony Storey (IBM)
Jianwen Su (UCSB)
Ravi Subramaniam (Intel)
Angelo Susi (ITC-IRST Trento)
Katia Sycara (CMU)
Stefan Tai (IBM New York)
Kian-Lee Tan (National Univ. of Singapore)
Margaria Tiziana (Potsdam University)
Paolo Tonella (ITC-IRST Trento)
Farouk Toumani (ISIMA Aubiere)
Don Towsley (UMass)
Paolo Traverso (ITC-RST)
Aphrodite Tsalgatidou (Univ. of Athens)
Karthikeyan Umapathy (Penn State Univ.)
Will van der Aalst (Eindhoven University of Technology)
Jos van Hillegersberg (University of Twente)
Aad Van Moorsel (Univ. of Newcastle)
Vijay Varadharajan (Macquire University)
John Wilkes (HP Labs Palo Alto)
Martin Wirsing (University of Munich)
Raymond Wong (Univ. of New South Wales)
Jian Yang (Macquire University)
Yelena Yesha (University of Maryland)
Arkady Zaslavsky (Monash University)
Gianluigi Zavattaro (University of Bologna)
Yanchun Zhang (Victoria University)
Christian Zirpins (Univ. College London)
Program Committee Members - Industry Track
Anne Anderson (Sun)
Paul Freemantle (WSO2)
Steve Graham (IBM)
Kerrie Holley (IBM)
Robert Johnson (IBM)
Philippe Le Hegaret (W3)
Mark Little (NCL)
Jeff Mischinsky (Oracle)
Andy Mulholland (Gemini Consulting)
Mark Nottingham (Yahoo)
Sanjay Patil (SAP)
Greg Pavlik (Oracle)
Sanjeeva Weerawarana (WSO2)
Bobbi Young (Unisys)
Our apologies if you have received multiple copies.
CALL FOR PAPERS
************ T R I D E N T C O M 2 0 0 7 ************
Third International IEEE/Create-Net Conference on
Test beds and Research Infrastructures for the
Development of Networks and Communities
February 5-8, 2006, Orlando, Florida USA
http://www.tridentcom.org
------------------------------------------------------
************ IMPORTANT DEADLINES ********************
------------------------------------------------------
Paper Submission Due: August 31, 2006
Demo Proposals Due: September 30, 2006
Notification: October 31, 2006
Final manuscript Due: November 30, 2006
------------------------------------------------------
SCOPE
------------------------------------------------------
Telecommunication infrastructures play a vital role in
modern society. Advances in the range of network service
offerings, performance, quality of service, security, and
ubiquity continue to flourish, despite global economy
fluctuations. Access to experimental infrastructures for
real-life applications by specific user communities benefits
all of the stakeholders involved: the end users,
because of the first-hand evaluation of the provided
services, the researchers and infrastructure experimenters,
because of the knowledge gained from hands-on study and
analysis, and the service providers, because of the
business exploitation of the network. The goal of
TridentCom is to create a forum where telecommunication
networks researchers, vendors, providers and users can
exchange ideas on past experience, requirements, needs,
and visions for future establishment of such infrastructures.
It showcases experimental activities, such as testing,
verification, integration, measurement, and deployment,
which are pivotal to achieving next generation communications.
PAPER SUBMISSION
------------------------------------------------------
Prospective authors are invited to submit high quality
papers as well as demonstration proposals reporting on all
aspects of test bed and research infrastructure operation and
management, including, but not limited to:
* Next Generation Internet Test beds
* Next Generation Wireless Network Test beds
* Next Generation Optical Network Test beds
* Ubiquitous Network Test beds
* Wireless Sensor Test beds
* Test bed Operation & Management for User Communities
* Test bed Operation & Management for Research Communities
* Test bed Cooperation & Integration
* Innovative Measurements Methodologies & Tools
* Traffic Measurements Test beds
* Software Tools to Support Distributed Test beds / Virtual Laboratories
* Management of Massive Databases of Experimental Data
* Knowledge & Technology Transfer Procedures
* Security (AAA) Testing on Open Test beds
* Social Impacts of Infrastructures
* Infrastructures for Real-Life Applications
* Business Models for Infrastructure Budgeting & Planning
* Infrastructure Renting & Pricing Policies
* Vendors & Providers Partnerships
Submit full papers of up to 10 pages, including references,
figures and tables, and formatted according to the
IEEE 8.5" x 11" proceedings format.
Detailed submission instructions are available at www.tridentcom.org.
DEMONSTRATIONS
------------------------------------------------------
Demo proposals should consist of the following:
- title and description of the demo,
- picture of demo setup and/or screenshots of demo GUIs
- infrastructure requirements, and
- biographical sketch of the presenter(s).
ORGANIZING COMMITTEE
------------------------------------------------------
General Chair
Janise McNair, University of Florida
Technical Program Co-Chairs
Thomas Woo, Bell-Labs
Tereza Carvalho, Universidade de Sao Paulo, BR
Miguel Lagunas, Universitat Politècnica de Catalunya
Panel Co-Chairs
Diego Bartolome,
Centre Tecnologic de Telecomunicacions de Catalunya
Wenye Wang, North Carolina State University
Demo Co-Chairs
Miguel Ponce de Leon,
TSSG, Waterford Inst. Technology, Ireland
Raheem Beyah, Georgia State University
Publicity Co-Chairs:
Frank Steuer, Technical University of Berlin, Germany
Nirmala Shenoy, Rochester Institute of Technology
Web Chair:
Sungrae Cho, Georgia Southern University
Local Arrangements Chair
Damla Turgut, University of Central Florida
STEERING COMMITTEE
------------------------------------------------------
Imrich Chlamtac (Chair),
Create-Net, University of Trento, Italy
Csaba Szabo (Co-chair),
Budapest University of Technology and Economics, Hungary
FMICS 2006 - FINAL CALL FOR PAPERS
Please visit: http://fmics06.informatik.tu-muenchen.de/
**************************************************
* 11th International Workshop on *
* Formal Methods for Industrial Critical Systems *
* FMICS 2006 *
* 26th-27th of August 2006, Bonn, Germany *
**************************************************
FMICS 2006 is co-located with Concur 2006.
IMPORTANT DATES
---------------
Full Paper: 5th of June 2006
Notification of Acceptance: 10th of July 2006
Final version due: 25th of July 2006
SCOPE OF THE WORKSHOP
---------------------
The aim of the FMICS workshops is to provide a forum for researchers who
are interested in the development and application of formal methods in
industry. In particular, these workshops should bring together scientists
that are active in the area of formal methods and interested in exchanging
their experiences in the industrial usage of these methods. They also aim
at the promotion of research and development for the improvement of formal
methods and tools for industrial applications.
INVITED SPEAKERS
----------------
Anna Slobodova, Intel
Edward A. Lee, Berkeley
PROGRAMME COMMITTEE
-------------------
Lubos Brim (Masaryk Univ., Czech Republic) Co-Chair
Rance Cleaveland (University of Maryland, USA)
Wan Fokkink (Vrije Universiteit Amsterdam & CWI, The Netherlands)
Stefania Gnesi (ISTI-CNR, Italy)
Susanne Graf (VERIMAG, France)
David Harel (Weizmann Institute of Science, Israel)
Klaus Havelund (Kestrel Technology, USA)
Thomas A. Henzinger (EPFL, Switzerland)
Leszek Holenderski (Philips Research, The Netherlands)
Stefan Kowalewski (RWTH Aachen, Germany)
Marta Kwiatkowska (University of Birmingham, UK)
Salvatore La Torre (Universita' degli Studi di Salerno, Italy)
Martin Leucker (TU München, Germany) Co-Chair
Tiziana Margaria (University of Göttingen, Germany)
Radu Mateescu (INRIA Rhône-Alpes and ENS Lyon, France)
Doron Peled (University of Warwick, UK)
Ernesto Pimentel (University of Malaga, Spain)
Andreas Podelski (Max-Planck-Institut für Informatik, Germany)
Don Sannella (University of Edinburgh, UK)
Joseph Sifakis (VERIMAG, France)
PAPER SUBMISSIONS
-----------------
Submissions must be made electronically through the FMICS Web site. There
are two categories of submissions:
A. Regular papers: Papers should be up to 16 pages in LNCS format, with a
clear abstract. Additional details may be included in a clearly marked
appendix, which will be read at the discretion of the program committee.
All submissions must report on original research. Submitted papers must
not have previously appeared in a journal or conference with published
proceedings and must not be concurrently submitted to any other
conference. Any partial overlap with any such published or concurrently
submitted paper must be clearly indicated.
B. Tool presentations: Submissions, not exceeding 4 pages using LNCS
format, should describe the implemented tool and its novel features. A
demonstration is expected to accompany a tool presentation.
PUBLICATION
-----------
Accepted regular and tool papers will be published after the meeting
jointly with accepted papers from PDMC'06 in an LNCS volume.
As last year, the European Association of Software Science and Technology
will be offering an award to the best FMICS paper.
Dear all,
you must have gotten the reply of Basie van Solms where he commented
on my previous email on that matter. Anyway, his answer is copied below.
It that message Basie considers for the very first time
the concerns of TC6 in a somewhat constructive way.
Now I would like to proceed in that matter.
Firstly, TC6 has to admit that our reaction was too crude.
In Coimbra it was merely said that the strategy document
is not worth the paper on which it is printed. The short
comments produced at the meeting (and communicated to Basie)
have apparently resulted in a blockade which must be resolved.
My suggestion is as follows:
1. Please read the strategy document carefully; it is reprinted
in the Coimbra meeting documents and it has been
distributed earlier by email. The most recent (slighty
modified) form is attached once more to this message).
2. Please communicate your suggestions for modification
to me and preferably also to Basie von Solms <basie(a)rau.ac.za>
**** not later than June 6, 2006 ****.
If you do not react by this deadline than I will assume
that you agree with the document in its present form.
We can assume that small modifications (see below in Basie's
message) have already been done; thus no need exists to comment
on these points.
I hope for a very positive and constructive debate.
Let's forget our aggessive "falcon-style" attitude
and return to a rather "pigeon-style" behaviour in the
interest of IFIP.
Best wishes
Otto
---------------------------------------------------------------
>Otto
>
>Thanks for your message. I think we are making progress on this matter.
>
>From TC 6's initial message I got the impression that they do not
>support the document at all in any form, and therefore did not suggest
>any changes at all. That is why the final version was sent out without
>reflecting the present discussion.
>
>From this last message it may seem that TC 6, in its first message,
>actually did suggest some changes to the document - those discussed
>below. If that is the case, I apologize for a possible wrong initial
>interpretation, and am more than willing to make the following changes,
>and send out another 'final' draft version:
>
>1. Change the 'only trusted body...' to 'one of the trusted bodies ...'
>
>2. Delete 'Marketing ManagerStakeholder Manger/...' to ' a person..'
>
>3. Change ' 'be totally up to date on ...' to 'must have a reasonable
>idea of the activities and potential services of TCs and WGs ... '
>
>Please advise whether, with these changes, TC 6 may reconsider its
>position of 'no support' to 'provisional support, but with serious
>reservations to be discussed'.
>
>Hope to hear from you soon.
>
>Regards
>
>Basie
>
>
>
>
>>>> "Otto Spaniol" <spaniol(a)informatik.rwth-aachen.de> 05/29/06 3:25 PM
>>>>
>Dear Leon,
>
>thank you very much for your message (see below).
> I believe that this message must have partly bounced with resepct
>to the
> TC6 delegate list since I made a typo in a former message:
> It should read <ifip-tc6(a)informatik.rwth-aachen.de> instead as of
> ifip-tc6linformatik.rwth-aachen.de.
> This has been corrected at least for my present message.
>
>I fully agree that IFIP should and must be ambitious.
>However, I'm totally against some dreams which are fully(!) unrealistic.
>One of several examples for such a missing sense for realities
>is one requirement for the "marketing/stakeholder... manager"
>namely to be an expert of all TC's and WG's in IFIP.
>This incredible requirement has been commented by Andre Danthine
>(homnorary
>member of TC6) as follows:
>
>----------
>>
>> So forget about the name and concentrate on the role.
>>
>> I really do not see it as such a big challenge for a person to be up
>to
>> date on what is happening in all TCs and WGs!! They organize
>> conferences on relevant issues - no rocket science about that.
>
>But knowing the relevant issues in all domains covered by the all the
>TCs
>is more than a big challenge.
>
>Andre
>
>-----------
>
>I don't really know in which world Basie lives.
>Being up to date on what is happening in all(!) TCs and
>WGs"........(???!!!).
>
>He must be joking!!!! I don't even understand TC6, not to speak about
>TC2, TC13, TCxxx,...WGyyyy.
>
>This and other formulations in the document were reponsible for the
>rather critical or even negative statements obtained from TC6.
>Let's be visonary but nevertheless a little bit more realistic.
>
>"Constructive comments": Ok, but since Basie doesn't accept anything (!)
>of the TC6 comments (he didn'tnot even remove the word ONLY just as
>if IEEE, ACM, ITU,.. would be nonexisting or just negligable)
>such comments from TC6 side are apparently not worth the paper
>on which they might have been written.
>At the occasion of our recently held meeting some TC6 delegates that the
>same
>("not worth the paper...") holds for the "New IFIP" strategy paper.
>This may be slightly exaggerating but why should we give comments
>if they don't have the slightest chance to be accepted.
>
>Best regards
>Otto
>
>
>
>------------------------------------
------------------------------------------
>
>>Dear Otto and colleagues from TC-6,
>>
>>just a short addition to the issue. In my view in the discussions so
>far
>>on strategy a lot of important and useful issues have been adressed.
>>However, the short/medium term urgent issues have been mixed up with
>the
>>long term strategic questions. Most of the notes and reports produced
>so
>>far "suffer" from this mixture. Therefore an attempt was undertaken to
>>separate the long term from the short term. A long term strategy should
>>have a certain level of ambition. TC-11 had its annual meeting last
>>Sunday and we spent a whole morning on the strategy of our TC. We
>>expressed pretty ambitious goals and will use that as our guidance for
>>current and future activities. No doubt that not all ambitions will be
>>realized but better to realize not all than to realize none (because of
>>lack of ambition). Therefore, I personally believe that IFIP must be
>>ambitious for its future. Naturally the wording must be good and
>careful
>>and should not lead to false conclusions. If that was the case in the
>>current proposal, constructive comments to formulate it better are
>>valid. But it should not be rephrased in a way that the ambition is no
>>longer present.
>>
>>The second part of the work in separating long term from short term
>>issues is to list and prioritize the short term issues. There IFIP can
>>make quick progress if addressed properly. This is a task that is
>>currently being undertaken and where additional notes will be
>>distributed hopefully soon.
>>
>>kind regards,
>>Leon
>>
>
>
>
>
>
>