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