coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] ICDIM 2014

From: "p. sarasvady" <saras_vady AT yahoo.com>
To: "afia AT lri.fr" <afia AT lri.fr>, "agents AT cs.umbc.edu" <agents AT cs.umbc.edu>, "bernard.jean AT universite-lyon.fr" <bernard.jean AT universite-lyon.fr>, "bull-i3 AT irit.fr" <bull-i3 AT irit.fr>, "computational.science AT lists.iccsa.org" <computational.science AT lists.iccsa.org>, "coq-club AT inria.fr" <coq-club AT inria.fr>, "DAI-List AT mcc.com" <DAI-List AT mcc.com>, "dbworld AT cs.wisc.edu" <dbworld AT cs.wisc.edu>, "docs-ri AT yahoogroupes.fr" <docs-ri AT yahoogroupes.fr>, "dreamers AT inf.ed.ac.uk" <dreamers AT inf.ed.ac.uk>, "drools-research AT redhat.com" <drools-research AT redhat.com>, "drools-research AT redhat.com" <drools-research AT redhat.com>, "elsnet-list AT let.uu.nl" <elsnet-list AT let.uu.nl>, "event AT in.tu-clausthal.de" <event AT in.tu-clausthal.de>, "fmcad AT utlists.utexas.edu" <fmcad AT utlists.utexas.edu>, "FMnet AT jiscmail.ac.uk" <FMnet AT jiscmail.ac.uk>, "gazettebd3 AT imag.fr" <gazettebd3 AT imag.fr>, "haskell AT haskell.org" <haskell AT haskell.org>, "info-ic AT listes.irisa.fr" <info-ic AT listes.irisa.fr>, "IRList AT lists.shef.ac.uk" <IRList AT lists.shef.ac.uk>, "isabelle-users AT cl.cam.ac.uk" <isabelle-users AT cl.cam.ac.uk>, "jena-dev AT proxy1.groups.fy3.b.yahoo.com" <jena-dev AT proxy1.groups.fy3.b.yahoo.com>, "Jerome.Gensel AT imag.fr" <Jerome.Gensel AT imag.fr>, "ki-inf AT uni-koblenz.de" <ki-inf AT uni-koblenz.de>, "kr AT kr.org" <kr AT kr.org>, "lfcs-interest AT dcs.ed.ac.uk" <lfcs-interest AT dcs.ed.ac.uk>, "lics AT informatik.hu-berlin.de" <lics AT informatik.hu-berlin.de>, "lics AT research.bell-labs.com" <lics AT research.bell-labs.com>, "liste-egc AT polytech.univ-nantes.fr" <liste-egc AT polytech.univ-nantes.fr>, "liste-proml AT vhost3-24.lri.fr" <liste-proml AT vhost3-24.lri.fr>, "math.logik AT gmx.net" <math.logik AT gmx.net>, "metaprl-users AT metaprl.org" <metaprl-users AT metaprl.org>, "mizar-forum AT mizar.uwb.edu.pl" <mizar-forum AT mizar.uwb.edu.pl>, "procos AT jiscmail.ac.uk" <procos AT jiscmail.ac.uk>, "proofpower AT lemma-one.com" <proofpower AT lemma-one.com>, "protege-owl AT mailman.stanford.edu" <protege-owl AT mailman.stanford.edu>, "pvs AT csl.sri.com" <pvs AT csl.sri.com>, "risc AT risc.cnrs.fr" <risc AT risc.cnrs.fr>, "ruleml-all AT ruleml.or" <ruleml-all AT ruleml.or>, "sicsa-cse AT list-serve.hw.ac.uk" <sicsa-cse AT list-serve.hw.ac.uk>, "sicsa-modabs AT inf.ed.ac.uk" <sicsa-modabs AT inf.ed.ac.uk>, "siks AT cs.uu.nl" <siks AT cs.uu.nl>, "sma AT loria.fr" <sma AT loria.fr>, "specif-forum AT email.essi.fr" <specif-forum AT email.essi.fr>, "spls AT mailhost.dcs.gla.ac.uk" <spls AT mailhost.dcs.gla.ac.uk>, "stp AT macs.hw.ac.uk" <stp AT macs.hw.ac.uk>, "theorem-provers AT ai.mit.edu" <theorem-provers AT ai.mit.edu>, "theory-logic AT cs.cmu.edu" <theory-logic AT cs.cmu.edu>, "twelf-list AT itu.dk" <twelf-list AT itu.dk>, "types AT lists.chalmers.se" <types AT lists.chalmers.se>, "types-list AT lists.seas.upenn.edu" <types-list AT lists.seas.upenn.edu>, "users-prolog AT gnu.org" <users-prolog AT gnu.org>, "w3c-math-wg AT w3.or" <w3c-math-wg AT w3.or>, "web.semantique AT inria.fr" <web.semantique AT inria.fr>, "zforum AT prg.ox.ac.uk" <zforum AT prg.ox.ac.uk>
Subject: [Coq-Club] ICDIM 2014
Date: Mon, 28 Apr 2014 05:39:39 -0700 (PDT)

Ninth International Conference on Digital Information Management (ICDIM 2014)

Rajabhat University, Bangkok

Thailand

September 29-October 01, 2014

(Technically co-sponsored by IEEE Technology Management Council)

(Proceedings will be indexed in IEEE Xplore)

www.icdim.org

Following the successful earlier conferences at Bangalore (2006), Lyon (2007), London (2008), Michigan (2009) , Thunder Bay (2010), Melbourne (2011), Macau (2012) and Islamabad (203) the ninth event is being organized at Bangkok, Thailand in 2014. The International Conference on Digital Information Management is a multidisciplinary conference on digital information management, science and technology. The principal aim of this conference is to bring people in academia, research laboratories and industry together, and offer a collaborative platform to address the emerging issues and solutions in digital information science and technology. The ICDIM intends to bridge the gap between different areas of digital information management, science and technology. This forum will address a large number of themes and issues. The conference will feature original research and industrial papers on the theory, design and implementation of digital information systems, as well as demonstrations, tutorials, workshops and industrial presentations.

The 9th International Conference on Digital Information Management will be held on September 29- October 01, 2014 at the Pibulsongkram Rajabhat University, Bangkok, Thailand.

The topics in ICDIM 2014 include but are not confined to the following areas.

Information Retrieval

Data Grids, Data and Information Quality

Big Data Management

Temporal and Spatial Databases

Data Warehouses and Data Mining

Web Mining including Web Intelligence and Web 3.0

E-Learning, eCommerce, e-Business and e-Government

Natural Language Processing

XML and other extensible languages

Web Metrics and its applications

Enterprise Computing

Semantic Web, Ontologies and Rules

Human-Computer Interaction

Artificial Intelligence and Decision Support Systems

Knowledge Management

Ubiquitous Systems

Peer to Peer Data Management

Interoperability

Mobile Data Management

Data Models for Production Systems and Services

Data Exchange issues and Supply Chain

Data Life Cycle in Products and Processes

Case Studies on Data Management, Monitoring and Analysis

Security and Access Control

Information Content Security

Mobile, Ad Hoc and Sensor Network Security

Distributed information systems

Information visualization

Web services

Quality of Service Issues

Multimedia and Interactive Multimedia

Image Analysis and Image Processing

Video Search and Video Mining

Proceedings

- All the accepted papers will appear in the proceedings published by IEEE.

- All papers will be fully indexed by IEEE Xplore.

- All the ICDIM papers are indexed by DBLP.

Modified version of the selected papers will appear in the special issues of the following peer reviewed journals.

Journal of Digital Information Management (SCOPUs/EI)

International Journal of Web Applications (IJWA)

International Journal of Information Technology and Web Engineering (IJITWE)

International Journal of Emerging Sciences (IJES)

International Journal of Enterprise Information Systems (Scopus and EI Indexed)

International Journal of Grid and High Performance Computing (IJGHPC) (Scopus and EI Indexed)

International Journal of Computational Science and Engineering (Scopus and EI Indexed)

International Journal of Big Data Intelligence

International Journal of Applied Decision Sciences (Scopus/EI)

International Journal of Management and Decision Making (Scopus/EI)

International Journal of Strategic Decision Sciences

International Journal of Enterprise Information Systems (Scopus/EI)

General Chair

Sakorn Soisungwan, Pibulsongkram Rajabhat University, Thailand

Organizing Chairs

Khongsak Srikaeo, Pibulsongkram Rajabhat University, Thailand

Varaporn Suepraditkul, Pibulsongkram Rajabhat University, Thailand

Program Chairs

Buncha Samruayruen, Pibulsongkram Rajabhat University, Thailand

Adrian FLOREA, 'Lucian Blaga' University of Sibiu, Romania

Simon Fong, University of Macau, Macau

Charles P. Rubenstein, Pratt Institute, USA

Workshop Chairs

Muhammad Asif Naeem, Auckland University of Technology, New Zealand

SUBMISSIONS AT: http://www.icdim.org/submission.html

Email: conference AT icdim.org

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

[Coq-Club] ICDIM 2014, p. sarasvady, 04/28/2014