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: Universal Machines and Computations (MCU 2010)


 International Conference

                  MACHINES ET CALCULS UNIVERSELS
                UNIVERSAL MACHINES AND COMPUTATIONS

                      PITTSBURGH, PA, USA

                   Carnegie Mellon University
                 Department of Computer Science

                             ---------
                         SEPTEMBER 21-25

-----------------------------------------------------------------------

Organizing institutions :

        Carnegie Mellon University, Department of Computer Science
        Université d'Orléans, LIFO
        Université Pau Verlaine - Metz, LITA

-----------------------------------------------------------------------


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

TOPICS :

        Digital Computations:
           Turing machines, register machines, cellular automata,
           other automata, tiling of the plane, polyominoes, snakes,
           neural networks, molecular computations, word processing
           (goups and monoids), other machines
        Analog and Hybrid Computations:
           BSS machines, infinte cellular automata, real machines,
           quantum computing
        In both cases:
        frontiers between a decidable halting problem and an
        undecidable one in the various computational settings
        minimal universal codes:
           size of such a code, namely, for Turing machines, register
           machines, cellular automatas, tilings, neural nets,
           Post systems, ...
        computation complexity of machines with a decidable halting
           problem as well as universal machines
        self-reproduction and other tasks
        universality and decidability in the real field

PROGRAM COMMITTEE :

        Erzsébet CSUHAJ-VARJÚ, Hungarian Academy of Sciences, Hungary
        Jérôme DURAND-LOSE, University of Orléans, France, co-chair
        Vladik KREINOVICH, the University of Texas at El Paso
        Maurice MARGENSTERN, LITA, University of Metz, France, co-chair
        Cris MOORE, Santa Fe, USA
        Gheorghe PAUN, Romanian Academy, Bucharest, Romania
        Igor POTAPOV, University of Liverpool, UK
        Yurii ROGOZHIN, Institute of Mathematics, Chisinau, Moldov
        Klaus SUTNER, Carnegie Mellon University, Pittsburgh, USA, co-chair
        Jir  WIEDERMANN, Academy of Science, Czech Republic
        Damien WOODS, University College, Cork, Ireland

ORGANIZING COMMITTEE :

        Klaus SUTNER, Carnegie Mellon University, Pittsburgh, USA, co-chair
        Jérôme DURAND-LOSE, Université d'Orléans, Orléans, France, co-chair
        Maurice MARGENSTERN, Université Paul Verlaine - Metz, Metz, France, co-chair

INVITED SPEAKERS :

        Andrew ADAMATZKY, University of Bristol, UK
        Olivier BOURNEZ, LORIA, INRIA-Lorraine, France
        Mark BURGIN, University of Califonia at Los Angeles, USA
        Jarkko KARI, University of Turku, Finland
        Pascal KOIRAN, École Normale Supérieure de Lyon, France
        Kenichi MORITA, University of Hiroshima, Japan
        Kumbakonam Govindarajan SUBRAMANIAN, Christian College of Chennai, India
        Wilfried SIEG
        Stephen WOLFRAM, Wolfram Research

  MCU'95, MCU'98 and MCU'2001 gave rise to TCS special issues on "Machines, Computations and Universality": 168-2 (1996), 231-2 (2000) and 296-2 (2002). MCU'2004 and MCU'2007 gave rise to Fundamenta Informaticae
special issues: 74(4) (2005), 91(1) and 91(2) (2008). The interest of computer scientists for the topics of the conference increased in the last years. New domains appeared, continuing them in a natural way. This explains
why a regular scientifing meeting on this topics must hold, each three years.
And so, three years after MCU'2007 the turn of MCU'2010 comes.

CONFERENCE PROCEEDINGS

  The proceedings of MCU'2010 will published by Electronic Proceedings
in Theoretical Computer Science, which already published the proceedings
of CSP 2008 and DCFS 2009, and they will publish those of DCM 2009 (under ICALP 2009) and MeCBIC 2009 for instance. The proceedings will be available at the conference as a CD.

  Please, keep in mind the following dates :

        Dead line for submission :                March, 15, 2010
        Notification of acceptance or rejection : June, 1, 2010
        Dead line for receiving corrected version of accepted papers :
                                                  July, 1, 2010

IJFCS SPECIAL ISSUE

  A special issue of the International Journal of Foundations of
Computer Science devoted to "Universal Machines and Computations'VI" will be published on the topics of the conference. A call for paper will be launched
just after MCU'2010 on the topics of the conference. The submitted
papers will be refereed and accepted papers after this process will be
published in the special issue. It will be possible to submit an extended
version of a paper published in the EPTCS proceedings of MCU'2010, provided
that the extension is actually needed or, preferably, that it contains new substantial results. The selection process for the special issue will be strict on these criteria.

REGISTRATION FEES :

In order to attend the conference, send your registration form by surface
mail at the below indicated address, by FAX, by e-mail or using the web
site of the conference when the date of registration will be announced. Registration fees amount to 400 USD if paid before July 1st 2010 and to 450 USD after that date. Further details for the payment of the registration fees will be available later on the web site of the conference.

LANGUAGE OF THE CONFERENCE

  English.

RECEPTION

Reception of participants will hold on Monday, September, 20 and on
Tuesday, September, 21, at times which will be later indicated.

MAIL:

e-mails :

   margens@univ-metz.fr
   jerome.durand-lose@univ-orleans.fr
   sutner@cs.cmu.edu

by surface mail :

Maurice MARGENSTERN
Université Paul Verlaine - Metz,
LITA, EA 3097, UFR MIM,
Campus du Saulcy,
F - 57045 METZ CEDEX
FRANCE

Jérôme Durand-Lose
Université d'Orléans,
LIFO, Batiment IIIA,
Rue Léonard de Vinci
B.P. 6759
F - 45067 ORLEANS Cedex 2

FAX: +33387315309

WEB SITE:

  To be announced later