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

Hotel registration
by Augusto Casaca 19 Jul '18

19 Jul '18

Dear TC6 members, The deadline for hotel registration in Libon ended yesterday. I managed to get an extension of that deadline until September 13th. Please remember that the hotel cannot guarantee rooms after that date. I would thank also that those of you who come to the Lisbon meeting, but are not staying in the Melia Hotel, please let me know. Best regards Augusto

2 1

[Fwd: The "Villa" will open]
by Augusto Casaca 19 Jul '18

19 Jul '18

2 1

ACM PPDP'03 Call for Papers
by Frank D. Valencia 21 Mar '03

21 Mar '03

Dear all, Apologies for multiple copies of this message. Please circulate the following call for papers to colleagues. Best wishes, Frank D. Valencia. ------------------- Call for Papers Fifth ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming Uppsala, Sweden, 27-29 August 2003 IMPORTANT DATES Submission 29 March 2003 Notification 12 May 2003 Final Version 13 June 2003 WEB SITES PPDP 2003: http://www.it.uu.se/ppdp03/ PLI 2003: http://www.it.uu.se/pli03/ PPDP: http://pauillac.inria.fr/~fages/PPDP/. TOPICS (Not exhaustive): Logic and Constraint Programming; Functional Programming; Object-Oriented Programming; Concurrent Extensions; Mobile Computing; Integration of Paradigms; Proof Theoretic and Semantic Foundations; Program Design and Development; Type and Module Systems; Program Analysis and Verification; Program Transformation; Abstract Machines and Compilation; Programming Environments; and Application of Declarative Programming. CONFERENCE CHAIR: Konstantinos Sagonas, Uppsala University http://www.csd.uu.se/~kostis, email: kostis(a)it.uu.se PROGRAM CHAIR: Dale Miller, INRIA/Futurs & École polytechnique http://www.lix.polytechnique.fr/Labo/Dale.Miller, email: Dale.Miller(a)inria.fr PROGRAM COMMITTEE Maria Alpuente, Univ. Politécnica de Valencia, ES Alessandra Di Pierro, Univ. of Pisa, IT Masami Hagiya, Univ. of Tokyo, JP Fergus Henderson, Univ. of Melbourne, AU Alberto Momigliano, Univ. of Leicester, UK Benjamin Pierce, Univ. of Pennsylvania, US C.R. Ramakrishnan, SUNY Stony Brook, US Mario Rodríguez Artalejo, Univ. Complutense, ES Amr Sabry, Univ. of Indiana, US Konstantinos Sagonas, Uppsala University, SW Frank Valencia, Uppsala University, SW PREVIOUS PPDP CONFERENCES Paris (1999), Montreal (2000), Firenze (2001), Pittsburgh (2002). SCOPE OF THE CONFERENCE: PPDP 2003 aims to stimulate research in the use of logical formalisms and methods for analyzing, specifying, and performing computations. Of general interest are all aspects surrounding declarative programming paradigms such as logic programming, functional logic programming, and constraint programming. Topics of more specific interest are enhancements to such formalisms with mechanisms for concurrency, mobility, modularity, object-orientation, and static analysis, as well as the fuller exploitation of the programming-as-proof-search framework through new designs and improved implementation methods. At the level of methodology, the use of logic based principles in the design of tools for program development, analysis, and verification relative to all programming paradigms is of interest. Papers related to the use of declarative paradigms and tools in industry and education are especially solicited. This list is not exhaustive: submissions related to new and interesting ideas relating broadly to declarative programming are encouraged. Prospective authors are welcome to communicate with the Program Chair about the suitability of a specific topic. PAPER SUBMISSIONS: Submissions must be made on or before 29 March 2003, noon Central European Time and must be no more than 12 pages (including bibliography and appendices) and in standard ACM conference format: detailed formatting guidelines are available at http://www.acm.org/sigs/pubs/proceed/template.html, along with formatting templates or style files for LaTeX, Word Perfect, and Word. Proceedings will be published by ACM Press. Authors of accepted papers will be required to sign the ACM copyright form. Submissions will be carried out electronically via the Web via a link found at the conference web page. Papers must be submitted in either PDF format or as PostScript documents that are interpretable by Ghostscript. Papers must describe original, previously unpublished work that has not been simultaneously submitted for publication elsewhere. They must be written in English, must have a cover page with an abstract of up to 200 words, keywords, postal and electronic mailing addresses, and phone and fax numbers of the corresponding author. Authors who wish to provide additional material to the reviewers beyond the 12-page limit can do so in clearly marked appendices: reviewers are not required to read such appendices. Submissions that do not meet these guidelines may not be considered. CONFERENCE VENUE AND RELATED EVENTS: PPDP 2003 is part of a federation meeting known as Principles, Logics and Implementations of high-level programming languages (PLI 2003) which includes the ACM SIGPLAN International Conference on Functional Programming (ICFP 2003). PLI will run from 25 - 29 August 2003. The meetings will take place on the Uppsala University campus. AFFILIATED WORKSHOPS: Proposals are solicited for PLI 2003 affiliated workshops. Details about the submission of proposals are available from the PLI 2003 web site. The deadline for workshop proposals is 14 February 2003. STUDENT ATTENDEES: Students who have a paper accepted for the conference are offered student membership in SIGPLAN free for one year. As members of SIGPLAN they may apply for travel fellowships from the PAC fund. -- ========================================================================= Frank D. Valencia PostDoctoral Researcher in Computer Science Uppsala University, Sweden. office phone: +46 18 471 1030 mobile: +46 7358 20376 e-mai: frankv(a)it.uu.se http://user.it.uu.se/~frankv ==========================================================================

1 1

The 2003 Int'l Conf. in CS & CE - Las Vegas, June 23-26, 2003
by Hamid Arabnia 27 Feb '03

27 Feb '03

This is to announce that the submission deadline is extended - New submission deadline is: March 5, 2003 L A S T C A L L F O R P A P E R S The 2003 International Multiconference in Computer Science and Computer Engineering (15 Joint Int'l Conferences + ...) Monte Carlo Resort, Las Vegas, Nevada, USA June 23-26, 2003 http://www.ashland.edu/~iajwa/conferences The 2003 International Multiconference in Computer Science & Computer Engineering is composed of the following 15 conferences (+ workshops) - each event is the premier conference for presentation of advances in its respective subject. All conferences will be held simultaneously (same location & dates: June 23-26, 2003, Las Vegas, USA): 1. The 2003 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'03) 2. The 2003 International Conference on Imaging Science, Systems, and Technology (CISST'03) 3. The 2003 International Conference on Artificial Intelligence (IC-AI'03) 4. The 2003 International Conference on Internet Computing (IC'03) 5. The 2003 International Conference on Embedded Systems and Applications (ESA'03) 6. The 2003 International Conference on Wireless Networks (ICWN'03) 7. The 2003 International Conference on Machine Learning; Models, Technologies and Applications (MLMTA) 8. The 2003 International Conference on Mathematics and Engineering Techniques in Medicine and Biological Sciences (METMBS'03) 9. The 2003 International Conference on Communications in Computing (CIC'03) 10. The 2003 International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA'03) 11. The 2003 International Conference on VLSI (VLSI'03) 12. The 2003 International Conference on Information and Knowledge Engineering (IKE'03) 13. The 2003 International Conference on Software Engineering Research and Practice (SERP'03) 14. The 2003 International Conference on Security and Management (SAM'03) 15. The First International Conference on Web Services (ICWS'03) CONFERENCES CONTACT: H. R. Arabnia, Ph.D. General Chair, The 2003 Int'l Multiconference in CS & CE The University of Georgia Department of Computer Science 415 Graduate Studies Research Center Athens, Georgia 30602-7404, U.S.A. Tel: (706) 542-3480 Fax: (706) 542-2966 email: hra(a)cs.uga.edu SUBMISSION OF PAPERS: Prospective authors are invited to submit their papers (about 5 pages - single space, font size of 10 to 12) to H. R. Arabnia (hra(a)cs.uga.edu) by March 5, 2003. (We prefer Word Doc or PDF formats.) The length of the Camera-Ready papers (if accepted) will be limited to 7 (IEEE style) pages. Papers must not have been previously published or currently submitted for publication elsewhere. The first page of the draft paper should include: title of the paper, name, affiliation, postal address, E-mail address, telephone number, & Fax number for each author. The first page should also include the name of the author who will be presenting the paper (if accepted) & a maximum of 5 keywords. EVALUATION PROCESS: Papers will be evaluated for originality, significance, clarity, & soundness. Each paper will be refereed by two researchers in the topical area. IMPORTANT DATES: March 5, 2003 (Wednesday): Extended Submission Deadline March 26, 2003 (Wednesday): Notification of acceptance April 22, 2003 (Tuesday): Camera-Ready papers & Prereg. due June 23-26, 2003: All 15 Int'l Conferences

1 0

FMOODS'03
by J.Derrick 26 Feb '03

26 Feb '03

Apologies if you receive this more than once %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%= Call for Papers Sixth IFIP International conference on Formal Methods for Open Object-based Distributed Systems FMOODS 2003 19-21 November 2003, Paris, France to be held in be held in conjunction with DAIS'03 - Conference on Distributed Applications and Interoperable Systems http://fedconf.enst.fr/ A call for tutorials common to FMOODS and DAIS and a call for workshops will be issued separately. Objectives and Scope ------------------------------------------------------------------------ The objective of FMOODS is to provide an integrated forum for the presentation of research in several related fields, and the exchange of ideas and experiences in the topics concerned with the formal methods support for Open Object-based Distributed Systems. Aspects of such systems which are of interest include but are not limited to: * Formal models * Formal techniques for specification, design or analysis * Component-based design * Verification, testing and validation * Semantics of programming, coordination or modelling languages * Type systems for programming, coordination or modelling languages * Behavioural typing * Multiple viewpoint modelling and consistency between different models * Transformations of models * Integration of quality of service requirements into formal models * Formal models for security * Applications and experience, carefully described. Work on these aspects of (official and de-facto) standard notations and languages, e.g., the UML, is explicitly welcome. Strengthening this year's federation with DAIS, a special emphasis is put on component-based design for which submissions are encouraged. Conference Organisers ------------------------------------------------------------------------ General chair: Elie Najm (ENST, Paris, France) Elie.Najm(a)ENST.fr PC chairs: Uwe Nestmann (EPFL, CH) Uwe.Nestmann(a)EPFL.ch Perdita Stevens (U Edinburgh, UK) perdita(a)inf.ed.ac.uk Publicity chair: John Derrick (U Kent, UK) J.Derrick(a)ukc.ac.uk Programme Committee ------------------------------------------------------------------------ Lynne Blair (U. Lancaster, UK) Michele Bugliesi (Universita' Ca' Foscari di Venezia, IT) Denis Caromel, Univ. of Nice Sophia Antipolis - CNRS/I3S - INRIA - IUF John Derrick (UKC, UK) Alessandro Fantechi (U. Florence, IT) Kokichi Futatsugi (Jaist, Ishikawa, Japan) Andy Gordon (Microsoft, UK) Cosimo Laneve (U. Bologna, IT) Luigi Logrippo (Universit=E9 du Qu=E9bec en Outaouais, Canada) Elie Najm (ENST, Paris, France) Erik Poll, (U Nijmegen, NL) Arend Rensink (U. Twente, NL) Bernhard Rumpe (TU Munich, DE) Jacob Slonim (Dalhousie University, DalTech, Canada) Martin Steffen (Christian-Albrechts U. Kiel, DE) Carolyn Talcott (Stanford University, US) Nalini Venkatasubramanian (UC Irvine, USA) Akinori Yonezawa (U. Tokyo, JP) Important Dates ------------------------------------------------------------------------ Deadline for submission of abstracts 2 June 2003 Deadline for submission of full papers 9 June 2003 Notification to authors 4 August 2003 Final version of accepted papers 1 September 2003 Submission ------------------------------------------------------------------------ Submit your manuscript electronically in Postscript or PDF using the Springer LNCS style. Papers should be 10-15 pages in length. Full details, including more specific guidelines on the preparation of papers, can be found on the conference website. Papers will undergo a thorough process of review; however, papers which are too long may be rejected without review. Proceedings will be published by Springer Verlag in the LNCS series. All papers must be original, unpublished, and not submitted simultanously for publication elsewhere.

1 0

FW: [IFIP] Good Vibs (contd). & Friday's special
by Augusto Casaca 21 Feb '03

21 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, 21 de Fevereiro de 2003 13:47 To: All Subject: [IFIP] Good Vibs (contd). & Friday's special Dear All, There are good vibrations coming from our member societies: We are closely working with all recently admitted IFIP members to assist their integration. All 4 admitted full member societies at GA 2001 (Chile, Lithuania, Oman and Zimbabwe) have settled their initial membership obligations and are geared up to IFIP activities. This is also true for CITS-Croatia (admitted at GA 2002) which will host an IT-STAR meeting in early June. The Cyprus Computer Society was also admitted at GA 2002 and is busily selecting its TC representatives. CLEI, our regional Latin American corresponding member, continues to look into the feasibility of becoming a Full member. Argentina has undergone a major review of its TC representation and will soon try to overcome its back dues. Over this week we maintained everyday contact with Cecilia Berdichevsky, SADIO's GA representative, and with members of SADIO's Governing Board on the occasion of Armando's passing. Our grief has further united us in considering activities within the IFIP format. In January and February many outstanding membership issues were sorted out: Greece made a great effort and is "up to date" NOW! So did Syria! Some weeks ago a Board member of the Syrian Computer Society (and Deputy Minister for Communications) called to discuss activities and outstanding dues. All matters were immediately taken care of. We currently maintain contact with Malaysia about their status in IFIP. Some days ago, the South Korea rep. wrote to say that KISS has settled its obligations. When the KISS transfer arrives, IFIP will have 42 national member societies with voting rights!!! At present we have 48 full members on our books. By GA 2003 in Lithuania the "42 votes" could easily become "45". Additionally, there are 3 corresponding members and 10 Affiliates. Finally, we understand that Bruce Shriver is the recipient of the IEEE CS 2002 Richard E. Merwin Award for Distinguished Service to the computer science profession at large, which he accepts this February. Bruce is a past CS president and the first IEEE CS representative to IFIP [1999-2000]. Congratulations! And lastly ;-), if you need specialized reading for the weekend try some TC 5 stuff ( the WG 5.5 COVE -- Cooperation Infrastructure for Virtual Enterprises and Electronic Business -- Newsletter) at http://www.uninova.pt/~cove/newsindex.htm Have a great weekend, The Delivery Co. Fun zone - joke lovers only! ... and to cheer you up for the weekend here is a cutie :-)) "It's just too hot to wear clothes today", complained Jack as he stepped out of the shower. "Honey, what do you think the neighbors would think if I mowed the lawn like this?" "Probably that I married you for your money." -------------------------------- 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

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