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 al-Rifaie ( Tu...


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


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



AISB event Bulletin Item

Final CFP: Mathematical and Engineering Methods in Computer Science MEMICS 2007--Deadline Approaching

 Last Call for Papers--Deadline Approaching

                           3rd Doctoral Workshop
        on Mathematical and Engineering Methods in Computer Science
                                MEMICS 2007


               October 26--28, 2007, Znojmo, Czech Republic

The MEMICS 2007 workshop is organized jointly by the Faculty of
Informatics, Masaryk University, and the Faculty of Information Technology,
Brno University of Technology.

The aim: To provide a forum for doctoral students interested in
applications of mathematical and engineering methods in computer science
with a special focus on the various aspects of parallel and distributed

Topics: Submissions are invited especially in the following but not
exclusive areas: parallel and distributed computing, GRID computing,
computer networks and advanced applications, models and techniques for
formal verification, security; also simulation, testing and diagnostics,
theory of formal languages, quantum computing, modern hardware concepts.

Invited lectures will be given by Javier Esparza (Munchen), Tiziana
Margaria-Steffen (Potsdam), Geraint Price (London), Ian Taylor (Cardiff),
and Bernhard Steffen (Dortmund).

Regular papers: Students are invited to register a paper before
September 2, 2007 and submit the paper (not exceeding 8 pages in the LNCS
style) before September 9, 2007. Authors will be notified of acceptance by
September 28, 2007. Detailed instructions are available at

Presentations: Students may also present recent outstanding work, if it has
been (or will be) presented at a leading computer science conference.
Presentations to be included in the programme will be selected on the basis
of a one-page abstract, which interested students are invited to submit.
The one-page abstracts will be published in the proceedings.

The proceedings will be available at the workshop in printed form. Selected
best papers will be considered for journal publication (with a full journal
review process).

Venue: The workshop will be held in Znojmo, a beautiful town on the
Austrian borders famous for a number of examples of medieval architecture
and nearby vineyards.

Programme Committee Chair
Ludek Matyska, Brno

Programme Committee Co-Chairs
Milan Ceska, Brno
Petr Hlineny, Brno
Mojmir Kretinsky, Brno

Organizing Committee Chair
Jan Staudek, Brno

Important Dates
Paper registration deadline:  September 2, 2007
Paper submission deadline:    September 9, 2007
Author notification:          September 28, 2007
Camery ready paper due:       October 5, 2007
Workshop dates:               October 26-28, 2007 

More information: