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

FW: [IFIP] STAR News knocking
by Augusto Casaca 24 Oct '02

24 Oct '02

-----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, 24 de Outubro de 2002 11:04 To: All Subject: [IFIP] STAR News knocking Dear All, In February 2002, we wrote: "A STAR Newsletter is born! The IT STAR initiative is destined to expand and this Newsletter will herald its achievements." The first issue generated a lot of interest. We expected it as the region has a great IT potential and there are many national and international players on this turf. The BIG issue, however, was whether this excellent initiative could be sustained in the longer term. Some might have feared that the rising STAR would soon become a falling STAR. Not so! The initiative continues to thrive and we are pleased to announce the second issue of the IT STAR Newsletter. It contains a review on ICT in the Czech Republic and fresh news from IT STAR countries. You will also read our FIRST ad as proof of value of the visibility our Newsletter provides. The rest is within your choice! You could click here ---> http://www.ifip.or.at/it-star/NL2.pdf to download and be an expert on the latest ICT developments in Central-East Europe! And remember, Tony Blair recently said in Blackpool that the euro is UK's destiny. Did he read our Feb. '02 message? Probably not as he would have added that it's all about STARdom! Greetings, Pozdravi, Gruesse, Saluti and kesenem, The Delivery Co. P.S. for further information about IT STAR please visit http://www.ifip.or.at/it-star -------------------------------- 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: Photos No.51 to 59 of the TC6 meeting
by Augusto Casaca 24 Oct '02

24 Oct '02

-----Original Message----- From: Jinghua Min [mailto:min@jcic.co.jp] Sent: segunda-feira, 14 de Outubro de 2002 11:34 To: augusto.casaca(a)inesc.pt; nedkov(a)ifip.or.at Cc: hudy Subject: Photos No.51 to 59 of the TC6 meeting See the attached files.

1 0

FW: Photos No.41 to 49 of the TC6 meeting
by Augusto Casaca 24 Oct '02

24 Oct '02

Please find some pictures of our last meeting in attach. They have kindly provided by Junghua Min. Best regards Augusto Casaca -----Original Message----- From: Jinghua Min [mailto:min@jcic.co.jp] Sent: segunda-feira, 14 de Outubro de 2002 11:33 To: augusto.casaca(a)inesc.pt; nedkov(a)ifip.or.at Cc: hudy Subject: Photos No.41 to 49 of the TC6 meeting See the attached files.

1 0

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