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

FW: [ifip-tc6] Call for Papers Forte 2003
by Augusto Casaca 24 Oct '02

24 Oct '02

-----Original Message----- From: ifip-tc6-admin(a)Lists.RWTH-Aachen.DE [mailto:ifip-tc6-admin@Lists.RWTH-Aachen.DE]On Behalf Of Hartmut Koenig Sent: quarta-feira, 23 de Outubro de 2002 18:22 To: INCP 2002 Distributor Cc: icnp2002-tpc Subject: [ifip-tc6] Call for Papers Forte 2003 Please excuse if you received that Call for Papers several times. ===================================================================== CALL FOR PAPERS FORTE 2003 Application of Formal Description Techniques in Internet and Communication Domains IFIP TC 6 / WG 6.1 The 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems September 29th - October 2nd, 2003 Berlin, Germany http://www.forte2003.de.vu ======================================================================== Scope and Objectives 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. The 23rd FORTE conference will be held in Berlin. It is organized by the Brandenburg University of Technology Cottbus (BTU Cottbus) and the Berlin University of Technology (TU Berlin). 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. Topics of interest FORTE'03 will provide a forum for researchers and users to review, discuss, and learn about new approaches, concepts and experiences in the application of formal methods such as finite state machines, process algebras, Petri nets and logics and formal description techniques including SDL, UML, LOTOS, MSC, ASN.1, and others. Topics of interest include, but are not restricted to - Use of formal methods: FDT based design of communication protocols and distributed systems especially for Internet applications, Formal verification, Performance modeling and analysis, Automatically derived implementations, Test of distributed systems and communication protocols including interoperability tests, performance tests, robustness tests, and test generation procedures, Tool support - Theoretical aspects of formal methods: New approaches and theories, Extensions of FDTs, Semantic foundations, Real-time and probability aspects - Practical experience with formal methods: Reports and case studies of the deployment of formal methods and FDTs to the development and validation of distributed systems and communication protocols, in particular in Internet and communication domains. We strongly encourage the submission of papers with practical applications especially in the areas of multimedia applications, wireless and mobile communication protocols, client/server applications, secure systems/environments, e-business and mobile commerce, and other Internet applications. Submission policy Several types of contributions are solicited: - Full papers - research or practice results (not more than 16 pages) - Tutorial proposals - Work in progress papers (not more than 5 pages) - Tool demonstration proposals Only original papers, i.e. not submitted nor published elsewhere, should be submitted. Papers should be submitted electronically in PDF format using the following address: http://www.forte2003.de.vu/paper All accepted full papers will be published in Lecture Notes of Computer Science series of Springer. Work in progress papers will be published in a separate volume at the conference. To facilitate the production of the final proceedings we strongly recommend submissions to follow the Springer style available at http://www.springer.de/comp/lncs/ authors.html. Best Paper Award There will be a best paper award offered by IFIP TC6 for the author(s) of the best paper selected during the reviewing process. Important Dates - March 17th, 2003: Submission deadline for regular papers and tutorials - May 22nd, 2003: Notification of acceptance - June 23rd, 2003: Camera-ready version - May 19th, 2003 Submission deadline for work-in-progress papers Conference Chairs - Hartmut Koenig, BTU Cottbus - Monika Heiner, BTU Cottbus - Adam Wolisz, TU Berlin Technical Program Committee - T. Bolognesi, IEI Pisa, Italy - E. Borcoci, University of Bucarest, Romania - H. Bowman, University of Kent, UK - A. Cavalli, INT Evry, France - P. Dembinski, IPI Warsaw, Poland - R. Gotzhein, University of Kaiserslautern, Germany - R. Groz, INRIA Rhones-Alpes, France - U. Herzog, University of Erlangen-Nueremberg, Germany - T. Higashino, Osaka University, Japan - D. Hogrefe, University of Göttingen, Germany - G. J. Holzmann, Bell Labs, USA - C. Jard, IRISA, France - M. Kim, ICU Taejon, Korea - F. Khendek, Concordia University Montreal, Canada - P. Kritzinger, University of Cape Town, South Africa - H. Krumm, University of Dortmund, Germany - D. Lee, Bell Labs, China - M. Luukainen, University of Helsinki, Finland - B. Müller-Clostermann, University of Essen, Germany - M. Nunez, University of Madrid, Spain - D. A. Peled, University of Warwick, UK - A. Petrenko, CRIM Montreal, Canada - K. Suzuki, Advanced Coomuication Coop., Japan - Ü. Uyar, City University of New York, USA - M. Y. Vardi, Rice University Houston, USA - J. Wu, Tsinghua University, Beijing, Chian - N. Yevtushenko, Tomsk State University, Russia Steering Committee - G. v. Bochmann, University of Ottawa, Canada - E. Brinksma, University of Twente, The Netherlands - S, Budkowski, INT Evry, France - G. Leduc, University of Liege, Belgium - E. Najm, ENST, France - R. Tenney, University of Massachusetts, USA - K. Turner, University of Stirling, UK Publicity Chair for - Asia: K. Suzuki, Advanced Communication Coop., Japan - North America: Ü. Uyar, City University of New York, USA - South America: W. Lopes de Souza, University of Sa~o Carlos, Brazil Organization Committee - Katrin Willhöft, BTU Cottbus - Christian Noack, BTU Cottbus - Irene Ostertag, TU Berlin - Ronny Richter, BTU Cottbus Further Information - FORTE Web site: http://www.forte2003.de.vu - IFIP Web site: http://www.ifip.or.at/ - For questions: forte2003-org(a)informatik.tu-cottbus.de -- ________________________________________________________________________ Hartmut König Tel: +49 355 69 22 36 koenig(a)informatik.tu-cottbus.de Fax: +49 355 69 21 27 BTU Cottbus LS Rechnernetze und Kommunikationssysteme PF 10 13 44, D-03013 Cottbus, Germany http://www-rnks.informatik.tu-cottbus.de ________________________________________________________________________ _______________________________________________ ifip-tc6 mailing list ifip-tc6(a)lists.RWTH-Aachen.DE http://MailMan.RWTH-Aachen.DE/mailman/listinfo/ifip-tc6

1 0

Call for Papers Forte 2003
by Hartmut Koenig 23 Oct '02

23 Oct '02

Please excuse if you received that Call for Papers several times. ===================================================================== CALL FOR PAPERS FORTE 2003 Application of Formal Description Techniques in Internet and Communication Domains IFIP TC 6 / WG 6.1 The 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems September 29th - October 2nd, 2003 Berlin, Germany http://www.forte2003.de.vu ======================================================================== Scope and Objectives 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. The 23rd FORTE conference will be held in Berlin. It is organized by the Brandenburg University of Technology Cottbus (BTU Cottbus) and the Berlin University of Technology (TU Berlin). 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. Topics of interest FORTE'03 will provide a forum for researchers and users to review, discuss, and learn about new approaches, concepts and experiences in the application of formal methods such as finite state machines, process algebras, Petri nets and logics and formal description techniques including SDL, UML, LOTOS, MSC, ASN.1, and others. Topics of interest include, but are not restricted to - Use of formal methods: FDT based design of communication protocols and distributed systems especially for Internet applications, Formal verification, Performance modeling and analysis, Automatically derived implementations, Test of distributed systems and communication protocols including interoperability tests, performance tests, robustness tests, and test generation procedures, Tool support - Theoretical aspects of formal methods: New approaches and theories, Extensions of FDTs, Semantic foundations, Real-time and probability aspects - Practical experience with formal methods: Reports and case studies of the deployment of formal methods and FDTs to the development and validation of distributed systems and communication protocols, in particular in Internet and communication domains. We strongly encourage the submission of papers with practical applications especially in the areas of multimedia applications, wireless and mobile communication protocols, client/server applications, secure systems/environments, e-business and mobile commerce, and other Internet applications. Submission policy Several types of contributions are solicited: - Full papers - research or practice results (not more than 16 pages) - Tutorial proposals - Work in progress papers (not more than 5 pages) - Tool demonstration proposals Only original papers, i.e. not submitted nor published elsewhere, should be submitted. Papers should be submitted electronically in PDF format using the following address: http://www.forte2003.de.vu/paper All accepted full papers will be published in Lecture Notes of Computer Science series of Springer. Work in progress papers will be published in a separate volume at the conference. To facilitate the production of the final proceedings we strongly recommend submissions to follow the Springer style available at http://www.springer.de/comp/lncs/ authors.html. Best Paper Award There will be a best paper award offered by IFIP TC6 for the author(s) of the best paper selected during the reviewing process. Important Dates - March 17th, 2003: Submission deadline for regular papers and tutorials - May 22nd, 2003: Notification of acceptance - June 23rd, 2003: Camera-ready version - May 19th, 2003 Submission deadline for work-in-progress papers Conference Chairs - Hartmut Koenig, BTU Cottbus - Monika Heiner, BTU Cottbus - Adam Wolisz, TU Berlin Technical Program Committee - T. Bolognesi, IEI Pisa, Italy - E. Borcoci, University of Bucarest, Romania - H. Bowman, University of Kent, UK - A. Cavalli, INT Evry, France - P. Dembinski, IPI Warsaw, Poland - R. Gotzhein, University of Kaiserslautern, Germany - R. Groz, INRIA Rhones-Alpes, France - U. Herzog, University of Erlangen-Nueremberg, Germany - T. Higashino, Osaka University, Japan - D. Hogrefe, University of Göttingen, Germany - G. J. Holzmann, Bell Labs, USA - C. Jard, IRISA, France - M. Kim, ICU Taejon, Korea - F. Khendek, Concordia University Montreal, Canada - P. Kritzinger, University of Cape Town, South Africa - H. Krumm, University of Dortmund, Germany - D. Lee, Bell Labs, China - M. Luukainen, University of Helsinki, Finland - B. Müller-Clostermann, University of Essen, Germany - M. Nunez, University of Madrid, Spain - D. A. Peled, University of Warwick, UK - A. Petrenko, CRIM Montreal, Canada - K. Suzuki, Advanced Coomuication Coop., Japan - Ü. Uyar, City University of New York, USA - M. Y. Vardi, Rice University Houston, USA - J. Wu, Tsinghua University, Beijing, Chian - N. Yevtushenko, Tomsk State University, Russia Steering Committee - G. v. Bochmann, University of Ottawa, Canada - E. Brinksma, University of Twente, The Netherlands - S, Budkowski, INT Evry, France - G. Leduc, University of Liege, Belgium - E. Najm, ENST, France - R. Tenney, University of Massachusetts, USA - K. Turner, University of Stirling, UK Publicity Chair for - Asia: K. Suzuki, Advanced Communication Coop., Japan - North America: Ü. Uyar, City University of New York, USA - South America: W. Lopes de Souza, University of Sa~o Carlos, Brazil Organization Committee - Katrin Willhöft, BTU Cottbus - Christian Noack, BTU Cottbus - Irene Ostertag, TU Berlin - Ronny Richter, BTU Cottbus Further Information - FORTE Web site: http://www.forte2003.de.vu - IFIP Web site: http://www.ifip.or.at/ - For questions: forte2003-org(a)informatik.tu-cottbus.de -- ________________________________________________________________________ Hartmut König Tel: +49 355 69 22 36 koenig(a)informatik.tu-cottbus.de Fax: +49 355 69 21 27 BTU Cottbus LS Rechnernetze und Kommunikationssysteme PF 10 13 44, D-03013 Cottbus, Germany http://www-rnks.informatik.tu-cottbus.de ________________________________________________________________________

1 0

Last Call for Participation ICNP 2002
by Hartmut Koenig 23 Oct '02

23 Oct '02

Please excuse if you received that Call for Participation several times. ====================================================== Call for participation ICNP 2002 November 12-15, 2002 Telecom Paris, France http://www-lor.int-evry.fr/platonis/icnp2002/ ====================================================== ICNP is a highly selective conference dealing with all aspects of communication protocols including design, specification, analysis and verification, implementation, application, and performance. This year marks the 10th anniversary of the conference. The program consists of a full tutorial day followed by a single 3-day track of peer-reviewed papers and posters, including a limited number of invited talks and panels Keynote speakers are Michel Diaz (LAAS Toulouse) and Atsushi Murase (President of CEO DoCoMo)) A poster session is a new feature for ICNP. Nine posters on interesting and emerging work will be presented in a free-form session after lunch on Thursday. Two-page abstracts of the posters are included in the proceedings The registration for the conference is opened.The registration form can be download on the web site of the conference: http://protocols.netlab.uky.edu/icnp The preliminary program is also attached to this mail.Notice that very a ttractive prices are offered for students. The cut-off date for early registration is October 15th, 2002. We are looking forward to see you in Paris in November. The ICNP 2002 Organizing Commitee. --

1 0

FW: Lisbon events
by Augusto Casaca 23 Oct '02

23 Oct '02

Dear TC6 members, I forward the message received from Plamen, who has prepared a nice report on our TC6 meeting in Lisboa. Best regards Augusto -----Original Message----- From: Plamen Nedkov [mailto:nedkov@ifip.or.at] Sent: quinta-feira, 17 de Outubro de 2002 12:56 To: jose.granado(a)esdata.pt; Augusto Casaca Subject: Lisbon events Dear Augusto and Jose, Here is my contribution http://www.ifip.or.at/secretariat/tc6.pdf in appreciation of you hospitality and the good work of API and TC 6. I hope the Portuguese hosts and the TC 6 community would enjoy the material. Best regards, Plamen -------------------------------- 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

WG 6.3
by Augusto Casaca 22 Oct '02

22 Oct '02

Dear Harry and Yutaka, I would like to thank all the great collaboration that you have given to IFIP and TC6 by having chaired WG6.3 in the last 6 years. I am pleased to see that WG 6.3 is passed to Ioannis in very good shape and that the series of Networking conferences, in which WG6.3 was one of the initiators, is being very successful. I look forward to your continuing collaboration to IFIP and TC6 With my best regards Augusto Casaca

1 0

table of Delegates
by Augusto Casaca 22 Oct '02

22 Oct '02

Dear TC6 members, I have prepared the table of TC6 delegates under a new format. I attach it to this mail. Best regards Augusto

1 0

CMSB03 - deadline approaching
by Michela de Concini 22 Oct '02

22 Oct '02

Computational Methods in Systems Biology University of Trento 24-26 February, 2003 Rovereto, Italy www.science.unitn.it/~priami/cmsb.html Molecular biology has until now mainly focussed on individual molecules, on their properties as isolated entities or as complexes in very simple model systems. However, biological molecules in living systems participate in very complex networks, including regulatory networks for gene expression, intracellular metabolic networks and both intra- and intercellular communication networks. Such networks are involved in the maintenance (homeostasis) as well as the differentiation of cellular systems of which we have a very incomplete understanding. Nevertheless, the progress of molecular biology has made possible the detailed description of the components that constitute living systems, notably genes and proteins. Large scale genome sequencing means that we can (at least in principle) delimneate all macromolecular components of a given cellular system, and microarray experiments as well as large scale proteomics will soon give us large amounts of experimental data on gene regulation, molecular interactions and cellular networks. The challenge of the 21st century will be to understand how these individual components integrate to complex systems and the function and evolution of these systems, thus scaling up from molecular biology to systems biology. By combining experimental data with advanced formal theories from computer science, "the formal language for biological systems" to specify dynamic models of interacting molecular entities would be essential for 1. understanding normal behaviour of cellular processes, and how changes may affect the processes and cause disease. It may be possible to correlate genetic properties and symptoms in new and more efficient ways, based on an actual understanding of how various processes interact. 2. Providing predictability and flexibility to academic, pharmaceutical, biotechnology and medical researchers studying gene or protein functions. In particular, it may save time by reducing the number of experiments needed, if inadequate hypotheses could be excluded by computer simulation. Topics of interest include, but are not limited to: Modelling languages for Systems Biology Concurrency theory in Systems Biology Constraint programming in Systems Biology Logical methods in Systems Biology Formal methods to analyse biomolecular systems Quantitative analysis of biomolecular systems Simulation techniques for Systems Biology Case studies IMPORTANT DATES Nov 9, 2002 Submission deadline for papers and demos Nov 30, 2002 Notification of acceptance Dec 16, 2002 Camera-ready version due PROCEEDINGS The proceedings will be published in the Springer LNCS series and will be available at the workshop. SUBMISSION Authors are invited to submit .ps or .pdf original research papers as well as survey or tutorial papers of no more than 12 pages in LNCS format (see http://www.springer.de/comp/lncs/authors.html for instructions) at the address concini(a)dit.unitn.it For further information please contact us at the addresses [concini,priami](a)dit.unitn.it. The papers will pass a peer review process and the accepted ones will appear in the proceedings. INVITED SPEAKERS Ehud Shapiro, Weizmann Institute of Science, Israel To be announced PROGRAMME COMMITTEE Charles Auffray, CNRS, Villejuif (F) Cosima Baldari, Università di Siena (I) Alexander Bockmayr, Université Henri Poincaré, Nancy (F) Luca Cardelli, Microsoft Research Cambridge (UK) Vincent Danos, Université Paris VII (F) Pierpaolo Degano, Università di Pisa (I) François Fages, INRIA Rocquencourt (F) Drabløs Finn, , Norwegian University of Science and Technology, Trondheim (N) Monika Heiner, Brandenburg University of Technology at Cottbus - (D) Ina Koch, University of Applied Sciences Berlin, (D). John E. Ladbury, University College London (UK) Patrick Lincoln, SRI (USA) Satoru Miyano, University of Tokyo (JP) Gordon Plotkin, University of Edinburgh (UK) Simon Plyte, Pharmacia Corporation (I) Corrado Priami (CHAIR), Università di Trento (I) Aviv Regev, Weizmann Institute of Science (IL) Magali Roux-Rouquié, BSMI Pasteur Institute (F) Vincent Schachter, Hybrigenics Paris (F) Masaru Tomita, Keio University (JP) Adelinde Uhrmacher, University of Rostock (D) Alfonso Valencia, CNB-CSIC Centro Nacional de Biotecnologia, Cantoblanco Madrid, (E) Olaf Wolkenhauer, UMIST, Manchester (UK) ORGANIZING COMMITTEE Linda Brodo, Michela de Concini, Corrado Priami, Debora Schuch da Rosa Machado --

1 0

ESOP 03 -- 2nd call for papers
by Pierpaolo Degano 16 Oct '02

16 Oct '02

(*** Apologies for multiple copies. Please circulate. ***) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % % 12th European Symposium on Programming % % % % ESOP '03 % % (a main conference of ETAPS '03) % % http://www.di.unipi.it/ESOP03 % % % % Warszawa, Poland, April 5th -- 13th, 2003 % % % % LAST CALL FOR PAPERS (please CHECK the web page) % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1 0

CFP Special Issue MONET on Integration of Heterogenous Wireless Technologies
by Erdal CAYIRCI 16 Oct '02

16 Oct '02

Our apologies if you have received multiple copies of this CFP. ------------------------------------------------------------------------- Kluwer Academic Publishers in cooperation with ACM announce a Special Issue of the Journal on Special Topics in Mobile Networking and Applications (MONET) On INTEGRATION Of HETEROGENOUS WIRELESS TECHNOLOGIES http://www.kluweronline.com/issn/1383-469X With Guest Editors Dr. Hongyi Wu Center for Advanced Computer Studies Univ. of Louisiana at Lafayette TEL: 337-482-5779FAX: 337-482-5791 wu(a)cacs.louisiana.edu Dr. Chunming Qiao Dept. of Computer Science and Eng.State Univ. of New York at Buffalo TEL: 716-645-3180 ext.140FAX: 716-645-3464 qiao(a)computer.org Dr. Sudhir Dixit Nokia Research Center Burlington, MA 01803 TEL: 781-993-4607FAX: 781-993-1907 sudhir.dixit(a)nokia.com Dr. Erdal Cayirci Computer Engineering Department Yeditepe University TEL: 404-894-6616FAX: 404-894-7883 erdal(a)ece.gatech.edu OVERVIEW Various wireless technologies and systems have been developed over the years, and all signs are indicating that many more are yet to come. For instance, traditional cellular systems have successfully provided voice services since the first analog system was introduced several decades ago. Satellite systems have also been used extensively in various military and commercial applications. Recently, with the growth of the mobile Internet, and the use of wireless technology in our daily life, wireless LANs, ad hoc networks, Bluetooth, home RF networks, and sensor networks are attracting more and more attention from both industrial and academic researchers. The mushrooming of these heterogeneous wireless technologies calls for the ubiquitous and integrated wireless infrastructures to make the communication system robust and efficient. While the existing wireless networks have been extensively studied individually, the integrated wireless system brings new challenges in system management, protocol design, performance evaluation, QoS support, etc. With this special issue we aim at bringing together state-of-the-art contributions in this emerging area of integrated heterogeneous wireless technologies that range from papers that report novel research to papers that describe commercial and industrial experiences. We are seeking for papers that are original, unpublished, and not currently under review by other conference, workshop, or journal. Topics of interest include, but are not limited to the following, with particular emphasis on the integration of heterogeneous wireless technologies: ·System architecture ·Interoperation between wired, terrestrial wireless and satellite networks ·Hybrid cellular systems, wireless LANs, ad hoc/sensor networks, Bluetooth ·Location, Mobility and Handoff Management ·System modeling and performance evaluation ·Security and Privacy ·Applications ·Protocol design, analysis, and optimization ·Routing (including multicasting and broadcasting)&Energy efficient, self-organizing and resilient protocols&Medium access control protocols & TCP/IP over integrated wireless networks ·Congestion, admission, and flow control ·Quality of service in the hybrid networks ·Implementation and testbed experiments PUBLICATION SCHEDULE ·MANUSCRIPT DUE: Feb. 1, 2003 ·ACCEPTANCE NOTIFICATION: May 1, 2003 ·FINAL MANUSCRIPT DUE: July 1, 2003 ·EXPECTED PUBLICATION DATE: Fourth Quarter, 2003 SUBMISSION GUIDELINES Authors should email an electronic (Postscript or PDF) copy of their papers to Dr. Hongyi Wu, wu(a)cacs.louisiana.edu, by Feb. 1, 2003. Submissions should be limited to 20 double space pages excluding figures, graphs and illustrations. If email submission is impossible then six (6) copies of the paper (double-sided if possible) should be sent by the due date to Dr. Hongyi Wu. All submissions will be reviewed following the standard procedure.

1 0

TC6 meeting 2002/2 minutes
by Augusto Casaca 14 Oct '02

14 Oct '02

Dear TC6 members, Please find the minutes of the TC6 meeting in Lisbon attached to this mail. Let me thank Peter Radford for having helped me in reviewing the final text of the minutes. Best regards and enjoy the reading Augusto

2 1