Bishop and AI news

Stephen Hawking thinks computers may surpass human intelligence and take over the world. This view is based on the ideology that all aspects of human mentality will eventually be realised by a program running on a suitable compu...


Connection Science

All individual members of The Society for the Study of Artificial Intelligence and Simulation of Behaviour have a personal subscription to the Taylor Francis journal Connection Science as part of their membership. How to Acce...


Al-Rifaie on BBC

AISB Committee member and Research Fellow at Goldsmiths, University of London, Dr Mohammad Majid al-Rifaie was interviewed by the BBC (in Farsi) along with his colleague Mohammad Ali Javaheri Javid on the 6 November 2014. He was a...


Rose wins the Loebne...

After 2 hours of judging at Bletchley Park, 'Rose' by Bruce Wilcox was declared the winner of the Loebner Prize 2014, held in conjunction with the AISB.  The event was well attended, film live by Sky News and the special guest jud...


AISB Convention 2015

The AISB Convention is an annual conference covering the range of AI and Cognitive Science, organised by the Society for the Study of Artificial Intelligence and Simulation of Behaviour. The 2015 Convention will be held at the Uni...


Yasemin Erden on BBC

AISB Committee member, and Philosophy Programme Director and Lecturer, Dr Yasemin J. Erden interviewed for the BBC on 29 October 2013. Speaking on the Today programme for BBC Radio 4, as well as the Business Report for BBC world N...


Mark Bishop on BBC ...

Mark Bishop, Chair of the Study of Artificial Intelligence and the Simulation of Behaviour, appeared on Newsnight to discuss the ethics of ‘killer robots’. He was approached to give his view on a report raising questions on the et...


AISB YouTube Channel

The AISB has launched a YouTube channel: ( The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...



AISB event Bulletin Item

2nd CALL FOR PAPERS: 5th International Conference on Algebra and Coalgebra in Computer Science, Sep 3 - 6, 2013,Warsaw, POLAND

CALCO 2013


                 Abstract submission:    February 22, 2013
                 Paper submission:       March 1, 2013
                 Author notification:    May 6, 2013
                 Final version due:      June 3, 2013


-- SCOPE --

CALCO aims to bring together researchers and practitioners with
interests in foundational aspects, and both traditional and emerging
uses of algebra and coalgebra in computer science.

It is a high-level, bi-annual conference formed by joining the
forces and reputations of CMCS (the International Workshop on
Coalgebraic Methods in Computer Science), and WADT (the Workshop on
Algebraic Development Techniques). Previous CALCO editions took place
in Swansea (Wales, 2005), Bergen (Norway, 2007), Udine (Italy, 2009)
and Winchester (UK, 2011). The fifth edition will be held in Warsaw,
the capital of Poland.


Andrej Bauer - University of Lubljana, Sl
Miko?aj Boja?czyk - Warsaw University, PL
Neil Ghani - University of Strathclyde, UK
Damien Pous - CNRS, ENS-Lyon, F


We invite submissions of technical papers that report results of
theoretical work on the mathematics of algebras and coalgebras, the
way these results can support methods and techniques for software
development, as well as experience with the transfer of the resulting
technologies into industrial practice. We encourage submissions in
topics included or related to those listed below.

  * Abstract models and logics
    - Automata and languages
    - Categorical semantics
    - Modal logics
    - Relational systems
    - Graph transformation
    - Term rewriting
    - Adhesive categories

  * Specialised models and calculi
    - Hybrid, probabilistic, and timed systems
    - Calculi and models of concurrent, distributed, mobile, and
      context-aware computing
    - General systems theory and computational models (chemical,
      biological, etc.)

  * Algebraic and coalgebraic semantics
    - Abstract data types
    - Inductive and coinductive methods
    - Re-engineering techniques (program transformation)
    - Semantics of conceptual modelling methods and techniques
    - Semantics of programming languages

  * System specification and verification
    - Algebraic and coalgebraic specification
    - Formal testing and quality assurance
    - Validation and verification
    - Generative programming and model-driven development
    - Models, correctness and (re)configuration of
    - Process algebra


This edition of CALCO will feature two new topics, and submission of
papers on these topics is especially encouraged.

   * Corecursion in Programming Languages
     - Corecursion in logic / constraint / functional / answer set
     - Corecursive type inference
     - Coinductive methods for proving program properties
     - Implementing corecursion
     - Applications

   * Algebra and Coalgebra in quantum computing
     - Categorical semantics for quantum computing
     - Quantum calculi and programming languages
     - Foundational structures for quantum computing
     - Applications of quantum algebra


Prospective authors are invited to submit full papers in English
presenting original research. Submitted papers must be unpublished and
not submitted for publication elsewhere. Experience papers are
welcome, but they must clearly present general lessons learned that
would be of interest and benefit to a broad audience of both
researchers and practitioners. As with previous editions, the
proceedings will be published in the Springer LNCS series. Final
papers should be no more than 15 pages long in the format specified by
Springer (see It is
recommended that submissions adhere to that format and
length. Submissions that are clearly too long may be rejected
immediately. Proofs omitted due to space limitations may be included
in a clearly marked appendix. Both an abstract and the full paper must
be submitted by their respective submission deadlines.

A special issue of the open access journal Logical Methods in Computer
Science (, containing extended versions of
selected papers, is also being planned.

Submissions will be handled via EasyChair


For the first time, this edition of CALCO will feature two kinds of
awards: a best paper award whose recipients will be selected by the PC
before the conference and a best presentation award, elected by the


Abstract submission:    February 22, 2013
Paper submission:       March 1, 2013
Author notification:    May 6, 2013
Final version due:      June 3, 2013


Luca Aceto - Reykjavik University, Iceland
Ji? Admek - TU Braunschweig, D
Lars Birkedal - IT University of Copenhagen, DK
Filippo Bonchi - CNRS, ENS-Lyon, F
Corina Cirstea - University of Southhampton, UK
Bob Coecke - University of Oxford, UK
Andrea Corradini - University of Pisa, I
Mai Gehrke - Universit Paris Diderot - Paris 7, F
H. Peter Gumm - Philipps University Marburg, D
Gopal Gupta - University of Texas at Dallas, USA
Ichiro Hasuo - Tokyo University, Japan
Reiko Heckel - University of Leicester, UK (cochair)
Bart Jacobs - Radboud University Nijmegen, NL
Ekaterina Komendantskaya - University of Dundee, Scotland, UK
Barbara Knig - University of Duisburg-Essen, D
Jos Meseguer - University of Illinois, Urbana-Champaign, USA
Marino Miculan - University of Udine, I
Stefan Milius - Friedrich-Alexander Universitt Erlangen-Nrnberg, D (cochair)
Larry Moss - Indiana University, Bloomington, USA
Till Mossakowski - DFKI Lab Bremen and University of Bremen, D
Prakash Panangaden - McGill University, Montreal, Canada
Dirk Pattinson - Imperial College London, UK
Dusko Pavlovic - Royal Holloway, University of London, UK
Daniela Petrisan - University of Leicester, UK
John Power - University of Bath, UK
Jan Rutten - CWI Amsterdam and Radboud University Nijmegen, NL
Lutz Schrder - Friedrich-Alexander Universitt Erlangen-Nrnberg, D
Monika Seisenberger - Swansea University, UK
Sam Staton - University of Cambridge, UK
Alexandra Silva - Radboud University Nijmegen and CWI Amsterdam, NL
Pawel Sobocinski - University of Southampton, UK
Yde Venema - University of Amsterdam, NL
Uwe Wolter - University of Bergen, NO


Bartek Klin      (University of Warsaw, Poland)
Andrzej Tarlecki (University of Warsaw, Poland)


Warsaw, the capital of Poland, is a lively city with many historic
monuments and sights, but also with a thriving business district. It
is easily accessible via two airports: the main Chopin Airport, used by
most international carriers, and the recently open Warsaw Modlin
Airport (30 minutes away by rail), used by budget airlines.


CALCO 2013 will be preceded by the CALCO Early Ideas Workshop, chaired
by Monika Seisenberger (Swansea University). The workshop is dedicated
to presentation of work in progress and original research
proposals. PhD students and young researchers are particularly
encouraged to contribute. Attendance at the workshop is open to all -
it is anticipated that many CALCO conference participants will want to
attend the CALCO Early Ideas workshop (and vice versa).

A workshop dedicated to tools based on algebraic and/or coalgebraic
principles, CALCO Tools, will be held alongside the main conference,
chaired by Lutz Schrder (Friedrich Alexander Universitt
Erlangen-Nrnberg). Papers of this workshop will be included in the
CALCO proceedings.

-- CALCO Early Ideas Overview --

The CALCO Early Ideas Workshop invites submissions on the same topics
as the CALCO conference: reporting results of theoretical work on the
mathematics of algebras and coalgebras, the way these results can
support methods and techniques for software development, as well as
experience with the transfer of the resulting technologies into
industrial practice. The list of topics of particular interest is
shown on the main CALCO 2013 page.

CALCO Early Ideas presentations will be selected according to originality,
significance, and general interest, on the basis of submitted 2-page short
contributions.  It can be work in progress, a summary of work submitted to a
conference or workshop elsewhere, or work that in some other way might be interesting to
the CALCO audience. A booklet with the accepted short contributions will be
available at the workshop.

Submissions will be handled via EasyChair
The use of LNCS style is strongly encouraged.

After the workshop, authors will have the opportunity to submit
a full 10-15 page paper on the same topic. The reviewing will be carried out by
the CALCO Early Ideas PC, with the support of the CALCO PC. The volume of
selected papers will be available online. Authors will retain copyright, and are
also encouraged to disseminate the results by subsequent publication elsewhere.

-- CALCO Early Ideas Dates --

2-page short contribution submission:    May 27, 2013
Notification for short contribution:    June 24, 2013
Final short contribution due:           July 15, 2013
CALCO Early Idead Workshop:         September 2, 2013

10-15 page paper submission:         October 15, 2013
Notification for paper:             December 15, 2013
Final paper version due:             January 15, 2014

-- CALCO Early Ideas Program Committee --

Bartek Klin, University of Warsaw, Poland
John Power, University of Bath, UK
Monika Seisenberger, Swansea University, UK (chair)

-- CALCO-Tools Overview --

CALCO-Tools will take place on the same dates as the main CALCO
conference, with no overlap between the technical programmes of the
two events. Topics of interest include systems, prototypes, and tools
developed specifically for the design, checking, execution, and
verification of (co)algebraic specifications, but also tools targeting
different application domains while making core or interesting use of
(co)algebraic techniques.

Tool submissions should not exceed 5 pages in LNCS format. The
accepted tool papers will be included in the final proceedings of the
conference. The tools should be made available on the web at the time
of submission. Each submission will be evaluated by at least three
reviewers; one or more of the reviewers will be asked to download and
use the tool. At least one of the authors of each tool paper must
attend the conference to demo the tool.

-- CALCO-Tools Dates --

Paper submission:     April 8, 2013
Author notification:    May 6, 2013
Final version due:     June 3, 2013

-- CALCO-Tools Programme Committee --

Einar Broch Johnsen, University of Oslo, Norway
Mark Hills, CWI Amsterdam, The Netherlands
Barbara Knig, University of Duisburg-Essen, Germany
Dorel Lucanu, Alexandru Ioan Cuza University, Romania
Dominik Luecke, CWI Amsterdam, The Netherlands
Till Mossakowski, DFKI, Germany
Lutz Schrder, Friedrich-Alexander Universitt Erlangen-Nrnberg, Germany (chair)
Alexandra Silva, Radboud University Nijmegen and CWI Amsterdam, The Netherlands


Queries related to submission, reviewing, and programme should be sent
to the relevant conference or workshop chairs.

Queries related to the organisation should be emailed to