-----Original Message-----
From: owner-ifip_tcchairs(a)ifip.or.at
[mailto:owner-ifip_tcchairs@ifip.or.at]On Behalf Of Dorothy Hayden
Sent: sexta-feira, 21 de Fevereiro de 2003 08:53
To: MS&ED
Subject: [IFIP] Calls for Papers - FORTE & CHARME, Sep/Oct 2003
Dear Member Societies and Editors,
Please find enclosed Calls for Papers related to IFIP events. For full
details please visit the conference websites below.
Best regards,
Dorothy
P.S. Information about IFIP events is posted at
http://www.ifip.or.at/cal_even.htm
****
Call for Papers
The 23rd IFIP TC6/WG6.1 International Conference on Formal Techniques for
Networked and Distributed Systems
FORTE 2003
29 September - 2 October 2003, Berlin, Germany
http://www.forte2003.de.vu
FORTE denotes a series of international working conferences on formal
description techniques (FDTs) applied to computer networks and distributed
systems. The conference series started in 1981 under the name PSTV. In 1988
a second series under the name FORTE was set up. Both series were united to
FORTE / PSTV in 1996. Two years ago the conference changed the name to its
current form. FORTE provides a forum for researchers and users to review,
discuss, and learn about new approaches, concepts, and experiences in the
field of formal description techniques and their application.
FORTE 2003 is especially dedicated to the application of formal description
techniques to practice, especially in the Internet domain. The conference
will consist of tutorial sessions on the first day, followed by
presentations of reviewed and invited papers, tool demonstrations, and
panel and working sessions.
Submission deadline for regular papers and tutorials : 17 March 2003
****
CALL FOR PAPERS
Working Conference on Correct Hardware Design and Verification Methods -
CHARME 2003
21-24 October 2003 in L'Aquila, Italy
http://www.di.univaq.it/charme2003/
CHARME 2003 is the twelfth in a series of working conferences devoted to
the development and use of leading-edge formal techniques and tools for the
design and verification of hardware and systems. It has been the aim of the
conference to expand its interest to software as well when the technology
is related. Previous conferences have been held in Darmstadt, Edinburgh,
Grenoble, Glasgow, Leuven, Torino, Arles, Frankfurt, Montreal, Bad
Herrenalb and Edinburgh. It is the biennial counterpart of FMCAD, which
takes place every even year in the USA. It is co-sponsored by IFIP WG10.5.
The aim of CHARME 2003 is to bring together researchers and users from
academia and industry working in this active area of research. The
conference will cover original research results, case studies, use of
technologies across application domains, and reports on practical
experiments. Papers describing original work in all aspects of formal
hardware and system design and verification methods are invited. Papers
related to formal modeling and verification of concurrent software are also
welcome.
Deadline for paper submission: 11 April 2003
For more detailed information kindly visit the conference websites above.
-------------------------
IFIP Secretariat
Hofstrasse 3
A-2361 Laxenburg, Austria
Tel: +43 2236 73616
Fax: +43 2236 736169
www: http://www.ifip.or.at/
We apologize if you receive multiple copies of this message.
Please find the enclosed program of 1st IEEE International Workshop on Sensor Network Protocols and Aplications (SNPA'03) below.
The registration form for SNPA'03 is available at "http://www.icc2003.com/RegistrationPage.pdf."
Best regards,
Erdal Cayirci
=======================================================================
SNPA 2003
First IEEE International Workshop on
Sensor Network Protocols and Applications
in Conjunction with IEEE ICC 2003
May 11, 2003 Anchorage, AK, USA
Sponsored by IEEE Communications Society Technical Committees:
Personal Communications, Tactical Communications, and Radio Communications.
08:45 - 09:00 Welcome
Welcome and Introduction by General Co-chairs
09:00 - 10:30 Session 1: Network Management and Provisioning
* "Energy Efficiency Based Packet Size Optimization in Wireless Sensor Networks,"
Y.Sankarasubramaniam, I.F. Akyildiz, and S.W.McLaughlin, Georgia Institute of Technology.
* "Optimal Energy Balanced Algorithm for Selection in a Single Hop Sensor Network,"
M.Singh and V.K. Prasana, University of Southern California.
* "Multi-resolution State Retrieval in Sensor Networks,"
B.Deb, S.Bhatnagar, and B.Nath, Rutgers University.
* "Data Mules: Modeling a Three-tier Architecture for Sparse Sensor Networks,"
R.C.Shah and S. Roy, Intel, S.Jain and W.Brunette, University of Washington.
10:30 - 11:00 Coffee Break
11:00 - 12:30 Session 2: Target and Sensor Node Localization and Location Discovery
* "Localized Positioning in Ad Hoc Networks,"
D.Niculescu and B.Nath, Rutgers University.
* "Target Localization Based on Energy Considerations in Distributed Sensor Networks,"
Y.Zou and K.Chakrabarty, Duke University.
* "Localized Edge Detection in Sensor Fields,"
K.K.Chintalapudi and R.Govindan, University of Southern California.
* "A Protocol for Tracking Mobile Targets using Sensor Networks,"
H.Yang and B.Sikdar, Rensselaer Polytechnic Institute.
12:30 - 13:30 Lunch Break
13:30 - 15:00 Session 3: End-to-end Reliability, Security and QoS
* "Reliable Upgrade of Group Communication Software in Sensor Networks,"
P.V.Khrishnan, Microsoft, L.Sha and K.Mechitov, University of Illinois at Urbana-Champaign.
* "Providing Application QoS through Intelligent Sensor Management,"
M.Perillo and W.B.Heinzelman, University of Rochester.
* "RMST: Reliable Data Transport in Sensor Networks,"
F.Stann and J.Heideman, USC Information Sciences Institute.
* "Secure Routing in Wireless Sensor Networks: Attacks and Countermeasures,"
C.Karlof and D.Wagner, University of California, Berkeley.
15:00 - 15:30 Coffee Break
15:30 - 17:20 Session 4: Data Aggregation and Querying
* "Aggregation in Sensor Networks: An Energy Accuracy Trade-off,"
A.Boulis, S.Ganeriwal, and M.B.Srivastava, University of California at Los Angeles.
* "Computing Aggregates for Monitoring Wireless Sensor Networks,"
J.Zhao, R.Govindan and D.Estrin, University of California at Los Angeles.
* "The ACQUIRE mechanism for efficient querying in sensor networks,"
N.Sadagopan, B.Krishnamachari, and A.Helmy, University of California at Los Angeles.
* "Data Funneling: Routing with Aggregation and Compression for Wireless Sensor Networks,"
D.Petrovic, R.C.Shah, K.Ramchandran, and J.Rabaey, University of California, Berkeley.
* "DIFS: A Distributed Index for Features in Sensor Networks,"
B.Greenstein and D.Estrin, University of California at Los Angeles, R.Govindan, University of Southern California, S.Ratnasamy, Intel, S.Shenker, International Computer Science Institute.
Dear Working Group chairs,
Could you please tell me which will be the publishers for the folllowing
2003 TC6 events:
- Workshop on for Technology, Economy, Social and Legal Aspects of Virtual
Goods (6.11)
- Workshop on Quality of Service (6.1)
- Electronic Publishing (6.11,ICCC)
- Ad Hoc networks Workshop (6.8)
- MMNS'03 (6.6)
- DSOM'03 (6.6)
- Active Networks (6.7)
- Smartnet'03 (6.7)
- FMOODS'03 (6.1)
- DAIS'03 (6.1)
Thank you and best regards
Augusto Casaca
-----Original Message-----
From: owner-ifip_tcchairs(a)ifip.or.at
[mailto:owner-ifip_tcchairs@ifip.or.at]On Behalf Of Dorothy Hayden
Sent: quarta-feira, 12 de Fevereiro de 2003 13:03
To: MS&ED
Subject: Call for Participation - IM 2003, 24-28 March
Dear Member Societies, Editors and TC Chairs,
Call for Participation
The Eighth IFIP/IEEE International Symposium on Integrated Network
Management (IM 2003) will be held on
24-28 March 2003 in
Colorado Springs, Colorado, USA.
The IM 2003 Symposium presents the latest research results and industrial
solutions for integrated network and distributed systems management. The
symposium is organized in technical sessions, tutorials, and vendor
exhibits. An industrial experience track will be introduced to share the
practical lessons learned by the user and vendor communities.
Sponsored by IFIP Working Group 6.6 on Management of Networks and
Distributed Systems and the IEEE Communications Society, this premier event
focuses on the pivotal role that integrated management strategies, new
developments and solutions play in the worldwide information infrastructure.
To benefit from reduced rates check the conference website at
http://www.im2003.org/
-------------------------
IFIP Secretariat
Hofstrasse 3
A-2361 Laxenburg, Austria
Tel: +43 2236 73616
Fax: +43 2236 736169
www: http://www.ifip.or.at/
-----Original Message-----
From: owner-ifip_ga(a)ifip.or.at [mailto:owner-ifip_ga@ifip.or.at]On Behalf Of
Plamen Nedkov
Sent: quarta-feira, 12 de Fevereiro de 2003 10:11
To: All
Subject: [IFIP] Time for change:IFIP.org premiere
Our last web site design served IFIP faithfully for two years and attracted
many visitors. In January '03 we decided to give it a deserved rest and to
conceive something new. Our Designers Bureau was put to work and after
several drafts we proudly unveil
"The International Web sITe" > http://www.ifip.org
The Delivery Co.
Creators of Dreamboats and Web sites since 1995
--------------------------------
Plamen Nedkov
Executive Director, IFIP
Hofstrasse 3, A-2361 Laxenburg, Austria
Tel: +43 2236 73616 Fax: +43 2236 736169
http://www.ifip.org/
Dear Colleagues,
our sincere apologies if you receive multiple copies!
The deadline for this year's IEEE TCGN Workshop on High-Speed Networking
(HSN 2003), to be held in conjunction with INFOCOM on March 30, San
Francisco, is approaching fast.
HSN 2003 provides a forum for presenting and discussing recent work in
high-speed networking in a timely manner.
Deadline for submitting one page abstracts: February 17, 2003
For more information about the workshop, please visit:
http://www.comsoc.org/tcgn/conference/hsn2003
Yours sincerely,
Georg Carle and Andrea Fumagalli
------------------------------------------------------------------------
Prof. Dr. Georg Carle
Chair for Computer Networks and Internet
Wilhelm-Schickard-Institute for Computer Science
University of Tuebingen Tel. +49-7071-29-70505
Sand 13 Fax +49-7071-29-5091
D-72076 Tuebingen, Germany carle(a)informatik.uni-tuebingen.de
at Fraunhofer Institute FOKUS:
Kaiserin-Augusta-Allee 31 Tel.:+49-30 3463 7149
D-10589 Berlin, Germany Fax: +49-30 3463 8149
------------------------------------------------------------------------
Andrea Fumagalli, PhD
Associate Professor, Electrical Engineering Department
Head, OpNeAR: Optical Networking Advanced Research Lab
Erik Jonsson School of Engineering and Computer Science
The University of Texas at Dallas
P.O. Box 830688, Richardson, TX 75083-0688
Voice: (972) 883-6853 Fax: (972) 883-2710
E-mail: andreaf(a)utdallas.edu
http://www.utdallas.edu/~andreafhttp://opnear.utdallas.edu
------------------------------------------------------------------------
------------------------------------------------------------------------
Call for Contributions
Workshop on High-Speed Networking 2003
in conjunction with INFOCOM 2003
30 March 2003 - San Francisco
Sponsored by the IEEE ComSoc Technical Committee on Gigabit Networking
Purpose and Format
The purpose of this workshop is to provide a forum for presenting and
discussing very recent work in high-speed networking and to raise
relevant issues to the general networking community in a timely manner.
It will take place from 8:30 AM until 5:00 PM with lunch provided. There
will be an open business meeting of the Technical Committee on Gigabit
Networking following the workshop at 5:00 PM.
The workshop will consist of a keynote speech, followed by a number of
short informal presentations grouped into topical sessions, followed by
a panel session.
All issues relating to high bandwidth networking are relevant, including
link layer protocols for optical and wireless networks, large fast
switch and router design, transport and higher layer protocols, host and
network interface architecture, operating systems, emerging services and
applications, testbeds and deployment, network control and management,
economic and regulatory issues, security and privacy, and other societal
impacts. We are particularly interested in issues related to networks
that can be scaled to a high (number of users) x (throughput per user)
product.
Sessions
Presentations are planned to be grouped into the following sessions:
o IP and Optical Networks
o Wireless and Satellite
o Switching, Routing, and Network Processors
o A User Prospective: Gigabit Applications, End-to-end Services,
Cost and Pricing
Submission Guidelines
Authors are encouraged to submit a one page abstract by February 17,
2003. It must be in plain text and sent by email to the program
chairs at andreaf(a)utdallas.edu and carle(a)informatik.uni-tuebingen.de .
Please include the text "HSN 2003 Submission" in the Subject: field. All
submissions will be quickly acknowledged (otherwise contact the program
chair to confirm receipt). Notification of the selected abstracts will
be made by February 26, 2003.
Submission of electronic versions of the presentation foils are due
March 14, 2003, to be included in the on-line proceedings prior to the
workshop.
Additionally, it is encouraged to provide by March 14, 2003 extended
versions of the abstract, following the IEEE INFOCOM formatting rules.
The templates for submitting the extended version of the abstract are
available at:
http://www.ieee.org/organizations/pubs/confpub/infocom03/authors/layout.htm
Dates
One Page Abstract Due: February 17, 2003
Notification of Acceptance: February 26, 2003
Slides and extended Abstracts due: March 14, 2003
Workshop Date: March 30, 2003
Registration
Registration for the workshop will be handled as part of INFOCOM 2003
registration; information is available on the web at
http://www.ieee-infocom.org/2003.
Web site
The HSN 2003 CFP and additional information on the workshop are
available on the web at http://www.comsoc.org/tcgn/conference/hsn2003 .
Abstracts and presentations will appear in the online proceedings of the
workshop, under URL http://www.comsoc.org/tcgn/conference/hsn2003 .
Workshop Co-chairs:
Andrea Fumagalli, University of Texas at Dallas
Georg Carle, University of Tuebingen, Germany
Technical Program Committee Members (Preliminary)
Torsten Braun, University of Bern, Switzerland
José Brustoloni, University of Pittsburgh
Georg Carle, University of Tuebingen, Germany
Joe Evans, University of Kansas - Lawrence.
Yuguang Michael Fang, University of Florida - Gainesville
Andrea Fumagalli, University of Texas at Dallas
Bryan Lyles
Biswanath Mukherjee, University of California - Davis
Chunming Qiao, State University of New York - Buffalo
Dick Skillen, SE Communications
Patricia Sagmeister, IBM Zurich Research Lab, Switzerland
James Sterbenz, BBN Technologies
Joe Touch, USC/ISI, USA
Jonathan Turner, Washington University - St. Louis
Martina Zitterbart, University of Karlsruhe, Germany
------------------------------------------------------------------------
-----Original Message-----
From: owner-ifip_ga(a)ifip.or.at [mailto:owner-ifip_ga@ifip.or.at]On
Behalf Of Plamen Nedkov
Sent: sexta-feira, 7 de Fevereiro de 2003 08:52
To: All
Subject: [IFIP] TC Visions - TC 6/Augusto Casaca
Dear All,
This time our guest for Project "Visions from the IT Engine Room" is
Augusto Casaca, Chairman of IFIP TC 6 on Communication Systems.
Augusto is a professor at the Instituto Superior Técnico in Lisbon,
Portugal and leader of the Research Group on Network Architecture at
INESC. He has worked on Digital Systems Design and Computer Architecture
and was involved in international research projects on networking and
standardization activities.
He loves music and sport. "After playing basketball for about 15 years"
says Augusto, "I convinced myself that my height was not the most
appropriate to have a huge success in that sport and I moved into tennis
and golf".
With this introduction may we invite you to click here ->
http://www.ifip.or.at/secretariat/tcvisions.htm and follow the link under
Augusto's photo.
We strongly recommend this interview to all communication gurus and to
everyone who wishes to know more about IFIP TC 6 whose 30th Anniversary
[ref. http://www.ifip.or.at/secretariat/tc6.pdf ] was selected as the IFIP
2002 Event of the Year.
Enjoy,
The Delivery Co.
Fun zone - joke lovers only!
And here is a nice one for a chuckle and to wish you a great weekend :-)
On a rural road a policeman pulled a farmer over and said, "Sir, do you
realize your wife fell out of the car several miles back?"
To which the farmer replied, "Thank God, I thought I had gone deaf!"
--------------------------------
Plamen Nedkov
Executive Director, IFIP
Hofstrasse 3, A-2361 Laxenburg, Austria
Tel: +43 2236 73616 Fax: +43 2236 736169
http://www.ifip.org/
Dear TC6 members,
Please take attention to the message on DCSC grants which was sent in a
separate mail. The deadline for application is on February 15th.
Best regards
Augusto
-----Original Message-----
From: owner-ifip_ga(a)ifip.or.at [mailto:owner-ifip_ga@ifip.or.at]On
Behalf Of Plamen Nedkov
Sent: quinta-feira, 6 de Fevereiro de 2003 14:56
To: GA&MS&WG
Subject: Reminder: IFIP-UNESCO grant scheme
Importance: High
To: IFIP National GA representatives and TC Chairs
cc. Full Member Societies, WG chairs
Dear All,
Please be reminded that the deadline for submitting requests under this
scheme is 15 February. For your convenience, the procedure and details are
posted at http://www.ifip.or.at/mail/msg00213.html
I should also like to inform you that in future DCSC grants would be
considered once a year, during the IFIP March Council meetings, following a
procedure similar to the current one. A Call would be issued in early
January. DCSC in consultation with the IFIP TC Chairs would review all
submitted applications and would report the results to Council. The
approved grants would be announced after Council.
Best regards,
Plamen Nedkov
Executive Director, IFIP
Hofstrasse 3, A-2361 Laxenburg, Austria
Tel: +43 2236 73616 Fax: +43 2236 736169
http://www.ifip.org/
First Call for Papers:
3rd Int'l Workshop on Formal Approaches to Testing of Software
(FATES 2003, http://www.crim.ca/fates/)
In affiliation with the
18th IEEE Int'l Conference on Automated Software Engineering (ASE 2003)
Montreal, Canada, October 6th, 2003
Objective and Scope
The aim of the workshop is to be a forum for researchers, developers, and
testers to discuss latest ideas about the use of formal methods in software
testing. The topics of interest include:
* Different techniques in testing: combined verification and testing
approaches, analysis techniques that support testing, black-box
testing, integration testing, etc.
* Different aspects of testing: test derivation, test selection, test
implementation and execution, test result analysis, test stop
criteria, etc.
* Different types of testing: functional, interoperability, performance,
security, robustness, etc.
* Different formal models: automata, logical, process algebra, algebraic
data types, etc.
* Different modeling languages: UML, SDL, MSC, LOTOS, Z, VDM, TTCN-3,
etc.
* Different application areas: communication systems, control systems,
embedded software, Web-based systems, etc.
Important dates
* Submission deadline: July 9, 2003
* Notification of Acceptance: August 22, 2003
* Camera ready copies: September 14, 2003
* Workshop: October 6, 2003
Program Committee Co-Chairs
* Alexandre Petrenko, Computer Research Institute of Montreal (CRIM),
Canada; e-mail: petrenko(a)crim.ca, phone: +1 (514) 840 1290
* Andreas Ulrich, Siemens AG, Corporate Technology, Munich, Germany;
e-mail: andreas.ulrich(a)siemens.com, phone: +49 (89) 636 47018
Further information
http://www.crim.ca/fates/