ifip-tc6 April 2006

ifip-tc6@lists.rwth-aachen.de

33 Teilnehmer
48 Diskussionen

CFP - ..:: CoNEXT2006 ::... 4-7 December 06, Lisbon - Portugal

von Ana Rita Leitão

Our apologies for multiple copies. ====================================== ..:: CoNEXT2006 - Changing Internetworking Paradigms ::.. ======================================= Lisbon, Portugal 4-7 December, 2006 In cooperation with ACM SIGCOMM http://www.co-next.net http://www.adetti.pt/events/CONEXT06/ The 2nd CoNext conference follows the highly successful one held in Toulouse, France in 2005. CoNext 2006 will be a major forum in the area of future networking technologies. CoNext emphasizes synergies between various international and technical communities. The conference will feature a single-track, high quality technical program with significant opportunities for technical and social interaction among a close-knit community of participants. CoNext aims to be open and accommodating to multiple viewpoints and is committed to fairness in the review process and to returning deep and sound technical feedback to authors of submitted paper. CoNext 2006 will emphasize the emerging new paradigms for large-scale, ubiquitous networking. These generally aim to achieve new functionality to support advanced networked services and to provide seamless integration for embedded, wireless, and mobile devices into the network fabric. Relevant topics for the conference include (but not limited to) the following: - Autonomic communications - Pervasive networks - Delay and disruption tolerant networks - Dependable networks - Experimental networks and testbeds - Mobility - Content distribution - Network and protocol architecture - Networked games - Economic aspects of the Internet - Wireless communication - Ad-hoc and sensor networks - Measurement and monitoring - Network management - Security and privacy - Overlay and peer-to-peer Networks - Multimedia applications - Optical networking - Micro vs. macro Internet modelling - Traffic and network engineering - Routing, forwarding and addressing - SLA and service engineering - Traffic and network engineering - Clean-slate approaches to networking - Incentive to cooperate, micro-payments Submitted papers must be original, unpublished, and not submitted to another conference or journal for publication. Papers must be submitted in electronic format following the instructions provided on the CoNEXT web site and must be less than 12 pages in the ACM Sigcomm format (strictly enforced). The workshop proceedings will be published by ACM. The best paper will be fast-tracked to ToN. Abstract registration: July 1st, 2006 Submission: July 7th, 2006 Notification: September 25th, 2006 Final version: October15th, 2006 ** Conference Chairs** Carlos Sá da Costa, ADETTI/ISCTE, Portugal Rui Lopes, ADETTI/ISCTE, Portugal Ana Rita Leitão, ADETTI, Portugal **Program Chairs** Mostafa Ammar, Georgia Institute of Technology, USA Christophe Diot, Thomson, France **Steering Committee** Arturo Azcorra, University Carlos III de Madrid, Spain Michel Diaz, LAAS-CNRS, France Christophe Diot, Thomson, France Serge Fdida, University P&M Curie-Paris, France Jim Kurose, University of massachussets Amherst, USA Laurent Mathy, Lancaster University, UK Jennifer Rexford, Princeton university, USA Ioannis Stavrakakis, University of Athens, Greece Giorgio Ventre, University of Napoli, Italy **Program Committee** Sharad Agarwal, Microsoft Research, USA Marco Ajmone Marsan, Politecnico di Torino, Italy Jussara Almeida, UFMG, Brazil Kevin Almeroth, UC Santa Barbara, USA Francois Baccelli, ENS, France Chadi Barakat, INRIA, France Paul Barford, University of Wisconsin, USA Suman Banerjee, University of Wisconsin, USA Supratik Bhattacharyya, Sprint, USA Ernst Biersack, Eurecom, France Nevil Brownlee, University of Auckland, New-Zealand Augustin Chaintreau, Thomson, France Jon Crowcroft, University of Cambridge, UK Wolfgang Effelsberg, University of Manheim, Germany Christi Estan, University of Wisconsin, USA Kevin Fall, Intel Research, USA Serge Fdida, LIP6, France Nick Feamster, GaTech, USA Clarence Filsfils, Cisco, Belgium Teruo Higashino, Osaka University Kevin Jeffay, UNC, USA Dina Katabi, MIT, USA Jim Kurose, University of Massachusetts Amherst, USA Anne-Marie Kermarrec, IRISA, France Dmitri Krioukov, CAIDA, USA Jay Lepreau, University of Utah, USA John C. S. Lui, Chinese University of Hong-Kong, China Morley Mao, University of Michigan, USA Ibrahim Matta, Boston University, USA Martin May, ETHZ, Switzerland Pietro Michardi, Eurecom, France Maximilian Ott, NICTA, Australia Philippe Owezarski, LAAS, France Giovani Pacifici, IBM, USA Venkat Padmanabahan, Microsoft Research, USA Thomas Plageman, University of Oslo, Norway Narasimha Reddy , Texas A & M University, USA Luigi Rizzo, Universita di Pisa, Italy Pablo Rodriguez, Microsoft Research, UK Carlos Sá da Costa, Adetti, Portugal Aruna Seneviratne, NICTA, Australia Anees Shaikh, IBM, USA Yuval Shavitt, Tel Aviv University, Israel Peter Steenkiste, CMU, USA Nina Taft, Intel Research, USA Joe Touch, ISI, USA Daryl Veitch, University of Melbourne, Australia == Organized with the support of: == Cisco Systems Thomson Intel ADETTI ISCTE IST Information Society Technologies FCT Fundação para a Ciência e Tecnologia e-NEXT http://www.co-next.net info(a)co-next.net

18 Jahre

Extended deadline - Last Call for Submissions || ICISP 2006 and ICDT 2006

von Damien Magoni

***Apologies if you receive multiple copies*** ====ICISP 2006 ======================================== LAST 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 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 ======================================== LAST 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 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 =====================================================

18 Jahre

[CFP] SSS 2006 --- Second Call for Papers

von Florent Claerhout

[Please accept our apologies if you receive multiple copies of this message.] Eighth International Symposium on Stabilization, Safety, and Security of Distributed Systems (formerly Symposium on Self-stabilizing Systems) (SSS 2006) November 17th-19th, 2006, Dallas, Texas, USA. http://www.irisa.fr/sss/2006/ ====================================================================== Important Dates Paper Submission: July 7th, 2006 Notification to Authors: August 21st, 2006 Camera-ready: August 31st, 2006 Symposium: November 17th-19th, 2006 ====================================================================== The Symposium is a prestigious international forum for researchers and practitioners in the design and development of fault-tolerant distributed systems with self-* properties, such as self-stabilizing, self-configuring, self-organizing, self-managing, self-repairing, self-healing, self-optimizing, self-adaptive, and self-protecting. The theory of self-stabilization has been enriched in the last 25 years by high quality research contributions in the areas of algorithmic techniques, formal methodologies, model theoretic issues, and composition techniques. All these areas are essential to the understanding and maintenance of self-* properties in fault-tolerant distributed systems. Research in distributed systems is now at a crucial point in its evolution, marked by the importance of dynamic systems such as peer-to-peer networks, large-scale wireless sensor networks, mobile ad hoc networks, robotic networks, etc. Moreover, new applications such as grid and web services, banking and e-commerce, e-health and robotics, aerospace and avionics, automotive, industrial process control, etc. have joined the traditional applications of distributed systems. Now, more than ever, the theory of self-stabilization has tremendous impact in these areas. Therefore, this year, we are extending the scope of the symposium to cover all safety and security related aspects of self-* systems. The title of the conference has been changed to reflect this expansion. There will be three tracks: networking, safety and security, and self-* properties in static and dynamic systems. The symposium solicits contributions on all aspects of self-stabilization, safety and security, recovery oriented systems and programing, from theoretical contributions, to reports of the actual experience of applying the principles of self-stabilization to static and dynamic systems. Topics of interest include, but are not limited to: Stabilization: - self-stabilizing systems - self-managed, self-assembling, autonomic and adaptive systems - self-optimizing and self-protecting systems - self-* abstractions for implementing fundamental services in static and dynamic distributed systems - impossibility results and lower bounds for self-* systems - application of stabilizing algorithms and techniques in dynamic distributed systems - data and code stabilization - algorithms for self-* error detection/correction Safety: - safety critical systems - trust models and specifications - semantics of trust, distrust, mistrust, over-trust, cheat, risk and reputation - trust-related security and privacy - reliable and dependable systems - fault-tolerant systems, hardware redundancy, robustness, survivable systems, failure recovery Security: - security of network protocols - security of sensor and mobile networks protocols - secure architectures, frameworks, policy, intrusion detection/awareness - proactive security - self-* properties and their relation with classical fault-tolerance and security - security protocols for self-* systems Networks and Applications: - models of fault-tolerant communication - stochastic, physical, and biological models to analyze self-* properties - communication complexity - data structures for efficient communication - self-stabilizing hardware, software, and middleware - algorithms for high-speed networks, sensors, wireless and robots networks - mobile agents - peer-to-peer networks, sensor networks, MANETs, and wireless mesh networks - network topologies, overlays, and protocols - protocols for secure and reliable data transport and search in wireless mesh networks - information storage and sharing in wireless mesh networks Contributors are invited to submit a PDF file of their paper. Submissions should be no longer than 4800 words and should not exceed 12 pages on letter-size paper using at least 11 point font and reasonable margins (the page limit includes all figures, tables, and graphs). Submissions should include a cover page (that does not count towards the 12 page limit) that includes paper title, authors and affiliations, contact author's e-mail address, an abstract of the work in a few lines, and a few keywords. Submitted papers may have appendices beyond the 12 page limit, but reviewers are free to disregard any material beyond the 12 page limit. A paper submitted to SSS 2006 is expected to be original research not previously published; a submission may not be concurrently submitted or to any other conference, workshop, or journal. The proceedings of the conference are expected to be published in the Springer Verlag LNCS series. Selected papers will appear in a special issue of a high quality journal devoted to SSS 2006.

18 Jahre

CfP IWAN 2006

von Guy Leduc

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)

18 Jahre

Deadline Extention || ICDT 2006 || ICISP 2006 || Cote d'Azur, France

von invitation＠iaria.org

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

18 Jahre

WRS06 last call for paper

von wrs06＠redstar.cs.pdx.edu

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

18 Jahre

2nd CFP: FCS-ARSPA'06 (Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis)

von vigano＠inf.ethz.ch

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

18 Jahre

DCOSS 2006 Student Travel Grants-- April 15 deadline

von Wendi Heinzelman

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

18 Jahre

Re: [ifip-tc6] Invitation to TC6 meeting

von Radford, Peter

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.

18 Jahre

Deadline extended to April 14 IEEE MASS 2006

von Pedro M. Ruiz

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

18 Jahre

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

ifip-tc6 April 2006