CFProposal AISB2018

  The Society for the Study of Artificial Intelligence and Simulation for Behaviour (AISB) is soliciting proposals for symposia to be held at the AISB 2018 convention.The longest running convention on Artificial Intelligence, A...


Insurance AI Analy...

Insurance AI Analytics Summit, October 9-10, London Join us for Europe’s only AI event dedicated to insurance where 300 attendees will unite from analytics, pricing, marketing, claims and underwriting. You’ll find out how advan...


AISB 2018 Convention

  The longest running convention on Artificial Intelligence, AISB 2018 will be held at the University of Liverpool, chaired by Floriana Grasso and Louise Dennis. As in the past years, AISB 2018 will provide a unique forum for p...


AI Summit London

     The AI Summit London: The World’s Number One AI Event for Business  Date: 9-10 May 2017 Venue: Business Design Centre, London. The AI Summit is the world’s first and largest/number one conference exhibition dedicated to t...


AISB Wired Health

    AISB and WIRED events have partnered to bring together inspirational high-profile speakers. Join hundreds of healthcare, pharmaceutical and technology influencers and leaders at the 4th Annual WIRED Health event, taking pl...


Hugh Gene Loebner

  The AISB were sad to learn last week of the passing of philanthropist and inventor Hugh Gene Loebner PhD, who died peacefully in his home in New York at the age of 74.  Hugh was founder and sponsor of The Loebner Prize, an an...


AI Europe 2016

  Partnership between AISB and AI Europe 2016: Next December 5th and 6th in London, AI Europe will bring together the European AI eco-system by gathering new tools and future technologies appearing in professional fields for th...


AISB convention 2017

  In the run up to AISB2017 convention (, I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid...


Harold Cohen

Harold Cohen, tireless computer art pioneer dies at 87   Harold Cohen at the Tate (1983) Aaron image in background   Harold Cohen died at 87 in his studio on 27th April 2016 in Encintias California, USA.The first time I hear...


Dancing with Pixies?...

At TEDx Tottenham, London Mark Bishop (the former chair of the Society) demonstrates that if the ongoing EU flagship science project - the 1.6 billion dollar "Human Brain Project” - ultimately succeeds in understanding all as...



AISB event Bulletin Item

CFP: DTVCS 2008 - Design, Testing and Formal Verification Techniques for Integrated Circuits and Systems

 Special Session: Design, Testing and Formal Verification Techniques for Integrated Circuits and Systems

                                        DTVCS 2008

                         August 18-20, 2008 (Kailua-Kona, Hawaii, USA)

Special Session in the IASTED International Conference on Circuits and Systems (CS 2008)
The IASTED International Conference on Circuits and Systems (CS 2008) will take place in
Kailua-Kona, Hawaii, USA, August 18-20, 2008.

Aims and Scope
The main target of the Special Session DTVCS is to bring together engineering researchers,
computer scientists, practitioners and people from industry to exchange theories, ideas,
techniques and experiences related to the areas of design, testing and formal verification techniques
for integrated circuits and systems. Contributions on UML and formal paradigms based on process algebras,
petri-nets, automaton theory and BDDs in the context of design, testing and formal verification techniques
for integrated circuits and systems are also encouraged.

Topics of interest include, but are not limited to, the following:

* digital, analog, mixed-signal and RF test
* built-in self test
* theory and foundations: model checking, SAT-based methods, use of PSL, compositional methods and probabilistic methods
* applications of formal methods: equivalence checking, CSP applications and transaction-level verification
* verification through hybrid techniques
* verification methods based on hardware description/system-level languages (e.g. VHDL, SystemVerilog and SystemC)
* testing and verification applications: tools, industrial experience reports and case studies

Industrial Collaborators and Sponsors
This special session is partnered with:

* CEOL: Centre for Efficiency-Oriented Languages "Towards improved software timing",
  University College Cork, Ireland (
* International Software and Productivity Engineering Institute, USA (
* Intelligent Support Ltd., United Kingdom (
* Minteos, Italy (
* M.O.S.T., Italy (
* Electronic Center, Italy (
* Legale Fiscale, Italy (

This special session is sponsored by:

* LS Industrial Systems, South Korea (
* Solari, Hong Kong (

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, System LSI Lab., LS 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
April 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 DTVCS,
submission guidelines, proceedings and publications.

Best regards,

General Chair of DTVCS: Dr. K.L. Man (University College Cork, Ireland)
Organising Chairs: Miss Maria O'Keeffe (University College Cork, Ireland)
                     and: Mr. Michele Mercaldi (M.O.S.T., Italy)