[Agda] [PVS] IIP 2012: Call for Papers

liang chang changl.guet at gmail.com
Fri Jan 20 09:00:41 CET 2012

[Please accept our apology if you receive multiple copies of this CFP]


*IFIP 7**th** International Conference on **Intelligent Information
Processing** **(IIP20**12**)***

October 12-15, 2012

Guilin, China

* Submission Deadline -------- 1 April, 2012
* Author Notification --------- 1 May, 2012
* Camera-ready Due --------- 1 June, 2012

The IIP conference series provides a forum for engineers and scientists in
academia, university and industry to present their latest research findings
in any aspects of intelligent information processing. IIP2012 attempts to
meet the needs of a large and diverse community. Topics of IIP2012 include,
but are not limited to:

* Autonomic computing

* Automatic reasoning

* Automatic translation

* Bayesian networks

* Belief revision

* Bioinformatics

* Biomedicine

* Business intelligence

* Case-based reasoning

* Cloud computing

* Cognitive Modeling

* Computational intelligence

* Computer vision

* Constraint programming

* Data Mining

* E-learning

* E-services

* Evolutionary computation

* Fuzzy and rough set

* Games & Serious games

* Image processing

* Information retrieval

* Intelligence science

* Intelligent agents

* Internet of things

* Knowledge acquisition

* Knowledge-based systems

* Knowledge discovery

* Knowledge engineering and management

* Knowledge grid

* Knowledge representation

* Logics and logic programming

* Machine learning

* Machine translation

* Mobile agents

* Natural language processing

* Neural computing

* Ontology engineering

* Reinforcement learning

* Speech understanding and interaction

* Text understanding

* Web intelligence

* Very large knowledge systems


The conference Program Committee invites proposals for workshops, tutorials
and panels. Proposals should be received by one of the program chairs no
later than February 1, 2012.

*IIP2012 seeks papers describing original work which has not been
previously published and is not under review for publication elsewhere.
Conference proceedings will be published by the Springer. All accepted
papers will be indexed by EI and INSPEC.

Papers should be no longer than 10 pages including all tables, figures, and
references but excluding a cover page. Fonts should be in 10 pt. Each
submission must include one cover page which should contain:

(1) Title of the paper with an abstract of no more than 500 words;

(2) A few keywords, from the list above where possible, giving a clear
indication of topics;

(3) Author names with affiliations, complete postal addresses, and phone

(4) Email address of the contact author.

The authors can use the word <http://www.intsci.ac.cn/iip2008/doc/word.zip>or
latex <http://www.intsci.ac.cn/iip2008/doc/latex.tar.gz> template published
in the IIP2012 Website (http://www.intsci.ac.cn/iip2012/) for preparing the
papers. All papers should be submitted via the Easychair paper management
system: http://www.easychair.org/conferences/?conf=iip2012.


T. Dillon (Australia)

T. Gu (China)

A. Aamodt (Norway)**


Z. Shi (China)

D. Leake (USA)

S. Vadera (UK)


A. Aamodt (Norway)

A. Bernardi (Germany)

N. Bredeche (France)

C. Bryant (UK)

L. Cao (Australia)

E. Chang (Australia)

L. Chang (China)

E. Chen (China)

H. Chen (UK)

F. Coenen (UK)

Z. Cui (China)

S. Dustdar (Austria)

S. Ding (China)

Y. Ding (USA)

Q. Duo (China)

J. Ermine (France)

P. Estraillier (France)

W. Fan (UK)

Y. Gao (China)

L. Hansen (Denmark)

T. Hong (Taiwan)

Q. He (China)

T. Honkela (Finland)

Z. Huang (Netherlands)

P. Ibarguengoyatia (Mexico)

G. Kayakutlu (Turkey)

D.Leake (USA)

J. Liang (China)

Y. Liang (China)

H. Leung (HK)

S. Matwin (CA)

E. Mercier-Meziani (France)

F. Meziane (UK)

Z. Meng (China)

S. Nefti-Meziani (UK)

T. Nishida (Japan)

G. Osipov(Russia)

M. Owoc (Poland)

A. Rafea (Egypt)

K. Rajkumar(India)

M. Saraee (UK)

F. Segond (France)

Q.Shen (UK)

ZP. Shi (China)

K. Shimohara (Japan)

A. Skowron (Poland)

M. Stumptner (Australia)

E. Succar (Mexico)


IJ. Timm (Germany)

S. Tsumoto (Japan)

G. Wang (China)

S. Vadera (UK)

Y. Xu (Australia)

H. Xiong (USA)

J. Yang (Korea)

Y. Yao (Canada)

J. Yu (China)

J. Zhang (China)

J. Zhou (China)

Z-H. Zhou (China)**

J. Zucker (France)**
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.chalmers.se/mailman/private/agda/attachments/20120120/dddf31bb/attachment-0001.html

More information about the Agda mailing list