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

E2EMON'06 - CALL FOR PAPERS -- Deadline Extended
by Ehab Al-Shaer 18 Feb '06

18 Feb '06

Submission deadline was EXTENDED till January 15, 2006. E2EMON'06 - CALL FOR PAPERS --------------------------- Workshop on End-to-End Monitoring Techniques and Services (E2EMON) 3th April 2006, Vancouver Convention and Exhibition Center, Canada In conjunction with the 2006 IEEE/IFIP Network Operations & Management Symposium (NOMS'06) http://www.noms2006.org/ -------------------------- E2EMON'06 is the fourth workshop in a series focusing on advances in network monitoring technology. The workshop offers a unique opportunity for researchers in this area to exchange ideas and experiences on next-generation monitoring systems for emerging technologies such as Grid, overlay, p2p and Ad hoc networks, and end-to-end path measurements. E2EMON will be co-located with the 2006 IEEE/IFIP Network Operations & Management Symposium (NOMS'06), which is the major network management conference in the year 2006. The workshop provides an intimate setting for discussion and debate through panels and group work. The program committee is soliciting original papers describing research in the area of e2e monitoring. Topics of interest to this workshop include, but are not limited to, the following: * Monitoring overlay networks and P2P services * Ad-hoc and sensor network monitoring * Monitoring Grid & pervasive computing environment * Path characteristics monitoring * Large-scalable monitoring techniques * Active and programmable monitoring * Traffic monitoring and data mining * Real-time monitoring * Visualization of monitoring information * High-speed network monitoring * Multicast network/service monitoring * Overlay monitoring services * Monitoring of service level agreements * Monitoring models, architectures and systems * Monitoring platforms and * Distributed and centralized monitoring prototypes * Languages for packet and distributed monitoring Workshop chairs: - Ehab Al-Shaer, DePaul University, USA - Aiko Pras, University of Twente, the Netherlands - Nevil Brownlee, University of Auckland, New Zealand Submission Guidelines The paper must be original material that is not currently under review, and has not been previously published by another conference or journal. The submission process involves the following three steps: 1. Creation of a personal account on JEMS (if the author does not already have one) https://submissoes.sbc.org.br/ 2. Registration of the paper (requiring a title and short abstract of up to 150 words) 3. Upload of the paper. Only in pdf format The paper must be formatted as PDF format. Papers must be written in English. The paper minimum/maximum length is 6/8 printed pages including figures. Paper submission guidelines can be found at: http://www.mnlab.cs.depaul.edu/events/e2emon06/instructions.htm. Important dates: - Submission deadline: January 15, 2006 - Notification of acceptance: February 1, 2006 - Final version: February 7, 2006 - Publication: February 15, 2006 _______________________________________________ Noms2006tpc mailing list Noms2006tpc(a)noms2006.org https://mail.ifi.unizh.ch/mailman/listinfo/noms2006tpc _______________________________________________ Noms2006oc mailing list Noms2006oc(a)noms2006.org https://mail.ifi.unizh.ch/mailman/listinfo/noms2006oc

1 1

A conference trend?
by Otto Spaniol 17 Feb '06

17 Feb '06

Dear all, we are always quite upset about the growing number of no-shows at our conferences. The following shows that this is not a problem of IFIP alone. In this case, this a little dubious event charged 185 USD for a CD-ROM + a promise to review the manuscripts "in most cases" but of course to include them into the CD-ROM without any obligation to attend the event (see the two last lines which are marked by an asterisk). Have fun (or are you shocked?). Best regards Otto ---------------------------------------------------------------- Virtual Presentations Those who are unable to attend the conference in person but wish to participate in this major international event, virtual presentation is available. Virtual Presentation allow participants to submit papers for refereeing and publication in the conference proceedings, just like a regular paper. Virtual participants will receive a full copy of the conference proceedings. In 2005 IBIMA conferences, there were more than 100 virtual presentations. To participate in the conference using this venue, please visit virtual presentation registration. The review process for virtual presentations will strictly follow the review process for regular submissions. Papers will be evaluated for originality, significance, clarity, and contribution. Each paper will be exposed to a full blind peer review in most cases. Short papers will be reviewed by the editor. Summary of review feedback/reports will be sent back to the author(s) in most cases. All comments and suggestions should be addressed in the final submission. Papers must not have been previously published or currently submitted for publication elsewhere. * Please note that a virtual presentation does not mean you are able to present by remote (e.g. Internet streaming or teleconferencing).

1 0

FW: Call for Papers CMSB06
by COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY 17 Feb '06

17 Feb '06

***** Apologize for multiple copies ****** INTERNATIONAL CONFERENCE ON COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY 18 and 19 October 2006 The Microsoft Research - University of Trento Centre for Computational and Systems Biology TRENTO - ITALY http://www.msr-unitn.unitn.it/events/cmsb06.php The CMSB (Computational Methods in Systems Biology) conference series was established in 2003 to help catalyze the convergence of modellers, physicists, mathematicians, and theoretical computer scientists from fields such as language design, concurrency theory, program verification, and molecular biologists, physicians, neuroscientists interested in a systems-level understanding of cellular physiology and pathology. CMSB'06 solicits original research articles (including significant works-in-progress), surveys of current research and posters. These may cover theoretical or applied contributions that are motivated by a biological question and can demonstrate either actual or potential usefulness towards answering that question. They may also cover models of computation inspired by biological processes; the motivation may be as much computational as biological. Particularly relevant case studies and open issues from the biological side that demands modeling of systems are of interest as well. The introduction of formal models should be supported by theoretical arguments about the model and/or on the analyses that they enable, by comparisons with other network models, and/or by examples of representation and analysis of a biological system. Topics of interest include: 1. Biological systems and networks: inference, properties, modeling, dynamics, simulation and reverse engineering 2. Formal methods for drug discovery and design 3. Methods to predict biological network behavior from incomplete information 4. Models including symbolic evolution and learning 5. Models of Self-assembly 6. Detailed case-studies on how a biological question was successfully addressed using formal models 7. Emergence of properties in complex biological systems 8. Theoretical comparisons between different formal models of cellular processes 9. Differential, discrete and/or stochastic modeling-language frameworks 10. Quantitative formal languages 11. Biologically-inspired extensions to concurrency theory, constraint programming, logical methods or language equivalences 12. Computer models in nano-sciences applied to biological domains 13. Definition and study of theoretical properties of biologically-inspired formal languages 14. Biological data bases and exchange formats for biological data and standards History 2003 held in Trento, chaired by Corrado Priami 2004 held in Paris, co-chaired by Vincent Danos and Vincent Schachter 2005 held in Edinburgh, chaired by Gordon Plotkin. Paper and poster submission guidelines Authors are invited to submit original research papers or survey papers of no more than 15 pages in .pdf format using the LNCS templates, available at the url below http://www.springer.com/sgw/cda/frontpage/0,11855,5-164-2-72376-0,00.html We also accept poster proposals in the form of a text-only abstract describing the poster contents. Papers and posters descriptions should be sent by e-mail to cmsb06(a)msr-unitn.unitn.it. The subject line should be CMSB Paper: (Title of Paper). The body of the e-mail should contain the title, authors and affiliations, an abstract, and the themes to which the paper/poster refers according to the topics of interest list. If no theme is listed, please insert some keywords. All submissions will be reviewed by the program committee. Accepted papers will be included in the proceedings available at the conference. Publication as an LNBI volume by Springer is under negotiation. Important Dates (deadlines are strict): Submission of papers: May, 10 Notification of paper acceptance: June, 10 Revised version of papers due: June, 30 Submission of posters: July, 10 Notification of poster acceptance: July, 30 Venue The conference will be held in Trento (Italy) at the premises of the newly established Microsoft Research - University of Trento Centre for Computational and Systems Biology. The dates are 18 - 19 October 2006. Steering Committee Finn Drablos, Norwegian University of Science and Technology, Trondheim (NO) Monika Heiner, TU Cottbus (D) Patrick Lincoln, Stanford Research International (US) Satoru Miyano, University of Tokyo (JP) Corrado Priami, University of Trento (IT) Magali Roux-Rouquié, CNRS-UPMC (FR) Vincent Schachter, Genoscope, Evry (FR) Adelinde Uhrmacher, University of Rostock (D) Program Committee Program Committee Chair Corrado Priami - The Microsoft Research - University of Trento Centre for Computational and Systems Biology - (I) Charles Auffray, CNRS (F) Muffy Calder, University of Glasgow (UK) Luca Cardelli, Microsoft Research Cambridge (UK) Diego Di Bernardo, Telethon Institute of Genetics and Medicine (IT) David Harel, Weizmann Institute (Israel) Monika Heiner, University of Cottbus (D) Ela Hunt, University of Zürich (CH) François Kepes, CNRS / Epigenomics Program, Evry (F) Marta Kwiatkowska, University of Birmingham (UK) Cosimo Laneve, University of Bologna (IT) Eduardo Mendoza, LMU (D) and University of the Philippines-Diliman (PH) Bud Mishra, New York University (US) Satoru Miyano, University of Tokyo (JP) Christos Ouzounis, European Bioinformatics Institute (UK) Gordon Plotkin, University of Edinburgh (UK) Alessandro Quattrone, University of Florence (IT) Magali Roux-Rouquié, CNRS-UPMC (F) David Searls, Senior Vice-President, Worldwide Bioinformatics - GlaxoSmithKline (US) Adelinde Uhrmacher, University of Rostock (D) Alfonso Valencia, Centro Nacional de Biotecnologia-CSIC (ES) Organizing Committee Matteo Cavaliere and Elisabetta Nones - The Microsoft Research - University of Trento Centre for Computational and Systems Biology (IT) Events and Meetings Office of the University of Trento (IT) http://www.unitn.it/ln/umc The Microsoft Research - University of Trento Centre for Computational and Systems Biology P.zza Manci, 17 - 38050 Povo, Italy tel: +39 0461/882811 fax: +39 0461/882814 email: cmsb06(a)msr-unitn.unitn.it web: http://www.msr-unitn.unitn.it/ As for Decreto Legislativo n. 196 of June 30th 2003, according to art. 13 of the code on personal data processing, we inform you that all the data we possess are used for testing the satisfaction level of the services offered, for dealing with curricula, for invitations to events, conferences, workshops, for sending data by e-mail to companies belonging to, linked with or partners of The Microsoft Research - University of Trento Centre for Computational and Systems Biology Scarl. According to art. 7 of the above mentioned DL, being the legal owner of your personal data, it is your right to be informed on which of your data are used and how; you may ask for their correction, cancellation or you may oppose to their use by written request sent by recorded delivery to The Microsoft Research - University of Trento Centre for Computational and Systems Biology Scarl - P.zza Manci, 17, 38050 Povo (TN), Italy.

1 0

CFP: FCS-ARSPA'06 (Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis)
by vigano＠inf.ethz.ch 16 Feb '06

16 Feb '06

apologies for multiple copies ************************ **** **** **** FCS-ARSPA'06 **** **** **** ************************ A LICS'06 (and FLoC'06) Affiliated Workshop on FOUNDATIONS OF COMPUTER SECURITY and AUTOMATED REASONING FOR SECURITY PROTOCOL ANALYSIS Seattle, Washington, August 15-16, 2006 http://www.inf.ethz.ch/~vigano/fcs-arspa06 *********************** *** CALL FOR PAPERS *** *********************** Submission deadline: May 10, 2006 BACKGROUND, AIM AND SCOPE ========================= Computer security is an established field of computer science of both theoretical and practical significance. In recent years, there has been increasing interest in logic-based foundations for various methods in computer security, including the formal specification, analysis and design of security protocols and their applications, the formal definition of various aspects of security such as access control mechanisms, mobile code security and denial-of-service attacks, and the modeling of information flow and its application to confidentiality policies, system composition, and covert channel analysis. The workshop FCS-ARSPA'06 is the fusion of two workshops. The workshop FCS continues a tradition, initiated with the Workshops on Formal Methods and Security Protocols (FMSP) in 1998 and 1999, then with the Workshop on Formal Methods and Computer Security (FMCS) in 2000, and finally with the LICS satellite Workshop on Foundations of Computer Security (FCS) in 2002 through 2005, of bringing together formal methods and the security community. The ARSPA workshop is the third in a series of workshops on Automated Reasoning for Security Protocol Analysis, bringing together researchers and practitioners from both the security and the formal methods communities, from academia and industry, who are working on developing and applying automated reasoning techniques and tools for the formal specification and analysis of security protocols. The first two ARSPA workshops were held as satellite events of IJCAR'04 and of ICALP'05, respectively. The aim of the joint workshop FCS-ARSPA'06 is to provide a forum for continued activity in these areas, to bring computer security researchers in closer contact with the LICS community, and to give LICS attendees an opportunity to talk to experts in computer security. We thus solicit submissions of papers both on mature work and on work in progress. We are interested both in new results in theories of computer security and also in more exploratory presentations that examine open questions and raise fundamental concerns about existing theories, as well as in new results on developing and applying automated reasoning techniques and tools for the formal specification and analysis of security protocols. Possible topics include, but are not limited to: Automated reasoning techniques Access control and resource usage control Composition issues Authentication Formal specification Availability and denial of service Foundations of verification Covert channels Information flow analysis Confidentiality Language-based security Integrity and privacy Logic-based design for Intrusion detection Program transformation Malicious code Security models Mobile code Static analysis Mutual distrust Statistical methods Privacy Tools Security policies Trust management Security protocols All submissions will be peer-reviewed. Authors of accepted papers must guarantee that their paper will be presented at the workshop. SUBMISSION ========== Submissions should be at most 15 pages (a4paper, 11pt), including references, in the Springer LNCS style available at the URL http://www.springer.de/comp/lncs/authors.html The cover page should include title, names of authors, co-ordinates of the corresponding author, an abstract, and a list of keywords. It is recommended that submissions adhere to the specified format and length. Submissions that are clearly too long may be rejected immediately. Additional material intended for the referees but not for publication in the final version - for example details of proofs - may be placed in a clearly marked appendix that is not included in the page limit. Simultaneous submissions to a journal or another conference are accepted. Authors are invited to submit their papers electronically, as portable document format (pdf) or postscript (ps); please, do not send files formatted for work processing packages (e.g., Microsoft Word or Wordperfect files). The only mechanism for paper submissions is via the electronic submission web-site (which will soon be available). IMPORTANT DATES =============== Papers due: May 10, 2006 Notification of acceptance: June 16, 2006 Final paper versions due: July 14, 2006 Workshop: August 15-16, 2006 PUBLICATION =========== Informal proceedings will be made available in electronic format and they will be distributed to all participants of the workshop. The authors of the best papers might be invited to submit an extended revision for inclusion in a special issue of a journal, with an additional reviewing process. INVITED TALKS ============= To be announced PROGRAM COMMITTEE ================= * Alessandro Armando (Universita` di Genova, Italy) * Jorge R. Cuellar (SIEMENS AG, Munich, Germany) * Anupam Datta (Stanford University, USA) * Pierpaolo Degano (Universita` di Pisa, Italy; co-chair) * Pablo Giambiagi (Swedish Institute of Computer Science, Sweden) * Virgil Gligor (University of Maryland, USA) * Roberto Gorrieri (Universita` di Bologna, Italy) * Carl A. Gunter (University of Illinois at Urbana-Champaign, USA) * Joshua Guttman (Mitre, USA) * Ralf Kuesters (Christian-Albrechts-Universitaet zu Kiel, Germany; co-chair) * Ninghui Li (Purdue University, USA) * Sjouke Mauw (University of Eindhoven, The Netherlands) * Peter Ryan (University of Newcastle, UK) * Luca Vigano` (ETH Zurich, Switzerland; co-chair) * Laurent Vigneron (INRIA-LORRAINE, Nancy, France) * Bogdan Warinschi (INRIA-LORRAINE, Nancy, France) * Steve Zdancewic (University of Pennsylvania, USA; co-chair) FCS Steering Committee: * Martin Abadi (University of California at Santa Cruz, USA) * Joshua Guttman (MITRE, USA) * John Mitchell (Stanford University, USA) * Andrei Sabelfeld (Chalmers, Sweden; chair) * Andre Scedrov (University of Pennsylvania, USA) ADDITIONAL INFORMATION ====================== Information about registration, travel, and venue can be found at the LICS'06 and FLoC'06 web-sites. For further information send an email to the workshop co-chairs at fcs-arspa06 -at- lists.inf.ethz.ch

1 0

CFP - Workshop IPv6TD 2006 - IPv6 Today - Technology and Deployment
by Damien Magoni 14 Feb '06

14 Feb '06

Call for Submissions Workshop IPv6TD 2006 - IPv6 Today - Technology and Deployment August 1-3, 2006, Bucharest, Romania http://www.iaria.org/conferences/IPV6TD06.html in conjunction with ICCGI 2006, International Conference on Computing in the Global Information Technology - Challenges for the Next Generation of IT&C - http://www.iaria.org/conferences/ICCGI06.html IMPORTANT DEADLINES Abstract submission: March 1, 2006 (*) Abstract based acceptance: March 25, 2006 Registration and first draft: April 15, 2006 Camera-ready and Registration: April 30, 2006 (hard deadline) (*) After March 1 we expect full paper submissions until the March 25 deadline GENERAL The integration and adoption of IPv6, also known as the Next Generation of the Internet Protocol is happening throughout the World at this very moment. To maintain global competitiveness, governments are mandating, encouraging or actively supporting the adoption of IPv6 to prepare their respective economies for the future communication infrastructures. Business organizations are increasingly mindful of the IPv4 address space depletion and see within IPv6 a way to solve pressing technical problems while IPv6 technology continues to evolve beyond IPv4 capabilities. Communications equipment manufacturers and applications developers are actively integrating IPv6 in their products based on market demands. IPv6 continues to represent a fertile area of technology innovation and investigation. IPv6 is opening the way to new successful research projects. Leading edge Internet Service Providers are guiding the way to a new kind of Internet where any-to-any reachability is not a vivid dream but a notion of reality in production IPv6 networks that have been commercially deployed. National Research and Educational Networks together with internationally known hardware vendors, Service Providers and commercial enterprises have generated a great amount of expertise in designing, deploying and operating IPv6 networks and services. This knowledge can be leveraged to accelerate the deployment of the protocol worldwide. This workshop brings together globally known IPv6 research and deployment experts that will share their work and experience. The audience will hear the latest technological developments in the field and will be provided with examples of successful IPv6 deployments; it will be offered an opportunity to learn what to expect from IPv6 and to prepare for it. The goal of the workshop is to disseminate the IPv6 knowledge and facilitate IPv6 deployment and research. We solicit both academic, research, and industrial contributions. The IPv6TD 2006 Proceedings will be published by IEEE Computer Society and posted on Xplore IEEE system. A best paper award will be granted by the IARIA's award selection committee. TOPICS OF SPECIAL INTEREST (but not limited to) IP Upgrade - An Engineering Exercise or a Necessity? Worldwide IPv6 Adoption - Trends and Policies IPv6 Programs, from Research to Knowledge Dissemination IPv6 Technology - Practical Information Advanced Topics and Latest Developments in IPv6 IPv6 Deployment Experiences and Case Studies IPv6 Enabled Applications and Devices INSTRUCTIONS FOR THE AUTHORS Regular and short papers The IPv6TD 2006 Proceedings will be published by IEEE Computer Society Press. Only .pdf or .doc files will be accepted for paper submission. All received papers will be acknowledged via the EDAS system. . The submitted abstract should present original and new ideas in at least 500 words. You should specify, in this abstract, if the work was experimented or not (both experimented and non-experimented ideas are welcome). We advise the authors to join a list of key words to the abstract as well as an overview of the organization of the final paper (i.e., the different sections). A final version of a paper is assumed to present the ideas expressed in the originally submitted abstract. Tutorials Tutorials provide overviews of current high interest topics. Proposals can be for half or full day tutorials. Please send your proposals to cpopovic(a)cisco.com, or gvandeve(a)cisco.com using "ICCGI'06 IPv6TD" in the email subject. Panel proposals The organizers encourage scientists and industry leaders to organize dedicated panels dealing with controversial and challenging topics and paradigms. Panel moderators are asked to identify their guests and manage that their appropriate talk supports timely reach our deadlines. Moderators must specifically submit an official proposal, indicating their background, panelist names, their affiliation, the topic of the panel, as well as short biographies. Please send your proposals to cpopovic(a)cisco.com or gvandeve(a)cisco.com using "ICCGI'06 IPv6TD" in the email subject. COMMITTEES Chairs Ciprian Popoviciu, Cisco Systems Inc, USA, cpopovic(a)cisco.com Gunter Van de Velde, Cisco Systems Inc, Belgium, gvandeve(a)cisco.com TPC Members Alexandre Abreu, Vodafone Global, Portugal Jane Butler, Cisco Systems, UK John Brzozowski, COMCAST, USA Joao Cabral, Vodafone Global, Germany Tim Chown, University of Southhampton, UK Ralph Droms, Cisco Systems, Inc., USA Patrick Grossetete, Cisco Systems, France Dimitrios K. Kalogeras, NTUA/GR-Net, Greece Peter Kirstein, University College London, UK Geof Lambert, Maxongroup, USA Eric Levy-Abegnoli, Cisco Systems, France Athanassios Liakopoulos, GRnet, Greece Mikael Lindt, Teliasonera, Finland Janos Mohacsi, NIIF/HUNGARNET, Hungary Yurie Rich, Native6, USA Thomas C. Schmidt, HAW Hamburg, Germany Wim Symoen, SFD Group, Belgium Stig Venaas, Uninett, Norway ICCGI Contact: petre(a)iaria.org ===================================

1 0

Workshop IPv6DFI 2006 - IPv6 - Deploying the Future Infrastructure
by Damien Magoni 14 Feb '06

14 Feb '06

Call for Submissions Workshop IPv6DFI 2006 - IPv6 - Deploying the Future Infrastructure July 16-18, 2006, Silicon Valley, USA http://www.iaria.org/conferences/IPV6DFI06.html in conjunction with ICNS 2006 - International Conference on Networking and Services http://www.iaria.org/conferences/ICNS06.html IMPORTANT DEADLINES Abstract submission: February 15 2006(* Submission deadline: March 5, 2006 Notification of acceptance: March 31, 2006 Camera-ready and Registration: April 15, 2006 (hard deadline) *) After February 15th we expect full paper submissions until the March 5th deadline SUBMISSION http://www.iaria.org/conferences/SubmitICNS06.html GENERAL IPv6, the Next Generation of the Internet Protocol, has seen over the past three years tremendous activity related to its development, implementation and deployment. Its importance is unequivocally recognized by research organizations, businesses and governments worldwide. To maintain global competitiveness, governments are mandating, encouraging or actively supporting the adoption of IPv6 to prepare their respective economies for the future communication infrastructures. In the United States, government's plans to migrate to IPv6 has stimulated significant interest in the technology and accelerated the adoption process. Business organizations are also increasingly mindful of the IPv4 address space depletion and see within IPv6 a way to solve pressing technical problems. At the same time IPv6 technology continues to evolve beyond IPv4 capabilities. Communications equipment manufacturers and applications developers are actively integrating IPv6 in their products based on market demands. IPv6 creates opportunities for new and more scalable IP based services while representing a fertile and growing area of research and technology innovation. The efforts of successful research projects, progressive service providers deploying IPv6 services and enterprises led to a significant body of knowledge and expertise. It is the goal of this workshop to facilitate the dissemination and exchange of technology and deployment related information, to provide a forum where academia and industry can share ideas and experiences in this field that could accelerate the adoption of IPv6. The workshop brings together IPv6 research and deployment experts that will share their work. The audience will hear the latest technological updates and will be provided with examples of successful IPv6 deployments; it will be offered an opportunity to learn what to expect from IPv6 and how to prepare for it. We solicit both academic, research, and industrial contributions. The IPv6DFI 2006 Proceedings will be published by IEEE Computer Society and posted on Xplore IEEE system. A best paper award will be granted by the IARIA's award selection committee. TOPICS OF SPECIAL INTEREST (but not limited to) IP Upgrade - An Engineering Exercise or a Necessity? Worldwide IPv6 Adoption - Trends and Policies National Strategies in Stimulating IPv6 Adoption IPv6 in Government Infrastructures - Specific Requirements IPv6 Infrastructures for Emergency Response and Law Enforcement - MetroNet6 Communications Equipment Certification for IPv6 Support IPv6 in Broadband Networks IPv6 Programs, from Research to Knowledge Dissemination IPv6 Technology - Practical Information Advanced Topics and Latest Developments in IPv6 IPv6 Deployment Experiences and Case Studies IPv6 Enabled Applications and Devices INSTRUCTIONS FOR THE AUTHORS Regular and short papers The IPv6DFI 2006 Proceedings will be published by IEEE Computer Society Press, posted on IEEE Xplore, and indexed in SCI and EI. Only .pdf or .doc files will be accepted for paper submission. All received papers will be acknowledged via the EDAS system. Tutorials Tutorials provide overviews of current high interest topics. Proposals can be for half or full day tutorials. Please send your proposals to cpopovic(a)cisco.com , geof.lambert(a)gmail.com, or gvandeve(a)cisco.com using "ICNS'06 IPv6DFI" in the email subject. Panel proposals The organizers encourage scientists and industry leaders to organize dedicated panels dealing with controversial and challenging topics and paradigms. Panel moderators are asked to identify their guests and manage that their appropriate talk supports timely reach our deadlines. Moderators must specifically submit an official proposal, indicating their background, panelist names, their affiliation, the topic of the panel, as well as short biographies. Please send your proposals to cpopovic(a)cisco.com, geof.lambert(a)gmail.com, or gvandeve(a)cisco.com using "ICNS'06 IPv6DFI" in the email subject. COMMITTEES Chairs: Ciprian Popoviciu, Cisco Systems Inc, USA, cpopovic(a)cisco.com Geof Lambert, Maxson Group, USA, geof.lambert(a)gmail.com Gunter Van de Velde, Cisco Systems Inc, Belgium, gvandeve(a)cisco.com TPC Members: Alexandre Abreu, Vodafone Portugal, Portugal John Brzozowski, COMCAST, USA Joao Cabral, Vodafone Global, Germany Tim Chown, University of Southampton, UK Ralph Droms, Cisco Systems, USA Patrick Grossetete, Cisco Systems, France Kenneth Knoll, Southwest Communications, USA Eric Levy-Abegnoli, Cisco Systems, France Athanassios Liakopoulos, GRnet, Greece Mikael Lindt, Teliasonera, Finland Henk Keukenkamp, ScopeIt, USA Peter Kirstein, University College London, UK Michael Menth, University of Wuerzburg, Germany Janos Mohacsi, NIIF/HUNGARNET, Hungary Jordi Palet Martinez, CONSULINTEL, Spain Gillian Parrillo, Maxson Group, USA Yurie Rich, Native6, USA Thomas C. Schmidt, HAW Hamburg, Germany Maciej Stasiak, Poznan University of Technology, Poland Wim Symoen, SFD Group, Belgium George Usi, Sacramento Technology Group, USA Stig Venaas, Uninett, Norway Qinshi Wu, Oak Ridge National Laboratory, USA ICNS Contact: petre(a)iaria.org <mailto:petre@iaria.org> ========================================

1 0

Workshop IPDy 2006 - Internet Packet Dynamics
by Damien Magoni 14 Feb '06

14 Feb '06

Call for Submissions Workshop IPDy 2006 - Internet Packet Dynamics July 16-18, 2006, Silicon Valley, USA http://www.iaria.org/conferences/IPDY06.html <http://www.iaria.org/conferences/SELF.html> in conjunction with ICNS 2006 - International Conference on Networking and Services http://www.iaria.org/conferences/ICNS06.html <http://www.iaria.org/conferences/ICSA06.html> IMPORTANT DEADLINES Abstract submission: February 15 2006(* Submission deadline: March 5, 2006 Notification of acceptance: March 31, 2006 Camera-ready and Registration: April 15, 2006 (hard deadline) *) After February 15th we expect full paper submissions until the March 5th deadline SUBMISSION http://www.iaria.org/conferences/SubmitICNS06.html <http://www.iaria.org/conferences/SubmitICSA06.html> GENERAL Packet Dynamics refers broadly to measurements, theory and/or models that describe the time evolution and the associated attributes of packets, flows or streams of packets in a network. Factors impacting packet dynamics include cross traffic, architectures of intermediate nodes (e.g., routers, gateways, and firewalls), complex interaction of hardware resources and protocols at various levels, as well as implementations that often involve competing and conflicting requirements. Parameters such as packet reordering, delay, jitter and loss that characterize the delivery of packet streams are at times highly correlated. Load-balancing at an intermediate node may, for example, result in out-of-order arrivals and excessive jitter, and network congestion may manifest as packet losses or large jitter. Out-of-order arrivals, losses, and jitter in turn may lead to unnecessary retransmissions in TCP or loss of voice quality in VoIP. With the growth of the Internet in size, speed and traffic volume, understanding the impact of underlying network resources and protocols on packet delivery and application performance has assumed a critical importance. Measurements and models explaining the variation and interdependence of delivery characteristics are crucial not only for efficient operation of networks and network diagnosis, but also for developing solutions for future networks. This workshop will provide a forum for interaction among researchers and practitioners working in the area of packet dynamics. We solicit papers dealing with all aspects of packet dynamics, including measurements, characterization, modeling and mitigation of its adverse effects. TOPICS OF SPECIAL INTEREST (but not limited to) o Measurement of stream characteristics (reordering, delay, losses, jitter, etc.) o Measurement and estimation of network characteristics o Tools, metrics and benchmarks o End-to-end packet dynamics o Timing aspects in packet dynamics o Impact of load balancing, parallelism within nodes, etc. on packet dynamics o QoS mechanisms and their impact on packet dynamics o Models (e.g., relating protocols, resources and architectures to packet dynamics) o Mitigation of adverse effects of reordering, jitter, etc. o Traffic engineering o Impact of packet dynamics on application performance INSTRUCTIONS FOR THE AUTHORS Regular or short papers The IPDy 2006 Proceedings will be published by IEEE Computer Society Press , posted on IEEE Xplore , and indexed by SCI and EI. Only .pdf or .doc files will be accepted for paper submission. All received papers will be acknowledged via the EDAS system. Tutorials Tutorials provide overviews of current high interest topics. Proposals can be for half or full day tutorials. Please send your proposals to Nischal.Piratla(a)telekom.de, Anura.Jayasumana(a)Colostate.edu, or pdini(a)cisco.com using "ICNS'06 IPDy" in the email subject. Panel proposals The organizers encourage scientists and industry leaders to organize dedicated panels dealing with controversial and challenging topics and paradigms. Panel moderators are asked to identify their guests and manage that their appropriate talk supports timely reach our deadlines. Moderators must specifically submit an official proposal, indicating their background, panelist names, their affiliation, the topic of the panel, as well as short biographies. Please send your proposals to Nischal.Piratla(a)telekom.de, Anura.Jayasumana(a)Colostate.edu, or pdini(a)cisco.com using "ICNS'06 IPDy" in the email subject. COMMITTEES Chairs Nischal M. Piratla, Deutsche Telekom Laboratories, Germany, Nischal.Piratla(a)telekom.de Anura Jayasumana, Colorado State University, USA, Anura.Jayasumana(a)Colostate.edu Petre Dini, Cisco Systems, Inc., USA // Concordia University, Canada, pdini(a)cisco.com TPC Members Ralph Droms, Cisco Systems, Inc., USA Jacqueline Floch, SINTEF, Norway Robert Hsieh, Deutsche Telekom Labs, Germany Salil Kanhere, The University of New South Wales, Australia Dan Massey, Colorado State University, USA Michael Menth, University of Wuerzburg, Germany Ina Minei, Juniper Networks, USA Amitabh Mishra, Virginia Tech, USA Michal Przybylski, Poznan Supercomputing & Networking Center, Poland Martin Roth, Technical University Berlin, Germany Aruna Seneviratne, NICTA, Australia Maciej Stasiak, Poznan University of Technology, Poland Francois Taini, Lancaster University, UK Henk Uijterwaal, RIPE, The Netherlands Rick Whitner, Agilent Technologies, USA Qinshi Wu, Oak Ridge National Laboratory, USA Qin Yang, Nanyang Technological University, Singapore Martin Zach, Siemens, Germany Tanja Zseby, Fraunhofer Institute FOKUS, Germany ICNS Contact: petre(a)iaria.org =========================================== Message composé et expédié avec la version d'évaluation gratuite de Sarbacane2®, le logiciel d'e-mailing professionnel pour Windows de GOTO Software. Attention, GOTO n'est responsable ni du contenu de ce message ni du fait qu'il vous a été expédié. Pour toute question au sujet de ce message, merci de prendre contact avec l'expéditeur.

1 0

FMICS'06 Call for Papers
by Martin Leucker 14 Feb '06

14 Feb '06

FMICS 2006 - PRELIMINARY 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 --------------- Abstract: 26th of May 2006 Full Paper: 2nd 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

ATC-06 CFP
by Silvia Giordano 13 Feb '06

13 Feb '06

Apologies for multiple copies received. Please, distribute it to interested colleagues and students ********************* ATC-06 ************************* The 3rd International Conference on Autonomic and Trusted Computing (ATC-06) http://grid.hust.edu.cn/atc06 Organized by Huazhong Univ. of Sci. and Tech. (HUST) Co-Sponsored by HUST, NSFC, 863, ChinaGrid, IFIP In Cooperation with the IEEE Computer Society (Applying) Wuhan and Three Gorges, China, September 3-6, 2006 ****************************************************** Computing systems including hardware, software, communication and networks are growing with ever increasing scale and heterogeneity, and becoming overly complex. Such the complexity is getting more critical along with ubiquitous permeation of embedded devices and other pervasive systems. To cope with the growing and ubiquitous complexity, autonomic computing focuses on self-manageable computing and communication systems that perform self-awareness, self-configuration, self-optimization, self-healing, self-protection and other self-ware operations to the maximum extent possible without human intervention or guidance. Any autonomic system must be trustworthy to avoid the risk of losing control and retain confidence that the system will not fail. Trust and/or distrust relationships in the Internet and pervasive infrastructure based global computing exist universally in the course of dynamic interaction and cooperation of various users, systems and services. Trusted computing targets computing and communication systems as well as services that are available, predictable, traceable, controllable, assessable, sustainable, dependable, persist-able, security/privacy protect-able, etc. A series of grand challenges exist to achieve practical self-manageable autonomic systems with truly trustworthy services. ATC-06 addresses the most innovative research and development in these challenging areas and includes all technical aspects related to autonomic and trusted computing and communication. ATC-06 as a conference comes out of the First Int'l Workshop on Trusted and Autonomic Ubiquitous and Embedded Systems (TAUES-05, Japan, Dec.), and the Int'l Workshop on Trusted and Autonomic Computing Systems (TACS-06, Austria, April). Topics include but are not limited to the following: Autonomic Computing Theory and Models * Nervous/organic model, reaction, pro-action, control, persistence, negotiation, cooperation, etc. Autonomic Computing Architectures and Systems * Autonomic elements, relationship, architecture, framework, middleware, prototype, system, etc. Autonomic Computing Components and Modules * Autonomic component/module such as memory, storage, database, device, server, proxy, OS, etc. Autonomic Communication and Services * Autonomic network, ad hoc/sensor net, grid, P2P, web service, semantics, agent, transaction, etc. Autonomic System Tools and Interfaces * Tool/interface for autonomic system development, test, monitoring, assessment, supervision, etc. Trust Models and Specifications * Models and semantics of trust, distrust, mistrust, over-trust, cheat, risk, reputation, reliability, etc. Trust-related Security and Privacy * Trust-related secure architecture, framework, policy, intrusion detection/awareness, protocols, etc. Trusted Reliable and Dependable Systems * Fault-tolerant systems, hardware redundancy, robustness, survivable systems, failure recovery, etc. Trustworthy Services and Applications * Trustworthy Internet/web/grid/P2P e-services, mobile/ pervasive services, novel applications, etc. Trust Standards and Non-Technical Issues * Trust standards and issues related to personality, ethics, sociology, culture, psychology, economy, etc. ==IMPORTANT DATES== Submission Deadline: March 10, 2006 Authors Notification: May 10, 2006 Final Manuscript Due: June 10, 2006 ==ELECTRONIC SUBMISSION== Prepare your paper with free styles not more than 15 pages in PDF file. Submit your paper(s) at the ATC-06 web site: http://grid.hust.edu.cn/atc06 ==PAPER PUBLICATION== Accepted papers will be published by Lecture Note in Computer Science (LNCS). Authors of accepted papers, or at least one of them, are requested to register and present their work at the conference, otherwise their papers will be removed from the digital library after the conference. Distinguished papers, after further revisions, will be published in special issues of the Journal of Autonomic and Trusted Computing (JoATC), and the International Journal of High Performance Computing and Networking (IJHPCN). A set of high quality papers of the conference, after further revisions, also will be published in an edited book published by IDEA Publishing Group, USA. ==Organizing Committees== Honorary Chairs Yunhe Pan, Zhejiang University, China Kishor S. Trivedi, Duke University, USA General Chairs Hai Jin, Huazhong University of Science & Technology, China David Ogle, IBM, USA Theo Ungerer, University of Augsburg, Germany Program Committee Chairs Manish Parashar, Rutgers University, USA Kouichi Sakurai, Kyushu University, Japan Laurence T. Yang, St. Francis Xavier University, Canada International Advisory Committee Chin-Chen Chang, Feng Chia University, Taiwan Petre Dini, Cisco Systems, USA Tadashi Dohi, Hiroshima University, Japan Minyi Guo, The University of Aizu, Japan Salim Hariri, University of Arizona, USA Sy-Yen Kuo, National Taiwan University, Taiwan Franz J. Rammig, University of Paderborn, Germany A Min Tjoa, Vienna University of Technology, Austria Xinmei Wang, Xidian University, China Stephen S. Yau, Arizona State University, USA Steering Committee Chairs Jianhua Ma, Hosei University, Japan Laurence T. Yang, St. Francis Xavier University, Canada Program Vice Chairs Xiaolin (Andy) Li, Oklahoma State University, USA Michael Smirnov, Fraunhofer Inst. FOKUS, Germany Bin Xiao, Hong Kong Polytechnic University, China Publicity Chairs Emmanuelle Anceaume, IRISA, France Silvia Giordano, University of Applied Science, Switzerland Xiaobo Zhou, University of Colorado at Colorado Springs, USA International Liaison Chairs Leonard Barolli, Fukuoka Institute of Technology, Japan Andrzej Goscinski, Deakin University, Australia Indrakshi Ray, Colorado State University, USA Publication Chairs Yuanshun Dai, Indiana University-Purdue University, USA M. S. P.-Hernandez, University Politecnicade Madrid, Spain Deqing Zou, Huazhong University of Science & Technology, China Award Chairs Jingde Cheng, Saitama University, Japan Antonino Mazzeo, Second University of Naples, Italy Mazin Yousif, Intel Corporation, USA Panel Chair Roy Sterritt, University of Ulster at Jordanstown, UK Financial Chair Xin Li, Huazhong University of Science & Technology, China Web Administration Chair Deqing Zou, Huazhong University of Science & Technology, China Local Arrangement Chair Xia Xie, Huazhong University of Science & Technology, China Program Committee See ATC-06 web site: http://grid.hust.edu.cn/atc06 Further questions, please contact with ATC06 Secretariat: <atc06(a)hust.edu.cn> Or Chairs Prof. Hai Jin <hjin(a)hust.edu.cn> Prof. Laurence T. Yang <lyang(a)stfx.ca> Prof. Manish Parashar <parashar(a)caip.rutgers.edu> Prof. Kouichi Sakurai <sakurai(a)csce.kyushu-u.ac.jp> ============ End of ATC-06 CFP ================

1 0

CFP-MEDHOCNET2006: 5th Annual Mediterranean Ad Hoc Networking Workshop
by Ozgur B. Akan 12 Feb '06

12 Feb '06

We apologize in advance for the multiple copies of this CFP. NEWS - Technical program will be organized so that papers from ICC 2006 presenters will be scheduled on June 16 and 17. NEWS - Pictures from Lipari: http://www.medhoc.diit.unict.it/2006/pictures.html ************************************************************ PRELIMINARY ANNOUNCEMENT AND CALL FOR PAPERS MED HOC NET 2006 The Fifth Annual MEDITERRANEAN AD HOC NETWORKING Workshop http://www.medhoc.diit.unict.it/2006/ June 14-17 2006 Lipari, Italy ************************************************************ Ad hoc networks have attracted the attention of the research community in the last several years. Now that some of the fundamental issues and challenges of ad hoc networking have been clearly assessed, the focus is partially shifting to new issues, which include application scenarios (road safety, disaster recovery, sensors and actuators, etc.), autonomous Organization and operation, optimization and control, service creation and support, middleware. Moreover, wireless MESH networking is emerging as an "ad hoc spin-off" aimed at extending and integrating the multi-hop paradigm with more traditional networking, which poses new and exciting technical challenges. Med-Hoc-Net 2006 is the major annual international workshop aiming to serve as a platform for researchers and visionaries from academia, research labs, and industry from all over the world. Sharing ideas, views, results, and experiences in the field of wireless multi-hop networking is what Med-Hoc-Net 2006 intends to be about. Anything from theoretical and experimental achievements, to innovative ad hoc systems, prototyping efforts, and case studies is of interest to the Med-Hoc-Net community. The papers solicited in Med-Hoc-Net 2006 cover a variety of topics related to ad hoc and MESH networks, including but not limited to: - Novel multi-hop wireless network architectures - Routing algorithms and protocols - MAC protocols, scheduling, power control and radio resource sharing - Transport layer protocols for multi-hop networks - Middleware for ad hoc networks - Application driven architectures and protocols - Sensor network applications and protocols - Vehicular networks - Integration of ad hoc networks with wireless access networks - Implementations, testbeds, and prototypes - Technology related issues (IEEE 802.11, Bluetooth, ZigBee, IEEE 802.16, IEEE 802.20, etc.) - Self organization and network reconfiguration - Optimization models and algorithms - Resource and service discovery - Call admission and traffic shaping policies for ad-hoc networks - Use of advanced antenna technologies (MIMO, beam forming, etc.) - QoS support - Security and privacy The members of program committee will referee all papers, and accepted papers will be published in the conference proceedings. Papers of particular merit will be published in the Elsevier Ad Hoc Networks journal. Manuscripts must be formatted according to the IEEE double-column standard format, with the exception of the font size, which must be 11pt. Authors should use only standard fonts, i.e., Times Roman, Courier, Symbol, and Helvetica, or their equivalent. The maximum length of the manuscript is 8 pages, including figure, tables and references. Med-Hoc-Net will have a Poster/Demo Session as well. Authors that want to present their work in such format are solicited to submit a description of their contribution in no more than 3 pages by April 7, 2006. More details can be found in the web site. Papers should be submitted in pdf or ps format through EDAS system (http://edas.info) according to the timetable below. IMPORTANT DATES Full Paper Electronic Submission: Friday February 24, 2006 Tutorial proposal submission: Sunday April 23, 2006 Notification of acceptance/rejection: Tuesday May 2, 2006 Camera ready submission of full papers: Friday May 22, 2006 Tutorial date: June 14, 2006 Conference dates: June 15-17, 2006 -- Dr. Ozgur B. Akan Assistant Professor Department of Electrical and Electronics Engineering Middle East Technical University Ankara, Turkey 06531 Tel: +90-312-210 2353 Fax: +90-312-210 1261 E-mail: akan(a)eee.metu.edu.tr http://www.eee.metu.edu.tr/~akan

1 0