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

CALL FOR PAPERS: "Logic and its Applications", 27 June-1 July 2011, Russia

Special session on 'LOGIC AND ITS APPLICATIONS' 4th International Conference on Pattern Recognition and Machine Intelligence(PReMI'11) Moscow, Russia

Organized by Higher School of Economics (HSE), Moscow in collaboration with Machine Intelligence Unit, Indian Statistical Institute (ISI), Kolkata,India

Co-located & Concurrently with 13th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing (RSFDGrC?2011) (June 25-27, 2011, Higher School of Economics, Moscow, Russia)


The primary goal of the conference is to present state-of-the-art scientific results, encourage academic and industrial interaction, and promote collaborative research activities in Pattern Recognition, Machine Intelligence and related fields, involving scientists, engineers, professionals, researchers and students. This is the first time, when the conference, which started in India in 2005 and was held every two years, is being organized outside India and in Eastern Europe to make it an ideal platform for researchers from East and West to share their views and experiences in the said areas.

This year the conference committee has decided to organize a special session on 'Logic and its applications' to foster the ever growing interaction between the mathematicians, philosophers, logicians and the application oriented communities in machine intelligence and related fields.


Authors are invited to submit papers presenting original and unpublished research in any area of logic and applications. Articles on mathematical and philosophical logic, use of formal logic in areas of theoretical computer science, cognitive science, artificial intelligence, machine intelligence or on the relationship between logic and other branches of knowledge, are welcome.

Submissions must be made online through Easychair following the submission
link: with a note that it is for the special session on 'Logic and its Applications'. Papers should be four to six A4 pages (including figures and tables) complete with authors? 
affiliations. If necessary, detailed proofs of technical results can be included in a clearly marked appendix. Manuscripts must be prepared with LaTex2e (use Springer class file See authors? instruction in

All accepted papers would be included in the conference proceedings to be published by Springer-Verlag in its LNCS/LNAI series. For an accepted paper to be included in the proceedings, one of the authors must commit to presenting the paper at the conference.

Important Dates:

Full Paper Submission : February 20, 2011

Acceptance Notification : March 10, 2011

Camera ready Submission : March 20, 2011

Session Organizers:

Mihir Chakraborty (Indian Statistical Institute and Jadavpur University) Sujata Ghosh (University of Groningen)