ICO Alan Turing Lect...

  To celebrate the 100 year anniversary of the birth of the world renowned mathematician, code breaker, logician and computer scientist, the first ICO Alan Turing Lecture was held at the Museum of Science and Industry in Manchest...


Read More...

AISB Workshop: Senso...

Poster: http://aisb.org.uk/media/files/stw2012.pdf (media/files/stw2012.pdf) A day of discussion on the Sensorimotor account of Perception, Consciousness  and Robotics, its development and contemporary state. The first in a seri...


Read More...

Ms Pac-Man vs Ghosts...

This year's Ms Pac-man vs Ghosts Competition is now open for submissions. The competition allows you to develop AI controllers for the classical arcade game Ms Pac-Man. However, this year the competition takes a unique look at the...


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

New AISB Website

Happy New Year! Welcome to the new AISB website. Over the coming weeks and months we will be making additional changes to the website, introducing some new content and so on. Please check back regularly to see what's new! During...


Read More...

AISB Website Beta

The AISB's new website is now gone beta. Some of the new features member's can look forward to enjoying will be better integration with the AISB LinkedIn group, frequent news updates, a new member's section and up-to-date AI med...


Read More...

AISB 2011 Convention

The AISB'11 Convention (http://www.aisb.org.uk/convention/aisb11/) was held from 4-7 April at York, organised by Dimitar Kazakov and George Tsoulas.


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

Alan Turing Year

2012 marks the centenary of Alan Turing's birth. Alan Turing Year (http://www.turingcentenary.eu/), seeks to bring together news of all the events and organisations which will be marking the occasion.


Read More...

Honouring Turing at ...

The AISB's own Convention in 2012 (convention/aisb12) will honour Turing   For 2012, AISB and IACAP (The International Association for Computing and Philosophy) have merged their annual symposia/conferences to form the AISB/IA...


Read More...
0123456789

Notice

AISB event Bulletin Item

CFP: Extended deadline: DATICS 2008 - Design, Analysis and Tools for Integrated Circuits and Systems

http://digilander.libero.it/systemcfl/datics

CALL FOR PAPERS
Special session: Design, Analysis and Tools for Integrated Circuits and Systems

                          DATICS 2008

             July 22-24, 2008 (Crete Island, Greece)
             http://digilander.libero.it/systemcfl/datics

Aims and Scope
--------------
The main target of the Special Session: DATICS 2008 of the WSEAS CSCC multi-conference
(http://www.wseas.org/conferences/2008/greece/icc/) is to bring together software/hardware
engineering researchers, computer scientists, practitioners and people from industry to
exchange theories, ideas, techniques and experiences related to all areas of design, analysis and
tools for integrated circuits (e.g. digital, analog and mixed-signal circuits) and
systems (e.g. real-time, hybrid and embedded systems).
The special session also focuses on the field of formal methods and
low power design methodologies for integrated circuits.

Topics
------
Topics of interest include, but are not limited to, the following:
* digital, analog, mixed-signal designs and test
* RF design and test
* design-for-testability and built-in self test methodologies
* reconfigurable system design
* high-level synthesis
* EDA tools for design, testing and verification
* low power design methodologies
* network and system on-a-chip
* application-specific SoCs
* specification languages: SystemC, SystemVerilog and UML
* all areas of modelling, simulation and verification
* formal methods and formalisms (e.g. process algebras, petri-nets, automaton theory and BDDs)
* real-time, hybrid and embedded systems
* software engineering (including real-time Java, real-time UML and performance metrics)

Industrial Collaborators
------------------------
DATICS 2008 is partnered with:
* CEOL: Centre for Efficiency-Oriented Languages "Towards improved software timing",
  University College Cork, Ireland ( http://www.ceol.ucc.ie)
* International Software and Productivity Engineering Institute, USA (http://www.intspei.com )
* Intelligent Support Ltd., United Kingdom (http://www.isupport-ltd.co.uk)
* Minteos, Italy (http://www.minteos.com)
* M.O.S.T., Italy (http://www.most.it)
* Electronic Center, Italy (http://www.el-center.com)

DATICS 2008 is sponsored by:
1. LS Industrial Systems, South Korea (http://eng.lsis.biz)
2. Solari, Hong Kong (http://www.solari-hk.com)



Technical Program Committee
---------------------------
* Prof. Vladimir Hahanov, Kharkov National University of Radio Electronics, Ukraine
* Prof. Paolo Prinetto, Politecnico di Torino, Italy
* Prof. Alberto Macii, Politecnico di Torino, Italy
* Prof. Joongho Choi, University of Seoul, South Korea
* Prof. Wei Li, Fudan University, China
* Prof. Michel Schellekens, University College Cork, Ireland
* Prof. Franco Fummi, University of Verona, Italy
* Prof. Jun-Dong Cho, Sung Kyun Kwan University, South Korea
* Prof. AHM Zahirul Alam, International Islamic University Malaysia, Malaysia
* Prof. Gregory Provan, University College Cork, Ireland
* Dr. Emanuel Popovici, University College Cork, Ireland
* Dr. Jong-Kug Seon, Telemetrics Lab., LG Industrial Systems Co. Ltd., South Korea
* Dr. Umberto Rossi, STMicroelectronics, Italy
* Dr. Graziano Pravadelli, University of Verona, Italy
* Dr. Vladimir Pavlov, International Software and Productivity Engineering Institute, USA
* Dr. Jinfeng Huang, Philips & LiteOn Digital Solutions Netherlands, Advanced Research Centre,
        The Netherlands
* Dr. Thierry Vallee, Georgia Southern University, Statesboro, Georgia, USA
* Dr. Menouer Boubekeur, University College Cork, Ireland
* Dr. Ana Sokolova, University of Salzburg, Austria
* Dr. Sergio Almerares, STMicroelectronics, Italy
* Ajay Patel (Director), Intelligent Support Ltd, United Kingdom
* Monica Donno (Director), Minteos, Italy
* Alessandro Carlo (Manager), Research and Development Centre of FIAT, Italy
* Yui Fai Lam (Manager), Microsystems Packaging Institute, Hong Kong University of
   Science and Technology, Hong Kong

Important Dates
---------------
May 1, 2008: Deadline for submission of completed papers
May 15, 2008: Notification of acceptance/rejection to authors

Please visit our web-site for further information on the hosting conference of DATICS,
submission guidelines, proceedings and publications and international technical reviewers.

Best regards,

General Chair of DATICS: Dr. K.L. Man (University College Cork, Ireland)
and
Organising Committee Chair: Miss Maria O'Keeffe (University College Cork, Ireland)