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

CFP: FCT 2009: Fundamentals of Computer Theory

http://fct2009.im.pwr.wroc.pl/

Call for Papers

                           FCT 2009
17th International Symposium on Fundamentals of Computer Theory

               September 2-4, 2009, Wroclaw, Poland

                  http://fct2009.im.pwr.wroc.pl/
-------------------------------------------------------------------

The Symposium on  Fundamentals of  Computation Theory was  established in 1977
for researchers interested in all aspects of theoretical computer science,  as
well as new emerging  fields such as bio-inspired computing.  It is a biennial
series of conferences previously held in Poznan (Poland, 1977), Wendisch-Rietz
(Germany,  1979),  Szeged (Hungary, 1981),  Borgholm (Sweden,  1983),  Cottbus
(Germany, 1985),  Kazan (Russia, 1987),  Szeged (Hungary, 1989),  Gosen-Berlin
(Germany,  1991),  Szeged (Hungary,  1993),  Dresden (Germany,  1995),  Krakow
(Poland,  1997),  Iasi (Romania,  1999), Riga (Latvia,  2001),  Malmo (Sweden,
2003), Lubeck (Germany, 2005), and Budapest (Hungary, 2007).

In 2009,  FCT will be hosted by Wroclaw University of Technology in south-west
part of Poland.


PROCEEDINGS

The conference  proceedings will be published  (as usual) in the Lecture Notes
in Computer Science series of Springer-Verlag.


SUBMISSIONS

Authors are invited to  submit papers presenting original unpublished research
in all areas of theoretical computer science.  Topics of interest include (but
not limited to):

* Algorithms: algorithm design and optimization; combinatorics and analysis of
  algorithms;  computational complexity;  approximation, randomized, and
  heuristic methods;  parallel  and distributed computing;  circuits and
  boolean functions; online algorithms;  machine learning and artificial
  intelligence; computational geometry; computational algebra; ...

* Formal methods: automata and formal languages; computability and nonstandard
      computing models; algebraic and categorical methods;  logics and model
      checking;  principles of programming languages;  program analysis  and
      transformation;  specification,  refinement  and  verification;   type
      systems;  concurrency theory;  database theory,  semi-structured  data
      and finite  model theory;  models of reactive,  hybrid and  stochastic
      systems; ...

* Emerging  fields:  security  and  cryptography;  ad hoc and  mobile systems;
      quantum computation; computational biology;high performance computing;
      algorithmic game theory; ...

Authors are invited to submit  a draft of  a full paper  with at most 12 pages
in the LNCS  style.  The paper should provide  sufficient detail  to allow the
Program  Committee  to  evaluate  its  validity,  quality,  and relevance.  If
necessary,  detailed  proofs  can  be  attached  as an appendix.  Simultaneous
submission to other conferences  with published proceedings or journals is not
allowed.

For further information on the conference, please visit the URL at

                       http://fct2009.im.pwr.wroc.pl/

IMPORTANT DATES

Submission Deadline: 9 April, 2009, 23:59 GMT
(there will be no extensions)
Author Notification: 15 May, 2009
Camera Ready Manuscript Due: 22 May, 2009


PROGRAM COMMITTEE CHAIRS

Miroslaw Kutylowski (Wroclaw, Poland) - chair
Witold Charatonik (Wroclaw, Poland) - co-chair

PROGRAM COMMITTEE

Roberto Amadio (Paris, France)
Manuel Bodirsky (Paris, France)
Jacek Cichon (Wroclaw, Poland)
Anuj Dawar (Cambridge, United Kingdom)
Giorgio Delzanno (Genova, Italy)
Cunsheng Ding (Hong Kong, China)
Thomas Erlebach (Leicester, United Kingdom)
Joachim von zur Gathen (Bonn, Germany)
Andrew D. Gordon (Cambridge, United Kingdom)
Thomas Jansen (Dortmund, Germany)
Stasys Jukna (Frankfurt, Germany)
Maciej Koutny (Newcastle, United Kingdom)
Antonin Kucera (Prague, Czech Republic)
Stefano Leonardi (Rome, Italy)
Maciej Liskiewicz (Lubeck, Germany)
Tomasz Luczak (Poznan, Poland)
Alexander Okhotin (Turku, Finland)
Andreas Podelski (Freiburg, Germany)
Sergio Rajsbaum (Mexico, Mexico)
Jose Rolim (Geneva, Switzerland)
Piotr Sankowski (Warszawa, Poland)
Vladimiro Sassone (Southampton, United Kingdom)
Helmut Seidl (Munchen, Germany)
Maria Jose Serna Iglesias (Barcelona, Spain)
Paul Spirakis (Patras, Greece)
Jean-Marc Talbot (Provence, France)
Jerzy Tiuryn (Warszawa, Poland)
Stephan Waack (Gottingen, Germany)
Igor Walukiewicz (Bordeaux, France)
Thomas Zeugmann (Hokkaido, Japan)

STEERING COMMITTEE

Bogdan Chlebus (Warszawa/Denver, Poland/USA)
Zoltan Esik (Szeged, Hungary)
Marek Karpinski - chair (Bonn, Germany)
Andrzej Lingas (Lund, Sweden)
Miklos Santha (Paris, France)
Eli Upfal (Providence, USA)
Ingo Wegener (Dortmund, Germany)