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