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/