[Om-announce] DATICS'09 - Call For Papers
SS DATICS
ss.datics at gmail.com
Fri Sep 26 23:45:18 CEST 2008
DATICS'09 - Call For Papers
Apologies for any multiple copies received. We would appreciate it if
you could distribute the following call for papers to any relevant mailing
lists you know
of.
-------------------------------------------------------------------------------------------
DATICS: Design, Analysis and Tools for Integrated Circuits and
Systems event was created by a network of researchers and engineers
both from academia and industry. The first edition took place in Crete
Island, Greece, July 22-24, 2008 (
http://digilander.libero.it/systemcfl/datics).
The main target of DATICS'09 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).
DATICS'09 also focuses on the fields of formal methods, wireless sensor
networks (WSNs) and low power design methodologies for integrated circuits
and systems.
Topics of interest include, but are not limited to, the following:
* digital, analog, mixed-signal and asynchronous design
* processor, memory and RF design
* DSP and FPGA/ASIC-based design
* synthesis and physical design
* ATPG, design-for-testability and built-in self test methodologies
* embedded system hardware/software co-design and co-verification
* CAD/EDA methodologies and tools
* statistical timing analysis and low power design methodologies
* network and system on-a-chip
* application-specific SoCs
* communication and wireless sensor networks (WSNs)
* specification languages: SystemC, SystemVerilog and UML
* 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 methods based on hardware description/system-level
languages (e.g. VHDL, SystemVerilog and SystemC)
* industrial experience reports and case studies
* real-time, hybrid and embedded systems
* all areas of modelling, simulation and verification of systems
* formalisms: process algebras, petri-nets, automaton theory and BDDs
* software engineering (including real-time Java, real-time UML and
performance metrics)
DATICS'09 has been organised into two special sessions:
* DATICS-IMECS'09
(http://digilander.libero.it/systemcfl/datics09-imecs) will
be hosted by the International MultiConference of Engineers and
Computer Scientists 2009 (IMECS'09) which will take place in Hong
Kong, 18-20 March, 2009.
* DATICS-ICIEA'09
(http://digilander.libero.it/systemcfl/datics09-iciea) will
be hosted by the 4th IEEE Conference on Industrial Electronics and
Applications (ICIEA'09) which will
take place in Xi'an, China, 25-27 May, 2009.
DATICS'09 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)
* Legale Fiscale, Italy (http://www.legalefiscale.it)
DATICS'09 is sponsored by:
* LS Industrial Systems, South Korea (formerly LG Industrial Systems)
- http://eng.lsis.biz
* Solari, Hong Kong (official sales agent of Sanyo LCD camera
modules) - http://www.solari-hk.com
International Program Committee:
* Prof. Vladimir Hahanov, Kharkov National University of Radio
Electronics, Ukraine
* Prof. Paolo Prinetto, Politecnico di Torino, Italy
* Prof. Massimo Poncino, 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
* Dr. Emanuel Popovici, University College Cork, Ireland
* Dr. Jong-Kug Seon, System LSI Lab., LS Industrial Systems R&D Center,
South Korea
* Dr. Umberto Rossi, STMicroelectronics, Italy
* Prof. Franco Fummi, University of Verona, Italy
* Dr. Graziano Pravadelli, University of Verona, Italy
* Yui Fai Lam, Manager, Mircosystems Packaging Institute, University of
Science and Technology, Hong Kong
* Dr. Vladimir PavLov, International Software and Productivity
Engineering Institute, USA
* Ajay Patel, Director, Intelligent Support Ltd, United Kingdom
* Dr. Jinfeng Huang, Philips & LiteOn Digital Solutions Netherlands,
Advanced Research Center, 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
* Monica Donno, Director, Minteos, 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. Miroslav N. Velev, Aries Design Automation, USA
* Prof. M. Nasir Uddin, Lakehead University, Canada
* Dr. Alexei Botchkarev, IEEE Canada Board of Directors
* Dr. Dragan Bosnacki, Eindhoven University of Technology, The
Netherlands
* Dr. Dave Hickey, University College Cork, Ireland
* Dr. Tomas Krilavicius, Vytautas Magnus University, Lithuania
* Dr. Milan Pastrnak, Siemens IT Solutions and Services, Slovakia
* Dr. John Herbert, University college Cork, Ireland
* Prof. Zhe-Ming Lu, Sun Yat-Sen University, China
* Prof. Jeng-Shyang Pan, National Kaohsiung University of Applied
Sciences, Taiwan
* Prof. Chin-Chen Chang, Feng Chia University, Taiwan
* Prof. Mong-Fong Horng, Shu-Te University, Taiwan
* Prof. Liang Chen, University of Northern British Columbia, Canada
* Prof. Chee-Peng Lim, University of South Australia, Australia
* Prof. Ngo Quoc Tao, Vietnamese Academy of Science and Technology,
Vietnam
* Prof. Suash Deb, C. V. Raman College of Engineering, India
* Dr. Salah Merniz, Mentouri University, Constantine, Algeria
* Dr. Oscar Valero, University of Balearic Islands, Spain
* Prof. Yang Yi, Sun Yat-Sen University, China
* Dr. Damien Woods, University of Seville, Spain
* Dr. Maria O'Keeffe, University College Cork, Ireland
* Dr. Franck Vedrine, CEA, France
* Prof. Bruno Monsuez, ENSTA, France
* Prof. Kang Yen, Florida International University, USA
* Prof. Takenobu Matsuura, Tokai University, Japan
* Dr. R. Timothy Edwards, MultiGiG, Inc., USA
* Dr. Olga Tveretina, Karlsruhe University, Germany
* Dr. Maria Helena Fino, Universidade Nova De Lisboa, Portugal
* Peter Westermann, Technical University of Dortmund, Germany
* Tom English, University College Cork, Ireland
* Miquel Moreto Planas, Technical University of Catalonia, Spain
* Chelho Chung, System Semiconductor/Central R&D Center, LS Industrial
Systems, South Korea
* Michele Mercaldi, M.O.S.T., Italy
Please visit the websites DATICS-IMECS'09 and DATICS-ICIEA'09 for
paper submission guidelines, proceedings, publication indexing and
submission deadlines.
For any additional information, please contact
Dr. Ka Lok Man
Chairman - Organiser of DATICS'09
CEOL, University College Cork (UCC), Ireland
Email: ss.datics at gmail.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://openmath.org/pipermail/om-announce/attachments/20080926/c9f648b0/attachment.htm
More information about the Om-announce
mailing list