Dear all,
please find attached
- a new TC6 events calendar
- an updated address list.
Many many thanks go to our webmaster (Herbert Leitold)
who has carefully checked the events, has indicated some
errors and some missing informations
and who has done already the corrections on the Web pages.
Thanks once again so much, Herbert!!!
Best regards
Otto
ARSPA'05
The Second Workshop on
Automated Reasoning for
Security Protocol Analysis
co-located with ICALP'05
Lisboa, Portugal
July 16, 2005
http://www.avispa-project.org/arspa
***********************
*** CALL FOR PAPERS ***
***********************
Submission deadline: April 15, 2005
BACKGROUND, AIM AND SCOPE
=========================
Experience over the last twenty years has shown that, even assuming
perfect cryptography, the design of security protocols (or cryptographic
protocols, as they are sometimes called) is highly error-prone and that
conventional validation techniques based on informal arguments and/or
testing are not up to the task. It is now widely recognized that only
formal analysis can provide the level of assurance required by both the
developers and the users of the protocols.
Work in this direction initially started in the security community but
recently there has been a tremendous progress thanks to contributions
from different automated reasoning communities, such as model checking,
resolution, planning, rewriting/narrowing, and higher-order theorem
proving. There has been another wave of progress due to
research in applying non-classical logics, such as epistemic and belief
logics, to analyze protocols and their properties. Moreover, a third
stream includes static methods, among which those based on abstract
interpretation, data and control flow analysis, and type systems proved
to be particularly successful. Finally, bisimulations and related
techniques have also been applied successfully.
Based on this progress, a large number of formal methods and tools
have been developed that have been quite successful in determining
strengths and weaknesses of many protocols, i.e. in proving the
correctness of the protocols or in identifying attacks on them.
The ARSPA workshop aims to bring together researchers and
practitioners from both the security and the formal methods communities,
from academia and industry, who are working on developing and applying
automated reasoning techniques and tools for the formal specification
and analysis of security protocols.
Contributions are welcomed on the following topics or related ones:
- Automated analysis and verification of security protocols.
- Languages, logics and calculi for the design and specification of
security protocols.
- Verification methods: accuracy, efficiency.
- Decidability and complexity of cryptographic verification problems.
- Synthesis and composition of security protocols.
- Integration of formal security specification, refinement and
validation techniques in development methods and tools.
The workshop will provide a forum for all researchers and practitioners
who are interested in this area to share their ideas and report their
results. We thus solicit submissions of papers both on mature work and
on work in progress.
All submissions will be peer-reviewed. Authors of accepted papers must
guarantee that their paper will be presented at the workshop.
AUDIENCE
========
The workshop will be held on Saturday, July 16, 2005, and will be open to
all interested persons.
INVITED TALKS
=============
The technical program will include presentations of the accepted papers,
and one or two invited talks.
PROGRAM COMMITTEE
=================
- Alessandro Armando (Universita` di Genova, Italy)
- David Basin (ETH Zurich, Switzerland)
- Jorge Cuellar (SIEMENS AG, Munich, Germany)
- Pierpaolo Degano (Universita` di Pisa, Italy; co-chair)
- Joshua Guttman (The MITRE Corporation, USA)
- Roberto Gorrieri (Universita` di Bologna, Italy)
- Sjouke Mauw (University of Eindhoven, The Netherlands)
- Hanne Riis Nielson (Technical University of Denmark)
- Michael Rusinowitch (INRIA-LORRAINE, Nancy, France)
- Luca Vigano` (ETH Zurich, Switzerland; co-chair)
SUBMISSION
==========
Submissions should be at most 15 pages (a4paper, 11pt) and the cover
page should include title, names of authors, and the co-ordinates of the
corresponding author.
Authors are invited to submit their papers electronically, as portable
document format (pdf) or postscript (ps), by sending them to
arspa -at- avispa-project.org
Submissions must be received by the deadline of April 15, 2005.
Notification of acceptance or rejection will be sent to the authors no
later than May 14, 2005.
Final versions of accepted papers must be received by June 10, 2005.
PUBLICATION
===========
Accepted contributions will be included in the informal workshop
proceedings, which will be available at the workshop. They will also be
published on-line on the workshop's web page at
http://www.avispa-project.org/arspa
prior to the workshop.
We are also planning a formal post-workshop publication as a special
Journal issue, with an additional reviewing process.
IMPORTANT DATES
===============
- Submission deadline: April 15, 2005
- Notification of acceptance: May 15, 2005
- Final versions due: June 10, 2005
- Workshop: July 16, 2005
WORKSHOP WEB-SITE
=================
http://www.avispa-project.org/arspa
The workshop is supported by the IST Project AVISPA
(http://www.avispa-project.org)
For further information on the workshop, please send an email to
arspa -at- avispa-project.org
Apologies if you receive this more than once.
=================
Call for Papers
International Workshop on Natural and Artificial Immune Systems (NAIS
2005)
Vietri sul Mare, Salerno, Italy, June 9-10, 2005
http://siren.dsi.unimi.it/conferences/IMMUNE05/html/index.html
* Venue
International Institute For Advanced Scientific Studies (IIASS),
"E.R.Caianiello", Vietri sul Mare, (SA) Italy.
http://www.iiassvietri.it/index.htmlhttp://www.iiassvietri.it/school2004/
* Important Dates
Submission deadline: March 25, 2005
Acceptance/Rejection notification: April 25, 2005
Camera-ready copy of papers: June 6, 2005
Workshop Date: June 9-10, 2005
* Aims and Scope
The workshop aims at catalyzing the interaction between modelers (computer
scientists, mathematicians and physicists), immunologists and biologists
interested in discussing the information processing mechanisms emerging in
the functionalities of either natural or artificial immune systems.
The leading idea motivating this event is the attention to the various forms
of "intelligent thinking" underlying the many attack/defense/adaptation
strategies discovered in natural systems, such as tumor and virus escape
mechanisms of animals and humans, or implemented in artificial systems.
This approach may reap several basic benefits of the original cybernetics
paradigm:
-the emergence of the mind from chemical-physical reactions that can be
studied and simulated,
- the use of natural processing mechanisms for solving artificial problems,
and the cross-fertilization of the natural and artificial research
environments, -the adoption of comprehensive immune system models in the
development of new therapeutic approaches.
Possible topics include, but are not limited to:
# Computational Immunology
# Immunological Computation
# Immunoinformatics
# modelling and simulation of immune systems
# model testing and game theory
# biological and immersive learning
# network security and artificial virus attacks
# comparisons between Artificial Immune Systems and other
biologically-inspired paradigms
# theory and applications of Immunological Computing
# Immunocomputing
* Invited speakers
- Franco Celada, University of Genova, Italy
- Vincenzo Cutello, University of Catania, Italy
- Dipankar Dasgupta, University of Memphis, USA
- Doheon Lee, IBM-KAIST Bio-Computing Research Center, Korea
- John Timmis, Universityh of Kent, UK
* Conference Proceedings
The conference will feature both introductory tutorials and original refereed
papers, to be published by an international publisher.
See details of electronic submission on the bottom of the web page:
http://siren.dsi.unimi.it/conferences/IMMUNE05/html/index.html
* Conference Chairs:
- Bruno Apolloni, University of Milano, Italy.
apolloni(a)dsi.unimi.it
- Alberto Clivio, University of Milano, Italy.
alberto.clivio(a)unimi.it
- Vincenzo Cutello, University of Catania, Italy.
cutello(a)dmi.unict.it
- Giuseppe Nicosia, University of Catania, Italy.
nicosia(a)dmi.unict.it
Programme Committee:
- Franco Celada, University of Genova, Italy
- Dipankar Dasgupta, University of Memphis, USA
- Marco Gori, University of Siena, Italy
- Doheon Lee, IBM-KAIST Bio-Computing Research Center, Korea
- Piero Mussio, University of Milano, Italy
- Anastasia Pagnoni, Unversity of Milano, Italy
- John Timmis, Universityh of Kent, UK
- Henry Linger, Monash University, Melbourne, Australia
* Getting Vietri Sul Mare
http://www.iiassvietri.it/school2004/getting_vietri.htm
* NAIS 2005 Conference Secretariats:
- Department of Mathematics and Computer Science
University of Catania,
City University,
V.le A. Doria 6, 95125 Catania, Italy
Email: nais05(a)dmi.unict.it
Phone: +39-095-7383074
Fax: +39-095-330094
or
- Dip. di Scienze Dell'Informazione.
University of Milano
Via Comelico, 39
20125 Milano, Italy
Email: bassis(a)dsi.unimi.it
Phone: +39-02-50316335
Fax: +39-02-50316228
* For additional information or questions, contact
Alberto Clivio, University of Milano, Italy, alberto.clivio(a)unimi.it
Giuseppe Nicosia, University of Catania, Italy, nicosia(a)dmi.unict.it
We apologize in advance if you receive multiple copies of this CFP.
**********************************************************************
******** ConWiN 2005 ********
****** ******
**** First International Workshop on ****
** Convergence of Heterogeneous Wireless Networks **
* *
* July 10, 2005 in Budapest, Hungary *
* in Conjunction with WICON 2005 *
* *
* http://www.ConWiN.org *
* *
* CALL FOR PAPERS *
**********************************************************************
Scope of ConWiN 2005:
=====================
The advances in the wireless communication technologies have enabled
the realization of wide range of heterogeneous wireless networks from
wireless local area networks (WLANs), several generations (2G/3G) of
wireless cellular networks to mobile ad hoc networks (MANET) and
wireless sensor networks (WSN). This technological evolution is
further inspiring researchers to envision the next generation wireless
networking architectures and even the space Internet.
Next Generation Wireless Internet (NGWI) will be the convergence of
these heterogeneous wireless networks and the next generation Internet
to provide mobile users with a wide range of high resource demanding
services such as high speed reliable data and real-time multimedia
delivery. While the unique characteristics of each of these wireless
networks pose diverse set of challenges, their integration severely
expands the set of open research problems for seamless, efficient, and
reliable communication. Therefore, there exists an urgent need for a
significant research effort to focus on solving these new challenges
posed by the integration and the convergence of these wireless
heterogeneous networks.
The objective of ConWiN 2005 is to provide a research platform where
researchers bring their contributions to light by presenting their
technical papers on the issues regarding the integration and the
convergence of heterogeneous wireless networks. Papers solicited in
ConWiN 2005 spans a wide range of areas of interest including but
not limited to:
- Physical layer issues for the convergence of heterogeneous wireless
communication technologies
- Novel and adaptive communication protocols at all layers, i.e.,
MAC layer problems, routing, reliable and multimedia transport, for
integration of diverse wireless systems such as WLANs, 3G, and WSNs
- Novel and practical communication architectures for the convergence
of heterogeneous wireless networks
- Efficient mobility/handoff management protocols for seamless roaming
within the converged communication architecture
- Killer applications/services for the convergence towards the NGWI
- Security, authentication, and billing solutions for the converged
architecture
Important Dates:
================
Submission deadline : February 25, 2005
Notification of acceptance : May 1, 2005
Camera-ready version : May 15, 2005
Workshop Date : July 10, 2005
Submission Details:
===================
The workshop will only accept for review original papers that have not
been previously published and are not currently under review by
another conference or journal.
Prospective authors are invited to submit full papers of no more than
12 pages of IEEE double column format. Manuscript submission should be
done electronically via e-mail by sending a pdf version of the
manuscript to conwin(a)eee.metu.edu.tr
Papers of particular merit will also be published in Computer Networks
Journal (Elsevier).
Organization Committee :
=======================
Workshop Chair:
--------------
Ozgur Baris Akan, Middle East Technical University, TURKEY
TPC Co-Chairs:
--------------
Eylem Ekici, Ohio State University, USA
Wenye Wang, North Carolina State University, USA
Publicity Chair:
----------------
Jiang (Linda) Xie, University of North Carolina at Charlotte, USA
For more information about the workshop, see http://www.conwin.org/
MobiQuitous 2005 - CALL FOR PAPERS
The Second Annual International Conference on Mobile and Ubiquitous Systems:
Networking and Services
http://www.mobiquitous.org
July 17-21, 2005, San Diego, California
ABSTRACT REGISTRATION DEADLINE: February 16, 2005
FULL PAPER SUBMISSION DEADLINE: February 23, 2005
Sponsored by:
CreateNet (www.create-net.it) and ICST
Technically Co-Sponsored by IEEE Computer Society (Pending)
Technically Co-Sponsored by IEEE Communications Society (Pending)
In Cooperation with ACM SIGMOBILE (Pending)
Technically Co-Sponsored by AAAI (Pending)
Proceedings to be published by IEEE Computer Society Press and to be made
available on IEEE Explore
****************************************
The combination of mobile and ubiquitous computing is emerging as a
promising new paradigm with the goal to provide computing and
communication services all the time, everywhere, transparently and invisibly
to the user, using devices embedded in the surrounding physical
environment. In this context, the communication devices, the objects with
which they interact, or both may be mobile. The implementation of such a
paradigm requires advances in wireless network technologies and devices,
development of infrastructures supporting cognitive environments, and
discovery and identification of ubiquitous computing applications and
services.
The second Annual International Conference on Mobile and Ubiquitous Systems:
networking and services (Mobiquitous-05) will cover all these
aspects, representing a forum where practitioners and researchers coming
from the many areas involved in ubiquitous solutions design and deployment
will be able to interact exchanging the cross-layer experiences needed to
build the overall ubiquitous systems. Areas addressed by the conference
include: applications, service-oriented computing, middleware, networking,
agents, knowledge management and databases.
PAPERS: Technical papers describing original, previously unpublished
research, not currently under review by another conference or journal, are
solicited. The conference is interested in contributions addressing all the
areas associated with mobile and ubiquitous architectures, infrastructure
and services. Technical works clearly identifying how the specific
contributions fit to an overall working solution are particularly of
interest. Topics include, but are not limited to, the following:
* Ubiquitous architectures and systems
* Wearable computing and personal area network
* Wireless technologies for mobile and ubiquitous (Bluetooth, ZigBee,
802.15.x, WiFi)
* Incentive-based deployment of ad hoc networks
* Reconfigurability and personalization of wireless network
* Service discovery mechanisms, knowledge discovery, matching and
composition mechanisms
* Wireless/mobile service management and delivery
* Security, privacy and social issues of mobile and ubiquitous systems
* Peer-to-peer knowledge management
* Emerging industrial/business scenarios
* Multimodal interfaces (speech, video kinetic, tactile)
* Smart spaces
* Ad hoc and sensor networking
* Localization and tracking
* Context and location aware application
* Multimedia encoding and transcoding
* Middleware services
* Agent technologies in ubiquitous, wearable, andmobile systems
* Hardware and software platforms for ubiquitous systems, and testbeds
* User interfaces
* Toolkits, development environments, and languages for ubiquitous
computing
* Ontologies for mobile and ubiquitous computing
SUBMISSION INSTRUCTIONS: All paper submissions will be handled
electronically (see the conference web page for details). Authors should
prepare a Portable Document Format (PDF) or postscript version of their full
paper. Papers must not exceed 8 pages double column (US Letter size,
8.5 x 11 inches) including text, figures and references. The font size must
be at least 10 points. The deadline for registering the title and the
abstract of the paper with our electronic submission system is February 2,
2005. The deadline for submitting the actual paper is February 9, 2005.
All deadlines are 11:59PM PST.
PUBLICATION: All submitted papers will be rigorously reviewed by technical
program committee members. Accepted papers will be published in the
conference proceedings. Papers of particular merit will be proposed for
publication in a ACM/Kluwer MONET special issue.
WORKSHOPS: Proposals for one-day workshops to be held in conjunction with
the conference are solicited. A maximum of 2 pages should be submitted
which include the workshop name, its scope and a list of topic of interests.
Proposals should be submitted to both the Workshop co-Chairs
by December 17 2004.
DEMOS: Proposals for research and industrial demos are solicited. A maximum
of 2 pages should be submitted which include a description of the
demo and needed resources from the conference organizers. Proposals should
be submitted to Dr. Ramiro Liscano (Demo Chair) rliscano(a)ieee.org by May
29th, 2005.
IMPORTANT DATES:
Paper registration deadline: February 16, 2005
Full paper submission deadline: February 23, 2005
Notification of acceptance: April 29, 2005
Camera-ready version due: May 15, 2005
ORGANIZING COMMITTEE
General Chair:
Ramesh Rao (Univ. of California, San Diego)
General Co-Vice-Chairs:
Chiara Petrioli (Universit di Roma La Sapienza)
Krishna Sivalingam (University of Maryland, Baltimore County)
Technical Program Co-Chairs:
Networking:
Suresh Singh (Portland State University)
Philippe Bonnet (University of Copenhagen)
Services/Knowledge Management:
Anupam Joshi (University of Maryland, Baltimore County)
Ryusuke Masuoka (Fujitsu Labs of America)
Publicity Co-Chairs:
Andreas Savvides (Yale University) and
Mohamed Younis (University of Maryland, Baltimore County)
Panels Chairs: TBA
Workshop Chairs:
Stefano Basagni (Northeastern University)
Prithwish Basu (BBN Technologies)
Demos Chair:
Ramiro Liscano (University of Ottawa)
Publications Chair:
Antonis Kalis (Athens Information Technology)
Local Arrangements Chair:
Kang Wang, Qualcomm Inc.
Finance Chair:
Karen Decker (ICST Texas,USA)
Accommodations Chair:
Kathy Kunz (ICST California,USA)
Registration Chair:
Vishal Anand, SUNY College at Brockport
Steering Committee:
Imrich Chlamtac (CreateNet, Inc.), Chair
Michele Zorzi (Universita di Padova)
On the request of submitters, we have extended the full paper submission
deadline of DAIS2005 to February 15, 2005.
Apologies for multiple copies of CFP.
--------------------------------------------------------------------------------------
ANNOUNCEMENT and CALL FOR PAPERS
DAIS 2005
5th IFIP WG 6.1
International Conference on
Distributed Applications and Interoperable Systems
Athens, Greece
June 15-17, 2005
http://www.di.uoa.gr/dais-fmoods-2005/
To be held in conjunction with FMOODS2005
(Formal Methods for Open Object-Based Distributed Systems)
http://www.informatik.uni-kiel.de/~fmoods05/
ABOUT THE CONFERENCE
The emergence of 4th generation communication systems, the evolution of
the Internet technologies, the convergence of the telecom and datacom,
wireless and fixed communication systems and applications pave the path
for ubiquitous service and application provision. Innovative solutions
are required for the development, implementation and operation of
distributed applications in complex IT environments full of diversity
and heterogeneity. Today, systematic application development support is
lacking for the emerging wide spectrum of distributed systems ranging
from ambient intelligence to global computing scenarios. Following the
evolution of the field, DAIS'05 will focus on models, technologies and
platforms for interoperable, scalable and adaptable distributed
applications within all kinds of computing environments.
DAIS'05 is the fifth event in a series of successful international
conferences, which started in 1997. DAIS'05 will provide a forum for
researchers, application and platform service vendors and users, to
review, discuss and learn about new approaches, concepts and
experiences in the fields of distributed computing. DAIS'05 will
include talks by invited speakers, full technical paper sessions, and
work-in-progress presentations.
CONFERENCE THEMES
In keeping with the focus on models, technologies and platforms for
interoperable, scalable and adaptable distributed applications, and in
addition to its traditional themes, DAIS'05 especially encourages
original unpublished papers addressing the following topics:
- software architectures and frameworks for application reconfiguration
and adaptation,
- component frameworks (e.g. CORBA Components, EJB,.NET),
- autonomous systems and architectures,
- modelling, specifying, monitoring and management of context-aware and
adaptive applications,
- support for self-organisation and autonomic behaviour in distribution
platforms,
- application infrastructures for Service-oriented Architectures and
Web Services,
- application environments for specific technologies (e.g. GRID
computing, mobile and wireless),
- issues in enterprise-wide and large-scale application integration,
model-driven development and testing,
- application management and tuning,
- development methodologies for ambient intelligence and
sensor net applications,
- semantic interoperability and semantic web services.
SUBMISSION GUIDELINES
The DAIS'2005 conference solicits high quality papers reporting research
results and/or experience reports. All papers must be original,
unpublished, and not submitted simultaneously for publication elsewhere.
Submissions will be electronically as postscript or PDF, using the
Springer LNCS style.
DAIS2005 seeks:
- Full technical papers in no more than 12 pages (approximately 6000
words);
- Work-in-progress papers, describing on-going work and interim
results, in no more than 5 pages.
Each paper will undergo a thorough process of review and the conference
proceedings will be published by Springer Verlag in the LNCS series.
More specific guidelines on the preparation of papers can be found on
the conference website.
IMPORTANT DATES
Full paper submission: February 15, 2005
(extended)
Work-in-progress papers: February 15, 2005
Notification of acceptance: March 15, 2005
Camera ready version: April 7, 2005
Conference dates: June 15-17, 2005
VENUE & EVENT
DAIS'05, organized by the Communications Network Laboratory of the
University of Athens, will be held in Athens, Greece, colocated with
the 7th IFIP Formal Methods for Open Object-Based Distributed Systems
(FMOODS'05). The accompanying programme of shared satellite workshops
-- a call for workshop proposals is issued separately -- will in
particular include a Ph.D workshop giving young researchers an
international platform to present their results.
ORGANISERS
General chair:
Lazaros Merakos, CNL, University of Athens, Greece
Steering committee:
Guy Leduc, University de Li=E8ge, Belgium
Hartmut Koenig, BTU Cottbus, Germany
Kurt Geihs, University of Kassel, Germany
Elie Najm, ENST, Paris, France
PC Chairs:
Nancy Alonistioti, CNL, University of Athens, Greece
Lea Kutvonen, University of Helsinki, Finland
Publicity chair:
Hartmut Koenig, BTU Cottbus, Germany
Local arrangements:
Communications Network Laboratory of the University of Athens
Program committee:
M. Ahamed, Georgia Tech, USA
M. Anagnostou, National Technical University of Athens
S. Baker, IONA, Ireland
Y. Berbers, Katholieke Universiteit Leuven, Belgium
A. Beugnard, ENST-Bretagne, France
D. Bourse, Motorola Labs, Paris
I. Demeure, ENST, France
F. Eliassen, University of Oslo, Norway
K. Geihs, TU Berlin, Germany
S. Gessler, NEC Europe Ltd, Germany
D. Hagimont, INRIA, France
S. Hallsteinsen, Sintef, Norway
P. Honeyman, CITI, University of Michigan, USA
J. Indulska, University of Queensland, Australia
E. Jul, DIKU, Denmark
A. Kaloxylos, Univ. of Peloponnese, Greece
V. Karamcheti, New York University, USA
H. Koenig, BTU Cottbus, Germany
H. Krumm, University of Dortmund, Germany
W. Lamersdorf, University of Hamburg, Germany
C. Linnhoff-Popien, University of Munich, Germany
P. Merle, INRIA, France
E. Najm, ENST, France
G. Papadopoulos, University of Cyprus, Cyprus
K. Raymond, DSTC, Australia
D. Schmidt, University of California, USA
W. Schreiner, Johannes Kepler University Linz, Austria
T. Senivongse, Chulalongkorn University, Thailand
J.-B. Stefani, INRIA, France
V. Virvou, Univ. of Peiraus
D. Zeghlache, INT, France
K. Zielinski, UMM Krakow, Poland
Please excuse if you received that Call for Papers several times.
=====================================================================
On the request of submitters, we have extended the full paper submission
deadline of DAIS2005 to February 15, 2005.
ANNOUNCEMENT and CALL FOR PAPERS
DAIS 2005
5th IFIP WG 6.1
International Conference on
Distributed Applications and Interoperable Systems
Athens, Greece
June 15-17, 2005
http://www.di.uoa.gr/dais-fmoods-2005/
To be held in conjunction with FMOODS2005
(Formal Methods for Open Object-Based Distributed Systems)
ABOUT THE CONFERENCE
The emergence of 4th generation communication systems, the evolution of
the Internet technologies, the convergence of the telecom and datacom,
wireless and fixed communication systems and applications pave the path
for ubiquitous service and application provision. Innovative solutions
are required for the development, implementation and operation of
distributed applications in complex IT environments full of diversity
and heterogeneity. Today, systematic application development support is
lacking for the emerging wide spectrum of distributed systems ranging
from ambient intelligence to global computing scenarios. Following the
evolution of the field, DAIS'05 will focus on models, technologies and
platforms for interoperable, scalable and adaptable distributed
applications within all kinds of computing environments.
DAIS'05 is the fifth event in a series of successful international
conferences, which started in 1997. DAIS'05 will provide a forum for
researchers, application and platform service vendors and users, to
review, discuss and learn about new approaches, concepts and
experiences in the fields of distributed computing. DAIS'05 will
include talks by invited speakers, full technical paper sessions, and
work-in-progress presentations.
CONFERENCE THEMES
In keeping with the focus on models, technologies and platforms for
interoperable, scalable and adaptable distributed applications, and in
addition to its traditional themes, DAIS'05 especially encourages
original unpublished papers addressing the following topics:
- software architectures and frameworks for application reconfiguration
and adaptation,
- component frameworks (e.g. CORBA Components, EJB,.NET),
- autonomous systems and architectures,
- modelling, specifying, monitoring and management of context-aware and
adaptive applications,
- support for self-organisation and autonomic behaviour in distribution
platforms,
- application infrastructures for Service-oriented Architectures and
Web Services,
- application environments for specific technologies (e.g. GRID
computing, mobile and wireless),
- issues in enterprise-wide and large-scale application integration,
model-driven development and testing,
- application management and tuning,
- development methodologies for ambient intelligence and
sensor net applications,
- semantic interoperability and semantic web services.
SUBMISSION GUIDELINES
DAIS'2005 seeks submissions for:
- Full technical papers in no more than 12 pages (about 6000 words);
- Work-in-progress papers, describing on-going work and interim
results in no more than 5 pages.
All papers must be original, unpublished, and not submitted simulta-
neously for publication elsewhere. They will be refereed by the Pro-
gram Committee. Accepted full papers will be published by Springer in
the LNCS series. Submission format: PDF using the Springer LNCS style.
IMPORTANT DATES
Full paper submission: February 15, 2005
Work-in-progress papers: February 15, 2005
Notification of acceptance: March 15, 2005
Camera ready version: April 7, 2005
Conference dates: June 15-17, 2005
VENUE & EVENT
DAIS'05, organized by the Communications Network Laboratory of the
University of Athens, will be held in Athens, Greece, colocated with
the 7th IFIP Formal Methods for Open Object-Based Distributed Systems
(FMOODS'05). The accompanying programme of shared satellite workshops
-- a call for workshop proposals is issued separately -- will in
particular include a Ph.D workshop giving young researchers an
international platform to present their results.
ORGANISERS
General chair:
Lazaros Merakos, CNL, University of Athens, Greece
Steering committee:
Guy Leduc, University de Liège, Belgium
Hartmut Koenig, BTU Cottbus, Germany
Kurt Geihs, University of Kassel, Germany
Elie Najm, ENST, Paris, France
PC Chairs:
Nancy Alonistioti, CNL, University of Athens, Greece
Lea Kutvonen, University of Helsinki, Finland
Publicity chair:
Hartmut Koenig, BTU Cottbus, Germany
Local arrangements:
Communications Network Laboratory of the University of Athens
________________________________________________________________________
Hartmut König Tel: +49 355 69 22 36
koenig(a)informatik.tu-cottbus.de Fax: +49 355 69 21 27
Brandenburg University of Technology Cottbus
LS Rechnernetze und Kommunikationssysteme
PF 10 13 44, D-03013 Cottbus, Germany
http://www-rnks.informatik.tu-cottbus.de
________________________________________________________________________
--
________________________________________________________________________
Hartmut König Tel: +49 355 69 22 36
koenig(a)informatik.tu-cottbus.de Fax: +49 355 69 21 27
BTU Cottbus
LS Rechnernetze und Kommunikationssysteme
PF 10 13 44, D-03013 Cottbus, Germany
http://www-rnks.informatik.tu-cottbus.de
________________________________________________________________________
Apologies if you receive this more than once.
=================
Call for Papers
International Workshop on Natural and Artificial Immune Systems (NAIS
2005)
Vietri sul Mare, Salerno, Italy, June 9-10, 2005
http://siren.dsi.unimi.it/conferences/IMMUNE05/html/index.html
* Venue
International Institute For Advanced Scientific Studies (IIASS),
"E.R.Caianiello", Vietri sul Mare, (SA) Italy.
http://www.iiassvietri.it/index.htmlhttp://www.iiassvietri.it/school2004/
* Important Dates
Submission deadline: March 25, 2005
Acceptance/Rejection notification: April 25, 2005
Camera-ready copy of papers: June 6, 2005
Workshop Date: June 9-10, 2005
* Aims and Scope
The workshop aims at catalyzing the interaction between modelers (computer
scientists, mathematicians and physicists), immunologists and biologists
interested in discussing the information processing mechanisms emerging in
the functionalities of either natural or artificial immune systems.
The leading idea motivating this event is the attention to the various forms
of intelligent thinking underlying the many attack/defense/adaptation
strategies discovered in natural systems, such as tumor and virus escape
mechanisms of animals and humans, or implemented in artificial systems.
This approach may reap several basic benefits of the original cybernetics
paradigm:
-the emergence of the mind from chemical-physical reactions that can be
studied and simulated,
- the use of natural processing mechanisms for solving artificial problems,
and the cross-fertilization of the natural and artificial research
environments, -the adoption of comprehensive immune system models in the
development of new therapeutic approaches.
Possible topics include, but are not limited to:
# Computational Immunology
# Immunological Computation
# Immunoinformatics
# modelling and simulation of immune systems
# model testing and game theory
# biological and immersive learning
# network security and artificial virus attacks
# comparisons between Artificial Immune Systems and other
biologically-inspired paradigms
# theory and applications of Immunological Computing
# Immunocomputing
* Invited speakers
- Franco Celada, University of Genova, Italy
- Vincenzo Cutello, University of Catania, Italy
- Dipankar Dasgupta, University of Memphis, USA
- Doheon Lee, IBM-KAIST Bio-Computing Research Center, Korea
- John Timmis, Universityh of Kent, UK
* Conference Proceedings
The conference will feature both introductory tutorials and original refereed
papers, to be published by an international publisher.
See details of electronic submission on the bottom of the web page:
http://siren.dsi.unimi.it/conferences/IMMUNE05/html/index.html
* Conference Chairs:
- Bruno Apolloni, University of Milano, Italy.
apolloni(a)dsi.unimi.it
- Alberto Clivio, University of Milano, Italy.
alberto.clivio(a)unimi.it
- Vincenzo Cutello, University of Catania, Italy.
cutello(a)dmi.unict.it
- Giuseppe Nicosia, University of Catania, Italy.
nicosia(a)dmi.unict.it
Programme Committee:
- Franco Celada, University of Genova, Italy
- Dipankar Dasgupta, University of Memphis, USA
- Marco Gori, University of Siena, Italy
- Doheon Lee, IBM-KAIST Bio-Computing Research Center, Korea
- Piero Mussio, University of Milano, Italy
- Anastasia Pagnoni, Unversity of Milano, Italy
- John Timmis, Universityh of Kent, UK
- Henry Linger, Monash University, Melbourne, Australia
* Getting Vietri Sul Mare
http://www.iiassvietri.it/school2004/getting_vietri.htm
* NAIS 2005 Conference Secretariats:
- Department of Mathematics and Computer Science
University of Catania,
City University,
V.le A. Doria 6, 95125 Catania, Italy
Email: nais05(a)dmi.unict.it
Phone: +39-095-7383074
Fax: +39-095-330094
or
- Dip. di Scienze Dell'Informazione.
University of Milano
Via Comelico, 39
20125 Milano, Italy
Email: bassis(a)dsi.unimi.it
Phone: +39-02-50316335
Fax: +39-02-50316228
* For additional information or questions, contact
Alberto Clivio, University of Milano, Italy, alberto.clivio(a)unimi.it
Giuseppe Nicosia, University of Catania, Italy, nicosia(a)dmi.unict.it
--
Giuseppe Nicosia
Ph.D. in Computer Science Email: nicosia(a)dmi.unict.it
Department of Mathematics and Computer Science Tel: + 39 095 738 30 80
University of Catania Fax: + 39 095 33 00 94
V.le A. Doria 6 - 95125 Catania, Italy Web:
www.dmi.unict.it/~nicosia
Apologies if you receive this more than once.
=================
Call for Papers
International Workshop on Natural and Artificial Immune Systems (NAIS 2005)
Vietri sul Mare, Salerno, Italy, June 9-10, 2005
http://siren.dsi.unimi.it/conferences/IMMUNE05/html/index.html
* Venue
International Institute For Advanced Scientific Studies (IIASS),
"E.R.Caianiello", Vietri sul Mare, (SA) Italy.
http://www.iiassvietri.it/index.htmlhttp://www.iiassvietri.it/school2004/
* Important Dates
Submission deadline: March 25, 2005
Acceptance/Rejection notification: April 25, 2005
Camera-ready copy of papers: June 6, 2005
Workshop Date: June 9-10, 2005
* Aims and Scope
The workshop aims at catalyzing the interaction between modelers (computer
scientists, mathematicians and physicists), immunologists and biologists
interested in discussing the information processing mechanisms emerging in the
functionalities of either natural or artificial immune systems.
The leading idea motivating this event is the attention to the various forms of
intelligent thinking underlying the many attack/defense/adaptation strategies
discovered in natural systems, such as tumor and virus escape mechanisms of
animals and humans, or implemented in artificial systems.
This approach may reap several basic benefits of the original cybernetics
paradigm:
-the emergence of the mind from chemical-physical reactions that can be studied
and simulated,
- the use of natural processing mechanisms for solving artificial problems, and
the cross-fertilization of the natural and artificial research environments,
-the adoption of comprehensive immune system models in the development of new
therapeutic approaches.
Possible topics include, but are not limited to:
# Computational Immunology
# Immunological Computation
# Immunoinformatics
# modelling and simulation of immune systems
# model testing and game theory
# biological and immersive learning
# network security and artificial virus attacks
# comparisons between Artificial Immune Systems and other biologically-inspired
paradigms
# theory and applications of Immunological Computing
# Immunocomputing
* Invited speakers
- Franco Celada, University of Genova, Italy
- Vincenzo Cutello, University of Catania, Italy
- Dipankar Dasgupta, University of Memphis, USA
- Doheon Lee, IBM-KAIST Bio-Computing Research Center, Korea
- John Timmis, Universityh of Kent, UK
* Conference Proceedings
The conference will feature both introductory tutorials and original refereed
papers, to be published by an international publisher.
See details of electronic submission on the bottom of the web page:
http://siren.dsi.unimi.it/conferences/IMMUNE05/html/index.html
* Conference Chairs:
- Bruno Apolloni, University of Milano, Italy.
apolloni(a)dsi.unimi.it
- Alberto Clivio, University of Milano, Italy.
alberto.clivio(a)unimi.it
- Vincenzo Cutello, University of Catania, Italy.
cutello(a)dmi.unict.it
- Giuseppe Nicosia, University of Catania, Italy.
nicosia(a)dmi.unict.it
Programme Committee:
- Franco Celada, University of Genova, Italy
- Dipankar Dasgupta, University of Memphis, USA
- Marco Gori, University of Siena, Italy
- Doheon Lee, IBM-KAIST Bio-Computing Research Center, Korea
- Piero Mussio, University of Milano, Italy
- Anastasia Pagnoni, Unversity of Milano, Italy
- John Timmis, Universityh of Kent, UK
- Henry Linger, Monash University, Melbourne, Australia
* Getting Vietri Sul Mare
http://www.iiassvietri.it/school2004/getting_vietri.htm
* NAIS 2005 Conference Secretariats:
- Department of Mathematics and Computer Science
University of Catania,
City University,
V.le A. Doria 6, 95125 Catania, Italy
Email: nais05(a)dmi.unict.it
Phone: +39-095-7383074
Fax: +39-095-330094
or
- Dip. di Scienze Dell'Informazione.
University of Milano
Via Comelico, 39
20125 Milano, Italy
Email: bassis(a)dsi.unimi.it
Phone: +39-02-50316335
Fax: +39-02-50316228
* For additional information or questions, contact
Alberto Clivio, University of Milano, Italy, alberto.clivio(a)unimi.it
Giuseppe Nicosia, University of Catania, Italy, nicosia(a)dmi.unict.it
--
Giuseppe Nicosia
Ph.D. in Computer Science Email: nicosia(a)dmi.unict.it
Department of Mathematics and Computer Science Tel: + 39 095 738 30 80
University of Catania Fax: + 39 095 33 00 94
V.le A. Doria 6 - 95125 Catania, Italy Web: www.dmi.unict.it/~nicosia
----------------------------------------------------------------------------------
----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.