coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] ISMIS'11 CfP

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

Dear Colleague,

Please distribute this short announcement about ISMIS'11 Symposium
to your colleagues and friends and encourage them to submit their work.

Also, we hope that you will submit your own paper.

Thank you,
Marzena Kryszkiewicz, Henryk Rybinski, Andrzej Skowron, & Zbyszek Ras

>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
ISMIS'11 - Call for Papers:

We invite you to submit a paper to ISMIS'11 Symposium in Warsaw, Poland, June 28-30, 2011.
Below is a short announcement.
The full CfP is on ISMIS'11 web site: http://ismis2011.ii.pw.edu.pl

The goal of ISMIS Symposium is to provide a platform for a useful
exchange between theoreticians and practitioners, and to foster
the cross-fertilization of ideas in the following areas:
Active Media Human-Computer Interaction, Autonomic and Evolutionary Computation,
Digital Libraries, Intelligent Agent Technology, Intelligent Information Retrieval,
Intelligent Information Systems, Intelligent Language Processing, Knowledge
Representation and Integration, Knowledge Discovery and Data Mining,
Knowledge Visualization, Logic for Artificial Intelligence, Music Information
Retrieval, Soft Computing, Text Mining, Web Intelligence, Web Mining,
and Web Services.
In addition, we solicit papers dealing with Applications of Intelligent Systems
in complex/novel domains, e.g. human genome, global change, manufacturing,
health care, etc.

The ISMIS'11 proceedings will be published by Springer-Verlag in LNAI (Lecture Notes in Artificial Intelligence).

Paper submission deadline: February 7, 2011
Notification of the review results: March 21, 2011
Final Paper due: April 4, 2011

ISMIS'11 Invited Presentations:

Jaime Carbonell (CMU)
"Proactive Machine Learning, methods and applications"

Andrzej Czy�ewski (Gda�sk Univ. of Technology, Poland)
"Intelligent multimedia solutions supporting special education needs"

Donato Malerba (Univ. Bari, Italy)
"Spatial and spatio-temporal data mining"

Luc De Raedt (Katholieke Univ. Leuven, Belgium)
(Title will be announced later)

>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>

[Coq-Club] ISMIS'11 CfP, Marzena Kryszkiewicz