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

CALL FOR PAPERS: Italian Conference on Theoretical Computer Science, 17-19 Sep 2014, Perugia, ITALY

   ICTCS 2014
   Fifteenth Italian Conference on Theoretical Computer Science
              Perugia, Italy, September 17-19, 2014

    Conference proceedings on  CEUR Workshop Proceedings Series
     Post-conference selection on Theoretical Computer Science


ICTCS-2014, the 2014 Italian Conference on Theoretical Computer Science,
is the 15th conference of the Italian Chapter of EATCS.  It will
be held in Perugia, September 17-19 2014 at the Department of
Mathematics and Computer Science.

The scope of the meeting is fostering the cross-fertilisation of
ideas stemming from different areas of theoretical computer science.
Hence, the Italian Conference on Theoretical Computer Science
represents an occasion for meeting and exchanging ideas and for
sharing experiences between researchers.  It also provides the ideal
environment where junior researchers and PhD students can meet
senior researchers.

Contributions in any area of theoretical computer science are
warmly solicited.  Typical, but not exclusive, topics of interest

       automata theory
       automated theorem proving
       complexity theory
       computational logic
       computational social choice
       distributed computing
       dynamical systems
       formal methods
       game theory
       graph theory
       knowledge representation
       model checking
       process algebras
       quantum computing
       rewriting systems
       security and trust
       specification and verification
       systems biology

The event is open to both Italian and foreign researchers,
which are welcome to submit papers and attend the Conference.

Invited speakers:

     Rocco De Nicola. IMT - Institute for Advanced Studies, Lucca
     Giuseppe Liotta. Department of Engineering, University of Perugia

Program co-chairs:
     Stefano Bistarelli (Univ. di Perugia)
     Andrea Formisano (Univ. di Perugia)

Program committee:

     Paolo Baldan (Univ. di Padova)
     Giampaolo Bella (Univ. di Catania)
     Marco Bernardo (Univ. di Urbino)
     Davide Bilo (Univ. di Sassari)
     Stefano Bistarelli (Univ. di Perugia)
     Michele Boreale (Univ. di Firenze)
     Tiziana Calamoneri (Sapienza Univ. di Roma)
     Antonio Caruso (Univ. del Salento)
     Ferdinando Cicalese (Univ. di Salerno)
     Flavio Corradini (Univ. di Camerino)
     Giorgio Delzanno (Univ. di Genova)
     Mariangiola Dezani (Univ. di Torino)
     Eugenio Di Sciascio (Politecnico di Bari)
     Agostino Dovier (Univ. di Udine)
     Marco Faella (Univ. di Napoli "Federico II")
     Michele Flammini (Univ. di L'Aquila)
     Andrea Formisano (Univ. di Perugia)
     Maurizio Gabbrielli (Univ. di Bologna)
     Fabio Gadducci (Univ. di Pisa)
     Raffaella Gentilini (Univ. di Perugia)
     Laura Giordano (Univ. del Piemonte Orientale)
     Giuseppe F. Italiano (Univ. di Roma "Tor Vergata")
     Sabrina Mantaci (Univ. di Palermo)
     Isabella Mastroeni (Univ. di Verona)
     Manuela Montangero (Univ. di Modena e Reggio Emilia)
     Maurizio Proietti (IASI-CNR)
     Antonino Salibra (Univ. Ca'Foscari Venezia)
     Francesco Santini (IIT-CNR, Univ. di Perugia)
     Marinella Sciortino (Univ. di Palermo)
     Maurice ter Beek (ISTI-CNR)

Dipartimento di Matematica e Informatica Universita` degli Studi di Perugia
via Vanvitelli, 1 I-06123 Perugia, Italy

Local contacts:
Conference Chairs: Stefano Bistarelli & Andrea Formisano
Conference web-site:

Important dates:
Submission deadline: 27 May 2014
Notification of acceptance: 15 July 2014
Final version: 10 August 2014
Conference: 17-19 September 2014

Two types of contributions are solicited:

Communications: up to 5 pages in llncs style.
     Suitable for extended abstracts of papers already appeared, or
     submitted, or to be submitted, elsewhere; papers reporting on
     ongoing researches on which the authors wish to get feedback
     at ICTCS and possibly intended to be included in future
     publications; overviews of PhD-theses, research projects, etc...

Regular papers: up to 12 pages in llncs style.
     Full original papers, presenting novel results, not appeared or
     submitted elsewhere.

In case of need, to ease the rewiewing process, the authors of regular
papers may add an appendix containing further material (or indicate
a web site containing longer version of the paper). In any case the
reviewers are not required to consider such furhter material in their

For each accepted contribution, at least one of the authors is required
to attend at the conference and present the paper.
All accepted contribution (communications and regular papers), presented
at the conference, will appear in a number of CEUR Workshop Proceedings

Articles must be written in English and formatted using the
Springer LNCS style (see the details on the conference web site).

Submission page:
Authors are invited to submit their manuscripts in PDF via the
EasyChair system at the link:

Post-conference issue on Theoretical Computer Science:

Selected papers from ICTCS-2014 will be invited to a special issue
of the journal Theoretical Computer Science.
The authors of a selection of the regular papers presented at the
conference will be asked to submit an improved version of their papers.
The selection will be determined by considering the outcome of the
conference reviewing phase.
The papers submitted for the journal issue should have been significantly
revised and extended with respect to the conference versions.
A second reviewing process, meeting the high standard of quality of the
international journal will select the papers to be accepted for the
special issue, among the invited ones.