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

Notice

AISB event Bulletin Item

CF Participation: Mathematical and Engineering Methods in Computer Science MEMICS 2007

http://www.memics.cz/

 Call for Participation
                      
                           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), Ian Taylor (Cardiff),
and Bernhard Steffen (Dortmund).

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
Early payment:                October 2, 2007
Workshop dates:               October 26-28, 2007 

More information: http://www.memics.cz