CFProposal AISB2018

  The Society for the Study of Artificial Intelligence and Simulation for Behaviour (AISB) is soliciting proposals for symposia to be held at the AISB 2018 convention.The longest running convention on Artificial Intelligence, A...


Insurance AI Analy...

Insurance AI Analytics Summit, October 9-10, London Join us for Europe’s only AI event dedicated to insurance where 300 attendees will unite from analytics, pricing, marketing, claims and underwriting. You’ll find out how advan...


AISB 2018 Convention

  The longest running convention on Artificial Intelligence, AISB 2018 will be held at the University of Liverpool, chaired by Floriana Grasso and Louise Dennis. As in the past years, AISB 2018 will provide a unique forum for p...


AI Summit London

     The AI Summit London: The World’s Number One AI Event for Business  Date: 9-10 May 2017 Venue: Business Design Centre, London. The AI Summit is the world’s first and largest/number one conference exhibition dedicated to t...


AISB Wired Health

    AISB and WIRED events have partnered to bring together inspirational high-profile speakers. Join hundreds of healthcare, pharmaceutical and technology influencers and leaders at the 4th Annual WIRED Health event, taking pl...


Hugh Gene Loebner

  The AISB were sad to learn last week of the passing of philanthropist and inventor Hugh Gene Loebner PhD, who died peacefully in his home in New York at the age of 74.  Hugh was founder and sponsor of The Loebner Prize, an an...


AI Europe 2016

  Partnership between AISB and AI Europe 2016: Next December 5th and 6th in London, AI Europe will bring together the European AI eco-system by gathering new tools and future technologies appearing in professional fields for th...


AISB convention 2017

  In the run up to AISB2017 convention (, I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid...


Harold Cohen

Harold Cohen, tireless computer art pioneer dies at 87   Harold Cohen at the Tate (1983) Aaron image in background   Harold Cohen died at 87 in his studio on 27th April 2016 in Encintias California, USA.The first time I hear...


Dancing with Pixies?...

At TEDx Tottenham, London Mark Bishop (the former chair of the Society) demonstrates that if the ongoing EU flagship science project - the 1.6 billion dollar "Human Brain Project” - ultimately succeeds in understanding all as...



AISB event Bulletin Item

CFP: 20th IEEE Computer Security Foundations Workshop (CSF)

[New: CSFW is dropping its "W" and possibly becoming a symposium
 already in 2007 (subject to approval by the IEEE Computer Society).]

			   Call For Papers

       20th IEEE Computer Security Foundations Workshop (CSF)
		   Venice, Italy, July 6 - 8, 2007

     Sponsored by the Technical Committee on Security and Privacy
		     of the IEEE Computer Society

CSF20 website:
CSF home page:

The IEEE Computer Security Foundations Workshop (CSF) series brings
together researchers in computer science to examine foundational
issues in computer security. Over the past two decades, many seminal
papers and techniques have been presented first at CSF. The CiteSeer
Impact page ( ) lists CSF as
38th out of more than 1200 computer science venues in impact (top
3.11%) based on citation frequency. There is a possibility of
upgrading CSF to an IEEE symposium already in 2007.

New theoretical results in computer security are welcome. Also welcome
are more exploratory presentations, which may examine open questions
and raise fundamental concerns about existing theories. Panel
proposals are welcome as well as papers. Possible topics include, but
are not limited to:

  Authentication    Access control    Distributed systems
  Information flow  Trust and trust   security
  Security          management        Security for mobile
  protocols         Security models   computing
  Anonymity and     Intrusion         Executable content
  Privacy           detection         Decidability and
  Electronic voting Data and system   complexity
  Network security  integrity         Formal methods for
  Resource usage    Database security security
  control                             Language-based

Proceedings published by the IEEE Computer Society Press will be
available at the workshop, and selected papers will be invited for
submission to the Journal of Computer Security.

Important Dates

Papers due:                   Monday, February 5, 2007
Panel proposals due:          Thursday, March 15, 2007
Notification:                 Monday, March 26, 2007
Camera-ready papers:          Friday, April 27, 2007
Workshop:                     July 6-8, 2007

Program Committee

Tuomas Aura, Microsoft Research, UK
Michael Backes, Saarland University, Germany
Bruno Blanchet, ENS, France
Iliano Cervesato, Carnegie Mellon University, Qatar
George Danezis, K.U.Leuven, Belgium
Herve Debar, France Telecom, France
Riccardo Focardi, University of Venice, Italy
Dieter Gollmann, Hamburg University of Technology, Germany
Carl A. Gunter, University of Illinois at Urbana-Champaign, USA
Joshua Guttman, MITRE, USA
Masami Hagiya, University of Tokyo, Japan
Jonathan Herzog, Naval Postgraduate School, USA
Ninghui Li, Purdue University, USA
Cathy Meadows, NRL, USA
Jonathan Millen, MITRE, USA
John Mitchell, Stanford University, USA
Flemming Nielson, Technical University of Denmark, Denmark
Riccardo Pucella, Northeastern University, USA
Andrei Sabelfeld, Chalmers University of Technology, Sweden (chair)
Pierangela Samarati, University of Milan, Italy
Ravi Sandhu, George Mason University and TriCipher, USA
Andre Scedrov, University of Pennsylvania, USA
Vitaly Shmatikov, University of Texas at Austin, USA 
Geoffrey Smith, Florida International University, USA 
Steve Zdancewic, University of Pennsylvania, USA

Workshop Location

The 20th IEEE Computer Security Foundations Workshop will be held in
the facilities of Venice International University, located on the
island of San Servolo, about 10 minutes by water ferry from the Piazza
San Marco.

Instructions for Participants

Although submission is open to anyone, attendance is by invitation.
All authors of accepted papers are invited to attend, and authors are
required to ensure that at least one will be present. This year's
meeting location will allow us to invite more participants than
previous years.

Submission Instructions

Submitted papers must not substantially overlap with papers that have
been published or that are simultaneously submitted to a journal or a
conference with published proceedings. Papers should be submitted in
Postscript or Portable Document Format (PDF). Papers submitted in a
proprietary word processor format such as Microsoft Word cannot be
considered. At least one coauthor of each accepted paper is required
to attend CSF to present the paper.

Papers may be submitted using the two-column IEEE Proceedings style
available for various document preparation systems at IEEE-CS
Press. Papers in this style should be at most 12 pages long, not
counting bibliography and well-marked appendices. Alternatively,
papers can be in Springer LLNCS style. In LLNCS style papers must be
at most 20 pages long excluding the bibliography and well-marked

Committee members are not required to read appendices, and so the
paper must be intelligible without them. Papers not adhering to the
page limits will be rejected without consideration of their merits.

The paper submission website will be open in January 2007.

Proposals for panels are also welcome. They should be no more than
five pages in length and should include possible panelists and an
indication of which of those panelists have confirmed a desire to
participate. They should be submitted by email to the program chair by
March 15, 2007.

A session of five-minute talks was successful in the last two years,
so we are likely to have one again in 2007. Abstracts will be
solicited in May.

There are PDF and HTML versions of this call for papers at . For further
information contact:

|General Chair          |Program Chair        |Publications       |
|                       |                     |Chair              |
|-----------------------+------------------   +-------------------|
|Riccardo Focardi       |Andrei Sabelfeld     |Jonathan Herzog    |
|Universita di          |Chalmers             |Computer Science   |
|Venezia, Informatica   |University of        |Naval Postgraduate |
|Via Torino 155         |Technology           |School             |
|I-30172 Mestre (Ve),   |41296 Gothenburg,    |Monterey CA, 93943 |
|Italy                  |Sweden               |USA                |
|+39 041 2348 438       |+46 31 772 1000      |+1 831 656 3990    |
|focardi AT|andrei AT|jcherzog AT|