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


Read More...

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


Read More...

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


Read More...

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


Read More...

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


Read More...

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


Read More...

AISB convention 2017

  In the run up to AISB2017 convention (http://aisb2017.cs.bath.ac.uk/index.html), I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid...


Read More...

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


Read More...

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


Read More...

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


Read More...
0123456789

Notice

AISB event Bulletin Item

CFP: DCM09: Developments in Computational Models

http://www.pps.jussieu.fr/~danos/dcm09/

Second Call for Papers

                               DCM 2009
   5th International Workshop on Developments in Computational Models
               ** Computational Models From Nature **

               http://www.pps.jussieu.fr/~danos/dcm09/
                            Rhodes, Greece
                        Saturday, 11 July 2009

            DEADLINE FOR EXTENDED ABSTRACTS: 30 APRIL, 2009

        A satellite event of ICALP 2009 - http://icalp09.cti.gr/
=========================================================================

Plenary speakers so far:

David Harel (Weizmann Institute of Science) - to be confirmed
Prakash Panangaden (McGill University)
Damien Woods (Seville)

DCM 2009 is the fifth in a series of international workshops focusing on new computational models. It aims to bring together researchers who are
currently developing new computational models or new features of a
traditional one. And to foster interaction, to provide a forum for
presenting new ideas and work in progress, and to enable newcomers to learn
about current activities in this area.

DCM 2009 will be a one-day satellite event of ICALP 2009, with a special
focus on the theme 'Computational Models From Nature'.

Topics of interest include all abstract models of computation and their
properties, and their applications to the development of programming
languages and systems:

- quantum computation, including implementations and formal methods in
quantum protocols;
- probabilistic computation and verification in modelling situations;
- chemical, biological and bio-inspired computation, including spatial
models, self-assembly, growth models;
- general concurrent models including the treatment of mobility, trust, and
security;
- information-theoretic ideas in computing.

PLEASE SUBMIT an extended abstract (of around 10 pages or less) in PDF
format to the conference EasyChair submission page:

        https://www.easychair.org/login.cgi?conf=dcm2009

by the deadline:
                            30 April, 2009.

Accepted contributions will appear in a special issue of the EPTCS
(Electronic Proceedings in Theoretical Computer Science).

After the workshop, full versions of selected papers will be considered for
a special issue of the IJSI (International Journal of Software and
Informatics).

IMPORTANT DATES:

Submission deadline for abstracts: 30 April, 2009
Notification: 22 May
Workshop: 11 July, 2009

PROGRAMME COMMITTEE:

S. Barry Cooper (Leeds, Co-chair)
Vincent Danos (Edinburgh, Co-chair)
Paola Bonizzoni (Milan)
Alessandra Carbone (Paris) Luca Cardelli (Microsoft Research)
Robert Coecke (Oxford)
Mariangiola Dezani (Turin) Ellie D'Hondt (Brussels)
Lionel Dupuy (SCRI, Dundee)
Jerome Feret (INRIA, ENS Paris)
Maribel Fernandez (King's College, London)
Mark Hogarth (Cambridge)
Jean-Pierre Jouannaud (Tsinghua, CNRS)
Zoran Konkoli (Chalmers)
Angsheng Li (CAS, Beijing)
Ian Mackie (Ecole Polytechnique)
Gheorghe Paun (Bucharest)
Simon Perdrix (Paris) Grzegorz Rozenberg (Leiden)
Peter Selinger (Dalhousie) Jiri Wiedermann (Prague)
Damien Woods (Seville)

=========================================================================
Further information:  Barry Cooper, pmt6sbc@leeds.ac.uk
                     Vincent Danos, vincent.danos@gmail.com