[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] DATICS-ICMS'09 - Call For Papers



DATICS-ICMS'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.

Previous editions were:
DATICS'08 (http://digilander.libero.it/systemcfl/datics).
DATICS-IMECS'09 (http://digilander.libero.it/systemcfl/datics09-imecs)
DATICS-ICIEA'09 (http://digilander.libero.it/systemcfl/datics09-iciea)

DATICS-ICMS'09 Workshop
(http://digilander.libero.it/systemcfl/datics09-icms) will be hosted
by the International Conference of Mathematical Sciences 2009 (ICMS
2009), Istanbul, Turkey, 4-10, August, 2009.

The main target of DATICS-ICMS'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-ICMS'09 also focuses on the fields of formal methods, wireless
sensor networks (WSNs), low power design methodologies for integrated
circuits and systems and reversible computing.

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
   * wireless sensor networks (WSNs)
   * 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)
   * reversible computing

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 Krilavičius, 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. 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
   * Dr. Adrian Patrick O'Riordan, University College Cork, Ireland
   * Dr. Grzegorz Labiak, University of Zielona Gora, Poland
   * Prof. M.S. Gaur, Malaviya National Institute of Technology, Jaipur, India
   * Dr. Jian Chang, Texas Instruments, Inc, USA
   * Dr. Maria O'Keeffe, University College Cork, Ireland
   * Prof. Yeh-Ching Chung, National Tsing-Hua University, Taiwan
   * Dr. Anna Derezinska, Warsaw University of Technology, Poland
   * Prof. Kyoung-Rok Cho, Chungbuk National University, Korea
   * Dr. Yong Zhang, Shenzhen University, China
   * Dr. R. Liutkevicius, Vytautas Magnus University, Kaunas, Lithuania
   * Dr. Yuanyuan Zeng, University College Cork, Ireland
   * Dr. Arkadiusz Bukowiec, University of Zielona Gora, Poland
   * Dr. D.P.Vasudevan, University College Cork, Ireland
   * Dr. Paris Kitsos, Hellenic Open University, Patras, Greece
   * Dr. Maziar Goudarzi, University College Cork, Ireland
   * Prof. Jin Song Dong, National University of Singapore, Singapore

Important Deadlines:
  * Deadline for full paper submission: 15 May 2009
   * Notification of acceptance: 15 June 2009
   * Deadline for authors' registration: 30 June 2009
   * Deadline for final manuscript submission: 1 July 2009

Please visit the DATICS-ICMS'09 website for paper submission guidelines,
proceedings, publication indexing and sponsors.

For any additional information, please contact:

Dr. K.L. Man
University College Cork (UCC), Ireland
Email: ss.datics@gmail.com