- ifip-tc6 - lists.rwth-aachen.de

FW: [IFIP] Calls for Papers - FORTE & CHARME, Sep/Oct 2003
by Augusto Casaca 21 Feb '03

21 Feb '03

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

1 0

SNPA03Program
by erdal＠itu 21 Feb '03

21 Feb '03

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.

1 0

Proceedings for 2003 events
by Augusto Casaca 20 Feb '03

20 Feb '03

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

1 0

FW: Call for Participation - IM 2003, 24-28 March
by Augusto Casaca 12 Feb '03

12 Feb '03

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

1 0

FW: [IFIP] Time for change:IFIP.org premiere
by Augusto Casaca 12 Feb '03

12 Feb '03

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

1 0

CFP HSN 2003: Workshop on High-Speed Networking in conjunction with INFOCOM'03
by Georg Carle 07 Feb '03

07 Feb '03

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/~andreaf http://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 ------------------------------------------------------------------------

1 0

FW: [IFIP] TC Visions - TC 6/Augusto Casaca
by Augusto Casaca 07 Feb '03

07 Feb '03

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

1 0

DCSC grants
by Augusto Casaca 06 Feb '03

06 Feb '03

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

1 0

FW: Reminder: IFIP-UNESCO grant scheme
by Augusto Casaca 06 Feb '03

06 Feb '03

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

1 0

CfP: FATES 2003
by Ulrich Andreas 05 Feb '03

05 Feb '03

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/

1 0