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