CALL FOR PAPERS
JOURNAL OF NETWORK AND SYSTEMS MANAGEMENT
http://www.cstp.umkc.edu/jnsm/
Special Issue on Distributed Management
The recent rapid increase in the complexity of networks is
mainly due to the expanded range of network devices and systems,
multiple inter-connected networking technologies, and intricate
services such as Virtual Private Networks (VPNs) and Voice over
IP (VoIP). The intricacies in the services have been supported
by increased capabilities in network elements and have compounded
the difficulties in maintaining Service Level Agreements (SLAs).
The increased complexity in networks poses tremendous challenges
for management in terms of functionality, the amount of data to
be processed, and the types of data. It is envisioned that
distributed management will play a strong role in managing
complex networks where the distribution of the various aspects
of management such as monitoring, configuration, provisioning,
accounting, billing, fault, and performance becomes imperative
for greater reliability, scalability and efficiency. This
special issue is intended to present the crucial issues and
efficient solutions in the distributed management of current
and future networks.
The focus of this special issue will include the following
topics:
· Distributed Management Architectures
· Distributed Management of Service Level Agreements and
Quality of Service
· Distributed IP Traffic Management
· Distributed Management for Intra and Inter-domain
Bandwidth Brokerage
· Distributed Management of IP Services such as VPN and
Voice Over IP
· Distributed Management of Mobile Systems and Wireless
Networks
· Distributed Management of IP Over SONET/SDH, WDM,
and CATV
· Distributed Charging and Accounting for IP Services
· Distributed Fault, Performance, and Security Management
· Distributed Configuration and Policy-based Management
· Directory, Web, and XML technologies in Distributed
Management
· Frameworks for developing Distributed Management
Applications
· Scalability, Reliability, and Performance Issues in
Distributed Management
· Case Studies of Distributed Management Systems
· Experiences with Commercial Distributed Management Systems
Instructions to Contributors:
We invite prospective authors to submit high quality journal
papers via e-mail to one of the guest editors, depending on
their geographic zone. Only electronic submissions in PDF or
PS are acceptable. Please prepare the manuscript according to
the "Instructions to Contributors", which can be found in any
copy of the Journal, or by visiting the JNSM Web site at
http://www.cstp.umkc.edu/jnsm/.
Guest Editors:
Dr. Ajita John Prof. Dr. Burkhard Stiller
(Contact for US submissions) (Contact for non-US submissions)
Avaya Labs Research Univ. of Federal Armed Forces Munich
307 Middletown Lincroft Rd Werner-Heisenberg-Weg 39
Room 1N 267 D-85577 Neubiberg, Germany
Lincroft, NJ 07738 and ETH Zurich
USA Gloriastrasse 35
CH-8092 Zürich, Switzerland
E-mail: ajita(a)avaya.com E-mail: stiller(a)tik.ee.ethz.ch
Schedule:
Manuscript due: September 30, 2003
Notification of acceptance: January 15, 2004
Final manuscript due: March 31, 2004
Publication: 3rd Quarter
************************************************************************
************
First Call for Registration
************************************************************************
************
The Third IFIP Conference on
E-Commerce, E-Business and E-Government I3E2003
21-24 de Setembro de 2003, São Paulo Brazil
Casa Grande Hotel, Guarujá, SP
http://www.cenpra.gov.br/I3E_conference
Tel Nr. +19 3282 6000 Fax No. +19 3282
2006
eMail: ifipbr_2003(a)cenpra.gov.br
************************************************************************
********
KEYNOTES
**********
Keynote 1: Towards I-centric Communications Systems: A new dimension of
the
future services, Prof. Dr. Dr. h. c. R. Popescu-Zeletin,
GMD-FOKUS/TU-Berlin
Keynote 2: The Semantic Web: Methods, Applications and Future Trends,
Prof.
Dr. Rudi Studer, Institute AIFB, University of Karlsruhe, Germany
Keynote 3: e-Government a roadmap for progress, Prof. Dr. Roland
Traunmüller,
Linz University, Austria
Keynote 4: E-Cars - Communication on the Road, Dr. Ralf Guido
Herrtwich,
Daimler Chrysler AG, Germany
Keynote 5: eGovernment Technologies and Policies in FP6 Dr. Rosalie
Zobel,
DG Information Society, European Commission
Keynote 6: e-Society: myth, strategy, implementation, reality and what
comes next?,
Karl-Heinz Löper, Ministry of Interior, Land of Berlin, Germany
Keynote 7: Mapping "Enterprise Business Architecture" to "Information
Systems Framework",
Mr. Masanori Kataoka, Hitachi INS Software, Ltd., Japan
Keynote 8: Models for advanced e-services, Prof. Dr. Ir. Chris A.
Vissers,
Telematics Institute, Twente, Netherlands
TECHNICAL SESSIONS
*******************
About 50 papers selected by the International Program Committee, from
more
then 20 countries, distributed in 17 sessions
TUTORIALS
*********
Tutorial T1: Towards a Global Information Society: Prof. Wojciech
Cellary,
(Poznan University of Economics, Polland
Tutorial T2: Model-driven architecture: core technologies, models
and application,Dr. ir. Marten van Sinderen, Dr. Luís Ferreira Pires ,
University of Twente, Netherlands
Tutorial T3: XML in e-Business - Lessons learned from industrial use
and
challenges for the future, Dr. Michael Merz , Ponton Consulting GmbH,
Germany
Tutorial T4: Ontologies: Representation, Engineering, Learning and
Applications,
Prof. Rudi Studer (FZI Research Center for Information Technologies),
MSc.
Raphael Volz (AIFB, Karlsruhe University), Germany
Tutorial T5: Computational grids: architecture, technologies and
applications,
Dr. Walfredo Cirne, MSc. Glaucimar da Silva Aguiar, Universidade
Federal
de Campina Grande, Brasil
WORKSHOPS
*********
Workshop WS1: e-Government - Best practice solutions and standardization
activities
Workshop Coordinators: Gerd Schürmann, FOKUS,Berlin,Dr. Michael
Tschichholz, FOKUS,
Berlin Dr. Evangellos Ouzunis, European Commission,
Workshop WS2: eBusiness: The role of information technology in supply
chain management
Workshop Coordinators: Prof. Dr. Sílvio R.I. Pires, UNIMEP-PPGEP,
Brasil,
Prof. Dr. Rafael Alves, UNIMEP, Brasil, Prof. Dr. Paula Swatman,
Koblenz
University, Germany
Workshop WS3: e-Government and Citizenship, Best practices in health,
education,
security and governance
Workshop Coordinators: Agnaldo do Carmo Lopes, PRODESP, Mauricio
Moraes,PRODESP,
Brazil
Workshop WS4: Digital citizenship: building new rights and looking for
solutions
Coordinators: Sérgio Amadeu da Silveira (ITI) ,Renato Silveira Martini.
(ITI),
Brazil
Workshop WS5: Electronic Governments: Innovation and Challenges
Coordinators: Ciro Fernandes, SLTI/MP, Brasil , Marcos Ozorio de
Almeida,
SLTI/MP, Brasil, Raimundo Costa, SERPRO, Brasil
PANELS, POSTER SESSIONS AND RESEARCH COLLOQUIUM
*************************************************
Main Organizers
***************
CENPRA, UNIMEP and UNISANTOS
Main Supporters
IFIP
State Government of S.Paulo
______________________________________
Prof. Dr. Manuel de Jesus Mendes
Home Fax/Phone: +55-19-32874003
Mobile Phone: +55-19-9604 5003
Mail Address:
mj.mendes(a)terra.com.br
_______________________________________
[Apologies if you receive this more than once]
------------------------------------------------------------------------
Call for Participation
GI/Dagstuhl Research Seminar
Model-based Testing of Reactive Systems
January 12-15, 2004, Schloss Dagstuhl
http://www.it.uu.se/research/project/motres/
------------------------------------------------------------------------
Theme of the seminar
Testing is the primary hardware and software validation technique used by
industry today. Usually, it is ad hoc, error prone, and very expensive. In
recent years, however, many attempts have been made to develop more
sophisticated formal testing methods. But a comprehensive account of the
area of formal testing is missing. The goal of this seminar is to compile
a volume providing an in-depth exposure of this emerging area, especially to
make it easily accessible to new researchers in this field.
Aim of the seminar
The aim of the seminar is to bring together (primarily young) researchers
working in or starting to work in this area (PhD students, postdocs, fresh
PhDs, or maybe even MSc students; also established researchers might apply).
The seminar will be devoted to the assembly of a structured overview (in
terms of presentations and papers) of the state-of-the-art.
Organisation
The organisers will select the participants on the basis of their
application (see below). Selected participants will be approached by the
coordinators and will be assigned a theme, thereby taking into account the
preferences of the applicants as much as possible. The participants will
then write an overview paper (up to 30--40 pages) on the assigned theme,
supervised by the coordinator; the papers listed below form a starting point
for doing so. During the seminar in January 2004 in Dagstuhl, the overview
paper has to be presented (45 minutes) and discussed. Some of the themes
listed below are so large that working on them in a 2-person group is
possible.
The seminar papers written will be collected and published with a German
publisher. In fact, based on the quality of the final papers, a publication
as a tutorial volume in the LNCS series of Springer-Verlag is very likely.
In order to ease the publication process, we strongly encourage the papers
to be written using LaTeX using Springer's lncs style.
In total, we envisage that taking part in the seminar, including the
reading, writing, presenting and travelling, will "cost" at least 5 to 6
weeks of work (full time). Note, however, that esp. for PhD students, this
type of work has to be done anyway, as part of their PhD studies.
Organisers
The seminar is organised by
* Manfred Broy, Technical University of Munich, Germany
* Bengt Jonsson Uppsala University, Sweden
* Joost-Pieter Katoen, University of Twente, Netherlands
* Martin Leucker, Uppsala University, Sweden, (Coordinator)
* Alexander Pretschner, Technical University of Munich, Germany
Time and location
The seminar is organised as a GI/Dagstuhl-seminar from January 12, 2004
(Monday, arrival) through January 15, 2004 (Thursday) in the International
Conference and Research Center for Computer Science at Schloss Dagstuhl.
Dagstuhl is located about halfway between Saarbrücken and Trier and is ideally
suited for a research seminar because of its excellent library and special
atmosphere. Registration fee for all participants will be 100 Euro; this
includes accommodation, all meals and coffee/tea breaks. This extremely low
fee is made possible through the sponsorship of the Gesellschaft für
Informatik.
Application
Participants are selected on the basis of a good scientific
qualification. Participants can apply by sending a short curriculum
vitae (with list of publications) and a letter of reference from a
professor (in case of MSc or PhD students). Also indicate the topics
of your interest! The list of topics can be found on
http://www.it.uu.se/research/project/motres/cfp.html
Applications (including a list of preferred topics) should be sent
electronically (as PS or PDF) by August 30, 2003 to
Martin.Leucker(a)it.uu.se.
Time table
* July 01: launch of call for participation
* August 30: deadline for applications
* September 15: notification on participation
* November 2003: first version of seminar paper
* December 2003: revised versions of seminar paper
* January 12-15, 2004: Dagstuhl seminar
* March 2004: final camera-ready seminar papers due
* Spring 2004: publication of seminar volume
List of theme areas and topics
We will give an detailed account to formal approaches of testing as well as
relations to other validation techniques like model checking.
There are several schools of formal testing. We will give an account to some
of them providing the basis for a comparison. We will show the similarities
and differences in each approach. In general, we concentrate on so-called
black-box testing. In this setting, the system under test is not given
explicitly but may only be analysed using interaction in terms of input and
output actions.
The topics comprise the following areas:
T1: Testing of finite state machines (3 chapters)
T2: Preorder-based testing of labelled transition systems (4 chapters)
T3: Further Model-based testing (3 chapters)
T4: Test generation tools and case studies (2 chapters)
T5: Test execution: TTCN-3 (1 chapter)
T6: Test methods (1 chapter)
T7: Testing of non-deterministic systems (1 chapter)
T8: Model checking and testing (3 chapters)
A detailed list of theme areas and topics can be found on
http://www.it.uu.se/research/project/motres/cfp.html
where furthermore a starting list of references is given.
------------------------------------------------------------------------
Martin Leucker, http://user.it.uu.se/~leucker/ July 01, 2003
------------------------------------------------------------------------
Apologies for multiple copies.
Dear Research and Industry Fellows,
you are invited to participate in the NGC/ICQT'03 workshops in Munich,
September 16-19, 2003 - in co-operation with ACM SIGCOMM and in the
follow-up of COST 264. Please find attached the program for those
events.
Your registration option holds in-advance rates until August 1, 2003 at
the
workshops' web pages http://www.ngc2003.org/
Regards,
Burkhard Stiller
NGC/ICQT'03 General Chair
------------------------------------------------------------------------
NGC/ICQT'03 Advance Program
------------------------------------------------------------------------
A PDF version of this program is available at http://www.ngc2003.org
Tuesday, September 16, 2003 (NGC03 Tutorial Day and MMAPPS Project Day)
========================================================================
9.00 - 12.30 Tutorial A
"Advanced QoS Accounting Techniques used for Billing Service Levels" by
Petre Dini, Cisco Systems.
14.00 - 17.30 Tutorial B
"Content Distribution and Beyond - Architectures, Protocols, and
Practice"
by Markus Hofmann, Bell Labs Research.
The MMAPPS Project Day on Peer-to-peer Systems starts at 9.00 in
parallel
to the two NGC Tutorials. A detailed program for this project day is
available at http://www.mmapps.org/events/main.html.
Wednesday, September 17, 2003 (NGC03 Day 1)
============================================
9.00 - 10.30 Welcome and Keynote
* General and Program Co-chair's Welcome Message
Burkhard Stiller, UniBw Munich, Germany, and ETH Zurich,
Switzerland
* Welcome from UniBw Munich, Germany
Merith Niehuss, Vice President UniBw Munich, Germany
* Program Co-chair's Program Information
Georg Carle, Universität Tübingen, Germany
* Keynote: Jon Crowcroft, Cambridge University:
Multicast TCP - They said it shouldn't be done, so ...
11.00 - 12.30 Session 1: Application and Multicast Support
* User-interest Driven Video Adaptation for Collaborative Workspace
Applications
Jeremiah Scholl, Stefan Elf, Peter Parnes, Sweden
* Improving Efficiency of Application-level Multicast with Network
Support
Takeshi Sano, Taku Noguchi, Miki Yamamoto, Japan
* An Adaptive Method for Dynamic Audience Size Estimation in
Multicast
Maziar Nekovee, Andrea Soppera, Trevor Burbridge, United Kingdom
14.00 - 15.30 Session 2: Anycast and Search in P2P
* Anycast in Locality-aware Peer-to- peer Systems
Rongmei Zhang, Y. Charlie Hu, U.S.A.
* Scalable Application-level Anycast for Highly Dynamic Groups
Miguel Castro, Peter Druschel, Anne-Marie Kermarrec, Antony
Rowstron,
U.S.A.
* Topology-Centric Look-Up Service
Luis Garces-Erice, Keith W. Ross, Ernst W. Biersack, Pascal A.
Felber,
Guillaume Urvoy-Keller, France
16.00 - 17.30 Session 3: Peer-to-peer Systems
* Service Differentiation in Peer-to-Peer Networks Utilizing
Reputations
Minaxi Gupta, Mostafa Ammar, U.S.A.
* Adding Structure to Unstructured Peer-to-peer Networks: The Role of
Overlay Topology
Shashidhar Merugu, Sridhar Srinivasan, Ellen Zegura, U.S.A.
* Building Semantic Peer-to-peer Networks Upon CAN
Jiantao Song, Yong Zhang, Chaofeng Sha, Peoples Republic of China
17.45 Welcome Reception
Thursday, September 18, 2003 (NGC03 Day 2)
===========================================
9.00 - 10.30 Session 4: Security and Multicasting
* Adding Reliable and Self-Healing Key Distribution to the Subset
Difference Group Rekeying Method for Secure Multicast
Sencun Zhu, Sanjeev Setia, Sushil Jajodia, Mario Maggiorini, U.S.A.
* Key Bundles and Parcels: Secure Communication in Many Groups
Eunjin Jung, Mohamed G. Gouda, Xiang-Yang Alex Liu, U.S.A.
* EBM: Edge-based Multicasting in DiffServ Networks
A. Striegel, A. Bouabdallah, H. Bettahar, G. Manimaran, U.S.A.
11.00 - 12.30 Session 5: Multicast Mechanisms
* Team-oriented Multicast: A Scalable Routing Protocol for Large
Mobile
Networks
Yunjung Yi, Mario Gerla, Joon-Sang Park, U.S.A.
* Generalized Multicast Congestion Control: An Efficient Multi-rate
Scheme Using Single Rate Control
Jiang Li, Shivkumar Kalyanaraman, U.S.A.
* IP Multicast Over Cable TV Networks
A. Selcuk Uluagac, Jon M. Peha, Turkey
14.00 - 15.00 Session 6: Control Algorithms
* Extremum Feedback with Partial Knowledge
Thomas Fuhrmann, Jörg Widmer, Germany
* Design and Evaluation of a Low Density Generator Matrix (LDGM)
Large
Block FEC Codec
Vincent Roca, Zainab Khallouf, Julien Laboure, France
15.30 - 17.30 Session 7: Short Paper Session
* Overcoming Last- hop/First-hop Problems in IP Multicast
Gísli Hjálmtýsson, Björn Brynjúlfsson, Ólafur Ragnar Helgason,
Iceland
* Multicast Infrastructure for Massive Multi-Player Online Games
Daniel Bauer, Sean Rooney, Switzerland
* Performance Evaluation of Multicast for Small Conferences
Stefan Egger, Torsten Braun, Switzerland
* Scalable Support for Source Specific Multicast in Differentiated
Services Domains
Ning Wang, George Pavlou, United Kindgom
* Overlay Socket: Programming Overlay Networks
J. Liebeherr, J. Wang, G. Zhang, U.S.A.
* Enhancing Peer-to-peer Parallel Data Access with PeerFecT
L. Dairaine, L. Lancerica, J. Lacan, France
18.45 Social Event
Friday, September 19, 2003 (ICQT03 Day 1)
==========================================
9.00 - 10.15 Welcome and Keynote
* Program Co-chair's Program Information
Peter Reichl, FTW, Austria and Martin Karsten, Univ. of Waterloo,
Canada
* Keynote:
to be announced
10.45 - 12.45 Session 8: Multicast Pricing and Traffic
* An Approach to the Charging of Secure IP Multicast Services
Sylvie Laniepce, Mohammed Achemlal, France
* Accounting Mechanism for Membership Size-Dependent Pricing of
Multicast Traffic
David Breitgand, Danny Dolev, Danny Raz, U.S.A.
* A Low-Cost Packet Originator Verification for Metering at
Access-Routers
Bernd Lamparter, Dirk Westhoff, Germany
* Problem Statement: Metering and Accounting in full-IP 4G Networks
Jürgen Jähnert, Germany
14.00 - 15.00 Session 9: Routing and Economics
* Incentive-based Inter-domain Routeing
Richard Mortier, Ian Pratt, United Kingdom
* The Economics of Smart Routing and QoS
Rui Dai, Dale O. Stahl, Andrew B. Whinston, U.S.A.
15.30 - 16.30 Session 10: Pricing and Resource Management
* A Progressive Second Price Mechanism with a Sanction Bid from
Excluded
Players
Patrick Maillé, Bruno Tuffin, France
* Capacitated Network Management through Pricing
Mustapha Bouhtou, Madiagne Diallo, Laura Wynter, France
16.30 Closing
------- Forwarded Message Follows / Následuje předaný dopis -------
Fyzicky od: <brunato(a)dit.unitn.it>
Od: "Mauro Brunato" <brunato(a)dit.unitn.it>
Komu: <Slavik(a)testcom.cz>
Vec: CFP: WONS 2004 (Madonna di Campiglio, Italy)
Datum odeslani: Mon, 7 Jul 2003 18:49:55 +0200
Organizace: Universitŕ di Trento
Postovni prog.: Microsoft Outlook Express 6.00.2800.1158
=========================================================
CALL FOR PAPERS
WONS 2004
First International Working Conference on
Wireless On-demand Network Systems
(sponsorship by IFIP WG 6.3 and 6.8
is pending for approval)
http://dit.unitn.it/wons/
wons(a)dit.unitn.it
Madonna di Campiglio (Italy)
January 21-23, 2004
Wireless LANs are enjoying a growing interest at all levels: research,
application, business. The explosive growth of IEEE802.11b (Wi-Fi), the
ongoing change of spectrum management policies and the technology boost
making wireless wideband a reality are bringing high bandwidth wireless
connectivity to the masses. Connectivity and networking built "on-demand",
where and when they are needed in an evolutionary and incremental fashion
with limited investments, is spawning new research and business
opportunities, offering unprecedented possibilities to support working
communities and ubiquitous, cooperative computing.
Many aspects of the current wireless LANs growth resemble the rapid, and in
part anarchic and unexpected, evolution of the wired Internet. The road is
traced and enthusiasm is mounting but many challenges have to be solved
before providing seamless communication, reliable quality, secure high
bandwidth connectivity, and useful services.
The conference will concentrate on new research issues open in the "wireless
Internet" context, including design, modelling and performance evaluation,
pricing and profitability models, QoS models and practical implementation.
Sound experimental evaluation of new techniques will also be considered.
The meeting will take place in one of the finest winter resorts of the Alps,
Madonna di Campiglio, in the Trentino region. The cozy atmosphere of the
conference hotel, facing one of the most spectacular panoramas in the Alps,
will facilitate concentration and creativity.
The schedule of the meeting will consist of presentations in the morning and
in the afternoon/evening. A pause after lunch will allow social activities
and informal interaction among the participants.
Topics comprise, but are not limited to:
- Wireless access to the Internet
- Modelling and performance evaluation of wireless LANs
- Quality of service and pricing ("charging for quality")
- Traffic and user activity models
- Service differentiation mechanisms
- Virtual operators in WiFi networks
- Pervasive / ubiquitous computing
- Location and context-awareness
- Wireless LANs design
- Management, authentication, authorization and accounting
- On-Demand, Ad-Hoc Networks
----------------------------------------------------------
Keynote speech:
"Ad Hoc Wireless Networks: Protocols and Applications"
Mario Gerla, Computer Science Department, UCLA
----------------------------------------------------------
Conference Proceedings will be published by Springer
in the series "Lecture Notes in Computer Science".
Extended versions of the best papers will be considered for
publication on a special issue of Kluwer/ACM Mobile
Networks and Applications (MONET).
A Best Paper Award will be assigned at the conference.
----------------------------------------------------------
Important deadlines:
- August 1st, 2003 (Hard Deadline):
Electronic Full Paper Submission
- September 30, 2003: Acceptance Notification
- October 15, 2003: Final Version Due
----------------------------------------------------------
General Chair:
Roberto Battiti, University of Trento, Italy
Local Organization Chairs:
Sandro Pera, University of Trento, Italy
Alessandro Villani, University of Trento, Italy
Publicity Chairs:
Mauro Brunato, University of Trento, Italy
Tutorials and Sponsorships Chairs:
Paolo Simonetti, Provincia Autonoma di Trento, Italy
Program Committee Chairs:
Marco Conti, CNR Pisa, Italy
Renato Lo Cigno, University of Trento, Italy
Technical Program Committee:
Arup Acharya, IBM T.J. Watson Research, USA
Ian Akyildiz, Georgia Institute of Technology, Atlanta, USA
Eitan Altman, INRIA, Sophia Antipolis, France
Roberto Battiti, University of Trento, Italy
Hendrik Berndt, DoCoMo Communications Laboratories Europe
Alan Albert Bertossi, University of Bologna, Italy
Giuseppe Bianchi, University of Palermo, Italy
Ernst Biersack, Eurecom, Sophia Antipolis, France
Maurizio Bonuccelli, University of Pisa, Italy
Dragan Boscovic, Motorola Research Center of Paris, France
Andrew T. Campbell, Columbia University, USA
Carla Fabiana Chiasserini, Politecnico di Torino, Italy
Imrich Chlamtac, University of Trento, Italy
A. Chockalingam, IIS, Bangalore, India
Sunghyun Choi, Seoul National University, Korea
Marco Conti, CNR of Pisa, Italy
Szabó Csaba, BME, Budapest, Hungary
Sajal K. Das, The University of Texas at Arlington, USA
Christos Douligeris, University of Piraeus, Greece
Domenico Ferrari, Universitŕ Cattolica of Piacenza, Italy
Mario Gerla, UCLA, USA
Silvia Giordano, SUPSI of Lugano, Switzerland
Enrico Gregori, CNR of Pisa, Italy
Parviz Kermani, IBM - T.J. Watson Research Center, USA
Demetres D. Kouvatsos, University of Bradford, UK
Kin K. Leung, Bell Labs, Lucent Technologies, USA
Bo Li, University of Science and Technology of Hong Kong, China
Renato Lo Cigno, University of Trento, Italy
Gerald Q. Maguire Jr., KTH, Sweden
Petri H. Mähönen, RWTH Aachen, Germany
Michela Meo, Politecnico di Torino, Italy
Sergio Palazzo, University of Catania, Italy
Björn Pehrson, KTH, Sweden
Gian Paolo Rossi, University of Milano, Italy
M. Yahya "Medy" Sanadidi, UCLA, USA
Puneet Sharma, Hewlett Packard Labs, USA
Ioannis Stavrakakis, University of Athens, Greece
Heinrich J. Stüttgen, NEC Europe Ltd., Germany
Salvatore Tucci, University of Roma Tor Vergata, Italy
Bernhard Walke, Aachen University of Technology, Germany
Menzo Wentink, Intersil, The Netherlands
Adam Wolisz, TU Berlin, Germany
Hidetoshi Yokota, KDDI R&D Laboratories, Japan
Michele Zorzi, University of Ferrara, Italy
------- End of forwarded message / Konec předaného dopisu -------
Dear TC6 members,
I am pleased to inform that the new Optical Networking Conference will take
place in Pisa, Italy on October 19 and 20, 2004. Giancarlo Prati is
organizing it following our discussion in the Lisbon meeting and it will
have also the support of WG 6.10. My thanks for Giancarlo's effort in this
organization.
I attach an updated calendar of our conferences.
Best regards
Augusto Casaca
Apologies for multiple copies.
--------------------------------------------------------------
SECOND CALL FOR PAPERS
Fourth International Conference on Integrated Formal Methods
IFM2004
http://www.cs.kent.ac.uk/ifm2004
(submission deadline: 15th September 2003)
--------------------------------------------------------------
April 5-7, 2004
Canterbury, Kent, England.
Theme
-------
Applying formal methods may involve the modelling
of different aspects of a system that are expressed
through different paradigms. This motivates us to
research the combination of different viewpoints upon
a system, either by the creation of hybrid notations,
by extending existing notations, by translating between
notations, or by incorporating a wider perspective by
innovative use of an existing notation.
The integration of formal methods promises great benefits
for systems modelling and software development.
Whichever approach is taken, significant issues can arise
in areas such as semantic integration, the tractability of
notations, the integration of tool support, the integration of
proof systems, consistency and completeness. Issues arise
equally in our modelling of systems at different levels
of abstraction and the development of these models through the
process of refinement.
The scope of IFM2004 includes all aspects of integration of
different notations, paradigms, and tools, including integration of
state-based and behavioural formalisms, and the formal
strengthening of informal notations (e.g., UML). Special sessions
are planned on the themes of Unifying Theories of Programming as
well as Testing, and submissions for these are welcomed.
The necessity of tool support for formal methods is widely
accepted. However, much existing tool support fails to exploit
the advantages that formality brings. This year's IFM is therefore
particularly interested in how integrating formal methods can
facilitate tool support for the development process, either by
integrating tools or exploiting the particular languages combined.
The conference also seeks and welcomes contributions in related
areas such as: hybrid systems, the embedding of one formalism within
another, and the integration of formal methods with informal or
semi-formal diagrammatic notations and structuring techniques.
Submissions
------------
Submissions should be original work, not published or submitted
elsewhere. Submissions may be up to 20 pages in length and should
be prepared with LaTeX. Springer Verlag will publish the conference
proceedings in the series 'Lecture Notes in Computer Science', and
hence the submissions should be prepared using the 'llncs'
package (http://www.springer.de/comp/lncs/authors.html). The first
page of the paper should contain an abstract of the paper, a list of
keywords, the names, affiliations and emails of the authors. The
contact authors should further provide their fax numbers as well
as their phone numbers.
The corresponding author should send by email a 'ps' or a 'pdf' form
of the paper to the address eab2(a)ukc.ac.uk, with the subject
line "Submission to IFM2004". If electronic submission is not possible,
four hard copies of the paper should be sent to the address below:
"IFM2004 Submission"
Eerke Boiten
Computing Laboratory,
University of Kent
Canterbury
CT2 7NF
ENGLAND.
Important Dates
-----------------
Submission deadline: 15th September 2003
Notification of acceptance: 30th November 2003
Submission of final copy: 15th January 2004
Conference: 5-7 April 2004
Invited Speakers
-----------------
Confirmed invited speakers include:
Ursula Martin, St Andrews University
(www-theory.dcs.st-and.ac.uk/~um/)
and
Tom Melham, University of Oxford
(web.comlab.ox.ac.uk/oucl/people/tom.melham.html)
and
Tom Ball, Microsoft Research
(www.research.microsoft.com/~tball/)
Location
---------
The fourth international conference on Integrated Formal Methods
will be held at the University of Kent at Canterbury. The County of
Kent is situated in the South-East of England, and the University sits
on a hill over-looking the City of Canterbury and its world-renowned
Cathedral.
Accommodation for delegates will be provided on campus, other
options for accommodation in Canterbury and the surrounding area
can be found at:
http://www.canterbury.co.uk/en/maps/index.html
The conference dinner will be held at an historic castle
in Kent.
Travelling to Canterbury
-------------------
Canterbury is within easy reach of London, as well as the
international airports at Gatwick and Heathrow, and the international
train station at Ashford.
More information on how to travel to Canterbury can be found at:
http://www.ukc.ac.uk/locations/canterbury/map1.html
Program Committee
---------------------
Didier Bert, Institute IMAG, Grenoble, France
Eerke Boiten, University of Kent, UK
Jonathan Bowen, South Bank University, London, UK
Michael Butler, University of Southampton, UK
Paul Curzon, Middlesex University, London, UK.
Jim Davies, University of Oxford, UK
John Derrick, University of Kent, UK
Jin Song Dong, National University of Singapore
John Fitzgerald, Transitive Technologies Ltd, Manchester, UK
Andrew Galloway, University of York, UK
Chris George, United Nations University, Macau
Wolfgang Grieskamp, Microsoft Research, Redmond, US
Henri Habrias, University of Nantes, France
Susumu Hayashi, Kobe University, Japan
Maritta Heisel, University of Magdeburg, Germany
Michel Lemoine, ONERA, Toulouse, France
Shaoying Liu, Hosei University, Tokyo, Japan
Dominique Mery, LORIA, France
Luigia Petre, Turku Centre for Computer Science, Finland
Judi Romijn, Eindhoven University of Technology, NL
Thomas Santen, Technical University of Berlin, Germany
Steve Schneider, Royal Holloway, University of London, UK
Wolfram Schulte, Microsoft Research, Redmond, US
Kaisa Sere, Abo Akademi University, Turku, Finland
Jane Sinclair, University of Warwick, UK
Graeme Smith, Software Verification Research Centre, Queensland, Australia
Bill Stoddart, University of Teesside, UK
Kenji Taguchi, University of Bradford, UK
W J (Hans) Toetenel, University of Delft, Holland
Heike Wehrheim, University of Oldenburg, Germany
Kirsten Winter, Software Verification Research Centre, Queensland, Australia
Jim Woodcock, University of Kent, UK
Program Committee Co-Chairs
--------------------------------
Eerke Boiten, University of Kent, UK
John Derrick, University of Kent, UK
Graeme Smith, Software Verification Research Centre, Queensland, Australia
The conference is sponsored by BCS-FACS.
Dear Joberto
Thank you for your kind invitation
Currently I manage ( not supervise ) a programme of some 200 full-time
post-graduate M Sc and Ph D students all working in the ICT sector and
I will extend your invitation to them
All of these students will report on progress achieved during the year
under review at the Southern African Telecommunications and Networks
Applications Conference ( SATNAC ) to be held at Fancourt from 8 to 9
Sepember and details of the program at www.satnac.org.za
Best wishes
Baron
To
IFIP GA, TC-Chairs, WG-chairs, TC-members, WG-members
Member Societies.
Subject: Complimentary registration at WITFOR 2003, Vilnius, Lithuania,
26-29 August
Dear Colleagues,
So far there are representatives from 46 countries have registered for
WITFOR out of which only 19 are
from IFIP member countries. Our aim is to get participants from at least
100 countries.
The goal of WITFOR is to prepare and help implement information development
strategies and projects in the developing countries. This unique visioning
conference will convene leading thinkers from around the world to discuss
information and communication technology as a transforming force and to
explore the possibilities, promises, and perils of our networked world. It
is targeted to politicians and senior officials responsible for information
development from both the developing and industrialized nations,
representatives of non-governmental organizations, representatives of
inter-governmental organizations, and business leaders. Governments of all
countries in the world have been invited to send their delegations to WITFOR.
As it can be noticed from www.witfor.lt, WITFOR is two and a half day
meeting where eight commissions will be preparing proposals in different
areas concerning information society. The final document will be the
Vilnius Declaration aiming at advising governments on strategies for the
use of ICT.
WITFOR is an unique initiative by IFIP and we would like to be a part of it.
Visit www.witfor.lt and register now.
With best regards
Peter Bollerslev
Chairman, Steering Committee, WITFOR 2003