[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

(HAIS´09) combines symbolic and sub-symbolic techniques to
construct more robust and reliable problem solving models.
This may include aspects as: Typed, untyped, or polymorphic lambda
calculus; type checking, inference, and reconstruction; subtyping,
dependent types, calculus of constructions, the lambda cube; linear
logic, the Curry-Howard correspondence; recursive types; adequate and
fully abstract models; domain theory; category theory; term reduction,
normalization, confluence; abstract data types; type systems for
object-oriented, concurrent, distributed, and mobile programming.
--------------------------------------------------------------------------


4th International Conference on Hybrid Artificial Intelligence Systems
(HAIS´09)

* We apologize if you receive this CFP more than once.
* PLEASE CIRCULATE this CFP among your colleagues and students.
---------------------------------------------------------------------------

HAIS´09: 2ND Call for Papers & Special Session Proposals

* We apologize if you receive this CFP more than once.
* PLEASE CIRCULATE this CFP among your colleagues and students.

2ND  CFP. HAIS´09
4th International Conference on Hybrid Artificial Intelligence Systems
(HAIS´09)

10th-12th June, 2009.
Salamanca, Spain
http://gicap.ubu.es/hais2009/main/home.shtml

----------------------------------------------------------------------
***SPECIAL ISSUES:
1. INFORMATION SCIENCES
ELSEVIER
ISSN: 0020-0255

***PROCEEDINGS:

HAIS'09 proceedings will be published by Springer in its series of
LNCS/LNAI- LNAI (Lecture Notes in Artificial Intelligence). Tentative.

***SPECIAL SESSIONS:
Special sessions  up to now!!
1. Evolutionary Multiobjective Machine Learning
2. Applications of Hybrid Artificial Intelligence in Bioinformatics
3. Real World HAIS Applications and Data Uncertainty

In addition to regular sessions, participants are encouraged to organize
special sessions on specialized topics. Each special session should have
at least 4 or 5 quality papers. Special session organizers will solicit
submissions; conduct reviews jointly with the HAIS´09 PC and in the same
way recommend accept/reject decisions on the submitted papers.

Submission of Special Sessions is welcome:
http://gicap.ubu.es/hais2009/main/specialsessions.shtml

For more information, please, send an email to: escorch...@ubu.es
<mailto:escorch...@ubu.es>

*** PLENARY SPEAKERS:
Witold Pedrycz, - University of Alberta (Canada)
More information soon!!

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

*** 4th International Conference on Hybrid Artificial Intelligence Systems
(HAIS´09) combines symbolic and sub-symbolic techniques to
construct more robust and reliable problem solving models. Hybrid
intelligent systems are becoming popular due to their capabilities in
handling many real world complex problems, involving imprecision,
uncertainty and vagueness, high-dimensionality. They provide us with the
opportunity to use both, our knowledge and row data to solve problems in
a more interesting and promising way.

HAIS´09 provides an interesting opportunity to present and discuss the
latest theoretical advances and real-world applications in this
multidisciplinary research field.

*** TOPICS:

Topics are encouraged, but not limited to, the combination of at least
two of the following areas in the field of Hybrid Intelligent Systems:
Fusion of soft computing and hard computing
Evolutionary Computation
Visualization Techniques
Ensemble Techniques
Data mining and decision support systems
Intelligent agent-based systems (complex systems), cognitive and
Reactive distributed AI systems
Internet modelling
Human interface
Case base reasoning
Chance discovery
Applications in security, prediction, control, robotics, image and
speech signal processing, food industry, biology and medicine,
business and management, knowledge management, artificial societies,
chemicals, pharmaceuticals, geographic information systems, materials
and environment engineering and so on.

*** PAPER SUBMISSION AND PROCCEEDINGS ***

HAIS'09 proceedings will be published by Springer in its series of
Lecture Notes in Artificial Intelligence - LNAI (part of its prestigious
Lecture Notes in Computer Science - LNCS series)Tentative.

All submissions will be refereed by experts in the field based on
originality, significance, quality and clarity. Every submitted paper to
HAIS´09 will be reviewed by at least two members of the Program Committee.

Papers must be prepared according to the LNCS-LNAI style template
(http://www.springer.de/comp/lncs/authors.html) and must be no more than
eight (8) pages long, including figures and bibliography.

*** IMPORTANT DATES ***

Submission of Special Session proposals: 19th December, 2008
Special Session acceptance: 20th December, 2008
Submission of papers by Authors: 23th January, 2009
Notification of provisional acceptance: 27th February, 2009
Submission of final papers: 16th March, 2009
Early registration (special rates): 16th March, 2009
HAIS 2009 Conference: 10th-12th June, 2009

*** COMMITTEES ***

Honorary Chair:
Carolina Blasco - Director of Telecommunication. Regional Goverment of
Castilla y León (Spain)

General Chair:
Emilio Corchado - University of Burgos (Spain)

Program Committee:
Xindong Wu, - University of Vermont (USA)(PC Chair)


International Advisory Committee:
Ajith Abraham - Norwegian University of Science and Technology (Norway)
Juan M. Corchado - University of Salamanca (Spain)
José R. Dorronsoro - Autonomous University of Madrid (Spain)
Petro Gopych, - Universal Power Systems USA-Ukraine LLC, Ukraine
Samuel Kaski - Helsinki University of Technology (Finland)
Isidro Laso - D.G. Information Society and Media (European Commission)
Xin Yao - University of Birmingham (UK)
Hujun Yin - University of Manchester (UK)

Organising Committee:

Emilio Corchado - University of Burgos (Chair)
Bruno Baruque - University of Burgos (Co-Chair)
Álvaro Herrero - University of Burgos (Co-Chair)
Andres Bustillo - University of Burgos (Co-Chair)
Javier Sedano - University of Burgos
Leticia Curiel - University of Burgos

*** CONTACT ***

Dr. Emilio Corchado
GICAP Research Group
http://gicap.ubu.es/
Área de Lenguajes y Sistemas Informáticos
Calle Francisco de Vitoria, Edifico C,
Escuela Politécnica Superior
Universidad de Burgos
Email: escorch...@ubu.es <mailto:escorch...@ubu.es>
URL: Phone: +34 947 25 9395
Fax: +34 947 25 8910

For more information about HAIS´089, please refer to the HAIS´09 website:
http://gicap.ubu.es/hais2009/

* We apologize if you receive this CFP more than once.
* PLEASE CIRCULATE this CFP among your colleagues and students.







Reply via email to