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

CfP IWAN 2006
by Guy Leduc 12 Apr '06

12 Apr '06

Call for Papers: IWAN 2006 Eighth Annual IFIP TC6 Working Conference on Active and Programmable Networks September 25-29, 2006 Paris, France http://dnac.org/autonomic-networking/temp/Iwan.htm Co-located with SMARTNET'06 - INTELLCOMM'06 - WAC'06 as part of Autonomic Networking 2006 IWAN06 will be part of the "Autonomic Networking" conference, which is the first international conference on all aspects of autonomic networking (architecture, services, tools, security, communications, ...). This conference groups four past events: SMARTNET on tools for autonomic networking (http://dnac.org/autonomic-networking/temp/SMARTNET.htm); INTELLCOMM on autonomic management and services (http://dnac.org/autonomic-networking/temp/Intellcomm.htm); WAC on autonomic communications (http://dnac.org/autonomic-networking/temp/WAC.htm ) and IWAN on active networks (http://dnac.org/autonomic-networking/temp/IWAN.htm) Active and programmable networking has, over the past several years, laid the foundations of providing easy, but robust, introduction of new network services to devices such as routers and switches by adding dynamic programmability to network equipment. Network programmability and service deployment architectures can bring the right services to the customer at the right time and location. The methods and technologies explored in active and programmable networking research have helped realise the trend towards ad-hoc networks, autonomic computing and communications, sensor networks and content-aware distribution. Also, active and programmable networks will continue to play an important role in future network architectures where the Quality of Service aspects of performance, security and resilience are crucial. IWAN06 brings together members of various communities using active and programmable network techniques to address the above challenges, and it provides a forum for discussion and collaboration involving researchers, developers, service providers and potential users. We encourage the submission of papers that cover all aspects of active network based communication, including foundations of robust languages and security mechanisms, active transport, active services and service deployment, active terminals, and active management. In addition, the meeting will focus on relating active techniques to customer needs and services. It is expected that most submissions will include proofs of concept and/or quantitative results. However, we welcome high quality descriptive contributions where the ideas are particularly novel or where the concepts introduced are likely to influence the work of others. Authors are invited to submit papers addressing, but not limited to, the following active and programmable networking topics: * Architectures and new concepts for programmability and flexibility in networks * Standardization of frameworks * Secure and robust network operation * Formal descriptions, analysis, and methodologies * Self-organizing and self-managing networks * Cognitive networks * Design and development methodologies and tools * Overlay networks * Storage in networking * Active and programmable technologies for Grids * Security within programmable and active frameworks * Applications and experiments * Service creation, deployment, and management * Programmable network elements and devices * Network processor platforms * Hardware and software platforms for autonomous infrastructures * Mobile and ad-hoc networking; mobile platforms * Programmability and software radios * Content- and context-aware distribution * Autonomic programmable networking * Building complex systems Information for Authors: Submissions should describe original work (not submitted or published elsewhere) and be 10 single-spaced pages (5,000 words) or less in length. Submissions should include: title, authors, affiliations, 150 word abstract, and list of keywords. Identify the author responsible for correspondence, including the author's name, position, mailing address, telephone and fax numbers, and email address. Authors are requested to submit their manuscripts electronically through the EDAS web site (http://edas.info/). The post-conference proceedings are expected to be published by Springer in the Lecture Notes in Computer Science (LNCS) Series. The best papers are expected to be published in the open access IFIP TC6 Journal on Networking available free of charge in the IFIP Digital Library. Important Dates: Submission deadline for papers: April 24, 2006 Notification of acceptance: June 9, 2006 Final Manuscript due: June 30, 2006 IWAN06 Meeting date: during the week of September 25-29, 2006 IWAN is sponsored by IFIP TC6/WG6.2 (Network and Internetwork Architectures), WG6.6 (Management of Networks and Distributed Systems) and WG6.7 (Smart Networks) General Chairs: R. Kung (France Telecom, FR) and H. Zimmermann (Ginkgo-Networks, FR) Steering Committee: David Hutchison (Lancaster University, GB) Laurent Lefevre (INRIA, FR) Bernhard Plattner (ETH Zuerich, CH) James P.G. Sterbenz (University of Kansas, US, and Lancaster University, GB) Technical Programme Committee: Co-Chairs: G. Leduc (University of Liege, BE) K. Calvert (University of Kentucky, US) Members: Alessandro Bassi (Hitachi Europe, FR) Bobby Bhattacharjee (University of Maryland, US) Matthias Bossardt (KPMG, Zuerich, CH) Robin Braun (University of Technology of Sydney, AU) Marcus Brunner (NEC, DE) Hermann DeMeer (University of Passau, DE) Spyros Denazis (Hitachi Europe, FR, and University of Patras, GR) Erol Gelenbe (Imperial College London, GB) Jim Griffioen (University of Kentucky, US) Robert Haas (IBM Zuerich, CH) Gisli Hjalmtysson (Reykjavik University, IS) David Hutchison (Lancaster University, GB) Laurent Lefevre (INRIA, FR) Dave Lewis (Trinity College of Dublin, IE) John Lockwood (Washington University, US) Eckhard Moeller (Fraunhofer Fokus, DE) Scott Nettles (University of Texas, Austin, US) Danny Raz (Technion, IL) Joan Serrat (UPC, Barcelona, ES) James Sterbenz (University of Kansas, USA, and Lancaster University, GB) Toshiaki Suzuki (Hitachi Ltd, JP) Christian Tschudin (University of Basel, CH) Tilman Wolf (University of Massachusetts, US) Martina Zitterbart (University of Karlsruhe, DE)

1 0

Deadline Extention || ICDT 2006 || ICISP 2006 || Cote d'Azur, France
by invitation＠iaria.org 12 Apr '06

12 Apr '06

Apologies if you receive multiple copies ====ICISP 2006 ======================================== SECOND Call for Submissions International Conference on Internet Surveillance and Protection, ICISP 2006 Côte d'Azur, France, August 27 - August 29, 2006 For submissions, go on the ICISP 2006 page at http://www.iaria.org/conferences/ICISP.htm and click Submit a paper Important deadlines: Full paper submission April 15, 2006 Authors Notification: May 5, 2006 Camera ready, full papers due: May 20, 2006 The conference has the following specialized events: TRASI 2006: Internet traffic surveillance and interception IPERF 2006: Internet performance RTSEC 2006: Security for Internet-based real-time systems SYNEV 2006: Systems and networks vulnerabilities DISAS 2006: Disaster prevention and recovery EMERG 2006: Networks and applications emergency services MONIT 2006: End-to-end sampling, measurement, and monitoring REPORT 2006: Experiences & lessons learnt in securing networks and applications USSAF 2006: User safety, privacy, and protection over Internet ==== ICDT 2006 ========================== SECOND Call for Submissions International Conference on Digital Telecommunications, ICDT 2006 Côte d'Azur, France, August 30 - September 2, 2006 For submissions, go on the ICDT 2006 page at http://www.iaria.org/conferences/ICDT.htm and click Submit a paper. Important deadlines: Full paper submission April 15, 2006 Authors Notification: May 5, 2006 Camera ready, full papers due: May 20, 2006 The conference has the following specialized events: MULTE 2006: Multimedia Telecommunications SIGNAL 2006: Signal processing in telecommunications DATA 2006: Data processing AUDIO 2006: Audio transmission and reception systems VOICE 2006: Voice over packet networks VIDEO 2006: Video, conferencing, telephony IMAGE 2006: Image producing, sending, and mining SPEECH 2006: Speech producing and processing IPTV 2006: IP/Mobile TV MULTI 2006: Multicast/Broadcast Triple-Quadruple-play CONTENT 2006: Production, distribution HXSIP 2006: H-series towards SIP MEDMAN 2006: Control and management of multimedia telecommunications ===================================================== To be removed from this announcement list, please reply to this email with UNSUBSCRIBE in the subject line

1 0

WRS06 last call for paper
by wrs06＠redstar.cs.pdx.edu 11 Apr '06

11 Apr '06

[Our apologies if you receive multiple copies] ----------------------------------------------------------------------- WRS06 The Sixth International Workshop on Reduction Strategies in Rewriting and Programming http://www.cs.pdx.edu/~antoy/wrs06/ The Seattle Sheraton Hotel and Towers, Seattle, Washington, August 11, 2006 Scope The workshop intends to promote and stimulate international research and collaboration in the area of evaluation strategies. It encourages the presentation of new directions,developments and results as well as surveys and tutorials on existing knowledge in this area. Reduction strategies study which subexpression(s) of an expression should be selected for evaluation and which rule(s) should be applied. These choices affect fundamental properties of a computation such as laziness, strictness, completeness and need to name a few. For this reason some programming languages, e.g., Elan, Maude, *OBJ* and Stratego, allow the explicit definition of the evaluation strategy, whereas other languages,e.g., Clean, Curry, and Haskell, allow its modification. Strategies pose challenging theoretical problems and play an important role in practical tools such as theorem provers, model checkers and programming languages. In implementations of languages, strategies bridge the gap between operational principles, e.g., graph and term rewriting,narrowing and lambda-calculus, and semantics, e.g., normalization, computation of values and head-normalization. The previous editions of the workshop were: WRS 2001 (Utrecht, The Netherlands),WRS 2002 (Copenhagen, Denmark), WRS 2003 (Valencia, Spain), WRS 2004 (Aachen, Germany), and WRS 2005 (Nara, Japan). See also the WRS permanent page at http://www.dsic.upv.es/~wrs/ Important Dates Abstract Submission: May 8, 2006 Paper Submission: May 15, 2006 Author Notification: June 12, 2006 Camera-Ready: July 10, 2006 Conference: Aug 11, 2006 Program Committee Sergio Antoy, (chair) Portland State University Santiago Escobar, Universidad Politecnica de Valencia Juergen Giesl, RWTH Aachen Bernhard Gramlich, Technische Universitat Wien Ralf Laemmel, Microsoft Corp. Salvador Lucas, Universidad Politecnica de Valencia Narciso Marti-Oliet, Universidad Complutense de Madrid Mizuhito Ogawa, Japan Advanced Institute of Science and Technology Jaco van de Pol, Centrum voor Wiskunde en Informatica Manfred Schmidt-Schauss, Johann Wolfgang Goethe-Universitat Topics Topics of interest include, but are not restricted to: * theoretical foundations for the definition and semantic description of reduction strategies * strategies in different frameworks such as term rewriting, graph rewriting, infinitary rewriting, lambda calculi, higher order rewriting, conditional rewriting, rewriting with built-ins, narrowing, constraint solving, etc. * application of strategies to equational, functional, functional-logic programming languages * properties of reduction strategies and corresponding computations, e.g., completeness, computability, decidability, complexity, optimality, normalization, cofinality, fairness, perpetuality, context-freedom, need, laziness, eagerness, strictness * interrelations, combinations and applications of reduction under different strategies, e.g., evaluation mechanisms in programming languages, equivalence conditions for fundamental properties like termination and confluence, applications in modularity analysis, connections between strategies of different frameworks,etc. * program analysis and other semantics-based optimization techniques dealing with reduction strategies * rewrite systems, tools, implementations with flexible or programmable strategies as an essential concept or ingredient * specification of reduction strategies in real languages strategies suitable to software engineering problems and applications tutorials and systems related to evaluation strategies Submissions Submissions must be original and not submitted for publication elsewhere. The page limit for regular papers is 13 pages in Springer Verlag LNCS style. Surveys and tutorials maybe longer. Use the WRS06 submission page, handled by the EasyChair conference system, to submit abstracts, papers and to update a previous submission. Publication Informal proceedings of accepted contributions will be available on-line. A hard copy will be distributed at the workshop to registered participants. Authors of selected contributions will be invited to submit a revised version, after the workshop, for inclusion in a collection. We anticipate the publication of formal proceedings in the Elsevier ENTCS series. Invited Speakers Talks will be given at joint sessions with RULE by: * Dick Kieburtz, OHSU/OGI School of Science & Engineering * Claude Kirchner, INRIA & LORIA Contact Sergio Antoy, antoy(a)cs.pdx.edu.

1 0

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

11 Apr '06

apologies for multiple copies ****************************************** *** NEW: post-workshop Special Issue *** *** of Information and Computatation *** ****************************************** ************************ **** **** **** 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. Moreover, workshop participants will be invited to submit full versions of their papers to a special issue of Information and Computation, which will be open also to non-participants, in all cases with fresh reviewing. 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

DCOSS 2006 Student Travel Grants-- April 15 deadline
by Wendi Heinzelman 10 Apr '06

10 Apr '06

----------------------------------------------------------------- Call for Participation Student Travel Grants Available for I E E E D C O S S 2 0 0 6 June 18 - 20, 2006, San Fransisco, CA Hotel reservation deadline: May 19th Advance Registration deadline: May 15th http://www.dcoss.org/dcoss2006/ ----------------------------------------------------------------- The 2006 International Conference on Distributed Computing in Sensor Systems (DCOSS '06) announces the availability of student travel grants, funded by the IEEE Computer Society's Technical Committee on Distributed Processing (TCDP). The grants will provide reimbursement of up to a maximum of $500. The reimbursement can be applied to airfare, up to 3 nights of hotel accommodations, transportation, and meals. Deadline for Applying: April 15th. Award Decisions: May 8th. Award Acceptance by: May 15th. Award conditions: ------------------ The following criteria will be considered in awarding the grants: Priority for travel grants will be given to students who are presenting a regular paper or a workshop paper, followed by students who otherwise would not be able to attend. In addition, preference will be given to students from under-represented groups in the broad field of Computer and Information Science and Engineering. Students from under-represented states and institutions are also encouraged to apply. How to apply: -------------- Please provide the following items in text or pdf format and email them to the Student Scholarships Chair, Loren Schwiebert, at loren(a)wayne.edu with the subject line "DCOSS STUDENT TRAVEL APPLICATION". The application must include the following items: 1. The title of the paper at DCOSS, if applicable. 2. The need for the travel grant (air fare and other anticipated costs). 3. Applicant's school and contact information. 4. A letter of recommendation from the student's advisor. Please note that conference registration fees are not covered by this grant, so the advisor's recommendation letter must clarify what other sources of funding are available to cover the registration and any other additional expenses. ---------------- Loren Schwiebert DCOSS Student Scholarships Chair

1 0

Re: [ifip-tc6] Invitation to TC6 meeting
by Radford, Peter 10 Apr '06

10 Apr '06

Augusto, Otto, all I plan to attend the meeting (assuming I can use my air miles to get to Lisbon). I'm trying to persuade my wife to come with me for once. Is anyone else going to be accompanied by their spouses, partners or whatever is the politically correct word today? Regards Peter Peter Radford UK Representative to TC6 E: Peter.Radford(a)LogicaCMG.com <mailto:Peter.Radford@LogicaCMG.com> T: +44 (0) 7770 395506 (M) T: +44 (0) 20 7446 1281 (O) T: +44 (0) 1245 262328 (H) ________________________________ From: ifip-tc6-bounces(a)lists.RWTH-Aachen.DE [mailto:ifip-tc6-bounces@lists.RWTH-Aachen.DE] On Behalf Of Augusto Casaca Sent: 24 March 2006 14:14 To: TC6 Cc: Edmundo Monteiro; Paulo Simões; Jose Granado; Manuela Camal Subject: [ifip-tc6] Invitation to TC6 meeting Dear colleagues, The first meeting of TC6 in 2006 will take place in Coimbra, Portugal on May 19th and 20th. You are kindly invited to attend this meeting. The meeting follows the Networking Conference, which takes also place in Coimbra starting on May 15th. I have already agreed with Otto Spaniol that the TC6 meeting will start on Friday (May 19th) in the morning and will end on Saturday (May 20th) by lunch time. Therefore, all the planning is done assuming this time allocation. On Friday evening there will be the TC6 dinner in a place still to be defined and on Saturday afternoon you are invited for a small excursion in Coimbra and its surroundings. In attach you can find a document containing information about Coimbra, the two available hotels and the excursion. It is urgent that you choose the hotel and book it following the indications given in the document. We advise you to do it until April 8th as the block booking is only accepted until that date. You do not need to worry with transportation to the meeting place in the University, as the local organization will provide it. Concerning the two hotels, I can inform that Hotel Astoria is near the old part of town but has only three stars although it is a renovated hotel. Hotel Melia is a more modern hotel with four stars but is not in the old town. Later on we will provide more information about the meeting and the meeting agenda will be directly sent by Otto. Looking forward to seeing all of you in Portugal Best regards Augusto Casaca This e-mail and any attachment is for authorised use by the intended recipient(s) only. It may contain proprietary material, confidential information and/or be subject to legal privilege. It should not be copied, disclosed to, retained or used by, any other party. If you are not an intended recipient then please promptly delete this e-mail and any attachment and all copies and inform the sender. Thank you.

2 1

Deadline extended to April 14 IEEE MASS 2006
by Pedro M. Ruiz 10 Apr '06

10 Apr '06

=============================================================================================== Submission for regular papers deadline has been extended to April 14, 2006 (Hard Deadline) =============================================================================================== Call for Papers The 3rd IEEE International Conference on Mobile Ad hoc and Sensor Systems (MASS-2006) October 9 - 12, 2006 Vancouver, Canada http://www.ieee-mass.org Sponsored by IEEE Computer Society, IEEE TC on Distributed Processing and TC on Simulation OVERVIEW Earlier research in wireless networks and mobile computing has concentrated on single-hop networks, where network nodes communicate directly with a fixed infrastructure, such as cellular or satellite systems. More recently, interest in multi-hop networks, such as mobile ad hoc networks and sensor networks, has stimulated a significant amount of scientific research. In particular, wireless mesh networking (a new community network architecture) has been proposed as an alternative for providing Internet access to business and residential customers. This conference focuses on multi-hop ad hoc and sensor networks systems, covering topics ranging from physical issues to applications. TOPICS Manuscripts that focus on analytical modeling, protocol/algorithm design, and/or experimental studies of the following topics of interest are sought: - Channel behavior modeling and its impact on design of higher-layer protocols - Directional and smart antennas for ad hoc networks - MAC protocols for ad hoc and sensor networks (802.11, 802.15.4, UWB) - Provisioning of wireless QoS; e.g., bandwidth and delay assurance - Routing protocols (unicast, multicast, broadcast, geocast) and routing metrics - Data transport in wireless ad hoc and sensor networks - Power-aware and energy-efficient design - Topology construction and maintenance of coverage - Cross-layer design and optimization - Incentives and game theoretic approaches in wireless ad hoc networks - Localization and synchronization in wireless sensor networks - Data gathering, fusion, and dissemination in wireless sensor - Reliability, security, and trustworthiness in ad hoc and sensor networks - Operating system and middleware support - Applications of multi-hop technology SUBMISSION Technical papers: All submissions must be full papers in .pdf or .ps (PostScript) format. Papers must be uploaded to EDAS by March 31, 2006, and must not exceed 10 single-spaced, two-column pages using at least 11 point size fonts on 8.5 x 11 inch pages. Detailed submission instructions will be published in due time on the conference website http://www.ieee-mass.org together with format files. Workshops: Proposals for full day workshops are solicited. Selections will be made considering the expertise and experience of the workshop organizers and the relevance of the topic to the central theme of the conference. Proposals of at most 4 pages, including a 1-page biographical sketch, should be submitted to the Workshops Chair, Elizabeth M. Belding-Royer (ebelding(a)cs.ucsb.edu ) by March 31, 2006 (extended to April 7). IMPORTANT DATES Manuscript Submission Due: March 31, 2006 (extended to April 14, Hard deadline) Acceptance Notification: June 30 2006 Final Manuscript Due: August 10, 2006 Conference: October 9-12, 2006 COMMITTEE GENERAL CO-CHAIRS Charles E. Perkins Nokia Research Center Jie Wu Florida Atlantic University PROGRAM CO-CHAIRS Zygmunt J. Haas Cornell University Jennifer Hou University of Illinois at Urbana-Champaign PROGRAM VICE CO-CHAIRS Ben Liang University of Toronto Mingyan Liu University of Michigan WORKSHOPS CHAIR Elizabeth M. Belding-Royer University of California, Santa Barbara PROGRAM COMMITTEE check http://www.ieee-mass.org -- --------------------------------------------------------------------- Pedro M. Ruiz, Ph.D. E-mail: pedrom(a)dif.um.es Fac. Informatica, Univ. of Murcia Phone: +34968364335 Campus de Espinardo s/n Fax: +34968364151 E-30100, Espinardo, Murcia www: ants.dif.um.es/~pedrom/ SPAIN ---------------------------------------------------------------------

1 0

2ND INTERNATIONAL WORKSHOP ON SECURITY AND TRUST MANAGEMENT (STM'06)
by Claudio Agostino Ardagna 10 Apr '06

10 Apr '06

[Apologies if you receive multiple copies of this message] CALL FOR PAPERS *********************************************************************************************** 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 May 15, 2006. IMPORTANT DATES Paper submission due: May 15, 2006 Acceptance notification: June 26, 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

CFP of FORTE'06
by John Derrick 06 Apr '06

06 Apr '06

-- ================================================================= -- -- 2nd Call for Papers -- -- 26th IFIP WG 6.1 International Conference on -- -- Formal Methods for Networked and Distributed Systems -- -- FORTE 2006 -- -- -- -- September 26-29 2006, Paris, France -- -- -- -- Special focus on -- -- Middleware & distributed services analysis and verification -- -- -- -- http://forte2006.cnam.fr -- -- ================================================================= -- New: invited speakers - Daniel Krob (Ecole Polytechnique - France) Title: Modeling of Complex Systems - Leslie Lamport (Microsoft) Provisional Title : Advances in specification and verification of distributed systems - Martin Wirsing (University of Munich and Sensoria Project) Title: related to the topics of Sensoria project -- ================================================================= -- The 26th FORTE conference will take place in Paris in the buildings of the CNAM (Conservatoire National des Arts et MÂtiers http://www.cnam.fr) localized in the center of Paris. It is organized by the multi research laboratories group MeFoSyLoMa http://mefosyloma.cnam.fr. FORTE is dedicated to formal description techniques and their application to distributed systems and cooperating applications. The focus of FORTE 2006 is on the construction of middleware and services using formalized and verified approaches. In addition to the classical protocol specification, verification and testing problems, Forte'06 will address the issues of composition of protocol functions and of algorithms for distributed systems. Contributions on the issues of composing and orchestrating services are also encouraged. The conference will consist of tutorial sessions on the first day (Tuesday September 26th) followed by presentations of reviewed and invited papers, tool demonstrations, panel and working sessions (Wednesday 27, Thursday 28 and Friday 29). The proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Sciences series. -- ================================================================= -- Schedule Short abstract submission (recommended) : 10 April, 2006 Paper submission deadline : 18 April, 2006 Notification to authors : 5 June, 2006 Camera-ready version : 25 June, 2006 Conference : September 26th - 29th, 2006 -- ================================================================= -- Topics The aim of FORTE 2006 is to provide a forum for researchers and users to review, discuss, and learn about new approaches, concepts and experiences in the application of formal methods for the specification and the verification of distributed systems and applications. Formal description techniques include (but are not limited to) SDL, UML notations, Domain Specific Languages (DSLs), LOTOS, MSC, Promela, etc. Contributions on Formal paradigms based on finite state machines process algebras, Petri nets, logics or timed automata, etc are also encouraged. The application domains include networking, telecommunication services, internet, embedded systems, real time systems, transport systems, networked games, web based systems and services, etc. Topics of interest include, but are not restricted to : + Use of formal methods: Formally based design of communication protocols, formal verification, composition of protocols, definition and verification of design patterns, integration of protocol functions into middleware, distributed systems, Automatically derived implementations, Transformation based development, Composition, interaction and orchestration of services, Test of distributed systems and communication protocols including interoperability tests, performance tests, robustness tests, and test generation procedures, Tool support. + Theoretical aspects of formal methods: New approaches and theories, Extensions of formal methods and notations, Semantic foundations, Real-time and probability aspects, semantics of domain specific languages, semantical foundations for UML notations. + Practical experience with formal methods: Reports and case studies of the use of formal methods and notations in the development and the validation of distributed systems. -- ================================================================= -- Submissions Authors are invited to submit either regular (16 pages) or short papers (5 pages). All papers must be in English, clear, complete and must be original contributions. Short papers are either devoted to describing work in progress or to the presentation and evaluation of tools. Practical experience papers can be either long or short. All submissions will be evaluated by the program committee for inclusion in the proceedings, which will be published Springer-Verlag in the Lecture Notes in Computer Sciences series. Authors are required to submit a paper title and a short abstract not exceeding 200 words at the conference web site no later than April 10th, 2006. -- ================================================================= -- General chair Véronique Viguié Donzeau-Gouge, CEDRIC-CNAM, France Program chair Elie Najm, ENST, France Jean-François Pradat-Peyre, CEDRIC-CNAM, France Publicity Chair Kirill Bogdanov, University of Sheffield, UK Tutorial Chair Christine Choppy, LIPN Univ. Paris-Nord -- ================================================================= -- Program committee G. V. Bochmann (Univ. of Ottawa, Canada) T. Bolognesi (IEI Pisa, Italy) M. Bravetti (Univ. of Bologna, Italy) A. Cavalli (INT Evry, France) D. de Frutos-Escrig (Complutense Univ. of Madrid,Spain) J. Derrick (Univ. Sheffield, United Kingdom) L. Duchien (LIFL, France) C. Fidge (Australia) R. Gotzhein (Univ. of Kaiserslautern, Germany) S. Haddad (Lamsade-Paris Dauphine, France) T. Higashino (Univ. of Osaka, Japan) D. Hogrefe (Univ. of Gottingen, Germany) P. Inverardi (University of L'Aquila, Italia) C. Jard (IRISA, France) G. J. Holzmann (NASA/JPL, USA) M. Kim (ICU Taejon, Korea) H. Koenig (Brandenburg University of Technology, Germany) L. Logrippo (Univ. of Ottawa, Canada) J. Magee (Imperial College of London, United Kingdom) E. Najm (Infres ENST, France) co-chair M. Nunez (Complutense Univ. of Madrid, Spain) D. A. Peled, (Univ. of Warwick, United Kingdom) A. Petrenko (CRIM Montreal, Canada) F. Plasil (Charles University, Prague) J.-F. Pradat-Peyre (Cedric-Cnam, France) co-chair W. Reisig (Humboldt-Universitat, Berlin) J.B. Stefani (Inria, France) K. Suzuki (UEC, Japan) P. Traverso (ITC-IRST, Italia) K. Turner, (Univ. of Stirling, United Kingdom) H. Ural (Univ. of Ottawa, Canada) F. Wang (National Taiwan University, Taiwan) -- ================================================================= -- Organization committee Christine Choppy, LIPN Univ. Paris-Nord Joyce El Haddad, Lamsade Univ. Paris Dauphine Sami Evangelista, CEDRIC-CNAM Christophe Pajault, CEDRIC-CNAM Pierre Rousseau, CEDRIC-CNAM Emanuel Paviot, LIP6 Univ. Pierre et Marie Curie

1 0

CFP: Special Issue on "Recent Advances in Wireless Sensor Networks, " Ad Hoc Networks (Elsevier) Journal
by Eylem Ekici 04 Apr '06

04 Apr '06

[Our apologies if you receive multiple copies] ================================================== = Call for Papers = = = = AD HOC NETWORKS (ELSEVIER) JOURNAL = = = = Special Issue on = = = = "RECENT ADVANCES IN WIRELESS SENSOR NETWORKS" = = = = http://www.elsevier.com/locate/adhoc/ = ================================================== Guest Editors: Eylem EKICI, Ohio State University Leonard KLEINROCK, UCLA Wireless Sensor Networks (WSNs) are proposed to observe remote and inhospitable areas at close range. In recent years, WSN applications based on simple sense-and-send type operations are replaced by more sophisticated applications that require guarantees from WSNs in communication and information processing. While service guarantees in wireless ad hoc networks have been researched in the past, these solutions cannot be directly applied to WSNs due to limited resource environment and large scale of WSNs. Solutions developed for WSNs must not only cater to the requirements of applications, but also conserve valuable energy resources of sensor nodes, be adaptive to unexpected changes, and operate in loose coordination with the rest of the network. These requirements also highlight the need for cross-layer design and interactions between sensor hardware, protocol layers, and application middleware. This special issue is dedicated to recent advances in the area of wireless sensor networks. Papers describing protocols, models, evaluation methods, and experimental studies of WSNs are solicited for this special issue. Topics of interest include (but are not limited to): - WSN cross-layer protocol suites - Real-time communication in WSNs - Protocols for application-level service guarantees for WSNs - WSN capacity modeling and analysis - Application modeling for WSNs - Application admission methods for WSNs - Joint data processing and communication solutions for WSNs - Fault-tolerant communication and data processing in WSNs - Topology control and network reconfiguration - Localization, synchronization, and mobility - Security issues, solutions, and models - Novel WSN architectures and applications - Experimental and testbed studies of WSNs Submission Instructions: ------------------------ Full papers must be submitted in PDF format by e-mail to ekici(a)ece.osu.edu. Papers must be formatted in single-column format, double-spaced, and use at least 11pt fonts. Papers must not exceed 25 pages including references. Important Dates: ---------------- Submission Deadline: May 1, 2006 Notification of Acceptance: December 15, 2006 Camera-Ready Papers Due: February 15, 2007 Online Publication Date: April 2007 Journal Publication Date: September 2007 -- Eylem Ekici Assistant Professor Dept. of Electrical and Computer Eng. Phone: (614) 292-0495 The Ohio State University Fax: (614) 292-7596 http://www.ece.osu.edu/~ekici E-mail: ekici(a)ece.osu.edu

1 0