- ifip-tc6 - lists.rwth-aachen.de

New submission deadline for ICSNC 2006 and ICSEA 2006, Tahiti, 2006
by magoni＠dpt-info.u-strasbg.fr 01 Jun '06

01 Jun '06

=================================================== 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

1 0

[CFP] Symposium on Stabilization, Safety, and Security of, Distributed Systems (SSS 2006)
by Maria Gradinariu 01 Jun '06

01 Jun '06

[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

1 0

CFP - LAST CALL FOR PAPERS: 2ND INTERNATIONAL WORKSHOP ON SECURITY AND TRUST MANAGEMENT (STM'06)
by Claudio Ardagna 01 Jun '06

01 Jun '06

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

1 0

SECON 2006 Call for Posters and Demos
by Wendi Heinzelman 01 Jun '06

01 Jun '06

(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. ************************************************************************

1 0

DCOSS 2006 Call for Participation
by Wendi Heinzelman 01 Jun '06

01 Jun '06

============================== 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 ==================================================

1 0

CFP ICCS 2006 EXTENDED to 6 June 2006
by Boon Sain Yeo 31 May '06

31 May '06

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

1 0

CFP: 4th International Conference on Service-Oriented Computing (ICSOC'06)
by Matei Ripeanu 31 May '06

31 May '06

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)

1 0

Call for Papers: TRIDENTCOM 2007
by Frank Steuer 30 May '06

30 May '06

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

1 0

FMICS, FINAL CFP, DL: 06/05/06
by Martin Leucker 30 May '06

30 May '06

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.

1 0

IFIP strategy: once again!
by Otto Spaniol 30 May '06

30 May '06

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

2 1