Our apologies if you receive multiple copies of this CFP
-----------------------------------------------------------
PRELIMINARY ANNOUNCEMENT AND CALL FOR PAPERS
IEEE ICPS Workshop on
Multi-hop Ad hoc Networks: from theory to reality
REALMAN 2005
http://www.cl.cam.ac.uk/realman
jointly organized by:
MobileMAN EC IST Project
University of Cambridge, UK
CNR-Institue for Informatics and Telematics, I
in conjunction with
ICPS 2005
http://icps2005.cs.ucr.edu/
July 14, 2005
Santorini, Greece
After almost a decade of research into ad hoc networking,
off-the-shelf MANET technology has not yet affected our way
of using wireless networks. To consolidate the field,
it is now the time to constructing and experiencing with realistic
and complete MANET solutions. Prototypes and measurements
on real test-beds provide insights in the ad hoc technology behavior
and fundamental information for a realistic tuning of simulation models
(mobility models, link-level models, etc.).
This workshop constitutes a unique forum for presenting and discussing
experiences based on real ad hoc networks test-beds and prototypes.
Original contributions are solicited, related to systems and protocols
development and testing, in all areas related to ad hoc networking.
Topics of interest include, but are not limited to:
* Ad hoc networks applications
* System prototypes and experiences
* Software technologies and systems
* Mobile Ad Hoc Networks
* Sensor Networks
* Vehicular Networks
* Mesh Networks
* Routing and Transport protocols
* Security and cooperation protocols
* Middleware platforms for ad hoc networks
* Ad Hoc Networking for ambient intelligence and pervasive environments
* Location services
* Positioning and Tracking Technologies
* Measurement studies
* Mobility Models
* Enabling Technologies Models (802.11, 802.15, etc.)
DEMO SESSION
A demo session will be held during the workshop, showing real MANET
prototypes at work. Demo proposals are highly welcome, and will be evaluated
ty the Program Commitee. Please submit your proposal to the program chair
(realman(a)iit.cnr.it).
SUBMISSION GUIDELINES
Please submit your short paper via e-mail (PDF format is mandatory)
to the program chair (realman(a)iit.cnr.it).
We encourage the authors to format their papers according to the
IEEE double-column standard format, except the font size, which
must be Times Roman 11pt (or greater). Paper length must not exceed
8 pages, including figures, appendixes, bibliography, etc.
Format templates and detailed instructions can be found at
http://www.cl.cam.ac.uk/realman/authors.html
******************************************************************
High quality papers will be selected for possible publication on
"Ad Hoc & Sensor Wireless Networks Journal (AHSWN)"
http://www.oldcitypublishing.com/AHSWN/AHSWN.html
******************************************************************
IMPORTANT DATES
Papers due: May 1, 2005
Notification: June 1, 2005
Camera Ready due: June 14, 2005
ORGANIZING COMMITTEE
General Chair
Jon Crowcroft
University of Cambridge, UK
jon.crowcroft(a)cl.cam.ac.uk
Program Chair
Marco Conti
IIT-CNR, Italy
marco.conti(a)iit.cnr.it
Program Vice-Chair
Andrea Passarella
University of Cambridge, UK
andrea.passarella(a)cl.cam.ac.uk
(Our apologies if you receive multiple copies of this document)
-----------------------------------------------------------------------
Extended Dates for Posters and Demos Submissions
MobiHoc 2005
6th ACM International Symposium on
Mobile Ad Hoc Networking and Computing
May 25-28, 2005, Urbana-Champaign, Illinois, USA
http://www.sigmobile.org/mobihoc/2005/
Sponsored by ACM SIGMOBILE
ACM MobiHoc is the premier international meeting dedicated to
addressing challenges emerging from wireless ad hoc networking and
computing. Due to the growing interest in the field this year's
symposium will have an expanded format that will include a highly
selective, dual-track technical program for the first time, as well as
hands-on research demonstrations, keynote, panel, and tutorials.
We invite poster, and demonstration submissions on mobile ad hoc
networks, wireless sensor networks, and ad hoc computing systems, with
the focus being on issues at and above the MAC layer. Areas of
interest include, but are not limited to
. Applications, operating system, and middleware support
. Analysis and design of transport, network and MAC protocols
. Energy-efficient algorithms
. Location discovery and management techniques
. Network scaling and limits
. Measurements and practical experience from
experimental systems and testbeds
. Cross layer design
. Network resilience, fault-tolerance, and reliability
. Security and defense issues
. In-network processing, aggregation, and data dissemination
. Distributed actuation, control, and coordination
. Modeling, performance evaluation and QoS issues
POSTERS: Posters presenting early work and preliminary results are
solicited. The poster session will provide an excellent opportunity
for initial feedback on early research results. Posters may not preclude
concurrent submissions on the same topic in regular conferences and
journals. Poster descriptions of
no more than 3 pages (US letter size 8.5x11 inches) using font size 10
hould be submitted to the Poster Co-Chairs before April 8, 2005.
Please include the words "Poster Abstract:" to precede the title on
the cover page.
A selected subset of the poster abstracts will be published in ACM
Mobile Computing and Communications Review.
DEMOS: Technical demonstration of experimental ad hoc networking and
computing systems are solicited. One-page demo descriptions, including
list of any required supporting equipment, should be sent to the
Demo Chair before April 15, 2005.
ORGANIZATION COMMITTEE:
General Chair
-------------
P. R. Kumar
Univ. of Illinois, Urbana-Champaign
prkumar(a)uiuc.edu
Program Co-Chairs
-----------------
Andrew T. Campbell
Columbia University
campbell(a)comet.columbia.edu
Roger Wattenhofer
ETH Zurich
wattenhofer(a)tik.ee.ethz.ch
Steering Committee Chair
------------------------
Nitin Vaidya
Univ. of Illinois, Urbana-Champaign
nhv(a)uiuc.edu
Poster Co-Chairs
----------------
Saswati Sarkar
University of Pennsylvania
swati(a)seas.upenn.edu
Songwu Lu
University of California, Los Angeles
slu(a)cs.ucla.edu
Demo Chair
----------
Scott Graham
Air Force Institute of Technology
scott.graham(a)afit.edu
Tutorial Co-Chairs
------------------
Richard Hyong-Jun La
University of Maryland
hyongla(a)eng.umd.edu
Bhaskar Krishnamachari
University of Southern California
bkrishna(a)usc.edu
Publicity Chairs
----------------
Sunghyun Choi
Seoul National University
schoi(a)snu.ac.kr
Marco Conti
Consiglio Nazionale delle Ricerche
marco.conti(a)iit.cnr.it
Robin Kravets
Univ. of Illinois, Urbana-Champaign
rhk(a)cs.uiuc.edu
Finance Co-Chairs
-----------------
Srikanth Krishnamurthy
University of California, Riverside
krish(a)cs.ucr.edu
Raghupathy Sivakumar
Georgia Institute of Technology
siva(a)ece.gatech.edu
Registration Chair
------------------
Prasun Sinha
Ohio State University
sinha.43(a)osu.edu
Web Chair
---------
Junshan Zhang
Arizona State University
junshan.zhang(a)asu.edu
Publication Chair
-----------------
Yongguang Zhang
HRL Labs
ygz(a)hrl.com
Local Arrangements Co-Chairs
----------------------------
Xiang-Yang Li
Illinois Institute of Technology
xli(a)babbage2.cs.iit.edu
Haiyun Luo
Univ. of Illinois, Urbana-Champaign
haiyun(a)cs.uiuc.edu
Wai Gen Yee
Illinois Institute of Technology
yee(a)iit.edu
----------------------------------------------------------------------
For more information contact the General Chair P. R. Kumar or consult
the symposium webpage http://www.sigmobile.org/mobihoc/2005/
[[ -- Apologies for multiple copies of this message -- ]]
=============================================================================
Call for Papers
4th International Workshop on
PARALLEL AND DISTRIBUTED METHODS IN VERIFICATION
(PDMC 2005)
July 10, 2005 - Lisboa, Portugal
Workshop affiliated to ICALP'05
http://pdmc.informatik.tu-muenchen.de
=============================================================================
OBJECTIVES: The growing importance of automated formal verification in
industry is driving a growing interest in those aspects which have a
direct impact on its applicability to real world problems. One of the
main technical challenges is in devising tools that allow to handle
large state spaces. Over the last years numerous approaches have been
developed. Recently, an increasing interest is in parallelizing and
distributing of verification techniques.
The aim of the PDMC workshop series is to cover all aspects of
parallel and distributed methods and techniques for formal
verification. Theoretical results, algorithms and case studies are
equally welcome. Contributions from the domains of model checking,
theorem proving, and equivalence checking are anticipated.
The PDMC workshop aims to provide a working forum for presenting,
sharing, and discussing recent achievements in the field of parallel
and distributed verification. The workshop will consist of invited
talks and a selection from submitted papers.
SCOPE AND TOPICS: Papers describing recent work on all aspects of
parallel and distributed verification are solicited as contributions
to PDMC. Topics of interest include, but are not limited to:
* parallel and distributed model checking
* parallel and distributed equivalence checking
* parallel and distributed satisfiability checking
* slicing and distributing the state space
* distributed theorem proving
* distributed constraints solving
* parallel methods in probabilistic model checking
* file systems for distributed transitions systems
* parallel methods in performance evaluation
* tools and case studies
* industrial applications
INVITED SPEAKER:
* Kim G. Larsen (Aalborg University, Denmark)
SUBMISSION GUIDELINES: There are two categories of submissions:
regular papers and presentations.
* Manuscripts of regular papers are limited to a maximum of 10
pages (excluding bibliography and technical appendices) in
postscript or PDF format (ENTCS style strongly recommended).
* Presentations report on relevant results submitted to other
forums or already published or on not yet finished work in
progress. Presentations will appear in the workshop preliminary
proceedings, but will not be considered for the final workshop
proceedings. The space limit for presentations is 10 pages
(excluding bibliography and technical appendices) in postscript
or PDF format (ENTCS style strongly recommended).
Submissions should be made electronically using PDMC'05 Submission Page.
PROCEEDINGS: The preliminary workshop proceedings will be available at
the meeting. The final proceedings appear as a volume of Electronic
Notes in Theoretical Computer Science. After the workshop, selected
authors will be invited to submit full versions of their papers
(regular papers or presentation results not submitted for journal
publication) to a special section of a journal (under negotiation).
IMPORTANT DATES:
* Submission deadline: April 17, 2005
* Notification of acceptance: May 16, 2005
* Presentations deadline: May 22, 2005
* Final version: June 3, 2005
PROGRAM COMMITTEE:
* Howard Barringer (Manchester Univ., UK)
* Lubos Brim (Masaryk Univ., CZ)
* Gianpiero Cabodi (Torino, IT)
* Joerg Denzinger (Alberta, Canda)
* Wan Fokkink (CWI Amsterdam, NL)
* Hubert Garavel (INRIA, FR)
* Juergen Giesl (RWTH Aachen, DE)
* Orna Grumberg (Haifa, Israel)
* Boudewijn R. Haverkort (Univ. of Twente, NL)
* Marta Kwiatkowska (Univ. of Birmingham, UK)
* Martin Leucker (TU Munich, DE) - Co-chair
* Eric Mercer (Brigham Young Univ., USA)
* Jaco van de Pol (CWI, NL) - Co-chair
* Gerardo Schneider (Univ. of Oslo, Norway)
* Willem Visser (NASA Ames Research Center, USA)
Martin Leucker & Jaco van de Pol
workshop organizers
Dear all,
please find attached the new TC6 logo in PDF format.
I've ordered new pins with that logo.
They should be available for Networking 2005 and for subsequent events.
At the occasion of meeting 2005/1 I shall ask for approval of this
action; I had to do it very spontaneously in order to h.ve the
pins ready for Networking 2005.
The attendance statistics for meeting 2005/1 has been improved very much
(see enclosure). Already 18 attendants with some more expected.
Best regards
Otto
------------------------------------------------------------------------
(Our apologies if you receive multiple copies of this email.)
***********************************************************************
*
* Networking 2005
*
* Fourth IFIP International Conference on Networking
*
*
* http://www.cs.uwaterloo.ca/conferences/networking2005/
*
***********************************************************************
Fourth IFIP International Conference on Networking
http://www.cs.uwaterloo.ca/conferences/networking2005/
Monday, 2 May - Friday, 6 May 2005
University of Waterloo,
Waterloo, Ontario, CANADA
Sponsored by the IFIP working groups:
WG 6.2: Network and Internetwork Architectures
WG 6.3: Performance of Communication Systems
WG 6.8: Wireless Communications
WG 6.10: Photonic Networking
and:
Nortel Networks
Bell
Research in Motion
Sun Microsystems
Hosted by The University of Waterloo
======================================
Networking 2005 CALL FOR PARTICIPATION
======================================
Networking 2005 serves as a forum for engineers and scientists from
around the world to present their latest research findings in the fields
of computer networks and data communications. Networking 2005 includes
a peer-reviewed program of technical sessions, panels, tutorials, and
workshops. The five-day program starts with cutting-edge tutorials on a
range of hot topics, including sensor and ad hoc networks,
delay-tolerant networks, optical networking, and quality of service.
Throughout the week there will be keynote talks by research and industry
leaders, including Peter Carbone, Vice President of Next-Generation
Architectures, Networks and Technology at Nortel Networks. Panels will
cover issues of immediate relevance to both industry and research alike,
including cross-layer design issues. The week will be rounded out with
a series of workshops on critical issues on networking today, including
problems of rapid configuration, modeling, and middleware.
Full program details are available at:
http://www.cs.uwaterloo.ca/conferences/networking2005/coming/ program.html
============
REGISTRATION
============
Register at:
http://www.cs.uwaterloo.ca/conferences/networking2005/coming/
registration.html
========
WATERLOO
========
The Fourth IFIP Conference on Networking will be held at the University
of Waterloo, in Waterloo, Ontario. About 60 miles south-west of
Toronto, Waterloo is situated near the Grand River, in the heart of
South-West Ontario.
Waterloo has a large concentration of world-leading high-technology
companies, including Research in Motion, maker of the blackberry, Sybase
iAnywhere, Open Text, as well as two universities.
While visiting Waterloo, you may wish to take the opportunity to go
canoing on the Grand river (http://www.canoeingthegrand.com/). Waterloo
is a short drive from the internationally renown Stratford Festival
(http://www.stratford-festival.on.ca/), and less than 2 hours drive from
Niagara Falls (http://www.city.niagarafalls.on.ca/).
Pearson International Airport, less than an hour away, provides easy
access for our worldwide participants.
Dear all,
the information about attendance of meeting 2005/1 (May 7+8, 2005
in Toronto, Canada) is still very limited (see annex). Please
check whether the information given there is correct.
In order to plan the meeting - in particular the TC6 dinner
on Saturday evening - I would like to have your replies
as soon as possible.
Please send a copy also to Lorne Mason <Mason(a)ECE.McGill.CA>.
It is planned to start the meeting at 9 am on both days.
The meeting should end on May 8 around noon; thus flights back to
Europe (which depart roughly around 6 p.m.) can easily be reached.
Best regards
Otto
-----------------------------------
IFIP TC6 Meeting 2005/1 in Toronto; May 7+8, 2005
Name:
O I'll attend the meeting.
O Unfortunately, I cannot come.
Dear WG chairpersons,
Please would you copy your WG reports to me, too.
I hope to be able to find some time soon (although not necessarily
before the Toronto meeting) to sort out the event statistics.
Best wishes for a good meeting (or game?)
Peter
Peter Radford
UK Representative to TC6
E: Peter.Radford(a)LogicaCMG.com
T: +44 20 7446 1281 (O)
T: +44 1245 262328 (H)
-----Original Message-----
From: ifip-tc6-bounces(a)lists.RWTH-Aachen.DE
[mailto:ifip-tc6-bounces@lists.RWTH-Aachen.DE] On Behalf Of Otto Spaniol
Sent: 31 March 2005 07:21
To: ifip-tc6(a)informatik.rwth-aachen.de
Subject: [ifip-tc6] WG reports
Dear WG chairpersons,
"after the meeting is before the meeting"
("nach dem Spiel ist vor dem Spiel"; famous sentence of Sepp Herberger,
coach of the German soccer team which won the world championship in
1954).
I need your WG reports for the next meeting.
This should include event statistics, information about event request
forms, strategic planning for the future, issues which are to be
resolved etc.
Deadline: April 15, 2005.
Best regards
Otto
_______________________________________________
ifip-tc6 mailing list
ifip-tc6(a)lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/ifip-tc6
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.
Dear WG chairpersons,
"after the meeting is before the meeting"
("nach dem Spiel ist vor dem Spiel"; famous sentence of
Sepp Herberger, coach of the German soccer team which won the
world championship in 1954).
I need your WG reports for the next meeting.
This should include event statistics, information about
event request forms, strategic planning for the future,
issues which are to be resolved etc.
Deadline: April 15, 2005.
Best regards
Otto
Dear Colleagues:
We're pleased to announce an extension of the submission deadline for
the Wireless Sensor Networks Symposium to be held at Sheraton Maui
Resort, Maui, Hawaii, USA in conjunction with IEEE WirelessCom 2005,
June 13-16, 2005.
For details of this symposium, please see:
http://bit.csc.lsu.edu/WirelessComm05/WSNsymposium/
Submissions will be accepted till March 31, through
http://msrcmt.research.microsoft.com/WirelessCom2005
Regards,
Organizing Committee
Dear Colleagues (Apologies if you receive this more than once),
To accommodate those not quite finished but hoping to submit
enough time to complete their papers, we have agreed to
extend the deadline for submission by two weeks until friday April
15, 2005.
Depending on their content, refereed extended versions of selected
paper will be published on a special issue of either Natural Computing
or Nonlinear Analysis C-series.
Kind Regards,
Organizing Committee
=================
Call for Papers
International Workshop on Natural and Artificial Immune Systems
(NAIS 2005)
Vietri sul Mare, Salerno, Italy, June 9-10, 2005
http://siren.dsi.unimi.it/conferences/IMMUNE05/html/index.html
* Venue
International Institute For Advanced Scientific Studies (IIASS),
"E.R.Caianiello", Vietri sul Mare, (SA) Italy.
http://www.iiassvietri.it/index.htmlhttp://www.iiassvietri.it/school2004/
* Important Dates
Submission deadline: April 15 2005
Acceptance/Rejection notification: May 2, 2005
Camera-ready copy of papers: June 6, 2005
Workshop Date: June 9-10, 2005
* Aims and Scope
The workshop aims at catalyzing the interaction between modelers (computer
scientists, mathematicians and physicists), immunologists and biologists
interested in discussing the information processing mechanisms
emerging in the functionalities of either natural or artificial immune
systems.
The leading idea motivating this event is the attention to the various
forms of “intelligent thinking” underlying the many
attack/defense/adaptation strategies discovered in natural systems, such
as tumor and virus escape mechanisms of
animals and humans, or implemented in artificial systems.
This approach may reap several basic benefits of the original
cybernetics paradigm:
-the emergence of the mind from chemical-physical reactions that can
be studied and simulated,
- the use of natural processing mechanisms for solving artificial
problems, and the cross-fertilization of the natural and artificial
research environments,
-the adoption of comprehensive immune system models in the
development of new therapeutic approaches.
Possible topics include, but are not limited to:
# Computational Immunology
# Immunological Computation
# Immunoinformatics
# modelling and simulation of immune systems
# model testing and game theory
# biological and immersive learning
# network security and artificial virus attacks
# comparisons between Artificial Immune Systems and other
biologically-inspired paradigms
# theory and applications of Immunological Computing
# Immunocomputing
* Invited speakers
- Franco Celada, University of Genova, Italy
- Vincenzo Cutello, University of Catania, Italy
- Dipankar Dasgupta, University of Memphis, USA
- Doheon Lee, IBM-KAIST Bio-Computing Research Center, Korea
- Jon Timmis, Universityh of Kent, UK
* Conference Proceedings
The conference will feature both introductory tutorials and original
refereed papers, to be published by an international publisher.
See details of electronic submission on the web page:
http://siren.dsi.unimi.it/conferences/IMMUNE05/html/index.html
Depending on their content, refereed extended versions of selected
paper will be published on a special issue of either Natural Computing or
Nonlinear Analysis C-series.
* Conference Chairs:
- Bruno Apolloni, University of Milano, Italy.
apolloni(a)dsi.unimi.it
- Alberto Clivio, University of Milano, Italy.
alberto.clivio(a)unimi.it
- Vincenzo Cutello, University of Catania, Italy.
cutello(a)dmi.unict.it
- Giuseppe Nicosia, University of Catania, Italy.
nicosia(a)dmi.unict.it
*Programme Committee:
- Franco Celada, University of Genova, Italy
- Dipankar Dasgupta, University of Memphis, USA
- Marco Gori, University of Siena, Italy
- Doheon Lee, IBM-KAIST Bio-Computing Research Center, Korea
- Piero Mussio, University of Milano, Italy
- Anastasia Pagnoni, Unversity of Milano, Italy
- Jon Timmis, Universityh of Kent, UK
- Henry Linger, Monash University, Melbourne, Australia
- Fernando Esponda, University of New Mexico, USA
* Getting Vietri Sul Mare
http://www.iiassvietri.it/school2004/getting_vietri.htm
* NAIS 2005 Conference Secretariats:
- Department of Mathematics and Computer Science
University of Catania,
City University,
V.le A. Doria 6, 95125 Catania, Italy
Email: nais05(a)dmi.unict.it
Phone: +39-095-7383074
Fax: +39-095-330094
or
- Dip. di Scienze Dell'Informazione.
University of Milano
Via Comelico, 39
20125 Milano, Italy
Email: bassis(a)dsi.unimi.it
Phone: +39-02-50316335
Fax: +39-02-50316228
* For additional information or questions, contact
Alberto Clivio, University of Milano, Italy, alberto.clivio(a)unimi.it
Giuseppe Nicosia, University of Catania, Italy, nicosia(a)dmi.unict.it
--
Giuseppe Nicosia
Ph.D. in Computer Science
Department of Mathematics and Computer Science
University of Catania
V.le A. Doria 6 - 95125 Catania, Italy
Email: nicosia(a)dmi.unict.it
Tel: + 39 095 738 30 80
Fax: + 39 095 33 00 94
Web: www.dmi.unict.it/~nicosia