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


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


Computerised Minds. ...

A video sponsored by the society discusses Searle's Chinese Room Argument (CRA) and the heated debates surrounding it. In this video, which is accessible to the general public and those with interest in AI, Olly's Philosophy Tube ...



AISB event Bulletin Item

CFP: IEEE Computer Security Foundations Symposium (CSF 2008)

 Call For Papers/Panels/Workshops

       21st IEEE Computer Security Foundations Symposium (CSF)
		Pittsburgh, PA, USA, June 23-25, 2008

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

CSF 2008 website:
CSF home page:

The IEEE Computer Security Foundations (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, top 3.11% in impact based on
citation frequency.

This year's CSF will be colocated with the 23rd IEEE Symposium on
Logic in Computer Science (LICS). It will be held at Carnegie Mellon
University in Pittsburgh, Pennsylvania, USA.

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 sought as well as papers. Possible topics include, but
are not limited to:

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

While CSF welcomes submissions beyond these topics, note that the main
focus of CSF is foundational security: submissions that lack
foundational aspects risk rejection.

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

Important Dates

Workshop proposals due:       Tuesday, November 20, 2007
Papers due:                   Tuesday, January 29, 2008
Panel proposals due:          Thursday, March 6, 2008
Notification:                 Monday, March 17, 2008
Camera-ready papers:          Wednesday, April 9, 2008
Symposium:                    June 23-25, 2008

Program Committee

Michael Backes, Saarland University and Max-Planck-Institute for Software Systems, Germany
Gilles Barthe, INRIA, France
Bruno Blanchet, ENS, France
Iliano Cervesato, Carnegie Mellon University, Qatar
Stephen Chong, Cornell University, USA
Vronique Cortier, LORIA, France
Jason Crampton, Royal Holloway, University of London, UK
Anupam Datta, Carnegie Mellon University, USA
lfar Erlingsson, Microsoft Research Silicon Valley, USA
Riccardo Focardi, University of Venice, Italy
Cdric Fournet, Microsoft Research Cambridge, UK
Dieter Gollmann, Hamburg University of Technology, Germany
Masami Hagiya, University of Tokyo, Japan
James Heather, University of Surrey, UK
Jonathan Herzog, Naval Postgraduate School, USA
Peeter Laud, University of Tartu, Estonia
Jonathan Millen, MITRE, USA
John Mitchell, Stanford University, USA
Mark Ryan, University of Birmingham, UK
Andrei Sabelfeld, Chalmers University of Technology, Sweden (chair)
Ravi Sandhu, University of Texas at San Antonio and TriCipher, USA
Andre Scedrov, University of Pennsylvania, USA
Vitaly Shmatikov, University of Texas at Austin, USA
Paul Syverson, Naval Research Laboratory, USA
Jan Vitek, Purdue University and IBM Research, USA

Paper 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
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 should be at most 12 pages long, not counting
bibliography and well-marked appendices.

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 open in January 2008. Note that
the website is not configured to support anonymized submissions.

Panel Proposals

Proposals for panels are welcome. They should be no more than three
pages in length, and should include the names of 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 6, 2008.

Workshop Proposals

Workshop proposals are due November 20, 2007. Instructions on workshop
proposals are at

Five-minute Talks

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

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

|General Chair          |Program Chair        |Publications       |
|                       |                     |Chair              |
|-----------------------+------------------   +-------------------|
|Anupam Datta           |Andrei Sabelfeld     |Jonathan Herzog    |
|Carnegie               |Chalmers             |Computer Science   |
|Mellon                 |University of        |Naval Postgraduate |
|University             |Technology           |School             |
|Pittsburgh, PA 15213   |41296 Gothenburg     |Monterey, CA 93943 |
|USA                    |Sweden               |USA                |
|+1 412 268 4254        |+46 31 772 1000      |+1 831 656 3990    |
|danupam AT     |andrei AT|jcherzog AT|