[Apologies for multiple copies of this announcement]
CALL FOR PAPERS
RAID 2004
"Intrusion Detection and Society"
Seventh International Symposium on
Recent Advances in Intrusion Detection
Institut Eurécom, Sophia-Antipolis, French Riviera, France
September 15-17, 2004
http://raid04.eurecom.fr
RAID 2004 will be collocated with ESORICS 2004
This symposium, the seventh in an annual series, brings together leading
researchers and practitioners from academia, government, and industry to
discuss intrusion detection technologies and issues from the research
and commercial perspectives. The RAID International Symposium series is
intended to further advances in intrusion detection by promoting the
exchange of ideas in a broad range of topics.
For RAID 2004 there is a special theme: the interdependence between
intrusion detection and society. Thus, we will also welcome papers that
address issues that arise when studying intrusion detection, including
information gathering and monitoring, as a part of a larger, not
necessarily purely technical, perspective. For example, the implication
of information gathering and detection technologies on enterprises,
organisations and authorities, as well as legislative and governing
bodies is within scope, but also the impact and restrictions from those
bodies on the design and technology. This would include issues such as
privacy, risk and emergency management, crisis management, security
policies, standardisation and legal issues. An increasingly important
dynamic is the strategic importance of protecting national information
infrastructures, which is in some tension with the fact that much of
this infrastructure is in the private sector. Related to this is the
potential strategic impact of attacks at the intersection of information
and physical infrastructure.
The RAID 2004 program committee invites three types of submissions:
- Full papers presenting mature research results. Papers accepted
for presentation at the Symposium will be included in the RAID 2004
proceedings published by Springer Verlag in its Lecture Notes in
Computer Science (LNCS) series.
Full papers are limited to 20 pages when formatted according to the
instructions provided by Springer Verlag. Papers must include an
abstract and a list of keywords.
- Practical experience reports describing a valuable experience
or a case study, such as the design and deployment of a system or
actual experience from intrusion detection or network monitoring.
These reports are reviewed differently from full papers and do not
necessarily include fundamental scientific contributions or new
research ideas.
Practical experience reports are limited to 12 pages when formatted
according to the instructions provided by Springer Verlag.
They must include an abstract and a list of keywords.
- Panel proposals for presenting and discussing hot topics in the
field of intrusion detection systems.
The panel proposals should include both an outline of the format of
the panel and a short rationale for the panel. Panels that include
time for general discussion and questions/answers between the
panelists and the Symposium attendees are preferred.
All topics related to Intrusion Detection Systems and Technologies
are within scope, including their design, use and maintenance,
integration, correlation and self-protection, just to mention a few.
With reference to this year's theme and extended scope we also
invite papers on the following topics, which may not be in the
mainstream of intrusion detection:
Risk assessment and risk management
Intrusion tolerance
Deception systems and honeypots
Privacy aspects
Data mining techniques
Visualization techniques
Cognitive approaches
Biological approaches
Self-learning
Case studies
Legal issues
Critical infrastucture protection (CIP)
ORGANIZING COMMITTEE
General Chair: Refik Molva <refik.molva(a)eurecom.fr>
Program Chairs: Erland Jonsson <erland.jonsson(a)ce.chalmers.se>
Alfonso Valdes <valdes(a)sdl.sri.com>
Publication Chair: Magnus Almgren <almgren(a)ce.chalmers.se>
Publicity Chair: Yves Roudier <Yves.Roudier(a)eurecom.fr>
Sponsor Chair: Marc Dacier <marc.dacier(a)eurecom.fr>
PROGRAM COMMITTEE
Tatsuya Baba (NTT Data, Japan)
Lee Badger (DARPA, USA)
Sungdeok Cha (KAIST, Korea)
Steven Cheung (SRI International, USA)
Herve Debar (France Telecom R&D, France)
Simone Fischer-Hübner (Karlstad University, Sweden)
Steven Furnell (University of Plymouth, UK)
Bill Hutchinson (Edith Cowan University, Australia)
Dogan Kesdogan (RWTH Aachen, Germany)
Chris Kruegel (UCSB, USA)
Håkan Kvarnström (TeliaSonera R&D, Sweden)
Wenke Lee (Georgia Tech, USA)
Roy Maxion (Carnegie Mellon University, USA)
John McHugh (CMU/SEI CERT, USA)
Ludovic Me (Supélec, France)
George Mohay (Queensland University of Technology, Australia)
Vern Paxson (ICSI and LBNL, USA)
Giovanni Vigna (UCSB, USA)
Andreas Wespi (IBM Research, Switzerland)
Felix Wu (UC Davis, USA)
Diego Zamboni (IBM Research, Switzerland)
IMPORTANT DATES
Deadline for paper submission : March 31, 2004
Deadline for panel submission : April 30, 2004
Notification of acceptance or rejection : June 4, 2004
Final paper camera ready copy : July 2, 2004
RAID conference dates : September 15-17, 2004
SUBMISSIONS
Submissions must not substantially duplicate work that any of the authors
has published elsewhere or has submitted in parallel to any other
conference or workshop with proceedings. The full papers must list all
authors and their affiliations; in case of multiple authors, the contact
author must be indicated (note that RAID does not require anonymized
submissions).
Authors are invited to submit their papers electronically. A
detailed description of the electronic submission procedure will be
made available at http://raid04.eurecom.fr by end of
February 2004. Submissions must conform to this procedure and be
received within the submission deadline in order to be considered.
Each submission will be acknowledged by e-mail. If acknowledgment is not
received within seven days, please contact Erland Jonsson
<erland.jonsson(a)ce.chalmers.se>
All submissions and presentations must be in English.
CORPORATE SPONSORS
We solicit interested organizations to serve as sponsors for RAID
2004, particularly in sponsorship of student travel and other
expenses for RAID. Please contact the Sponsor Chair, Marc Dacier
<marc.dacier(a)eurecom.fr>, for information regarding corporate
sponsorship of RAID 2004.
REGISTRATION
Detailed registration information (including fees, suggested hotels, and
travel directions) will be provided at the RAID 2004 web site
(http://raid04.eurecom.fr).
PROCEEDINGS
Accepted papers will be published by Springer Verlag in its Lecture
Notes in Computer Science (LNCS) series. Instructions for authors
will be provided at the RAID 2004 web site (http://raid04.eurecom.fr).
STEERING COMMITTEE
Chair: Marc Dacier (Eurecom, France)
Hervé Debar (France Telecom R&D, France)
Deborah Frincke (University of Idaho, USA)
Huang Ming-Yuh (The Boeing Company, USA)
Wenke Lee (Georgia Institute of Technology, USA)
Ludovic Mé (Supélec, France)
S. Felix Wu (UC Davis, USA)
Andreas Wespi (IBM Research, Switzerland)
Giovanni Vigna (UCSB, USA)
For further information, please contact the Program Chairs or
the General Chair.
[Apologies for multiple copies of this announcement]
CALL FOR PAPERS
ESORICS 2004
9th European Symposium on Research in Computer Security
Institut Eurécom, Sophia Antipolis, French Riviera, France
September 13-15, 2004
http://esorics04.eurecom.fr
ESORICS 2004 will be collocated with RAID 2004
Papers offering novel research contributions in any aspect of computer
security are solicited for submission to the Ninth European Symposium on
Research in Computer Security (ESORICS 2004). Organized in a series of
European countries, ESORICS is confirmed as the European research event in
computer security. The symposium started in 1990 and has been held on
alternate years in different European countries and attracts an
international audience from both the academic and industrial communities.
>From 2002 it will be held yearly. The Symposium has established itself as
one of the premiere, international gatherings on Information Assurance.
Papers may present theory, technique, applications, or practical experience
on topics including:
access control accountability
anonymity applied cryptography
authentication covert channels
cryptographic protocols cybercrime
data and application security data integrity
denial of service attacks dependability
digital right management firewalls
formal methods in security identity management
inference control information dissemination control
information flow control information warfare
intellectual property protection intrusion tolerance
language-based security network security
non-interference peer-to-peer security
privacy-enhancing technology pseudonymity
secure electronic commerce security administration
security as quality of service security evaluation
security management security models
security requirements engineering security verification
smartcards steganography
subliminal channels survivability
system security transaction management
trust models and trust trustworthy user devices
management policies
The primary focus is on high-quality original unpublished research, case
studies and implementation experiences. We encourage submissions of papers
discussing industrial research and development. Proceedings will be
published by Springer-Verlag in the Lecture Notes in Computer Science
series.
PAPER SUBMISSIONS
Submitted papers must not substantially overlap papers that have been
published or that are simultaneously submitted to a journal or a conference
with proceedings. Papers should be at most 15 pages excluding the
bibliography and well-marked appendices (using 11-point font), and at most
20 pages total. Committee members are not required to read the appendices,
and so the paper should be intelligible without them.
To submit a paper, send to esorics04(a)dti.unimi.it a plain ASCII text email
containing the title and abstract of your paper, the authors names, email
and postal addresses, phone and fax numbers, and identification of the
contact author. To the same message, attach your submission (as a MIME
attachment) in PDF or portable postscript format. Do NOT send files
formatted for word processing packages (e.g., Microsoft Word or WordPerfect
files). Submissions not meeting these guidelines risk rejection without
consideration of their merits.
Submissions must be received by March 26, 2004 in order to be considered.
Notification of acceptance or rejection will be sent to authors by May 30,
2004. Authors of accepted papers must be prepared to sign a copyright
statement and must guarantee that their paper will be presented at the
conference. Authors of accepted papers must follow the Springer Information
for Authors guidelines for the preparation of the manuscript and use the
templates provided there.
ORGANIZING COMMITTEE
General Chair
Refik Molva
Institut Eurécom
email: Refik.Molva(a)eurecom.fr
Program Chairs
Peter Ryan Pierangela Samarati
University of Newcastle upon Tyne University of Milan
email: Peter.Ryan(a)newcastle.ac.uk email: samarati(a)dti.unimi.it
Publication Chair Publicity Chair
Dieter Gollmann Yves Roudier
TU Hamburg-Harburg Institut Eurécom
email: diego(a)tuhh.de email: roudier(a)eurecom.fr
Sponsoring Chair
Marc Dacier
Institut Eurécom
email: dacier(a)eurecom.fr
PROGRAM COMMITTEE
Vijay Atluri, Rutgers University, USA
Joachim Biskup, Universitaet Dortmund, Germany
Jan Camenisch, IBM Research, Switzerland
David Chadwick, University of Salford, UK
Ernesto Damiani, University of Milan, Italy
Sabrina De Capitani di Vimercati, University of Milan, Italy
Yves Deswarte, LAAS-CNRS, France
Alberto Escudero-Pascual, Royal Institute of Technology, Sweden
Simon Foley, University College Cork, Ireland
Dieter Gollmann, TU Hamburg-Harburg, Germany
Joshua D. Guttman, MITRE, USA
Sushil Jajodia, George Mason University, USA
Sokratis K. Katsikas, University of the Aegean, Greece
Peng Liu, Pennsylvania State University, USA
Javier Lopez, University of Malaga, Spain
Roy Maxion, Carnegie Mellon University, USA
Patrick McDaniel, AT&T Labs-Research, USA
John McHugh, CERT/CC, USA
Catherine A. Meadows, Naval Research Lab, USA
Refik Molva, Institut Eurécom, France
Peng Ning, NC State University, USA
LouAnna Notargiacomo, The MITRE Corporation, USA
Eiji Okamoto, University of Tsukuba, Japan
Stefano Paraboschi, University of Bergamo, Italy
Andreas Pfitzmann, TU Dresden, Germany
Jean-Jacques Quisquater, Microelectronic laboratory, Belgium
Steve Schneider, University of London, UK
Christoph Schuba, Sun Microsystems, Inc., USA
Michael Steiner, IBM T.J. Watson Research Laboratory, USA
Paul Syverson, Naval Research Laboratory, USA
Moti Yung, Columbia University, USA
IMPORTANT DATES
Paper Submission due: March 26, 2004
Acceptance notification: May 30, 2004
Final papers due: June 30, 2004
==============================================================
= We apologize for multiple copies of this call for papers =
==============================================================
+--------------------------------------------------------------------+
| C A L L F O R P A P E R S |
| |
| |
| 24th IFIP WG 6.1 International Conference on |
| Formal Techniques for Networked and Distributed Systems |
| |
| |
| F O R T E 2 0 0 4 |
| |
| |
| September 27-30, 2004, Madrid, Spain |
|--------------------------------------------------------------------|
| Submission of papers: March 15, 2004 |
| Author notification: May 20, 2004 |
| Camera-ready copy: June 15, 2004 |
|--------------------------------------------------------------------|
| http://antares.sip.ucm.es/~forte2004 fernando(a)sip.ucm.es |
+--------------------------------------------------------------------+
Dear Colleagues,
we kindly invite you to submit papers, tutorials and tool descriptions
to FORTE'04. The IFIP TC6 WG 6.1 Joint International Conference on
Formal Techniques for Networked and Distributed Systems (FORTE) is
focused on formal methods for communication protocols. FORTE is the
new name of the joint FORTE/PSTV meeting, which has combined FORTE and
PSTV into a single joint meeting since 1997.
This year three workshops will be colocated with FORTE'04. These
workshops will take place the 1st and 2nd of October in Toledo, a nice
historical city located 100 kilometres to the south of Madrid. Free
transportation from Madrid will be provided by the organization.
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. Three 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 24rd FORTE conference will be held in Madrid. It is organized by
the Departamento de Sistemas Informticos y Programacin at the
Universidad Complutense de Madrid. FORTE 2004 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'04 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.I, 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 and publication
---------------------------------
Several types of contributions are solicited:
* Full papers - research or practice results ( up to 16 pages )
* Tutorial proposals
* Work in progress papers ( up to 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 web page that will be available nearer the deadline.
All accepted full papers will be published in Lecture Notes in 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 LNCS
style.
Best Paper Award
----------------
There will be a best paper award (500 euros) offered by IFIP TC6 for the
author(s) of the best paper selected during the reviewing process.
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
* K. Turner, University of Stirling, United Kingdom
Program Committee
-----------------
* G.v. Bochmann, Univ. of Ottawa, Canada
* T. Bolognesi, IEI Pisa, Italy
* M. Bravetti, University of Bologna, Italy
* A. Cavalli, INT Evry, France
* J.P. Courtiart, LAAS Toulouse, France
* D. de Frutos-Escrig, Complutense University of Madrid, Spain
(co-chair)
* R. Dssouli, Concordia University Montreal, Canada
* R. Gotzhein, University of Kaiserslautern, Germany
* H. Hermanns, Saarland University, Germany
* T. Higashino, Osaka University, Japan
* D. Hogrefe, University of Gttingen, Germany
* G. J. Holzmann, Bell Labs, USA
* C. Jard, IRISA, France
* M. Kim, ICU Taejon, Korea
* H. Knig, Brandenburg University of Technology, Germany
* M. Koutny, University of Newcastle upon Tyne, United Kingdom
* G. Leduc, Univ. of Liege, Belgium
* D. Lee, Bell Labs, China
* E. Najm, ENST, France
* M. Nunez, Complutense University of Madrid, Spain (co-chair)
* D. A. Peled, University of Warwick, United Kingdom
* A. Petrenko, CRIM Montreal, Canada
* K. Suzuki, Advanced Communication Coop., Japan
* K. Turner, Univ. of Stirling, United Kingdom
* H. Ural, University of Ottawa, Canada
* U. Uyar, City University of New York, USA
* V. Valero, Universidad Castilla-La Mancha, Spain
* F. Wang, National Taiwan University, Taiwan
* J. Wu, Tsinghua University, Beijing, China
* N. Yevtushenko, Tomsk State University, Russia
Colocated Workshops
-------------------
Three workshops will be colocated with FORTE 2004. These workshops
will not take place in Madrid, but in Toledo, a nice historical city
located 100 kilometres to the south of Madrid. Free transportation
from Madrid will be provided by the organization.
* ITM2004
1st International Workshop on Integration of Testing Methodologies
http://antares.sip.ucm.es/~forte2004/itm2004/
* EPEW2004
1st European Performance Engineering Workshop
http://www.info-ab.uclm.es/epew2004/
* TheFormEMC
1st International Workshop on Theory Building and Formal Methods
in Electronic/Mobile Commerce
http://wi2.wiwi.uni-augsburg.de/mobile/TheFormEMC2004.php
============ Apologies if you receive multiple copies ============
Dear colleague,
I would like to invite you to submit a paper to
PRO-VE'04 - 5th IFIP Working Conference on Virtual Enterprises
www.pro-ve.org
This year the conference is organized in the framework of the IFIP World
Computer Congress to be held in Toulouse, France, 23-26 Aug 2004.
http://www.wcc2004.org
Best regards,
___________________________________________
Prof. Luis M. Camarinha-Matos
Universidade Nova de Lisboa + Uninova
Quinta da Torre
2829-516 Monte Caparica
Portugal
Tel. +351-212948517 Fax +351-212941253 or 212957786
URL: www.uninova.pt/~cam
e-mail: cam(a)uninova.pt or lcm(a)fct.unl.pt
___________________________________________
Dear Colleagues,
excuse me if you get this message several times
I just would like to remind you that the deadlien for submission of
papers for the
4th IFIP conference on e-commerce, e-business, e-government (I3E)
which will be co-located with the IFIP Computer World Congress is
January 31.
Please submit a full paper containing up to 20 pages following the
instructions provided via the
web address indicated in the attached CfP.
Best regards, Volker Tschammer
Call for Papers - International Workshop on Computational Methods in Systems
Biology 2004 (CMSB04) Organized by Genoscope, Evry Génopole, Evry CNRS
University of Paris VII BioPathways Consortium
Hotel Meridien Montparnasse, Paris, France
26-28 May, 2004
Deadline : March 1st, 2004
**********************************************************
Molecular biology has traditionally focused mainly on the properties of
individual molecules as isolated entities or as components of simple
systems. Biological molecules in living systems, however, participate in
very complex networks, including regulatory networks for gene expression,
intracellular metabolic networks and both intra- and intercellular
communication networks.
Recent progress in high-throughput data-production technologies e.g.
sequencing allowing the systematic identification of genes and proteins,
microarrays or expression proteomics providing large amounts of experimental
data on the end-effects of regulation, etc..., is allowing biologists to
progressively root their view of biological function into a detailed
understanding of the structure, dynamics and design principles underlying
macromolecular networks.
This ambitious research program is sometimes named "systems biology" or
integrative biology, to emphasize the shift towards a more global view
than the gene-centric approach typical of molecular biology, one that
focuses on how components work together as a system; it has been
characterized in a variety of ways, however, e.g. sometimes with a heavy
emphasis on simulation or quantitative approaches. It is also closely
related to some parts of the research agenda of the computational biology /
bioinformatics community. An essential common denominator is the
methodological necessity of an 'experiments -> modelling -> prediction ->
experiments' loop.
The complexity of signalling, regulatory and metabolic processes taking
place within a cell have motivated a series of attempts at modelling these
processes to facilitate system description, help simulate or analyze their
dynamical behaviour. These attempts have spanned a large spectrum of
formalisms, from discrete to continuous, from systems of deterministic or
stochastic differential equations to process algebra, Petri-nets, Boolean
networks, logical formalisms, state-charts, rewriting systems, constraint
programming languages or hybrid automata.
Simultaneously, the view of cellular mechanisms as computational processes
has been gaining acceptance, not only for its relevance as a metaphor, but
also because of the added explanatory value of concepts such as syntax vs
semantics, abstraction, the relationship between a specification and an
implementation, and of the promised analytical power of formal tools such as
verification techniques or model-checking.
As the field matures, it is becoming increasingly obvious that there is
probably no 'one-size fits all' formal language for molecular biology, but
rather several modelling paradigms, each with its strengths and weaknesses
relatively to specific analytical goals. Theoretical arguments supporting
one representation over others or actual biological analyses conducted using
a formal language and associated formal methods are still lacking. Also,
while a model of a biological system should ideally have explanatory or
predictive value, and could have applications in understanding the causes of
genetic diseases or developing new drugs, most modelling attempts are still
far from this degree of maturity.
*******
The CMSB (Computational Methods in Systems Biology) conference series was
established in 2003 by Corrado Priami and several colleagues (see the
CMSB03 web site and the proceedings TOC) to help catalyze the convergence
between modellers physicists, mathematicians, and theoretical computer
scientists from fields such as language design, concurrency theory or
program verification and biologists interested in a systems-level
understanding of cellular processes.
In order to reflect the complementary scientific motivations underlying
existing work in the field, CMSB04 is soliciting original research articles
(including significant works-in-progress) and surveys of current research in
either of the following two thematic tracks :
Track A : Formal models for biological systems analysis
This track focuses on theoretical or applied contributions that are
motivated by a biological question and can demonstrate either actual or
potential usefulness towards answering that question.
Topics of interest in this track include :
- Formal models for regulatory, signalling or metabolic networks
- Formal methods to analyse biomolecular systems
- Qualitative or quantitative analyses of biomolecular systems
- Simulation techniques for Systems Biology
- Theoretical comparisons between different formal models of cellular
processes
- Applications of formal techniques to reverse-engineering of biological
networks
- Methods to predict biological network behavior from incomplete information
- Detailed case-studies on how a biological question was successfully
addressed using formal models
Note that, since many formal languages are expressive enough to allow for
some representation of biological networks, describing a representation of,
e.g., signalling networks at a given level of detail in a given language and
advocating the use of that language does not necessarily constitute in
itself a novel contribution to the field. The introduction of a formal model
should be supported by theoretical arguments on the model and/or on the
analyses that it enables, by comparisons with other network models, and/or
by examples of representation and analysis of a biological system.
Track B : Models of computation inspired by biological processes
This track focuses on contributions that take inspiration from cellular
processes to lay down the plans for new computing techniques and paradigms,
to study their theoretical properties and applications. Similar motivations
led to the definition of neural networks and genetic algorithms, which were
neither motivated by biological research nor faithful models of biological
systems, but gave birth to a huge field for non-standard programming
solutions. The motivation of this track is computational rather than
biological.
Topics of interest in this track include :
- Definition and study of theoretical properties of biologically-inspired
formal languages
- Biologically-inspired extensions to concurrency theory, constraint
programming or logical methods
- Biologically-inspired equivalences
- Quantitative formal languages
- Models of Self-assembly
- Models including symbolic evolution and learning
- ODE as a programming language
SUBMISSION GUIDELINES
Authors are invited to submit original research papers or survey papers of
no more than 12 pages in .ps or .pdf format.
All submissions will be reviewed by the program committee. Accepted papers
will be included in the proceedings, which will be published by Springer in
the new Lecture Notes in Bioinformatics Series.
We also accept poster proposals in the form of a text-only abstract
describing the poster contents.
Papers and posters should be submitted online via the submission page on the
CMSB04 web site (http://www.biopathways.org/CMSB04/).
Papers should be formatted according to LNCS guidelines
(http://www.springer.de/comp/lncs/authors.html).
IMPORTANT DATES
* March 1, 2004 Submission deadline for papers and demos
* March 24, 2004 Notification of acceptance
* April 5, 2004 Camera-ready version due
* May 26-28, 2004 CMSB04 Workshop in Paris
PROGRAM COMMITTEE
Gordon Plotkin , University of Edinburgh, (UK)
Corrado Priami, University of Trento (IT)
Luca Cardelli, Microsoft Research Cambridge (UK)
Vincent Danos (co-chair), University of Paris VII (FR)
Gilles Bernot, University of Evry (FR)
Alexander Bockmayr , Henri Poincaré University, Nancy (FR) François Fages,
INRIA Rocquencourt (FR) Walter Fontana, Santa Fe Institute (US) François
Kepes, CNRS / Epigenomics Program, Evry (FR) Kurt Kohn, National Cancer
Institute, NIH, US Marta Kwiatkowska, University of Birmingham (UK) Nicolas
Le Novère, European Bioinformatics Institute (UK) Pat Lincoln, Stanford
Research International (US)
Satoru Miyano, University of Tokyo (JP)
Eric Neumann, Beyond Genomics, Cambridge,US
Bernard Palsson, UCSD (US)
Vijay Saraswat, Penn State University (US)
Vincent Schachter (co-chair), Genoscope (FR)
Birgit Schoeberl , MIT (US)
Adelinde Uhrmacher, University of Rostock (D)
Alfonso Valencia, CNB-CSIC (SP)
CONTACT INFORMATION
Conference website :(http://www.biopathways.org/CMSB04/
Contact email : cmsb04(a)genoscope.cns.fr
----------------------------------------------
Vincent Schächter - Director of Bioinformatics
GENOSCOPE (National Consortium for Genomics Research)
2, rue Gaston Crémieux, F-91000 EVRY FRANCE
Tel : 33 (0)1 60 87 25 92 - Fax : 33(0)1 60 87 25 32
mailto:vs@genoscope.cns.fr
----------------------------------------------
Call for Papers - International Workshop on Computational Methods in Systems
Biology 2004 (CMSB04)
Organized by Genoscope, Evry Génopole, Evry CNRS University of Paris
VII BioPathways Consortium
Hotel Meridien Montparnasse, Paris, France
26-28 May, 2004
Deadline : March 1st, 2004
**********************************************************
Molecular biology has traditionally focused mainly on the properties of
individual molecules as isolated entities or as components of simple
systems. Biological molecules in living systems, however, participate in
very complex networks, including regulatory networks for gene expression,
intracellular metabolic networks and both intra- and intercellular
communication networks.
Recent progress in high-throughput data-production technologies e.g.
sequencing allowing the systematic identification of genes and proteins,
microarrays or expression proteomics providing large amounts of experimental
data on the end-effects of regulation, etc..., is allowing biologists to
progressively root their view of biological function into a detailed
understanding of the structure, dynamics and design principles underlying
macromolecular networks.
This ambitious research program is sometimes named "systems biology" or
integrative biology, to emphasize the shift towards a more global view
than the gene-centric approach typical of molecular biology, one that
focuses on how components work together as a system; it has been
characterized in a variety of ways, however, e.g. sometimes with a heavy
emphasis on simulation or quantitative approaches. It is also closely
related to some parts of the research agenda of the computational biology /
bioinformatics community.
An essential common denominator is the methodological necessity of an
'experiments -> modelling -> prediction -> experiments' loop.
The complexity of signalling, regulatory and metabolic processes taking
place within a cell have motivated a series of attempts at modelling these
processes to facilitate system description, help simulate or analyze their
dynamical behaviour. These attempts have spanned a large spectrum of
formalisms, from discrete to continuous, from systems of deterministic or
stochastic differential equations to process algebra, Petri-nets, Boolean
networks, logical formalisms, state-charts, rewriting systems, constraint
programming languages or hybrid automata.
Simultaneously, the view of cellular mechanisms as computational processes
has been gaining acceptance, not only for its relevance as a metaphor, but
also because of the added explanatory value of concepts such as syntax vs
semantics, abstraction, the relationship between a specification and an
implementation, and of the promised analytical power of formal tools such as
verification techniques or model-checking.
As the field matures, it is becoming increasingly obvious that there is
probably no 'one-size fits all' formal language for molecular biology, but
rather several modelling paradigms, each with its strengths and weaknesses
relatively to specific analytical goals. Theoretical arguments supporting
one representation over others or actual biological analyses conducted using
a formal language and associated formal methods are still lacking. Also,
while a model of a biological system should ideally have explanatory or
predictive value, and could have applications in understanding the causes of
genetic diseases or developing new drugs, most modelling attempts are still
far from this degree of maturity.
*******
The CMSB (Computational Methods in Systems Biology) conference series was
established in 2003 by Corrado Priami and several colleagues (see the
CMSB03 web site and the proceedings TOC) to help catalyze the convergence
between modellers physicists, mathematicians, and theoretical computer
scientists from fields such as language design, concurrency theory or
program verification and biologists interested in a systems-level
understanding of cellular processes.
In order to reflect the complementary scientific motivations underlying
existing work in the field, CMSB04 is soliciting original research articles
(including significant works-in-progress) and surveys of current research in
either of the following two thematic tracks :
Track A : Formal models for biological systems analysis
This track focuses on theoretical or applied contributions that are
motivated by a biological question and can demonstrate either actual or
potential usefulness towards answering that question.
Topics of interest in this track include :
- Formal models for regulatory, signalling or metabolic networks
- Formal methods to analyse biomolecular systems
- Qualitative or quantitative analyses of biomolecular systems
- Simulation techniques for Systems Biology
- Theoretical comparisons between different formal models of cellular
processes
- Applications of formal techniques to reverse-engineering of biological
networks
- Methods to predict biological network behavior from incomplete information
- Detailed case-studies on how a biological question was successfully
addressed using formal models
Note that, since many formal languages are expressive enough to allow for
some representation of biological networks, describing a representation of,
e.g., signalling networks at a given level of detail in a given language and
advocating the use of that language does not necessarily constitute in
itself a novel contribution to the field. The introduction of a formal model
should be supported by theoretical arguments on the model and/or on the
analyses that it enables, by comparisons with other network models, and/or
by examples of representation and analysis of a biological system.
Track B : Models of computation inspired by biological processes
This track focuses on contributions that take inspiration from cellular
processes to lay down the plans for new computing techniques and paradigms,
to study their theoretical properties and applications. Similar motivations
led to the definition of neural networks and genetic algorithms, which were
neither motivated by biological research nor faithful models of biological
systems, but gave birth to a huge field for non-standard programming
solutions.
The motivation of this track is computational rather than biological.
Topics of interest in this track include :
- Definition and study of theoretical properties of biologically-inspired
formal languages
- Biologically-inspired extensions to concurrency theory, constraint
programming or logical methods
- Biologically-inspired equivalences
- Quantitative formal languages
- Models of Self-assembly
- Models including symbolic evolution and learning
- ODE as a programming language
SUBMISSION GUIDELINES
Authors are invited to submit original research papers or survey papers of
no more than 12 pages in .ps or .pdf format.
All submissions will be reviewed by the program committee. Accepted papers
will be included in the proceedings, which will be published by Springer in
the new Lecture Notes in Bioinformatics Series.
We also accept poster proposals in the form of a text-only abstract
describing the poster contents.
Papers and posters should be submitted online via the submission page on the
CMSB04 web site (http://www.biopathways.org/CMSB04/).
Papers should be formatted according to LNCS guidelines
(http://www.springer.de/comp/lncs/authors.html).
IMPORTANT DATES
* March 1, 2004 Submission deadline for papers and demos
* March 24, 2004 Notification of acceptance
* April 5, 2004 Camera-ready version due
* May 26-28, 2004 CMSB04 Workshop in Paris
PROGRAM COMMITTEE
Gordon Plotkin , University of Edinburgh, (UK)
Corrado Priami, University of Trento (IT)
Luca Cardelli, Microsoft Research Cambridge (UK)
Vincent Danos (co-chair), University of Paris VII (FR)
Gilles Bernot, University of Evry (FR)
Alexander Bockmayr , Henri Poincaré University, Nancy (FR)
François Fages, INRIA Rocquencourt (FR)
Walter Fontana, Santa Fe Institute (US)
François Kepes, CNRS / Epigenomics Program, Evry (FR)
Kurt Kohn, National Cancer Institute, NIH, US
Marta Kwiatkowska, University of Birmingham (UK)
Nicolas Le Novère, European Bioinformatics Institute (UK)
Pat Lincoln, Stanford Research International (US)
Satoru Miyano, University of Tokyo (JP)
Eric Neumann, Beyond Genomics, Cambridge,US
Bernard Palsson, UCSD (US)
Vijay Saraswat, Penn State University (US)
Vincent Schachter (co-chair), Genoscope (FR)
Birgit Schoeberl , MIT (US)
Adelinde Uhrmacher, University of Rostock (D)
Alfonso Valencia, CNB-CSIC (SP)
CONTACT INFORMATION
Conference website :(http://www.biopathways.org/CMSB04/
Contact email : cmsb04(a)genoscope.cns.fr
Dear all,
everybody (who sent an answer to my previous message)
agreed to the proposed date change for meeting 1/2004.
For some it was the only possibility to attend the meeting!
Thus let me now fix the meeting 1/2004 for:
Friday, May 14, 2004, starting at noon after the end of Networking 2004
and Saturday, May 15, 2004 (full day).
Ioannis will inform us about the meeting location.
It will be held either in the conference hotel or as he said:
"in the first building of my University in the Plaka area below the
acropolis of Athens with a nice view of the Acropolis from the yard.
One can get there by Metro and 5 minutes walk. One problem is whether
it can be available on the weekend"
Personally, I would prefer the Plaka alternative very much and I hope that
it is available.
Best regards
Otto
*************************** CALL FOR PAPERS
CARDIS 2004
23-26 August 2004
Toulouse - France
www.cardis.org
The 6th Smart Card Research and Advanced Application IFIP Conference,
organized by IFIP Working Groups WG8.8 and WG11.2, will be part of the
18th IFIP World Computer Congress (www.wcc2004.org), held in Toulouse,
August 22-27, 2004.
Since 1994, CARDIS has been the premier international research
conference
dedicated to smart cards and their applications. Every two years the
scientific community meets together for the conference. Ten years after,
like its predecessors and back to Europe and France, CARDIS'04 will
bring
together researchers and practitioners in the development and deployment
of smart card technologies and applications.
The smart card, or, by extension, smart device with its processing power
and link to its owner, is the good candidate for the person
representation
in the Information Society. Smart card or smart device will be the
potential human representation or delegate in Ambient Intelligence
(Pervasive Computing), where every appliances and computers will be
connected, and where control and trust of your environment will be the
next decade challenge. Smart card research is of increasing importance
as the need for information security increases rapidly, especially in
response to new and urgent demands. Smart card with its security
features
is a seed of secure system and will play a huge role in ID management.
In many computer science areas, smart cards introduce new dimensions and
disciplines. Disciplines like hardware design, operating system,
modeling
system, cryptography or distributed systems find new areas of
applications
or issues but also smart cards create new challenge for these domains.
Unlike events devoted to commercial and application aspects of smart
cards,
CARDIS conferences gather researchers and technologists who are focused
in all aspects of the design, development, deployment, validation and
application of smart cards or smart personal devices.
Conference scope
The program committee seeks papers describing the design, development,
application, and validation of smart card technologies. Submissions
across
a broad range of smart card development phases are encouraged, from
exploratory research and proof-of-concept studies to practical
application
and deployment of smart card technology.
Topics of interest include, but are not limited to:
* Smart Device, Person Representation and Ambient Intelligence
* Smart Device, Identity, Privacy and Trust
* Smart Card and Smart Device software (OS, VM, API...)
* High-level data model and management (On-card data sharing
schemes...)
* Integrated development environments (automatic mask & application
generation)
* (Distributed) Application development and deployment
* Emerging opportunities for standardization
* From Smart Card to Smart Device (hardware, form factor, display...)
* Biometrics and Smart Cards
* High-speed, small-footprint encryption
* Cryptographic accelerators
* Cryptographic protocols for Smart Cards (and Smart Devices)
* Attacks and countermeasures in hardware and software
* Hardware, software and service (application) validation and
certification
* Formal Modelling
* Benchmarking
* Smart Card (Smart Device) and Applications in Internet, WLAN, DRM,...
Instructions for paper submission
Submitted papers should represent novel contributions related to the
topics
listed above. They must be original, unpublished, and not submitted to
another conference or journal for consideration of publication. Papers
must be written in English; they should be at most 16 pages long in
total,
including bibliography and well-marked appendices. The paper should be
intelligible without its appendices. When appropriate, authors should
arrange for a release for publication from their employer prior to
submission. Papers accompanied by non-disclosure agreement forms are
unacceptable and will be returned to the author(s) unread. Accepted
papers will be presented at the conference and published in the
conference
proceedings, by Kluwer Academic Publishers. At least one author of each
accepted paper is required to register with the conference and present
the paper.
Abstract and papers must be submitted in electronic form through the web
to <http://www.cardis.org>. All submissions will be acknowledged
automatically by e-mail. If you have not received an e-mail
acknowledgement
within 72 hours of submitting your paper or abstract, please contact
cardis-submission(a)wcc2004.org. To submit a paper, you must first submit
an abstract by February 9, 2004. After abstract submissions, the
contact author will receive a paper number by e-mail. Using this paper
number, you must then submit the full paper by February 16, 2004, by
uploading the corresponding PDF or PostScript file (these are the only
accepted formats), which should follow the templates or style files
indicated by the publisher (www.wkap.com/ifip/styles). Please preview
the manuscript in a viewer to ensure its integrity before submitting.
Make sure you visually check uncommon fonts, symbols, equations, etc.
A defective print can undermine your chances of success.
Papers submitted after February 16, 2004, or for which no abstract has
been timely received, will be discarded without review.
Best Paper Awards: Awards will be handed over at the conference for the
best paper and the best student paper.
Important dates
Abstract submission 9 February 2004
Full Paper submission 16 February 2004
Notification to authors 31 March 2004
Camera-ready 30 April 2004
Committees
Conference General Chair
J.J. Quisquater, UCL, Belgium
Programme Committee Chair
P. Paradinas, CNAM, France
Local Organization Chair
Y. Deswarte, LAAS-CNRS, France
For more information, see <http://www.sec2004.org>
***********************************************************************
To remove your name from laas-dependability-announce email list, simply
send a message to sympa(a)laas.fr with the words "unsubscribe
laas-dependability-announce" in the subject line. If you encounter a
problem, please contact sysadmin(a)laas.fr
***********************************************************************
--
::::: Yves Deswarte - LAAS-CNRS - 31077 Toulouse cedex 4 (France) :::::
:: E-mail:deswarte@laas.fr - Tel:+33 5 61336288 - Fax:+33 5 61336411 ::
*************************** CALL FOR PAPERS ***************************
CARDIS 2004
23-26 August 2004
Toulouse - France
www.cardis.org
The 6th Smart Card Research and Advanced Application IFIP Conference,
organized by IFIP Working Groups WG8.8 and WG11.2, will be part of the
18th IFIP World Computer Congress (www.wcc2004.org), held in Toulouse,
August 22-27, 2004.
Since 1994, CARDIS has been the premier international research conference
dedicated to smart cards and their applications. Every two years the
scientific community meets together for the conference. Ten years after,
like its predecessors and back to Europe and France, CARDIS'04 will bring
together researchers and practitioners in the development and deployment
of smart card technologies and applications.
The smart card, or, by extension, smart device with its processing power
and link to its owner, is the good candidate for the person representation
in the Information Society. Smart card or smart device will be the
potential human representation or delegate in Ambient Intelligence
(Pervasive Computing), where every appliances and computers will be
connected, and where control and trust of your environment will be the
next decade challenge. Smart card research is of increasing importance
as the need for information security increases rapidly, especially in
response to new and urgent demands. Smart card with its security features
is a seed of secure system and will play a huge role in ID management.
In many computer science areas, smart cards introduce new dimensions and
disciplines. Disciplines like hardware design, operating system, modeling
system, cryptography or distributed systems find new areas of applications
or issues but also smart cards create new challenge for these domains.
Unlike events devoted to commercial and application aspects of smart cards,
CARDIS conferences gather researchers and technologists who are focused
in all aspects of the design, development, deployment, validation and
application of smart cards or smart personal devices.
Conference scope
The program committee seeks papers describing the design, development,
application, and validation of smart card technologies. Submissions across
a broad range of smart card development phases are encouraged, from
exploratory research and proof-of-concept studies to practical application
and deployment of smart card technology.
Topics of interest include, but are not limited to:
* Smart Device, Person Representation and Ambient Intelligence
* Smart Device, Identity, Privacy and Trust
* Smart Card and Smart Device software (OS, VM, API...)
* High-level data model and management (On-card data sharing schemes...)
* Integrated development environments (automatic mask & application
generation)
* (Distributed) Application development and deployment
* Emerging opportunities for standardization
* From Smart Card to Smart Device (hardware, form factor, display...)
* Biometrics and Smart Cards
* High-speed, small-footprint encryption
* Cryptographic accelerators
* Cryptographic protocols for Smart Cards (and Smart Devices)
* Attacks and countermeasures in hardware and software
* Hardware, software and service (application) validation and certification
* Formal Modelling
* Benchmarking
* Smart Card (Smart Device) and Applications in Internet, WLAN, DRM,...
Instructions for paper submission
Submitted papers should represent novel contributions related to the topics
listed above. They must be original, unpublished, and not submitted to
another conference or journal for consideration of publication. Papers
must be written in English; they should be at most 16 pages long in total,
including bibliography and well-marked appendices. The paper should be
intelligible without its appendices. When appropriate, authors should
arrange for a release for publication from their employer prior to
submission. Papers accompanied by non-disclosure agreement forms are
unacceptable and will be returned to the author(s) unread. Accepted
papers will be presented at the conference and published in the conference
proceedings, by Kluwer Academic Publishers. At least one author of each
accepted paper is required to register with the conference and present
the paper.
Abstract and papers must be submitted in electronic form through the web
to <http://www.cardis.org>. All submissions will be acknowledged
automatically by e-mail. If you have not received an e-mail acknowledgement
within 72 hours of submitting your paper or abstract, please contact
cardis-submission(a)wcc2004.org. To submit a paper, you must first submit
an abstract by February 9, 2004. After abstract submissions, the
contact author will receive a paper number by e-mail. Using this paper
number, you must then submit the full paper by February 16, 2004, by
uploading the corresponding PDF or PostScript file (these are the only
accepted formats), which should follow the templates or style files
indicated by the publisher (www.wkap.com/ifip/styles). Please preview
the manuscript in a viewer to ensure its integrity before submitting.
Make sure you visually check uncommon fonts, symbols, equations, etc.
A defective print can undermine your chances of success.
Papers submitted after February 16, 2004, or for which no abstract has
been timely received, will be discarded without review.
Best Paper Awards: Awards will be handed over at the conference for the
best paper and the best student paper.
Important dates
Abstract submission 9 February 2004
Full Paper submission 16 February 2004
Notification to authors 31 March 2004
Camera-ready 30 April 2004
Committees
Conference General Chair
J.J. Quisquater, UCL, Belgium
Programme Committee Chair
P. Paradinas, CNAM, France
Local Organization Chair
Y. Deswarte, LAAS-CNRS, France
For more information, see <http://www.sec2004.org>
CALL FOR PAPERS
The 2004 International Multiconference in Computer Science
and Computer Engineering
(18 Joint Int'l Conferences)
http://www.world-academy-of-science.org
Monte Carlo Resort, Las Vegas, Nevada, USA
June 21-24, 2004
Dear Colleagues:
You are invited to submit a draft paper (see instructions below)
and/or a proposal to organize a technical session/workshop.
All accepted papers will be published in the respective
conference proceedings. The names of technical session/workshop
organizers/chairs will appear on the cover of the
proceedings as Associate Editors. Any help in distributing
this announcement would be most appreciated.
The International Multiconference in Computer Science and
Computer Engineering is a major annual research event.
It assembles a spectrum of affiliated research conferences into
a coordinated research meeting held in a common place at a
common time. This model facilitates communication among
researchers in different fields of computer science and computer
engineering. The last Multiconference attracted over 1,650
computer science and engineering researchers from 78 countries.
We expect to have over 2,000 attendees for this set of conference.
The 2004 event is composed of the following 18 conferences:
1. The 2004 International Conference on Parallel and
Distributed Processing Techniques and Applications (PDPTA'04)
2. The 2004 International Conference on Artificial
Intelligence (IC-AI'04)
3. The 2004 International Conference on Imaging Science,
Systems, and Technology (CISST'04)
4. The 2004 International Conference on Modeling, Simulation
and Visualization Methods (MSV'04)
5. The 2004 International Conference on Software Engineering
Research and Practice (SERP'04)
6. The 2004 International Conference on Information and
Knowledge Engineering (IKE'04)
7. The 2004 International Conference on Embedded Systems and
Applications (ESA'04)
8. The 2004 International Conference on Internet Computing
(IC'04)
9. The 2004 International Conference on Wireless Networks
(ICWN'04)
10. The 2004 International Symposium on Web Services and
Applications (ISWS'04)
11. The 2004 International Conference on Pervasive Computing
and Communications (PCC'04)
12. The 2004 International Conference on Security and
Management (SAM'04)
13. The 2004 International Conference on Mathematics and
Engineering Techniques in Medicine and Biological
Sciences (METMBS'04)
14. The 2004 International Conference on Machine Learning;
Models, Technologies and Applications (MLMTA'04)
15. The 2004 International Conference on Communications
in Computing (CIC'04)
16. The 2004 International Conference on VLSI (VLSI'04)
17. The 2004 International Conference on Engineering of
Reconfigurable Systems and Algorithms (ERSA'04)
18. The 2004 International Conference on Algorithmic
Mathematics and Computer Science (AMCS'04)
(a link to each conference's URL can be found at
http://www.world-academy-of-science.org )
Please regard this announcement as General Guidelines.
You are requested to send your submission to the
Multiconference chair whose address appears below (The
chair may be forwarding the papers to respective
conference chairs/committees).
CONFERENCES CONTACT:
H. R. Arabnia, PhD
General Chair, The 2004 International Multiconference in
Computer Science and Computer Engineering (IMCSE2004)
The University of Georgia
Department of Computer Science
415 Graduate Studies Research Center
Athens, Georgia 30602-7404, U.S.A.
Tel: (706) 542-3480
Fax: (706) 542-2966
E-mail: hra(a)cs.uga.edu
SUBMISSION OF PAPERS:
Prospective authors are invited to submit three copies
of their draft paper (about 5 pages - single space,
font size of 10 to 12) to H. R. Arabnia by the due
date (who may be forwarding the papers to respective
conference chairs/committees). E-mail submissions in
MS document or PDF formats are preferable (Fax submissions
are also acceptable.)
The length of the Camera-Ready papers (if accepted) will
be limited to 7 (IEEE style) pages. Papers must not have
been previously published or currently submitted for
publication elsewhere. The first page of the draft paper
should include: title of the paper, name, affiliation,
postal address, E-mail address, telephone number, &
Fax number for each author. The first page should also
include the name of the author who will be presenting
the paper (if accepted) & a maximum of 5 keywords.
IMPORTANT DATES:
Feb. 16, 2004: Draft papers (about 5 pages) due
March 22, 2004: Notification of acceptance
April 21, 2004: Camera-Ready papers & Prereg. due
June 21-24, 2004: 2004 Int'l Multiconference in CS & CE
Proposals to organize technical sessions should be submitted
as soon as possible.
PROPOSAL FOR ORGANIZING TECHNICAL SESSIONS:
Each technical session will have at least 6 paper
presentations (from different authors). The session
chairs will be responsible for all aspects of their
sessions; including, soliciting papers, reviewing,
selecting, ... The names of session chairs will
appear as Associate Editors in the conference
proceedings. After the conference, some sessions will
be considered for publication in appropriate journals as
Special Issues with the session proposer as the Guest
Editor of the journal.
Proposals to organize technical sessions should include
the following information: name and address (+ E-mail)
of proposer, title of session, a 100-word description of
the topic of the session, and a short description on
how the session will be advertised (in most cases,
session proposers solicit papers from colleagues and
researchers whose work is known to the session proposer).
Mail your proposal to H. R. Arabnia (address is given
above); E-mail submissions are preferred.
MEMBERS OF PROGRAM & ORGANIZING COMMITTEES:
The Program Committee includes members of chapters
of World Academy of Science (chapters: supercomputing;
scientific computing; artificial intelligence; imaging
science; databases; simulation; software engineering;
embedded systems; internet and web technologies;
communications; computer security; and bioinformatics.)
The Program Committee for individual conferences is
currently being formed. Those interested in joining
the Program Committee should email H. R. Arabnia
(hra(a)cs.uga.edu) the following information:
Name, affiliation and position, complete mailing address,
email address, tel/fax numbers, a short biography
together with research interests and the name of the
conference offering to help with.
Topical scope for each conference can be found at
http://www.world-academy-of-science.org