Cuarto Encuentro internacional Inclusiva-net: Redes y procesos P2P

Figura del cuarto inclusiva-Net

Acaba de publicarse la convocatoria para trabajos del Cuarto Encuentro internacional Inclusiva-net: Redes y procesos P2P. Participo como miembro del comité de selección, junto con Antonio Lafuente del CSIC y el director de la iniciativa Inclusiva-Net, Juan Martín Prada. En este enlace está la llamada a participar con comunicaciones. La elección del tema y de los núcleos temáticos de esta edición del encuentro ponen de relieve la extraordinaria importancia de los procesos y redes P2P en unos tiempos en los que algunos de sus mayores exponentes (las redes P2P de compartición de archivos en Internet) están siendo atacadas por diversos sectores que no entienden (o no les interesa aceptar) que la consolidación de las redes entre pares como mecanismo de producción e intercambio de conocimiento, cultura e información es uno de los mayores logros de Internet (quizás por encima de la propia Web 2.0 en muchos aspectos).
Reproduzco aquí dichos núcleos:

  • Redes P2P y paradigmas sociales participativos y de cooperación en red.
  • Redes y proyectos basados en estructuras y procesos “entre iguales”.
  • Aplicación de los modelos de organización P2P a diferentes ámbitos del conocimiento y de la vida social.
  • Los conceptos de “panarquía” y de “gobierno P2P”.
  • Economías y formas de producción P2P.
  • Historia, tipologías y aplicaciones de las redes P2P.
  • Conflictos y controversias legales entre instituciones (gobiernos, entidades privadas, etc.) y redes P2P.
  • Uso del P2P en la educación.
  • Uso del P2P como fuente de conocimiento. Su papel en el contexto de los países emergentes.
  • Formas de organización, arquitecturas y funcionamiento de las redes P2P.
  • Nuevas aportaciones en el diseño de redes, protocolos y aplicaciones. El futuro del P2P.
  • Redes P2P en telefonía móvil.
  • Sistemas complejos y redes P2P.
  • Calidad de la información en las redes P2P. Web semántica y P2P.
  • Relación entre las redes P2P y la Web 2.0.
  • Metaversos P2P.
  • Proyectos artísticos basados en estructuras o redes P2P

Petición de trabajos para el Taller sobre Lógica Computacional e Inteligencia Artificial CLAI 2009

puente de Triana

Reproduzco a continuación la petición de trabajos para el Workshop on Computational Logic and Artificial Intelligence (CLAI 2009) que estamos organizando con motivo del Congreso del 2009 de la Asociación Española de Inteligencia Artificial (CAEPIA 200):

CLAI 2009
Workshop on Computational Logic and Artificial Intelligence
(workshop program of the 13th Conference
of the Spanish Association for Artificial Intelligence
CAEPIA-TTIA 2009)
Sevilla, Spain, November 9, 2009

This workshop (associated to the main Spanish Conference on Artificial Intelligence CAEPIA’09, to be held in Sevilla, Spain, from November 9 to November 13, 2009), intends to be a forum where reserchers in these areas will present and discusss emerging work in those fields of Artificial Intelligence where Computational Logic plays an important role. It also intends to provide a framework where research groups in this field can interact

The following is a (non-exhaustive) list of topics of interest:

  • Logics for formal verification of systems
  • Non-classical logics (fuzzy, temporal, modal,…)
  • Theorem proving
  • Knowledge representation and reasoning
  • Knowledge engineering
  • Logic-based applications for the Semantic Web
  • Description logics
  • Logic-based ontology languages
  • Logic and constraint programming
  • Answer set programming
  • Logic-based planning and diagnosis
  • Logics and multi-agent systems
  • Foundations

We invite researchers to submit papers on Computational Logic and its relation to areas of Artificial Intelligence. We encourage to submit original research papers, as well as description of ongoing research. Papers must be sent in a PDF file, written in English or Spanish and not exceed 10 pages including figures, references, etc. Papers will be reviewed by at least two PC members, and accepted papers will be published only in the internal workshop proceedings. The papers must be formatted according to the Springer LNCS instructions for authors. Submission of papers and abstracts has to be be done using EasyChair (see the workshop web page).

We also plan to devote part of the workshop to a panel discussion on the Spanish research on Computational Logic. Thus, we invite members of Spanish research groups on the topics of interest of the workshop, Committees to submit a one page abstract describing the main research activities of the group, and expressing their interest in participating in this discussion.

Programme Committee

  • José Antonio Alonso (Universidad de Sevilla)
  • Joaquín Borrego (Universidad de Sevilla)
  • Pedro Cabalar (Universidad de La Coruña)
  • Carlos Viegas Damásio (Universidade Nova de Lisboa)
  • Luis María Laíta (Universidad Politécnica de Madrid)
  • Jesús Medina Moreno (Universidad de Cádiz)
  • Manuel Ojeda Aciego (Universidad de Málaga, co-chair)
  • David Pearce (Universidad Politécnica de Madrid)
  • Renaud Rioboo (ENSIIE Evry)
  • Julio Rubio (Universidad de La Rioja)
  • José Luis Ruiz Reina (Universidad de Sevilla, co-chair)
  • Umberto Straccia (ISTI-CNR Pisa)
  • Agustín Valverde (Universidad de Málaga)

Important Dates

  • Paper submission: July 31, 2009
  • Notification of acceptance/rejection: September 17, 2009
  • Camera-ready papers due: October 8, 2009
  • Workshop date: November 9, 2009