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

CFP - RAID 2004 - Call for Papers
by Yves Roudier 27 Jan '04

27 Jan '04

[Apologies for multiple copies of this announcement] CALL FOR PAPERS RAID 2004 "Intrusion Detection and Society" Seventh International Symposium on Recent Advances in Intrusion Detection Institut Eurécom, Sophia-Antipolis, French Riviera, France September 15-17, 2004 http://raid04.eurecom.fr RAID 2004 will be collocated with ESORICS 2004 This symposium, the seventh in an annual series, brings together leading researchers and practitioners from academia, government, and industry to discuss intrusion detection technologies and issues from the research and commercial perspectives. The RAID International Symposium series is intended to further advances in intrusion detection by promoting the exchange of ideas in a broad range of topics. For RAID 2004 there is a special theme: the interdependence between intrusion detection and society. Thus, we will also welcome papers that address issues that arise when studying intrusion detection, including information gathering and monitoring, as a part of a larger, not necessarily purely technical, perspective. For example, the implication of information gathering and detection technologies on enterprises, organisations and authorities, as well as legislative and governing bodies is within scope, but also the impact and restrictions from those bodies on the design and technology. This would include issues such as privacy, risk and emergency management, crisis management, security policies, standardisation and legal issues. An increasingly important dynamic is the strategic importance of protecting national information infrastructures, which is in some tension with the fact that much of this infrastructure is in the private sector. Related to this is the potential strategic impact of attacks at the intersection of information and physical infrastructure. The RAID 2004 program committee invites three types of submissions: - Full papers presenting mature research results. Papers accepted for presentation at the Symposium will be included in the RAID 2004 proceedings published by Springer Verlag in its Lecture Notes in Computer Science (LNCS) series. Full papers are limited to 20 pages when formatted according to the instructions provided by Springer Verlag. Papers must include an abstract and a list of keywords. - Practical experience reports describing a valuable experience or a case study, such as the design and deployment of a system or actual experience from intrusion detection or network monitoring. These reports are reviewed differently from full papers and do not necessarily include fundamental scientific contributions or new research ideas. Practical experience reports are limited to 12 pages when formatted according to the instructions provided by Springer Verlag. They must include an abstract and a list of keywords. - Panel proposals for presenting and discussing hot topics in the field of intrusion detection systems. The panel proposals should include both an outline of the format of the panel and a short rationale for the panel. Panels that include time for general discussion and questions/answers between the panelists and the Symposium attendees are preferred. All topics related to Intrusion Detection Systems and Technologies are within scope, including their design, use and maintenance, integration, correlation and self-protection, just to mention a few. With reference to this year's theme and extended scope we also invite papers on the following topics, which may not be in the mainstream of intrusion detection: Risk assessment and risk management Intrusion tolerance Deception systems and honeypots Privacy aspects Data mining techniques Visualization techniques Cognitive approaches Biological approaches Self-learning Case studies Legal issues Critical infrastucture protection (CIP) ORGANIZING COMMITTEE General Chair: Refik Molva <refik.molva(a)eurecom.fr> Program Chairs: Erland Jonsson <erland.jonsson(a)ce.chalmers.se> Alfonso Valdes <valdes(a)sdl.sri.com> Publication Chair: Magnus Almgren <almgren(a)ce.chalmers.se> Publicity Chair: Yves Roudier <Yves.Roudier(a)eurecom.fr> Sponsor Chair: Marc Dacier <marc.dacier(a)eurecom.fr> PROGRAM COMMITTEE Tatsuya Baba (NTT Data, Japan) Lee Badger (DARPA, USA) Sungdeok Cha (KAIST, Korea) Steven Cheung (SRI International, USA) Herve Debar (France Telecom R&D, France) Simone Fischer-Hübner (Karlstad University, Sweden) Steven Furnell (University of Plymouth, UK) Bill Hutchinson (Edith Cowan University, Australia) Dogan Kesdogan (RWTH Aachen, Germany) Chris Kruegel (UCSB, USA) Håkan Kvarnström (TeliaSonera R&D, Sweden) Wenke Lee (Georgia Tech, USA) Roy Maxion (Carnegie Mellon University, USA) John McHugh (CMU/SEI CERT, USA) Ludovic Me (Supélec, France) George Mohay (Queensland University of Technology, Australia) Vern Paxson (ICSI and LBNL, USA) Giovanni Vigna (UCSB, USA) Andreas Wespi (IBM Research, Switzerland) Felix Wu (UC Davis, USA) Diego Zamboni (IBM Research, Switzerland) IMPORTANT DATES Deadline for paper submission : March 31, 2004 Deadline for panel submission : April 30, 2004 Notification of acceptance or rejection : June 4, 2004 Final paper camera ready copy : July 2, 2004 RAID conference dates : September 15-17, 2004 SUBMISSIONS Submissions must not substantially duplicate work that any of the authors has published elsewhere or has submitted in parallel to any other conference or workshop with proceedings. The full papers must list all authors and their affiliations; in case of multiple authors, the contact author must be indicated (note that RAID does not require anonymized submissions). Authors are invited to submit their papers electronically. A detailed description of the electronic submission procedure will be made available at http://raid04.eurecom.fr by end of February 2004. Submissions must conform to this procedure and be received within the submission deadline in order to be considered. Each submission will be acknowledged by e-mail. If acknowledgment is not received within seven days, please contact Erland Jonsson <erland.jonsson(a)ce.chalmers.se> All submissions and presentations must be in English. CORPORATE SPONSORS We solicit interested organizations to serve as sponsors for RAID 2004, particularly in sponsorship of student travel and other expenses for RAID. Please contact the Sponsor Chair, Marc Dacier <marc.dacier(a)eurecom.fr>, for information regarding corporate sponsorship of RAID 2004. REGISTRATION Detailed registration information (including fees, suggested hotels, and travel directions) will be provided at the RAID 2004 web site (http://raid04.eurecom.fr). PROCEEDINGS Accepted papers will be published by Springer Verlag in its Lecture Notes in Computer Science (LNCS) series. Instructions for authors will be provided at the RAID 2004 web site (http://raid04.eurecom.fr). STEERING COMMITTEE Chair: Marc Dacier (Eurecom, France) Hervé Debar (France Telecom R&D, France) Deborah Frincke (University of Idaho, USA) Huang Ming-Yuh (The Boeing Company, USA) Wenke Lee (Georgia Institute of Technology, USA) Ludovic Mé (Supélec, France) S. Felix Wu (UC Davis, USA) Andreas Wespi (IBM Research, Switzerland) Giovanni Vigna (UCSB, USA) For further information, please contact the Program Chairs or the General Chair.

1 0

CFP - ESORICS 2004 - Call for Papers
by Yves Roudier 27 Jan '04

27 Jan '04

[Apologies for multiple copies of this announcement] CALL FOR PAPERS ESORICS 2004 9th European Symposium on Research in Computer Security Institut Eurécom, Sophia Antipolis, French Riviera, France September 13-15, 2004 http://esorics04.eurecom.fr ESORICS 2004 will be collocated with RAID 2004 Papers offering novel research contributions in any aspect of computer security are solicited for submission to the Ninth European Symposium on Research in Computer Security (ESORICS 2004). Organized in a series of European countries, ESORICS is confirmed as the European research event in computer security. The symposium started in 1990 and has been held on alternate years in different European countries and attracts an international audience from both the academic and industrial communities. >From 2002 it will be held yearly. The Symposium has established itself as one of the premiere, international gatherings on Information Assurance. Papers may present theory, technique, applications, or practical experience on topics including: access control accountability anonymity applied cryptography authentication covert channels cryptographic protocols cybercrime data and application security data integrity denial of service attacks dependability digital right management firewalls formal methods in security identity management inference control information dissemination control information flow control information warfare intellectual property protection intrusion tolerance language-based security network security non-interference peer-to-peer security privacy-enhancing technology pseudonymity secure electronic commerce security administration security as quality of service security evaluation security management security models security requirements engineering security verification smartcards steganography subliminal channels survivability system security transaction management trust models and trust trustworthy user devices management policies The primary focus is on high-quality original unpublished research, case studies and implementation experiences. We encourage submissions of papers discussing industrial research and development. Proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Science series. PAPER SUBMISSIONS Submitted papers must not substantially overlap papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. Papers should be at most 15 pages excluding the bibliography and well-marked appendices (using 11-point font), and at most 20 pages total. Committee members are not required to read the appendices, and so the paper should be intelligible without them. To submit a paper, send to esorics04(a)dti.unimi.it a plain ASCII text email containing the title and abstract of your paper, the authors names, email and postal addresses, phone and fax numbers, and identification of the contact author. To the same message, attach your submission (as a MIME attachment) in PDF or portable postscript format. Do NOT send files formatted for word processing packages (e.g., Microsoft Word or WordPerfect files). Submissions not meeting these guidelines risk rejection without consideration of their merits. Submissions must be received by March 26, 2004 in order to be considered. Notification of acceptance or rejection will be sent to authors by May 30, 2004. Authors of accepted papers must be prepared to sign a copyright statement and must guarantee that their paper will be presented at the conference. Authors of accepted papers must follow the Springer Information for Authors guidelines for the preparation of the manuscript and use the templates provided there. ORGANIZING COMMITTEE General Chair Refik Molva Institut Eurécom email: Refik.Molva(a)eurecom.fr Program Chairs Peter Ryan Pierangela Samarati University of Newcastle upon Tyne University of Milan email: Peter.Ryan(a)newcastle.ac.uk email: samarati(a)dti.unimi.it Publication Chair Publicity Chair Dieter Gollmann Yves Roudier TU Hamburg-Harburg Institut Eurécom email: diego(a)tuhh.de email: roudier(a)eurecom.fr Sponsoring Chair Marc Dacier Institut Eurécom email: dacier(a)eurecom.fr PROGRAM COMMITTEE Vijay Atluri, Rutgers University, USA Joachim Biskup, Universitaet Dortmund, Germany Jan Camenisch, IBM Research, Switzerland David Chadwick, University of Salford, UK Ernesto Damiani, University of Milan, Italy Sabrina De Capitani di Vimercati, University of Milan, Italy Yves Deswarte, LAAS-CNRS, France Alberto Escudero-Pascual, Royal Institute of Technology, Sweden Simon Foley, University College Cork, Ireland Dieter Gollmann, TU Hamburg-Harburg, Germany Joshua D. Guttman, MITRE, USA Sushil Jajodia, George Mason University, USA Sokratis K. Katsikas, University of the Aegean, Greece Peng Liu, Pennsylvania State University, USA Javier Lopez, University of Malaga, Spain Roy Maxion, Carnegie Mellon University, USA Patrick McDaniel, AT&T Labs-Research, USA John McHugh, CERT/CC, USA Catherine A. Meadows, Naval Research Lab, USA Refik Molva, Institut Eurécom, France Peng Ning, NC State University, USA LouAnna Notargiacomo, The MITRE Corporation, USA Eiji Okamoto, University of Tsukuba, Japan Stefano Paraboschi, University of Bergamo, Italy Andreas Pfitzmann, TU Dresden, Germany Jean-Jacques Quisquater, Microelectronic laboratory, Belgium Steve Schneider, University of London, UK Christoph Schuba, Sun Microsystems, Inc., USA Michael Steiner, IBM T.J. Watson Research Laboratory, USA Paul Syverson, Naval Research Laboratory, USA Moti Yung, Columbia University, USA IMPORTANT DATES Paper Submission due: March 26, 2004 Acceptance notification: May 30, 2004 Final papers due: June 30, 2004

1 0

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