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


Read More...

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


Read More...

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


Read More...

AISB YouTube Channel

The AISB has launched a YouTube channel: http://www.youtube.com/user/AISBTube (http://www.youtube.com/user/AISBTube). The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...


Read More...

Lighthill Debates

The Lighthill debates from 1973 are now available on YouTube. You need to a flashplayer enabled browser to view this YouTube video  


Read More...
01234

Notice

AISB event Bulletin Item

CFP: Doctoral Workshop Mathematical and Engineering Methods in Computer Science MEMICS 2007

http://www.memics.cz/

Second Call for Papers

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

                           http://www.memics.cz/

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

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), and Ian Taylor
(Cardiff).

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
http://www.memics.cz/.

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: http://www.memics.cz