Call for Papers Workshop on Information and Computer Security ICS 2006 Timisoara, Romania September 29-30, 2006 The ICS 2006 Workshop, to be held in conjunction with the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), is intended as an international forum for researchers in all areas of information and computer security. Submissions of papers presenting original research are invited for the following workshop tracks: Formal methods in security Decidability and complexity Language-based security Security models Security protocols Security verification Security policies and services Authentication Anonymity and privacy Electronic voting Information flow Intrusion detection Resource usage control Security for mobile computing Trust management Cryptology: We are particularly interested in work that can help build bridges between cryptology and the other two tracks. Examples of this include, but are not limited to: - Protocols that provide services in application fields such as e-government, and that are defined precisely enough to be used as reasonable targets for formal analysis tools; - Implementations of cryptographic primitives that can be formally analyzed; Work on combinatorial optimization problems that arise in cryptographic applications and that can be approximately solved using techniques from formal modeling. Submission and Proceedings Details about the submission procedure can be found on the workshop web page: http://ics.ieat.ro/. Pre-proceedings will be available during the workshop; post-proceedings will be published by Elsevier as a special issue of Electronic Notes in Theoretical Computer Science. Important Dates Deadline: June 30, 2006 Acceptance: August 28, 2006 Camera-ready version: September 10, 2006 Workshop: September 29-30, 2006 Program Committee Alessandro Armando (University of Genova, Italy) David Basin (ETH Zürich, Switzerland) Daniele Beaquier (University of Paris 12, France) Gabriel Ciobanu (Romanian Academy, Institute of Computer Science) Catalin Dima - co-chair (University of Paris 12, France) Michael Fisher (University of Liverpool, UK) Juan Garay (Bell Labs, USA) Sigi Guergens (Fraunhofer SIT, Germany) Steve Kremer (INRIA & ENS Cachan, France) Ruggero Lanotte (University of Insubria, Como, Italy) Marius Minea - co-chair (IeAT, Romania) Rene Peralta (NIST, USA) Ferucio Laurentiu Tiplea - co-chair (UCF, USA) Luca Viganò (ETH Zürich, Switzerland) Invited Speaker: Fabio Martinelli (IIT Pisa, CNR, Italy) Instructions for Authors Submissions must not substantially duplicate work that any of the authors has published elsewhere or has submitted in parallel to any other journal, conference, or workshop that has proceedings. Authors of an accepted paper must guarantee that at least one of the authors will attend the conference and present their paper. Venue The workshop will be hosted by the Institute e-Austria Timisoara (Romania), a research and technology transfer institute in the field of information technologies. For more details, please consult the workshop home page http://ics.ieat.ro/