Dear friends,
Please find attached the call for papers of Net-Con 2004. Please
distribute it in your country. thank you in advance.
Best regards
Ramon
-------- Original Message --------
Subject: CFP for Net-Con'2004
Date: Wed, 18 Feb 2004 14:39:15 +0100
From: Sebastià Galmés <dmisgo0(a)uib.es>
To: "A. Al-Naamany" <naamany(a)squ.edu.om>, Abdelmalec Benzekri
<benzekri(a)irit.fr>, Augusto Casaca <augusto.casaca(a)inesc.pt>, Bartomeu
Serra <tomeu.serra(a)uib.es>, Chris Blondia <chris.blondia(a)ua.ac.be>,
"D-Y. Hu" <hdy(a)tsinghua.edu.cn>, "F. Arve Aagesen"
<finnarve(a)item.ntnu.no>, "Fouad A. Tobagi" <tobagi(a)stanford.edu>,
Francisco José Quiles Flor <Francisco.Quiles(a)uclm.es>, Franco Davoli
<franco.davoli(a)cnit.it>, "G. Omidyar" <omidyar(a)erols.com>, Giovanni
Pacifici <giovanni(a)us.ibm.com>, Giuseppe Bianchi
<bianchi(a)elet.polimi.it>, Guenter Haring <Guenter.Haring(a)univie.ac.at>,
Guy Leduc <Guy.Leduc(a)ulg.ac.be>, Guy Pujolle <guy.pujolle(a)lip6.fr>,
Harry Perros <hp(a)csc.ncsu.edu>, "J. Escobar"
<jescobar(a)centauritech.com>, "J. Slavik" <SLAVIK(a)mailserv.testcom.cz>,
Jordi Domingo <jordi.domingo(a)ac.upc.es>, Llorenç Huguet
<dmilhr0(a)clust.uib.es>, Luigi Fratta <luigi.fratta(a)polimi.it>, Omar
Cherkaoui <Cherkaoui_o(a)dinfo.uqam.ca>, Otto Duarte <otto(a)gta.ufrj.br>,
Otto Spaniol <spaniol(a)informatik.rwth-aachen.de>, "R. Boutaba"
<rboutaba(a)bbcr.uwaterloo.ca>, "T. Saito" <saito(a)jp.toyota-itc.com>, Ulf
Koerner <ulfk(a)tts.lth.se>, Villy Baek Iversen <vbi(a)com.dtu.dk>, Walid
Dabbous <Walid.Dabbous(a)sophia.inria.fr>, "Y. Stavrakakis"
<ioannis(a)di.uoa.gr>, Yutaka Takahashi <takahashi(a)i.kyoto-u.ac.jp>
CC: putxi(a)uib.es, tomeu.serra(a)uib.es, Dominique.gaiti(a)utt.fr,
dijjfg(a)tomir.es, magdalena.payeras(a)uib.es, miquela.vanrell(a)uib.es
Dear Members of the TPC for Net-Con'2004,
first of all thank you very much for your collaboration!
Please find attached the Call for Papers document for the Conference. As
a member of the TPC, we would appreciate your contribution to spread it
through your e-mail lists, as well as to generally promote Net-Con'2004.
Of course, we also encourage you to participate in the Conference by
submitting a paper and/or a tutorial.
Again thank you very much!
Best regards,
Dominique Gaïti, Sebastià Galmés
--
__________________________________________________
Sebastià Galmés
Universitat de les Illes Balears
Departament de Ciències Matemàtiques i Informàtica
07122 Palma, Spain
Telf.: +34-971172989 Fax: +34-971173003
E-mail: dmisgo0(a)uib.es
__________________________________________________
--
=========================================================================
Ramon Puigjaner
Universitat de les Illes Balears
Departament de Ciencies Matematiques i Informatica
07122 PALMA (Spain)
Phone: +34-971173288 Fax: +34-971173003
e-mail: putxi(a)uib.es
=========================================================================
+--------------------------------------------------------------------+
Apologies for multiple copies.
+--------------------------------------------------------------------+
Call for Papers
Fourth International Workshop on
Advanced Internet Charging and QoS Technologies (ICQT’04)
"QoS has its Price"
co-located with the Fifth International Workshop on
Quality of future Internet Services (QofIS’04)
September 29 - October 1, 2004
Barcelona, Catalunya, Spain
ICQT’04 URL: http://www.ftw.at/icqt
Scope
^^^^^
The current shift of Internet communications towards differentiated
services enables and supports a huge variety of prosperous business
models. The resulting combination of support service issues with
technological and economic perspectives drives many relevant and
interesting research topics for application developers, business
architects, network providers, service providers, and customers.
Especially the identification of novel Internet charging solutions,
the investigation and evaluation of their technical feasibility,
and the consolidation of technical and economic mechanisms for
enabling a fast, guaranteed, and efficient charging of
communications services is of fundamental importance for the future
evolution of the Internet, and as such the central focus of the
international ICQT workshop series.
ICQT’04 is the fourth event in this series, following the highly
successful workshops ICQT’01 in Vienna (Austria), ICQT’02 in
Zurich (Switzerland) and ICQT’03 in Munich (Germany). The focus
of this year’s workshop is on the economics of Internet services,
pricing for Quality-of-Service (QoS), and the required technology
in support of charging. Besides charging technology in terms of
monitoring, accounting, and security mechanisms, also pricing and
charging models for peer-to-peer applications, multicast, wireless,
and QoS services are of importance. Therefore, authors are invited
to submit work on issues related to, but not limited by, the
following list of topics:
o Network economics and economic models for the Internet
o Internet pricing, tariffing, and billing
o Internet charging technologies
o Monitoring, measuring, and accounting
o ISP cost and business models
o Charging for QoS, services, and content
o Pricing mobile and wireless services
o Application service provider models
o Security mechanisms for charging
o Management of Service Level Agreements
Papers and Submissions
^^^^^^^^^^^^^^^^^^^^^^
Papers are solicited as full papers (in English), of no more than
10 single-spaced pages, each of which will be subject to a full
review process. Submissions should already follow the author
guidelines as specified below and must include: title, authors,
affiliations, 100-word abstract, and a list of at most five
keywords. The corresponding author should be identified clearly,
including name, position, mailing address, telephone and fax
numbers, and e-mail address. An electronic, PDF-based submission
of papers is mandatory, please check the URL http://www.ftw.at/icqt
for further submission instructions or contact icqt04(a)ftw.at for
additional information. The conference proceedings are being
published as hard-copy and electronically by Springer Verlag,
Heidelberg, Germany, in the Lecture Notes in Computer Science
Series and will be available during the event.
Authors are obliged to follow the LNCS’s guidelines
(see http://www.springer.de/comp/lncs/authors.html) in preparing
their manuscript. Author guidelines with respect to the final
camera ready paper formats are to be strictly followed without
exception, including the 10 page limit.
Important Dates
^^^^^^^^^^^^^^^
Deadline for submissions: May 2, 2004
Notification of acceptance: July 2, 2004
Camera ready version: July 25, 2004
Workshop date: October 1, 2004
General Information
^^^^^^^^^^^^^^^^^^^
The final program will be run as a full day on October 1, 2004,
preceded by QofIS’04 on September 29-30, 2004, http://www.qofis.org.
The registration fee for this event will include the attendance of
both ICQT’04 and QoFIS’04. For more information please visit
http://www.ftw.at/icqt or contact icqt04(a)ftw.at.
Program Co-Chairs
^^^^^^^^^^^^^^^^^
Burkhard Stiller UniBw Munich, Germany and ETH Zurich, Switzerland
Peter Reichl FTW Vienna, Austria
Richard Gibbens Cambridge University, U.K.
Program Committee
^^^^^^^^^^^^^^^^^
Joern Altmann University of Berkeley, U.S.A.
Ragnar Andreassen Telenor, Norway
Sandford Bessler FTW Vienna, Austria
Torsten Braun University of Bern, Switzerland
Bob Briscoe BT exact Technologies, U.K.
Roland Bueschkes T-Mobile International, Germany
Costas Courcoubetis Athens University of Economics and
Business, Greece
Chris Edwards Lancaster University, U.K.
Martin Karsten University of Waterloo, Canada
Peter Key Microsoft Research Cambridge, U.K.
Claudia Linnhoff-Popien LMU Munich, Germany
Simon Leinen SWITCH Zuerich, Switzerland
Peter Marbach University of Toronto, Canada
Robin Mason University of Southampton, U.K.
Lee McKnight Syracuse University, U.S.A.
Andrew Odlyzko University of Minnesota, U.S.A.
Huw Oliver Consultant, U.K.
Maximilian Ott Semandex Networks, U.S.A.
Kihong Park Purdue University, U.S.A.
Guido Petit Alcatel, Belgium
Douglas Reeves North Carolina State University, U.S.A.
Bjoern Rupp Arthur D. Little, Germany
Jens Schmitt Universitaet Kaiserslautern, Germany
Vasilios Siris ICS Forth, Greece
Otto Spaniol RWTH Aachen, Germany
Bruno Tuffin INRIA Rennes, France
+--------------------------------------------------------------------+
CALL FOR PAPER
http://wocn2004.tjer.net/
First IFIP International Conference on Wireless and Optical Communications Networks WOCN 2004 June 7-10, 2004,
Sultan Qaboos University Muscat, Oman
The First IEEE and IFIP International Conference on wireless and Optical Communications Networks (WOCN 2004) invites high-quality recent research results in the areas of Mobile and Wireless Communications, optical communications and networking, architectures, protocols, planning and design, management and operation. The main goal of the conference is to bring together scientists and engineers who work on wireless and optical communications networks. The First IEEE and IFIP International Conference on Mobile and Wireless Communications and Optical communications Networks (WOCN 2004) will be held in Muscat, Oman 2004. WOCN 2004 is the first conference in its series aimed at stimulating technical exchange in the emerging and important field of mobile, wireless and Optical communications networks. WOCN 2004 seeks to address and capture highly innovative and state of the art research and work in the wireless and Optical industries. The scope of the conference includes a wide range of technical challenges in view of the growing interest for wireless access to Internet and the evolution of third generation cellular systems included ITU IMT/UMTS. The conference also accepts progress on IST European Commission funded research projects. The Authors can present their finding on wireless quality of service, resource management, Ad Hoc and sensor networks. Radio interface design, adaptive antennas and arrays and indoor propagation, measurement and predictions also will be considered. A growing number of digital devices inside homes and the application of Ultra Wide Band (UWB), as well as Spectrum efficiency and low power consumption including low cost and secure wireless personal access are some of the areas to be considered in this conference. Optical communications networks are becoming increasingly important as the demand for high capacity links are required. Dense wavelength division multiplexing (DWDM) is widely deployed at the core networks to accommodate high capacity transport systems. Optical components, such as optical amplifier, tunable filters, transceivers, termination devices and add-drop multi-plexers are becoming more affordable and reliable. Access and metropolitan area networks are increasingly built with optical technologies to overcome the electronic bottleneck at network edges. New components and subsystems for very high speed optical networks offer new design options. The objective of this event is therefore to foster the exchange of information among researchers in this fast-moving field. The authors can present their finding on new Fibers, optical fiber gratings and devices, optical amplifiers, optical sensing and medical application of fiber optics and opto-electronics.
Important Dates
Paper Submissions Deadline: March 20, 2004
Notification of Acceptance: April 15, 2004
Camera Ready Versions Due: April 30, 2004
Organizing Committee:
General Chair: C. Guy. Omidyar, I2R, Singapore
General co-chair: Hadj Bourdoucen, SQU
General Vice Chair: Ali Al Lawati, SQU
Program Chairs and Co-chairs: Abbas Jamalipour, University of Sydney, Australia
Ahmed Al Naamany, SQU
Maurice Gagnaire, ENST, France
Adel Gastli, SQU
Tutorials Chairs: Farid Touati and Tariq Jamil, SQU
Treasurer: Masoud Al Hinai, SQU
Advisory and Steering Committee:
Amer Al-Rawas (SQU)
Amer Al-Rawas (Omantel)
Ahmed Al-Theeb (PEIE)
Mohamed Al-Lawati (PDO)
Matar Al-Maamari (Royal Office)
Ibtisam Al-Riyami (PDO)
Hilal Al-Habsi (Oman Refinery)
Mohammed Al Theeb (Oman Fiber)
Scientific Technical Program Committee:
Adam Wolisz, Technische Universitat Berlin, Germany
Adolf Finger, Technical University of Dresden, Germany
Andrew T. Campbell, Columbia University, USA
Ayman Naguib, Qualcomm, USA
Azzedine Boukerche, University of North Texas, USA
Boon Sain Yeo, Institute for Infocomm Research, Singapore
Branimir Vojcic, George Ashington University, USA
Cormac Sreenan, University College Cork, Ireland
Djamel Sadok, Universidade Federal de Pernambuco, Brazil
Elena Pagani, Universita` degli Studi di Milano, Italy
Elisabeth Royer, University of California, Santa Barbara
Farouk Kamoun, ENSI, Tunisia
Francois Chin, Institute for Infocomm Research, Singapore
Geraldo Robson Mateus, Federal University of Minas Gerais, Brazil
Guillaume Vivier, Motorola Labs, France
Guy Omidyar, Institute for Infocomm Research, Singapore
Guy Pujolle, Université Paris 6, France
Hamid Aghvami, Kings College of London, UK
Hossam Afifi, INT, France
Jan Slavik, TESTCOM, Czech Republic
Kassem Saleh, American Uni of Sharjah, UAE
Kaveh Pahlavan, Worcester Polytechnic Institute, USA
Khaldoun Al Agha, LRI, University of Paris XI, France
Khaled Ben Letaief, Hong Kong University, HK
Khaled Elsayed, Cairo University, Egypt
Lajos Hanzo, University of Southampton, UK
Lila Boukhatem, LRI, University of Paris XI, France
Luigi Fratta, Politecnico di Milano, Italy
Mahmoud Naghshineh, IBM Watson Research Center, USA
Marie-Jose Montpetit, Nokia, USA
Martin Haardt, Ilmenau University of Technology, Germany
Parviz Kermani, IBM Watson Research Center, USA
Pascal Lorenz, Universite de Haute Alsace, France
Ramjee Prasad, Aalborg University, Denmark
Serge Fdida, Laboratoire d'informatique de Paris 6, France
Sergio Palazzo, University of Catania, Italy
Theo Kanter, Ericsson Research, Sweden
Witold Krzymien, University of Alberta, Canada
Xavier Lagrange, ENST Bretagne, France
Zygmunt J. Haas, Cornell University, USA
W. D. Zhong, Nanyang Technological University, Singapore
N. Le Binh, Monash University, Australia
K. Kitayama, Osaka University, Japan
R. Jain, Nayna Networks, USA
Y. Nakano, University of Tokyo, Japan
F. Neri, Politecnico di Torino, Italy
H. Ghafouri-Shiraz, University of Birmingham, UK
A. Xu, Peking University, People's Republic of China
D. Datta, IIT Kharagpur, India
Mehmet Ulema, Manhanttan College, USA
Sirisena, Harsha, University of Canterbury, New Zealand
Asrar U. H. Sheikh, KFU, Saudi Arabia
The TCP members will be updated every month
Information for Contributors
Contributions are invited on all topics concerning wireless and optical communications networks and components. We are soliciting original papers describing the state-of-the-art research and development in the areas of wireless and Optical Communication and Networks, including, but not limited to the following topics:
1.Optical Networking Technologies
Optical network planning, design and modelling
Optical access/metro networks
IP over optical networks
Network protection/restoration
Generalised multi-protocol label switching (GMPLS)
Planning and design tools for optical networks
QoS issues in optical networks
Routing and wavelength assignment
Multiple access technique and fairness control in optical LANs and MANs
2.Optical Switching and Network Elements
Photonic switching system architectures
Optical cross-connects and add-drop multiplexers
Optical IP routers
Photonic packet switching
Network signalling and monitoring techniques
Optical signal processing
Wavelength conversion techniques
3.Optical Transmission Technologies
WDM Ultra-long haul transmission systems
OTDM transmission systems
Soliton transmission systems
Transmission system experiments
Radio over fibre-optics
Optical interconnections
Optical interfaces and terminals
4.Optical Passive Components
Fiber-Bragg-grating-based devices
Fiber-grating dispersion compensators
Optical circulators and isolators
Optical waveguide-based devices
Fiber and waveguide filters
Microstructured waveguides and devices
Arrayed waveguide devices
Optical splitting and directional couplers
5.Optical Active Components and Modules
Optical modulators and switches
Semiconductor optical amplifiers
Semiconductor lasers and detectors
Fibre amplifiers and lasers
Raman and Brillouin amplifiers
Automatic gain control of optical amplifiers
Optical MEMS
Photonic integrated circuits/modules
Optical tunable filters
Optical logics and memories Mobile and Wireless Communications topics of interest include but are not limited to the following:
1. Management
Resource and Information Management
Pricing and Billing Issues
2. Architecture
Convergence of Fixed and Mobile
Hybrid Communications System
3. Devices
Low-Power End-Devices and Wireless Communications
4. Security
Security in Mobile and Wireless Networks
5. QoS
Adaptive Quality of Service Provisioning
End-to-end Quality of Service
6. Mobility Support
Handoff Algorithms
IP and Mobility
Mobility and Connection Management in Heterogeneous Wireless Networks
Policy-based Mobility Management
7. Applications
Personal Communications
Location and Context Management
Smart Media
Mobile Code
Mobile Ad-Hoc Networks Applications
8. Access
Wireless IP
Wireless Multimedia Services
Wireless Local Loop (WLL)
Multiple Access Technology
Broadband Wireless Access
9. Networking
Wireless Personal Area Networks
Wireless Local Area Networks
Mobility and Nomadic Computing
Analysis and Simulation of Mobile Network Protocols
Home Networking
Mobile Ad-hoc Networks and the Internet
Mobile Ad-Hoc Networking Routing
Satellite Networks
Guidelines for Submission
Authors are requested to submit electronically a PDF or Word file with a maximum of 4 pages including figures in 10 pt fonts to Dr. Guy Omidyar at guy.omidyar(a)squ.edu.om. The 4-page paper must be written on 8 1/2 in. x 11 in. or A4-size white bond paper, typed single spaced and double-columned within 17 cm x 24 cm. The title of the paper, author's name, affiliation, complete return address, telephone number, facsimile number and e-mail address should appear at the top of the first page, followed by an abstract with a maximum of 100 words. Clear tables, line drawings, and photographs can be included anywhere in the 4-page paper. Characters and illustrations exceeding the 17 cm x 24 cm area limit on each page may not be printed in the conference proceedings. Authors must state that their paper has neither been published before nor currently being submitted elsewhere. The language of the conference is English and papers must be in this language. Accepted papers will be published on the conference's proceedings and/or CD-ROMs. Selected papers will also be published in the IJWOC http://www.worldscinet.com/ijwoc/ijwoc.shtml * Please note that final submission of accepted papers must be in accordance to selected publisher's formatting standard which will be updated shortly.
For additional information concerning paper submission, please contact: guy.omidyar(a)squ.edu.om
For information on submitting proposals for panels and tutorials, please contact: guy.omidyar(a)squ.edu.om
The 1st IEEE International Conference on Mobile Ad-hoc and Sensor
Systems (MASS-2004)
October 25-27, 2004, Fort Lauderdale, Florida, USA
http://www.ececs.uc.edu/~cdmc/mass
Sponsored by IEEE TC on Distributed Processing and IEEE TC on Simulation
Researches on wireless networks and mobile computing research has
until recently
concentrated on single-hop networks (network nodes communicating
directly to a fixed
infrastructure), such as cellular or satellite systems. Ad-hoc and
sensor networks cover
multi-hop scenarios (network nodes communicating via other network
nodes) such as
conference, hospital, battlefield, rescue, and monitoring scenarios.
This conference
covers the area of ad-hoc and sensor systems, from physical issues up
to applications
aspects.
Possible topics of interest include, but are not limited to:
- MAC protocols for ad-hoc and sensor networks (801.11, Bluetooth, etc)
- Routing protocols (unicast, multicast, broadcast, geocast, etc)
- Power-aware and energy-efficient design
- QoS, security, and fault-tolerant issues
- Location and mobility management
- Topology construction and coverage maintenance
- Distributed Algorithms (self-configuration, scheduling,
synchronization, etc)
- Data gathering, fusion, and dissemination
- Operating system and middleware support
- Complexity analysis of algorithms
- Analytical, mobility, and validation models
- Applications of ad-hoc and sensor networks
Paper submission
All submissions will be handled electronically. Authors should prepare a
PDF of their full papers. Papers must not exceed 10 single-spaced and
two-column
pages using at least 11 point size type on 8.5 * 11 inches pages.
Electronic submission
instructions will be published on the website
http://www.ececs.uc.edu/~cdmc/mass
together with style files.
Tutorials
Proposals for half and full days tutorials are solicited. The
selection criteria include
the expertise and experience of the instructors and relevance to the
central themes of
the conference. Proposals of at most 4 pages, including 1-page
biographical sketch,
should be submitted to the Tutorial Chair, Stephan Olariu (olariu(a)cs.odu.edu),
by April 30, 2004.
Important dates
Manuscript Submission due: April 15, 2004
Acceptance Notification due: July 20, 2004
Final Manuscript Due: August 30, 2004
GENERAL CHAIR
Dharma P. Agrawal
University of Cincinnati
PROGRAM CO-CHAIRS
Mario Gerla
University of California, Los Angles
Jie Wu
Florida Atlantic University
PROGRAM VICE CHAIRS
Marco Conti (MAC layer and lower layers)
CNR-IIT, Italy
Prasant Mohapatra (Network layer)
University of California, Davis
Ivan Stojmonvic (Algorithms and topology)
University of Ottawa, Canada
Yu-Chee Tseng (Applications)
National Chiao Tung University, Taiwan
TUTORIAL CHAIR
Stephan Olariu
Old Dominion University
PUBLICITY CHAIRS
Jean-Pierre Hubaux
EPFL, Switzerland
Kia Makki / Chi Zhou
Florida International University
Tom La Porta
Pennsylvania State University
LOCAL ARRANGEMENT CHAIR
Mihaela Cardei
Florida Atlantic University
FINANCE CHAIR
Anup Kumar
University of Louisville
PUBLICATION CHAIR
Xiuzhen Cheng
George Washington University
REGISTRATION CHAIR
Hong-Yi Wu
University of Louisiana
INDUSTRY LIAISON
Bob O'Dea
Motorola
IEEE TC CHAIRS
Chita Das (Distributed Processing)
Anup Kumar (Simulation)
Dear all,
I received the following news from Reino Kurki-Suonio (the "ex" IFIP national
representative from Finland).
It states that Olli Martikainen who is well known to most of us
has been (re-)nominated as TC6 national delegate from Finland
and that I'm allowed to appoint him - what I do with greatest pleasure.
Olli: welcome back to the TC6 club!!! Please send me your full
coordinates (phone, mobile, fax,..etc.).
For other members: The email address of Olli is Olli.Martikainen(a)etla.fi
Best wishes
Otto
---------------------------------------------------------------------
Dear Otto,
Good to hear from you. I'm glad you are taking the responsibility for
TC6 again. In fact I am no longer a member of the council,
and also my successor to the GA has been appointed already,
but my relationship with IFIP still continues with WCC2004.
I'm happy to tell you that Olli Martikainen has already been chosen as
the new TC6 representative from Finland. A letter about new nominations
should havebeen sent recently to IFIP headquarters.
(Formally it is the TC Chair who appoints TC members, so you can now
appoint him!).
With best regards,
Reino
[[ -- Apologies for multiple copies of this message -- ]]
=============================================================================
Call for Papers
3rd International Workshop on
PARALLEL AND DISTRIBUTED METHODS IN VERIFICATION
(PDMC 2004)
September 4, 2004, London, U.K.
Workshop affiliated to CONCUR'04, 31 August - 3 September 2004.
http://www.fi.muni.cz/~brim/PDMC04
=============================================================================
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. After two successful meetings in 2002 and 2003 with
primary focus on parallelization of model checking, the scope of the
workshop have been extended to cover all approaches where parallel and
distributed techniques can make the automated verification more
effective and/or extend its applicability. This extension is also
reflected in the new name of the workshop.
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
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'04 Submission Page.
PROCEEDINGS: The preliminary workshop proceedings will be available as
a Research Report of Imperial College London. 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:
* May 29, 2004: Submission deadline for regular papers.
* July 5, 2004: Notification of acceptance.
* July 10, 2004: Deadline for presentations.
* July 31, 2004: Camera ready copy for proceedings.
INVITED SPEAKER:
Boi B. Faltings (Swiss Federal Institute of Technology, Lausanne)
PROGRAM COMMITTEE:
* Howard Barringer (Manchester Univ., UK)
* Lubos Brim (Masaryk Univ., CZ) - Co-chair
* Gianpiero Cabodi (Torino, IT)
* Wan Fokkink (CWI Amsterdam, NL)
* Hubert Garavel (INRIA, FR)
* Hanne Gottliebsen (Queen Mary Univ. of London, UK)
* Orna Grumberg (Haifa, Israel)
* Boudewijn R. Haverkort (Univ. of Twente, NL)
* Michael Jones (Brigham Young Univ., USA)
* Marta Kwiatkowska (Univ. of Birmingham, UK)
* Martin Lange (LMU Muenchen, DE)
* Martin Leucker (Uppsala Univ., SE) - Co-chair
* Sharad Malik (Princeton Univ., USA)
* Eric Mercer (Brigham Young Univ., USA)
* Michel Rueher (Universite Nice Sophia Antipolis, FR)
* Pascal Van Hentenryck (Brown University, USA)
* Willem Visser (NASA Ames Research Center, USA)
Lubos Brim & Martin Leucker
workshop organizers
Dear all,
here comes (once again) the CfP of INTELLCOMM'04.
Please distribute it as widely as possible.
Note that meeting 2004/2 will be held prior to the conference, i.e. Nov.
21+22.
Best regards
Otto
-------------------------------------
------------------------------------------
CALL FOR PAPERS
INTELLCOMM'04
http://intellcomm2004.ait.ac.th/
IFIPs Conference on Intelligence in Communication Systems
23 - 26 November 2004, Bangkok, Thailand
Main classes of topics:
- Architectures for Adaptable Networks and Services
- Semantic Web and Web Service Technologies
- Applications, Information Management and Security
- Intelligent Service Application Interface and
Intelligent Human Interaction
The Conference Proceedings will be published in the LNCS series,
Springe Verlag.
Selected INTELLCOMM'04 papers will be expanded and revised
for inclusion in
Computer Networks Journal, Special Issue on Intelligence in
Communication
Systems by Elsevier.
PRELIMINARY CALL FOR PAPERS
The Second ACM Conference on Embedded Networked Sensor Systems (SenSys
2004)
November 3-5, 2004,
Baltimore, Maryland, USA (tentative)
http://www.cis.ohio-state.edu/sensys04
Sponsored by: ACM (SIGCOMM, SIGMOBILE, SIGARCH, SIGMETRICS, SIGOPS) and
NSF
SenSys 2004 introduces a high caliber forum for research on systems
issues in the emerging area of embedded, networked sensors. These
distributed systems of numerous smart sensors and actuators will
revolutionize a wide array of application areas by providing an
unprecedented density and fidelity of instrumentation. They also present
novel systems challenges because of resource constraints, uncertainty,
irregularity, and scale. SenSys design issues span multiple
disciplines, including wireless communication, networking, operating
systems, architecture, low-power circuits, distributed algorithms, data
processing, scheduling, sensors, energy harvesting, and signal
processing. SenSys seeks to provide a cross-disciplinary venue for
researchers addressing these networked sensor system design issues.
SenSys 2004 is the second in a series of annual meetings with a highly
selective single-track technical program and a hands-on research
exhibition.
PAPERS:
Technical papers describing original, previously unpublished research
are solicited. In general this conference is interested in papers that
address system issues in embedded networked systems. Specific topics of
interest include the following:
- Network protocols for sensor networks
- Operating system and middleware for sensor networks
- Applications of distributed sensor networks
- Sensor network testbed measurements and benchmarks
- Distributed database processing in sensor networks
- Distributed algorithms for sensor networks
- Novel sensor node hardware and software platforms
- Sensor network planning and deployment
- Energy management in sensor networks
- Adaptive topology management
- In-network processing and aggregation
- Data storage in sensor networks
- Distributed and collaborative signal processing
- Distributed actuation, control, and coordination
- Localization in time and space
- Distributed calibration in sensor networks
- Simulation and optimization tools
- Security
- Fundamental limits and tradeoffs
- Robustness
- Algorithms for self-configuration, maintenance, stabilization
- Programming and validation methodology
Please consult the program chairs at sensys04-pcchairs(a)enl.usc.edu for
more information about the scope of the conference.
PAPER SUBMISSION INSTRUCTIONS
All submissions will be handled electronically and must be in PDF or
PostScript. Papers must not exceed 15 pages (US "Letter" size, 8.5 x 11
inches) including text, figures and references in single-column,
single-space format. The font size must be at least 10 points. Accepted
papers will be published in the conference proceedings. We will adopt a
double-blind process for paper review, where the identities of the
authors are withheld from reviewers. Authors' names and their
affiliations must not be revealed or mentioned anywhere in the paper or
in the Postscript or PDF file. Submitted papers should be original,
unpublished work and not currently under review for any other conference
or journal. Papers not following these guidelines will be rejected.
Questions about the submission process should be directed to the Program
Co-Chairs at sensys04-pcchairs(a)enl.usc.edu. More detailed submission
instructions will be available at the conference website soon. Selected
papers from the conference will be fast-tracked to the new ACM
Transactions on Sensor Networks.
RESEARCH EXHIBITS & POSTERS
There will be a research exhibition and poster session. Submission
details will be available on the website soon.
IMPORTANT DATES
Paper Registration & Abstract: April 2, 2004
Paper Submission Deadline: April 9, 2004
Notification of Acceptance: June 29, 2004
Camera Ready Copy: August 15, 2004
CONFERENCE COMMITTEE
General Chair: John A. Stankovic (University of Virginia)
Program Co-Chairs: Anish Arora (Ohio State Univ.) Ramesh Govindan
(USC)
Publicity Co-Chairs: Phillippe Bonnet (University of Copenhagen)
Chenyang Lu (Washington University in St. Louis)
Finance Chair: Sang Son (University of Virginia)
Local Arrangements: Anupam Joshi (Univ. of Maryland, Baltimore
County)
Exhibits Co-Chairs: Akos Ledeczi (Vanderbilt) Mark Yarvis (Intel)
Student Travel Awards: John Regehr (University of Utah)
Sponsorships Chair: Badri Nath (Rutgers University)
Posters Co-Chairs: Wendi Heinzelman (Univ. of Rochester)
Sandeep Kulkarni (Mich. State)
Program Committee:
Tarek Abdelzaher (University of Virginia)
Gul Agha (Univ. of Illinois, Urbana/Champaign)
Phillippe Bonnet (Univ. of Copenhagen)
Gaetano Borriello (University of Washington)
David Culler (University of California/Berkeley)
Hugh Durrant-Whyte (Univ. of Sydney, Australia)
Deborah Estrin (Univ.of California/Los Angeles)
Mohamed Gouda (University of Texas, Austin)
Rajesh Gupta (Univ. of California, San Diego)
John Heidemann (USC/ISI)
Lakshman Krishnamurthy (Intel)
P.R. Kumar (Univ. of Illinois, Urbana/Champaign)
Koen Langendoen (Delft University of Technology)
Mike Lemmon (Univ. of Notre Dame)
Urbashi Mitra (USC)
Ulrich Schmid (Technische Universität Wien)
Dawn Song (Carnegie-Mellon University)
Feng Zhao (PARC)
STEERING COMMITTEE
Ian Akyildiz (Georgia Tech., Co-chair)
Deborah Estrin (UCLA, Co-chair),
Victor Bahl (Microsoft, Sigmobile Representative)
Craig Partridge (BBN, Sigcomm Representative)
Taieb Znati (NSF)
Dear Colleagues:
Please find attached the updated description of responsibilities for
National Representatives.
As I mentioned to you earlier, I tried to keep the document as brief as
possible. When I mailed my first draft on November 18, 2003, I included
the input from TC3 and TC11. Since then, I included in this version, input
from TC7 and additional information from TC5. Hopefully, I have captured
everyone's ideas.
Gus Olling
TC5 Chair
(See attached file: Responsibilties.doc)
Dear all,
please let me first thank you so much for the enormous
degree of confidence which you have expressed for me AND FOR RAMON.
Indeed, the total number of votes which have been received
(much higher than in other elections) is a clear sign
that TC6 is very alive and that delegates and WG chairpersons
care about the committees.
Some words concerning my candidature should be in order:
as I was TC6 chairman from 1992 until 1997 I didn't consider
a new period as chairman at all. However, in July and
in August 2003 the list of potential candidates was empty
therefore I was then contacted by quite a substantial number
of delegates who asked me, and sometimes urged, me to do the job again.
And even when another candidate emerged (in September 2003) I was again
contacted by several delegates asking me to uphold my candidature.
At the end of the day I couldn't resist them ... and now
we have to live the outcome.
During the last weeks (and not knowing anything about the
result of the voting) Ramon and myself tried to arrive at
a suitable strategy how to best serve TC6. We agreed that
we will form a team (which will work very well since we are
very good friends). We agreed that the best solution would be
to have two co-chairs (such as e.g. in WG 6.8) but I'm not sure
- and rather sceptical - whether this would be in line
with the rules of IFIP. If such a solution is not possible
then Ramon will act as vice-chairman. We are absolutely sure
that this will be a win-win situation for TC6.
Finally, my sincerest thanks go to Augusto who paved the way
for a very strong position of TC6 both within IFIP and outside.
Both Ramon and myself will rely on his experience in order to
further substantiate the position of TC6 in the IFIP Council
and the General Assembly.
Thus, let's look optimistically into the future. And let's follow
the motto of Sepp Herberger, the coach of the German soccer team
which won the world championship in 1954). He said: "After the match is
before the match".
Best wishes to all of you and many thanks once again
Otto
***********************************************************************
SPANIOL Otto, Prof. Dr. Tel.: +49-241-80 21400/401
Aachen University of Technology Home: +49-241-57 45 90
Computer Science Department FAX: +49-241-80 22220
D - 52056 Aachen Email:
Office address: spaniol(a)informatik.rwth-aachen.de
Ahornstrasse 55 www: http://www-i4.informatik.
D - 52074 Aachen rwth-aachen.de
GERMANY