coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] CFP: INTECH 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.u" <zforum AT prg.ox.ac.u>
Subject: [Coq-Club] CFP: INTECH 2014
Date: Thu, 10 Apr 2014 08:12:11 -0700 (PDT)
Domainkey-signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=X-YMail-OSG:Received:X-Rocket-MIMEInfo:X-Mailer:Message-ID:Date:From:Reply-To:Subject:To:MIME-Version:Content-Type; b=Aryr6y5o+yFLd3k1m1iNkkfH60FEeNYC5ffEPe3oDgkI5+gCyFRLJ6qfU92OwJ86vMaAcI0AfBgsULqFqK5pvunZrndQc5sOcMXPzgOeEGZ3zXqYPSyBHKb4xNnMrB74LZalav9Z/d5guGb/ubCUvBJ6gPYlrh7NNMCz4Jzv+Gk=;

Fourth International Conference on Innovative Computing Technology

University of Bedfordshire

Luton (near London), UK

Augsut 13-15, 2014

(Technically co-sponsored by UK & RI IEEE)

(Proceedings will be indexed in IEEE Xplore)

www.socio.org.uk/intech

The First international conference on Innovative Computing Technology (INTECH 2011) was held at Sao Carlos in Brazil followed by the Second International Conference on Innovative Computing Technology (INTECH 2012) at Casablanca in Morocco. The INTECH 2014 offers the opportunity for institutes, research centers, engineers, scientists and industrial companies to share their latest investigations, researches, developments and ideas in area of Innovative Computing Technology, which covers huge topics. The INTECH intends to address various innovative computing techniques involving various applications. 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 computing technologies, as well as demonstrations, tutorials, workshops and industrial presentations.

This conference (INTECH 2014) will include presentations of contributed papers by invited keynote speakers.

Conference papers will include innovative computing paradigms in the following topics:

Network and Information Security

Innovative Computing Systems and Applications in S & T domains such as -

Algorithms

Applied Information Systems

Artificial Intelligence and Decision Support Systems

Broadcasting Technology

Cloud Computing

Computational Intelligence

Data and Network mining

Data Stream Processing in Mobile/Sensor Networks

Database Systems

Digital Image/Video Processing

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

Electronics

Environmental modeling and precision agriculture

Fault Classification and Pattern Recognition

Green Computing

Grid computing

Human-Computer Interaction

Intelligent Condition Monitoring

Mobile network and systems

Multimedia and Interactive Multimedia

Payment Systems

Peer-to-peer social networks

Precision Farming

Web Farming

Signal Processing

Soft Computing: Fuzzy and Neural Network Systems, optimization algorithms

Software Engineering

Intelligent Farming: Web farming, Web irrigation

Ubiquitous Computing

User Interfaces, Visualization and Modeling

Virtual Reality

Visualization

Web services

WWW Applications and Technologies

XML and other Extensible Languages

The INTECH proceedings will also be indexed by dblp. All the papers will be reviewed and the accepted papers in the conference will be submitted to IEEE Xplore for indexing and will be indexed in many global databases.In addition, all the accepted papers (for Journals) will be published in the following special issues journals after substantial revision and modification.

In addition, selected papers after complete modification and revision will be published in the following special issues of journals.

Journal of Digital Information Management (JDIM) (Scopus and EI Indexed)

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)

IMPORTANT DATES

submission of papers: June 1, 2014

Notification of Acceptance/Rejection: July 1, 2014

Camera Ready: August 1, 2014

Registration: August 1, 2014

Conference: August 13-15, 2014

contact: intech AT dirf.org OR intech AT socio.org.uk

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

[Coq-Club] CFP: INTECH 2014, p. sarasvady, 04/10/2014