ifip-tc6

ifip-tc6@lists.rwth-aachen.de

2885 Diskussionen

von Otto Spaniol

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

19 Jahre, 6 Monate

ARSPA'05: Workshop on Automated Reasoning for Security Protocol Analysis (co-located with ICALP'05)

von lvigano＠inf.ethz.ch

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

19 Jahre, 6 Monate

First CFP Int. Workshop on Natural Artificial Immune Systems '05

von Simone Bassis

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.html http://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

19 Jahre, 6 Monate

CFP: First International Workshop on Convergence of Heterogeneous Wireless Networks (ConWiN 2005)

von Linda Jiang Xie

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/

19 Jahre, 7 Monate

MobiQuitous 2005 - Call for Papers

von Dawn

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)

19 Jahre, 7 Monate

DAIS2005 deadline extension

von Lea Kutvonen

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

19 Jahre, 7 Monate

Extended Deadline DAIS'05

von Hartmut König

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 ________________________________________________________________________

19 Jahre, 7 Monate

First CFP Int. Workshop on Natural Artificial Immune Systems '05

von Simone Bassis

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.html http://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

19 Jahre, 7 Monate

First CFP Int. Workshop on Natural Artificial Immune Systems '05

von Giuseppe 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.html http://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.

19 Jahre, 7 Monate

Conference Announcement

von Simone Bassis

Dear Colleagues, the following two announcements maybe of interest for you. Cordially Bruno Apolloni

19 Jahre, 7 Monate

Springe zur Seite:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

ifip-tc6