- ifip-tc6 - lists.rwth-aachen.de

FORTE'04 Call For Papers
by fernando 26 Jan '04

26 Jan '04

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

1 0

PRO-VE'04 - Conference on Virtual Enterprises, Virtual Communities and e-Business
by Luis M. Camarinha-Matos 23 Jan '04

23 Jan '04

============ 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 ___________________________________________

1 0

Call for Papers for IFIP I3E conference
by Volker Tschammer 23 Jan '04

23 Jan '04

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

1 0

Call for Papers - Computational Methods in Systems Biology 2004 - Deadline : March 1, 2004
by Vincent Schachter 23 Jan '04

23 Jan '04

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

1 0

Call for Papers - Computational Methods in Systems Biology 2004 - Deadline : March 1, 2004
by Vincent Schachter 23 Jan '04

23 Jan '04

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

1 0

Meeting dates
by Otto Spaniol 22 Jan '04

22 Jan '04

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

2 1

Smart Card
by Otto Spaniol 22 Jan '04

22 Jan '04

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

1 0

Call For Papers: 18 CS & CE Conferences, Las Vegas, June 21-24, 2004
by Hamid Arabnia 21 Jan '04

21 Jan '04

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

1 0

AW: Call for papers: IFIP Communications and Multimedia Security 2004
by Herbert Leitold 18 Jan '04

18 Jan '04

Now with the attachment that I forgot in my previous mail. Herbert -----Ursprüngliche Nachricht----- Von: Herbert Leitold [mailto:Herbert.Leitold@a-sit.at] Gesendet: Sonntag, 18. Jänner 2004 15:17 An: 'tc11(a)iaik.at'; 'ifip-tc6(a)informatik.rwth-aachen.de' Betreff: Call for papers: IFIP Communications and Multimedia Security 2004 Dear IFIP TC6 and TC11 delegates, the 8th IFIP Joint TC6 and TC11 Open Conference on Communications and Multimedia Security (CMS'2004) will be organised 15-19 September 2004, Lake Windermere, United Kingdom. Find attahced a Call for Papers. For more information see the Conference Web site at http://sec.isi.salford.ac.uk/cms2004/ Best regards, Herbert Leitold Secure Information Technology Center - Austria (A-SIT) Inffeldgasse 16a, A-8010 Graz, Austria Tel. +43 (316) 873-5521 Fax. +43 (316) 873-5520 Herbert.Leitold(a)a-sit.at

1 0

Call for papers: IFIP Communications and Multimedia Security 2004
by Herbert Leitold 18 Jan '04

18 Jan '04

Dear IFIP TC6 and TC11 delegates, the 8th IFIP Joint TC6 and TC11 Open Conference on Communications and Multimedia Security (CMS'2004) will be organised 15-19 September 2004, Lake Windermere, United Kingdom. Find attahced a Call for Papers. For more information see the Conference Web site at http://sec.isi.salford.ac.uk/cms2004/ Best regards, Herbert Leitold Secure Information Technology Center - Austria (A-SIT) Inffeldgasse 16a, A-8010 Graz, Austria Tel. +43 (316) 873-5521 Fax. +43 (316) 873-5520 Herbert.Leitold(a)a-sit.at

1 0