Año I. # 3, Otoño del 2000.

Órgano de comunicación de la Sociedad Mexicana de Ciencia de la Computación

boletínde la

de lade

Sociedadmexicana

computación ciencia

Sociedad Mexicana deCiencia de la Computación

PresidenteAlfredo Sánchez

VicepresidenteCarlos Coello

SecretarioManuel Romero

TesoreroAntonio Sánchez

VocalAmalia Duch

VocalEduardo Morales

VocalAntonio Martínez

VocalCarlos Avilés

VocalMarcelo Mejía

Miembros ex-oficioCristina Loyo VarelaVladimir Estivill-Castro

boletín de la SMCC

Consejo EditorialMiembros de la Mesa DirectivaPablo Noriega B. V.Atocha AlisedaEditoraAmalia DuchDiseño y edición dtppixel arte

Publicación estacional de la Sociedad Mexi-cana de Ciencias de la Computación. CasaNo. 24 UDLA-P. Cholula, Pue. C.P. 72820. Tels.:(52) (2) 2-29-20-02. URL: www.smcc.org.mxCertificado de Reserva al título en Derechosde Autor: en trámite.

EditorialQueridos Lectores:

Como la mayoría de ustedes sabe, la SMCC está constituida por siete gruposde interés que corresponden a diversas áreas de la Ciencia de la Computación.Estos grupos son: Interacción Mediada por Computadora, Lógica yComputación, Aprendizaje, Búsqueda, Clasificación y Optimización conenfoques Heurísticos, Sistemas Distribuidos y Paralelos, Ingeniería de Soft-ware, Visión y Recuperación de la Información. Los grupos de interés de laSMCC están estrenando coordinadores y en este número del boletín losnuevos coordinadores presentan los objetivos de sus grupos de interés.Los invitamos muy cordialmente a que se acerquen a los grupos que más lesllamen la atención y a que participen en sus actividades.

En ediciones anteriores hemos manifestado la intención de la SMCCde que este boletín sea un medio de vinculación entre las distintascomunidades relacionadas con la Ciencia de la Computación. Un pasoen este sentido es la presentación en este número del grupo de Ciencia dela Computación del Centro de Investigación en Matemáticas (CIMAT).Esperamos que a través del conocimiento de las distintas instituciones yempresas se faciliten los vínculos personales y las relaciones de trabajo.

También en esta ocasión incluimos un documento de gran trascen-dencia para la práctica y aplicación de la Ciencia de la Computación. Setrata de las recientemente aprobadas modificaciones legislativas referentesal comercio electrónico. Con ellas nuestro país cuenta ya con un marcolegal sólido para las firmas electrónicas y las transacciones en línea.

Con este número del boletín, la actual mesa directiva de la SMCCcumple un año de funciones. Nos queda todavía un año más que finalizaen septiembre del 2001, en Aguascalientes, coincidiendo con el congresobianual de esta sociedad: el ENC’2001.

Para poder mejorar nuestro trabajo en este año que nos queda esperamoslas críticas constructivas de todos nuestros asociados y lectores. Como decostumbre, agradecemos a nuestros colaboradores. Esperando que estaentrega sea de su agrado, queda de ustedes,

Amalia Duch

Directorio

CIMATp. 9

Nueva LegislaciónInformática

p. 6

Talleres anuales decomputación

p. 12

Grupos deInterés

p. 2

boletínde la

de lade

Sociedadmexicana

computación ciencia

2

Como nuevo coordinador del Grupo de Interés en Ingeniería de Software (GIIS)de la Sociedad Mexicana en Ciencias de la Computación, hago una atentainvitación a la toda la comunidad interesada en la Ingeniería de Software a unirseal GIIS. Algunas de las razones por las que considero importante que hagamosun esfuerzo por integrar y fortalecer el GIIS son las siguientes:

• Hay pocos recursos en México (humanos, económicos, materiales, deinformación, etc.) dedicados a la Ingeniería de Software. Además, estosrecursos se encuentran dispersos. El que definamos un esquema paracompartir los recursos que entre todos tenemos, nos ayudará a usarlos máseficientemente y nos abrirá un mayor campo de acción e injerencia.

• El intercambio de ideas, visiones y problemas es determinante para el de-sarrollo científico y académico. Si logramos consolidar el GIIS, este podríaofrecer un foro para tal intercambio.

• Dado que la Ingeniería de Software es una rama del saber muy joven, no setiene en México la presencia que se necesita ante los diferentes actoresinvolucrados en la ciencia en México; me refiero al CONAyT, a los consejosde ciencia estatales, a la SEP, al sector industrial, etc. Un GIIS integrado yfortalecido nos ayudaría a lograr una presencia ante estos actores.

• La industria mundial de software está demandando cada vez más serviciosespecializados. En México, se están gestando varios proyectos para impulsarla industria de desarrollo de software (tipo la India o Irlanda). Fortalecer elGIIS, nos ayudaría a tener un papel protagónico en el desarrollo de estaindustria en nuestro país.

Con estas ideas como punto de partida, les presento una propuesta de losobjetivos generales para el GIIS:

1. Promover la investigación en Ingeniería de Software.2. Integrar la comunidad de investigadores, docentes y alumnos.– Ofrecer foros para el intercambio de ideas, experiencias y conocimientos.– Facilitar la comunicación y vinculación entre sus miembros.– Fomentar vínculos de apoyo y cooperación.

3. Promover la actualización continua de los miembros.4. Ofrecer mecanismos para facilitar el compartir recursos e información.5. Ayudar a la difusión y aplicación de la Ingeniería de Software y de los

resultados de las investigaciones en esta área.6. Ofrecer un vínculo entre la academia, la investigación y la industria.7. Ser un organismo que represente los intereses de la comunidad dedicada a

la investigación y docencia en Ingeniería de Software.Las acciones concretas que se proponen para iniciar son:

1. Dar a conocer la existencia del GIIS en diferentes foros y extender lainvitación a participar en este proyecto.

2. Elaborar un padrón de investigadores, docentes, estudiantes y grupos deinvestigación trabajando en Ingeniería de Software.

3. Definir las políticas del grupo (reglamentación, organización, código dehonor, etc.)

Grupos de interés

Eventosde interés…

CHI'01 Conference on HumanFactors in Computing systems

Del 31 de marzo al 5 de abrildel 2001. Seattle, WA.

Se realizará un taller orientado aLatinoamérica: Development

Consortium: anyone.anywhere inLatin America. Los chairs del

consorcio son Alfredo Sánchez yCleotilde González.

Información:http://www.acm.org/chi2001

http://www.cimat.mx/talleres/tcm.html

ESOP 2001The European Symposium

On ProgrammingCC 2001

International Conference onCompiler Construction

Parte de ETAPS 2001Abril 2-6 del 2001, Genova, Italia

Fecha límite para entrega de trabajos:20 de octubre del 2001

Información:ESOP:

http://www.cs.chalmers.se/~dave/esop

CC:http://cc01.cs.uni-sb.de

ETAPS:http://www.disi.unige.it/etaps2001

Grupo de Interés en Ingeniería de Software (GIIS)

3

Eventos de interés…

Euro-CG 200117th European Workshop on Computational

GeometryMarzo 26 - 28, 2001

Institute of Computer Science, Freie Universitaet Berlin,Alemania

Información:http://www.inf.fu-berlin.de/~cg01

cg01@inf.fu-berlin.de

4. Establecer la "casa" del GIIS, esto es, hacer unapágina en internet para el GIIS.

Pongo a su consideración estas ideas con una dobleintención: invitarlos a formar parte del GIIS, e invi-tarlos a iniciar un fructífero intercambio de ideas quenos ayude a integrar y fortalecer el GIIS. Como lomencioné anteriormente, considero que un GIISintegrado y fuerte sería un gran apoyo para nuestrocrecimiento profesional y para impulsar el desarrollode la Ingeniería de Software en México. En lo per-sonal, creo que vale la pena intentar llevar a cabo esteproyecto que reta a nuestra creatividad y criticismo.

Los invito a que me envíen sus críticas, sugerencias,ideas, etc., así como referencias de posibles interesados.

Carlos Montes de Oca Vázquezmoca@cimat.mx Grupo de Interés en Interacción Mediada por

Computadora (GIIMC)

El grupo de interés en Interacción Mediada por Computadora (GIIMC) de la Sociedad Mexicana de Ciencias de laComputación nace en septiembre de 1997 con la finalidad de proveer de un foro a las personas interesadas en el área deinteracción humano-computadora en México.

ObjetivosEl GIIMC se establece con los siguientes objetivos generales:

• Identificar los proyectos en México en áreas relacionadas, incluyendo Groupware, CSCW, Interacción Humano-Computadora, Sistemas de Hipermedios, Aprendizaje Colaborativo, y Bibliotecas Digitales.

• Proponer y promover programas de estudio relacionados que se integren a los planes de formación de recursoshumanos en informática y computación.

• Identificar las áreas de oportunidad en México para cada uno de los temas de interés del grupo y promover eldesarrollo de proyectos inter e intrainstitucionales.

• Ofrecer foros (tales como talleres y congresos) en México para presentar y discutir los trabajos realizados en las áreasde interés por investigadores en el país y en el extranjero.

A partir de 1997, IMC ha participado en la realización de distintos eventos dentro de nuestro país, siendo el másdestacado el Encuentro Nacional de Computación ’99 (ENC’99), celebrado en la ciudad de Pachuca, Hgo. En ese eventotuvo lugar un taller organizado por IMC. Este taller tuvo una muy buena participación de investigadores mexicanos yextranjeros. Así mismo, IMC organizó un par de conferencias plenarias con Judy Brewer, del W3C y Jaime SánchezIllabaca, de la Universidad de Chile, quien también dio un tutorial sobre usabilidad en el web.

Para ENC’01 IMC también organizará un taller, además de que estará a cargo del website oficial del evento.GIIMC cuenta con una página web en donde se ofrece información más detallada sobre el grupo:http://www.fismat.umich.mx/imc/

Cuauhtémoc Rivera Loaizacrivera@fismat.umich.mx

Grupo de Interés en Sistemas Distribuidos y Paralelos (GISDP)

Inicio esta presentación del Grupo de Interés en SistemasDistribuidos y Paralelos (GISDP) con el planteamiento delos objetivos básicos que este promueve. Como objetivoinicial está el fomentar la difusión, desarrollo e investigaciónde los sistemas distribuidos y paralelos. Para tal efecto serequiere de la integración de varios grupos de investigaciónque concurren en esta línea de estudio. Como segundoobjetivo, se encuentra el construir un vínculo entreinvestigadores mexicanos en el área. Estos objetivos se

plantean como las metas más importantes a cumplir dentrode este grupo, de los cuales se desprenden una serie deintereses que nacen como puntos en común de los gruposde investigación que conforman al área de sistemasdistribuidos y paralelos. Como parte de estos intereses seencuentra la integración de nuevos grupos de investigaciónasí como el apoyo a eventos relacionados al área y auspicia-dos por la Sociedad. De esta misma forma, se pretende serun medio informativo para aquellas personas o instituciones

4

interesadas en el área de sistemas distribuidos y paralelosusando la tecnología de Internet. Dentro de este marco setiene ya una página de consulta con el siguiente nombre:

http://www.lania.mx/~smcc/grupos/sdpmx.htmlLo que se pretende en esta nueva etapa es actualizarla e

incorporarle una serie de servicios tales como una lista deproyectos de investigación, donde miembros de este grupoparticipen, así como una lista de las publicaciones másrelevantes en el área.

Dentro de esta idea de organización y con la finalidadde vincular grupos de investigación afines se promoverá elacercamiento de estos grupos mediante pláticas informalesvía Internet para lograr una vinculación formal dentro delmarco de redes de investigación tan comunes y necesariashoy en día.

Es importante mencionar a aquellas líneas de inves-tigación desarrolladas por los diferentes grupos dentro delárea de sistemas distribuidos y paralelos. Este grupo deinterés presenta una peculiaridad por su capacidad inter-disciplinaria, la cual se refleja en la diversidad de áreas deestudio cultivadas por los diferentes grupos de trabajo. Lasiguiente lista expone de manera general cuales son las líneasde investigación:

• Planificación dinámica• Visualización• Computación paralela y distribuida• Procesamiento de señales e imágenes• Computación evolutiva paralela• Agentes Distribuidos• Desarrollo de Software

• Sistemas Inteligentes (Redes Neurales, Lógica Difusa)• Servicios electrónicos vía Internet• Planificación basada en el paralelismoDada esta estructura interdisciplinaria se tiene la posi-

bilidad de interactuar en temas de estudio comunes desdeperspectivas completamente dispares. Lo anterior nos llevaa plantear como un área de gran explotación el fomento a laintegración tanto individual como de grupo en proyectoscomunes. Para tal efecto el grupo tiene que definir una se-rie de actividades que permitan la divulgación de sus líneasde investigación así como en la promoción de eventos talescomo el Encuentro Nacional de Cómputo. Este último esorganizado por la Sociedad. Lo que se pretende es establecerlos vínculos entre los grupos de manera interna así como lapromoción de nuestro trabajo de manera externa.

Es importante señalar que este grupo de interés estáabierto a la incorporación de nuevos integrantes ya sea demanera individual o como grupo de investigación. La formacomo se pueden acercar es por medio del portal mencionadocon anterioridad o enviando un correo al coordinador deeste grupo, Dr. Héctor Benítez Pérez:

Hector@uxdea4.iimas.unam.mxAsí mismo, cualquier persona interesada puede contactar

directamente a la Sociedad la cual turnará sus inquietudesal grupo de interés más próximo a sus fines. Como se men-cionó anteriormente la manera, de difundir nuestrasactividades es por medio del portal en Internet, así comolos portales de cada uno de los miembros de este grupo deinterés. Una tercera alternativa es el boletín informativo dela Sociedad Mexicana de Ciencia de la Computación.

Grupo de Interés en Aprendizaje, Búsqueda, Clasificacióny Optimización con Enfoques Heurísticos

Este grupo de interés fue creado con el fin de agrupar a la comunidad de investigadores involucrados en tópicos relacionados,como bien su extenso nombre lo indica, con técnicas heurísticas en problemas de aprendizaje, búsqueda, optimización yclasificación. Este grupo presenta como objetivos y actividades principales los siguientes puntos:

• Integración de un padrón de investigadores nacionales, estableciendo un medio de enlace con toda la comunidadnacional.

• Organizar eventos nacionales, talleres, conferencias y congresos, de las diferentes áreas de interés en este grupo,presentando un espacio de discusión y difusión.

• Identificar los trabajos y proyectos realizados dentro y fuera del país, de áreas relacionadas, promoviendo la colabora-ción de investigación entre las distintas instituciones.

• Identificar, proponer y promover programas de estudio tanto a nivel licenciatura como posgrado en áreas afines.• Establecer un medio de difusión de los diferentes eventos nacionales e internacionales a realizarse en el país y el

extranjero, así como de nuevas tendencias en el área.Dentro de los primeros esfuerzos por conformar este grupo de interés, se están consolidando dos áreas: Redes Neuronales

y Computación Evolutiva (http://www.lania.mx/grupos/index.html). Sin embargo, la visión, enfoque y objetivos de estegrupo van más allá. Por tal motivo, es de nuestro interés contar con todos los miembros de la comunidad de computacióninteresados en participar y colaborar con este grupo.

Coordinadora: Katya Rodríguez Vázquezkatya@uxdea4.iimas.unam.mx

5

Nuestro objetivo con este pequeño artículo es presentar elGrupo de Interés en Lógica y Computación de la SociedadMexicana de Ciencia de la Computación, así como dar aconocer sus actividades.

Como parte de la presentación de este grupo de interés,queremos dar una idea general de la lógica computacional.En primer lugar, es un área de investigación que surge dela combinación de dos áreas más básicas, la lógica y lacomputación. Su interacción va en ambos sentidos: asícomo la lógica ha contribuido al desarrollo de la ciencia dela computación, ésta a su vez ha puesto nuevos retos a lainvestigación en la lógica moderna. Como ente lógico ala programación computacional.

En particular, una de las preguntas relevantes es lasiguiente: dado un programa P, probar que P efectivamen-te satisface las intenciones del programador, esto es, que Pes correcto. Esta pregunta ha motivado la construcción delenguajes formales para demostrar propiedades sobre losprogramas.

Esta pregunta, no sólo es de interés teórico. Lasconsecuencias de programas con errores pueden serdevastadoras: "El costo del error en ciertos programas puedeser incalculable: un cohete perdido, un edificio colapsado,un avión estrellado o una guerra mundial". La importanciade la prevención y detección de errores en programas esmuy importante, como se ha hecho evidente recientementecon el problema del cambio de siglo, mejor conocido co-mo el Y2K.

Como ejemplo de lo segundo, esto es, de lacontribución de la computación en la investigación enlógica ofrecemos en este número una mini reseña del libro:The Limits of Mathematics: A Course on Information Theoryand the Limits of Formal Reasoning, de Gregory Chaitin.En este libro se muestra que la propiedad lógica deincompletud de un sistema formal puede, en efecto,probarse computacionalmente.

La lógica computacional es una de las áreas constitutivasde las Ciencias de la Computación en eventos y publi-caciones internacionales. En México, es una de las sieteáreas de investigación en torno a las cuales se han orga-nizado los talleres en los dos Encuentros Nacionales deComputación (1997, 1999). Las investigaciones en estaárea se realizan tanto en facultades y departamentosacadémicos de computación, filosofía y matemáticas, asícomo en centros de investigación públicos y privados.

Esperamos que este boletín llegue a los monitores yescritorios de muchos lectores y que el tema y los interesesde nuestro grupo despierten su curiosidad y atención. Losinvitamos a consultar las páginas asociadas del grupo delógica y computación y a mandarnos sus comentarios.

Atocha Aliseda

Grupo de Interés en Lógicay Computación (GILC)

En el contexto de la ciencia de la computación la admini-stración de grandes y pequeños volúmenes de datos ha sidoun tópico de investigación y desarrollo. Dos característicasde los datos han impulsado que su administración sea unárea de interés: por un lado la necesidad de manejar variadosy complejos tipos de datos (texto, imágenes, video, audio,mapas) para aplicaciones nuevas y por otro lado la organi-zación de grandes volúmenes de información. Además, seencuentra la necesidad de compartir datos con usuariosdiversos en un contexto distribuido, lo que significa laintegración y la recuperación de datos de naturaleza variaday con formatos distintos.

Objetivo General: Conformar un grupo de interés en elárea de Recuperación de Información.

Objetivos Específicos: integrar a los investigadoresinvolucrados; invitar instituciones educativas y empresas quetrabajan en el área; proponer la constitución de foros deintercambio de conocimientos en el área; crear un contextode posible colaboración entre las diferentes instancias(investigadores, instituciones y empresas); encontrar fondosque permitan el desarrollo de proyectos de investigación ydesarrollo en el área de interés; y desarrollar proyectos deimpacto en el contexto nacional.

Áreas de Investigación:1. Nuevos tópicos de bases de datos2. Distribución e integración de datos3. Bibliotecas digitales4. DataWare Houses5. Metodologías de modelado de datos6. Datos incompletos e imprecisosTópicos de interés:1. Agentes de búsqueda y recuperación de información2. Mecanismos de indexación3. Minería de datos4. Explotación de datos multimedia, geográficos y temporales5. Formatos de datos6. Arquitectura de servidores de datos7. Protocolos de intercambio de datos8. Administración del conocimiento9. Mecanismos de adquisición de datos multimedia,

geográficos y temporales10. Organización de datos en el contexto del WWWActividades:1. Construcción de la página del grupo2. Formación del directorio de integrantes3. Foro de discusión4. Integración de empresas5. Posibles apoyos de empresarios6. Preparación y participación en ENC20007. Participación en los comités internacionales

David Sol

Grupo de Interés enRecuperación de Información (GIRI)

6

boletín de la de ladeSociedad mexicana ciencia computación

Nueva Legislación Informáticaen MéxicoNueva Legislación Informáticaen México

A continuación se comentan dos decretos queafectan la práctica informática en México. Enmi opinión son los decretos más importantes delegislación informática promulgados hasta lafecha en este país. El primero, publicado en elDiario Oficial de la Federación el día 29 de mayodel 2000, establece las bases para realizar Co-mercio Electrónico. El segundo, publicado el 30de mayo del 2000, modifica la Ley Federal deProcedimiento Administrativo de forma que sepodrán realizar trámites oficiales por vía elec-trónica. Juzgamos que les resultará útil a losinformáticos mexicanos tenerlos a la mano, yque su estudio y discusión pueden ser prove-chosos para nuestra comunidad.

Con el fin de darle a nuestros lectores ele-mentos mínimos de contexto, me permitoapuntar unas breves observaciones.

1. El Decreto de Comercio Electrónico (DCE)proviene originalmente de la propuesta de LeyModelo para el Comercio Electrónico de laUNCITRAL (el órgano de la Organización delas Naciones Unidas que promueve la legis-lación internacional de comercio). Esa propuestafue discutida y enriquecida amplia y abier-tamente en distintos foros, entre los quedestacan el "Grupo de Seguridad" del Banco deMéxico, AMECE, AMITI, y en un grupo inter-institucional en el que además de los anterioresparticiparon formalmente la SECOFI, el INEGI,la SECODAM y el Instituto Mexicano dePropiedad Industrial. La iniciativa de ley fuepromovida originalmente por el diputadoHumberto Treviño Lanodis (PAN) y reintro-ducida en la última legislatura por el diputadoRafael Oceguera Ramos (PRI).

2. El DCE pretende una adecuación prudentedel marco legal mexicano para dar seguridadjurídica a las transacciones electrónicas. Paraello, por una parte, admite expresamente el usode mensajes y medios electrónicos para ma-nifestar la voluntad de las partes (ofertas,contratos…), establece el valor probatorio de losdocumentos electrónicos y reconoce la figura

de la firma electrónica para establecer laidentidad de las partes. Por otro lado, el DCEcuida de definir a los juzgadores elementosobjetivos y consistentes para juzgar la proce-dencia y validez, o no, de ciertos actos basadosen comunicaciones y documentos electrónicos,y aclara —en la Ley Federal de Protección alConsumidor— la invalidez de ciertas prácticas.

3. Este DCE no especifica el procedimientopara emitir las firmas electrónicas, sólo in-corpora la figura tradicional de nuestro marcojurídico de un fedatario (notario o corredor) paraestablecer la veracidad (física) de las identidadesde las personas y las facultades correspondien-tes, y establece condiciones mínimas de validezen el uso de medios electrónicos para equi-pararlos con las formas escritas tradicionales.

4. Por último, el DCE instituye el Registro Pú-blico de Comercio alrededor de una base dedatos distribuida y transacciones electrónicas.

5. México es uno de los primeros países enadoptar una legislación sobre estos temas. Adiferencia de otros países que habían adoptadoversiones particulares de la Ley Modelo deUNCITRAD de manera un tanto atropellada,México siguió una estrategia cauta, revisandolas distintas disposiciones jurídicas que definenlos aspectos generales que pueden afectar nosolamente al comercio electrónico, sino tambiénotras muchas actividades civiles o gubernamen-tales que se pueden basar en el intercambioelectrónico de documentos. Así pues, con estedecreto se legisló un marco amplio para regulartransacciones electrónicas, de tal manera quecon base en dicho marco se podrán ir regla-mentando paulatinamente diversos ámbitosespecíficos y de forma coordinada entre lasautoridades competentes y los particulares.

6. El Decreto que reforma la Ley Federal deProcedimiento Administrativo (DPA) es unespléndido ejemplo de la reglamentación de unaspecto específico, que resulta factible y eficaz

Dr. Pablo Noriega B. V.Laboratorio Nacional de

la Informática Avanzada, A.C.

7

Eventosde interés…

ISMVL'200131st IEEE INTERNATIONAL

SYMPOSIUM ON MULTIPLE-VALUED LOGICMayo 22-24, 2001Warsaw, Polonia

Información:http://www.ipipan.waw.pl/~ismvl

o contactar aSymposium ChairBeata Konikowska

Institute of Computer SciencePolish Academy of Sciences

e-mail: beatak@ipipan.waw.pl

en el marco establecido por el DCE. EL DPA establece demanera contundente el uso de documentos electrónicos parala realización de todos los trámites federales. En particular,se podrán presentar electrónicamente todos los escritos delos ciudadanos con el Gobierno Federal (de manera optativapara el ciudadano). Entre innumerables casos de interésconsidérense por ejemplo, las declaraciones de impuestos,las ofertas y contratos de COMPRANET, las inscripcionesescolares. Por otra parte, este DPA faculta a las dependenciasy entidades de la Administración Pública Federal a enviarelectrónicamente las notificaciones, requerimientos y avisosa los particulares.

7. El DPA fue iniciativa de la SECODAM, la cual en suprograma de Modernización de la Administración Públicahabía compilado un registro nacional de trámites susceptiblesde realizarse electrónicamente, pero carecía del marco legaladecuado para impulsar su aplicación. Fueron los promoto-res de esta iniciativa los subsecretarios José Octavio LópezPresa, y más específicamente, Jorge Estefan Chidiac.

8. Tal como sucede con el DCE, ahora contamos con un ins-trumento jurídico general, que necesita ser completado conreglamentos y procedimientos específicos antes de seraplicado y para lo cual es deseable la participación informadade la comunidad de informáticos de México. En el caso delDPA es la SECODAM quien deberá emitir las "reglas decarácter general" que deberán seguir las dependencias yentidades de la Administración Pública para cumplir con sunueva obligación de aceptar todo comunicado escrito de losciudadanos por medio electrónico en la realización de trá-mites. Con ello se procederá de forma expedita y coherente ainstrumentar este decreto en todo el Gobierno Federal.

9. El DPA nos permite en México llevar a cabo un proyectoradical (por su alcance e impacto) de Gobierno Digital sobreun marco jurídico claro, y de inmediato. En este ámbito, latarea subsecuente es la de repensar qué nuevos papeles de-berá desempeñar el gobierno cuando los ciudadanos vivanen una cultura y una economía informáticas.

10. Subsisten aspectos de la práctica informática que aúnno están adecuadamente reglamentados en México. Losprincipales, en mi opinión, son tres:

• la protección de los datos privados de las personas,• el acceso público a la información oficial y• la tipificación realista de algunos delitos informáticos

(que corrija la precipitada alteración del Código Penalpara castigar a los ciberterroristas)

11. Considero que por el bien del país, es deseable que losespecialistas en Ciencia de la Computación desempeñen unpapel activo en la formulación e instrumentación de estasreformas legislativas, ahora y en el futuro.

WSCG '2001The 9th International Conferencein Central Europe on Computer

Graphics, Visualization andComputer Vision 2001

en cooperación conEUROGRAPHICS, IFIP WG 5.10

& Computer Graphics SocietyFebrero 5-9, 2001

en Plzen, muy cerca de Praga, capital dela República Checa

Información:http://wscg.zcu.cz

AiML-ICTL 2000Advances in Modal Logic-

International Conference onTemporal Logic 2000

Octubre 4-7, 2000,Universidad de Leipzig, Alemania

IJCAR 2001The International Joint

Conference on AutomatedReasoning

Junio 18-23, 2001, Siena, ItaliaInformación:

http://www.dii.uni-si.it/~ijcar/

8

X CONGRESO INTERNACIONAL DEELECTRONICA Y COMPUTADORAS

CONIELECOMP 2001Universidad de las Américas-Puebla

Febrero / Marzo de 2001.Cholula, Puebla, México

INVITACION PARA PRESENTACION DE ARTICULOS

La Universidad de las Américas, Puebla y el IEEE a través de la subsecciónPuebla/México organizan el XI Congreso Internacional de Electrónica,

Comunicaciones y Computadoras

CONIELECOMP 2001

Por realizarse en la ciudad de Cholula, Puebla, México en febrero y marzo del2001.

ACERCA DEL CONIELECOMPEste congreso se ha venido realizando en forma anual desde 1990. En 1994, elCONIELECOMP cede su estructura a la organización del MEXICON 94, que es lareunión anual, en el área de Electrónica, más importante en el país auspiciada por elIEEE. El objetivo del congreso es proporcionar un foro internacional a ingenieros ycientíficos, de diversas partes del mundo, para presentar e intercambiar ideas yresultados de investigación original o de aplicaciones en las áreas descritas al margen,aunque no necesariamente restringido únicamente a ellas.

PROCEDIMIENTO PARA SOMETER ARTICULOSLos autores interesados en someter artículos a revisión, deberán mandar tres copiasdel resumen en extenso (dos o tres páginas), pudiendo incluir tablas, gráficas, figuraso cualquier otra información que el autor considere conveniente para juzgar larelevancia del trabajo. El encabezado deberá incluir: (1)Título del artículo, (2)Área(s)técnica(s), (3)Nombre(s) del autor(es), (4)Afiliación, (5)Dirección, (6)Teléfono,(7)Fax y/o e-mail en su caso. Todos los trabajos serán sometidos a un proceso dearbitraje realizado por especialistas en cada una de las áreas. Se considerarán trabajosen los idiomas inglés y español. Los trabajos serán recibidos en la siguiente dirección:

Dr. David Báez López.CONIELECOMP 2001

Departamento de Ingeniería ElectrónicaUniversidad de las Américas, Puebla

Santa Catarina Mártir, Cholula, PueblaC.P. 72820MEXICO

Resúmenes por e-mail serán aceptados enDr. Báez David López

dbaeziec@mail.udlap.mx

FECHAS IMPORTANTES:Límite para recepción de resúmenes: 31 de octubre de 2000Notificación de aceptación: 30 de noviembre de 2000Límite para recepción de artículos completos: 15 de enero de 2001

Para más informes consulte la página en internet del CONIELECOMP 2001:http://info.pue.udlap.mx/electronica/conie

COMITÉ ORGANIZADOR

PresidenteM.C. Eduardo Jiménez Lópeze-mail:edjim@mail.udlap.mx

Programa técnicoDr. David Báez Lópeze-mail:dbaeziec@mail.udlap.mx

FinanzasM.C. Juan Antonio Navarro M.e-mail:jnavarro@mail.udlap.mx

TutorialesDr. Salvador Lobato Lariose-mail: wolf@mail.udlap.mx

EventosM.C. Luis G. Guerrero Ojeda.e-mail:lgojeda@mail.udlap.mx

AREAS DE INTERESBioelectrónicaCircuitos integradosComputaciónDiseño de circuitos análogos ydigitalesEducaciónElectrónica industrialElectrónica de potenciaIngeniería de softwareInteligencia artificialLógica difusaMicroprocesadoresOptoelectrónicaProcesado digital de señalesReconocimiento de patronesRedes de computadorasRedes neuronalesRobóticaSemiconductoresSistemas de controlSistemas expertosTelecomunicacionesTelefonía CelularVideo y multimediaVisión por computadora

9

boletín de la de ladeSociedad mexicana ciencia computación

Grupo de Ciencias de la Computación del CIMAT

La actividad del grupo de Ciencias de la Compu-tación del CIMAT se dirige, en términosgenerales, a lo que podría llamarse "CómputoMatemático", y a la Ingeniería de Software.Llamamos Cómputo Matemático al desarrollode algoritmos y programas de cómputo en losque los aspectos matemáticos juegan un papelpreponderante; en concreto, en la actualidad serealiza investigación en Procesamiento deImágenes y Visión Computacional; Diseño yManufactura Auxiliados por Computadora yOptimización y Métodos Numéricos. En loreferente a Ingeniería de Software, no sólo serealiza investigación en esta disciplina, sino quese dan asesorías y capacitación a empresas y en-tidades del Sector Público.

El grupo forma parte del Centro de Inves-tigación en Matemáticas, cuyas principalesinstalaciones están en Guanajuato, Gto. ElCIMAT cuenta con la biblioteca más grande delpaís, fuera del área metropolitana, en computa-ción, estadística y matemáticas. En cuanto a susinstalaciones, éstas incluyen oficinas para in-vestigadores y estudiantes de posgrado; salonespara seminarios y congresos y un hotel aca-démico (CIMATEL) con capacidad para 45personas. El CIMAT ofrece maestrías y docto-rados en Computación, Estadística y Mate-máticas Básicas y Aplicadas. Todos estosprogramas están en el Padrón de Excelencia deConacyt. Los investigadores del CIMAT apoyantambién las licenciaturas de la Facultad deMatemáticas de la Universidad de Guanajuato,las cuales son consideradas Programas deExcelencia a nivel nacional. También se ofrecenbecas para que estudiantes de licenciaturas entodo el país puedan realizar sus tesis en elCentro bajo la supervisión de alguno de susinvestigadores.

El grupo de Ciencias de la Computación delCIMAT está integrado por 10 personas, 6 de lascuales son miembros del Sistema Nacional deInvestigadores. Los integrantes son:

• Dr. Salvador Botello Rionda• Dr. Johan Van Horebeek• Dr. José Luis Marroquín Zaleta• Ing. Gilberto Marrufo Quirino

• Dr. Carlos Montes de Oca• Dr. Arturo Ramírez Flores• Dr. Mariano José Juan Rivera Meraz• M.C. Maximino Tapia Rodríguez• Dr. Eduardo Bayro Corrochano• Dr. Miguel Serrano (por incorporarse)

Las principales líneas de investigación que secultivan son las siguientes:

SISTEMAS DE DISEÑO Y MANUFACTURAAUXILIADOS POR COMPUTADORA (CAD/CAM)

El principal proyecto dentro de esta línea ha sidoel desarrollo de un sistema de diseño de calzadoauxiliado por computadora. La primera versióncomercial de este sistema se liberó en 1990 y setransfirió la tecnología correspondiente a laempresa Martín y Asociados SA de CV de León,Gto., la cual se encarga desde entonces de sucomercialización y del soporte técnico y en-trenamiento a los usuarios del mismo. A partirde esta fecha, se han desarrollado nuevasversiones, y módulos adicionales (de softwarey hardware) que incrementan su utilidad. Entreestos destacan:

• Un digitalizador tridimensional que per-mite introducir en la computadora laforma de las hormas de calzado.

• Un módulo de software que permite in-troducir la forma de las piezas queconstituyen un modelo de una manerafácil y rápida por medio de un dispositivode barrido (escáner).

• Una cortadora de control numérico,basada en una mesa XY comercial a la cualse le adaptó una herramienta de cortedesarrollada en el Centro. Esta cortadorapermite obtener los moldes de las piezasde un zapato directamente en lámina oplástico, lo cual permite usarlos parafabricar troqueles o directamente paracortar la piel.

• El prototipo de un sistema, basado en lamisma mesa XYZ, para fabricar moldes

Grupo de Ciencias de la Computación del CIMAT

10

para suelas de zapatos y para pirograbadode piel.

En la actualidad se está trabajando en eldesarrollo de versiones más depuradas dedigitalizadores tridimensionales (electromecá-nicos y ópticos) y del software de diseño.También se encuentran en proceso de desarro-llo los siguientes proyectos:

• Desarrollo de un prototipo de pantógrafode control numérico para corte de placasde acero, usando sopletes de oxiacetileno.

• Desarrollo de un prototipo de pantógrafode control numérico para corte de hoja defibra de madera o plástico, para usarla enla industria de fabricación de hormas decalzado.

• Calibración del digitalizador tridimensio-nal de hormas de calzado y generaciónde archivos en el formato usado por tor-nos comerciales de control numérico.

Dentro de esta línea de investigación, seencuentra también el desarrollo de métodosbasados en modelos de elementos finitos, loscuales han tenido un desarrollo importante enlos últimos años, y su aplicabilidad a diferentesproblemas aumenta día con día. El CIMAT y elCentro de Investigación en Métodos Numé-ricos de Barcelona, España (CIMNE) tienenfirmado un convenio para el desarrollo de unprograma de Elementos Finitos aplicado a lasolución de sólidos bajo diferentes tipos de so-licitaciones. Los problemas que actualmente seestán atacando están relacionados con lautilización de la información parcial obtenidapor métodos ópticos automáticamente al pro-grama de elementos finitos con el cual se podránestudiar las partes no vistas. El uso de técnicasexperimentales ópticas junto con el Método delos Elementos Finitos pueden facilitar tanto loscálculos numéricos como experimentales enrangos de operación dinámicos y aun en los no-lineales. También se encuentran en desarrollode modelos numéricos para el estudio de lamecánica de sólidos. Estos métodos son necesa-rios para complementar el estudio experimental(por métodos ópticos) de piezas mecánicassometidas a diversos tipos de solicitacionesexternas.

Una nueva línea de investigación relacionadacon los elementos finitos es la aplicación de mo-delos físicos a problemas de procesamiento de

imágenes. Así es posible, por ejemplo, modelarla variación espacial de la intensidad de ciertaimagen en una región determinada como unamembrana o una placa delgada, sometida a so-licitaciones generadas por resortes conectadosa las observaciones. De esta forma se estableceuna conexión entre las técnicas de elementosfinitos, empleadas para modelar sólidos, y losproblemas de procesamiento y segmentaciónde imágenes.

PROCESAMIENTO DE IMÁGENESY VISIÓN COMPUTACIONAL

El objetivo que se persigue en esta línea es eldesarrollo de técnicas que permitan recuperarla forma y características superficiales de objetossólidos a partir de imágenes de los mismos.Estas técnicas tienen numerosas aplicaciones enlos procesos industriales modernos, tales comoel análisis de esfuerzos y vibraciones de equi-pos industriales, la inspección automática, lossistemas robóticos, etc. Las investigaciones quese han realizado en el Centro dentro de estalínea, se refieren principalmente a la aplicaciónde la teoría de regularización y la estimaciónBayesiana al desarrollo de algoritmos distri-buidos (autómatas celulares) para realizar estosprocesos.

Una clase de técnicas particularmente in-teresante (en especial, en metrología óptica) sebasa en el procesamiento de imágenes depatrones de franjas, ya que, con distintosarreglos experimentales, permiten realizarmediciones en un amplio rango de escalas(desde centímetros hasta Amstrongs). Aprincipios de 1995 se firmó un convenio decolaboración con el Centro de Investigacionesen Optica (CIO), lo cual ha permitido integrarun grupo interdisciplinario abocado al estudiode estos problemas. En el futuro, se planeadesarrollar un sistema integrado que permitarealizar experimentos no-destructivos de piezasmecánicas en condiciones industriales, queincluya software para construir modelos de só-lidos y sus deformaciones a partir de imágenes,visualizarlos en forma interactiva y realizar elanálisis mecánico de los esfuerzos a que estánsometidos.

Actualmente se han comenzado a desarrollarotras aplicaciones, en particular, al análisis deimágenes médicas (principalmente, de resonan-cia magnético-nuclear), para lo cual se cuenta

11

con la colaboración de investigadores del Centrode Neurobiología de la UNAM (campus Ju-riquilla) y de la Universidad de Florida.

Esta línea ha estado soportada por 2 proyectosConacyt, lo que ha permitido equipar un labo-ratorio de visión robótica y cómputo paralelo,con equipo para producir patrones de franjas yadquirir y procesar imágenes en forma eficiente.

OPTIMIZACIÓN

El desarrollo de esta línea de investigación serealiza a través de los siguientes proyectos:

a) Optimización estructural: en este proyectose están desarrollando algoritmos que permitenresolver problemas complejos de optimizacióncombinatoria en máquinas paralelas. La prin-cipal aplicación que se tiene en mente es laoptimización de estructuras, y el diseño óptimode piezas mecánicas, para lo cual se está colabo-rando con la Facultad de Ingeniería Civil de laUniversidad de Guanajuato.

b) Optimización a gran escala para procesa-miento de imágenes. Este proyecto aborda eldesarrollo de nuevos algoritmos para encontrarestimadores óptimos de imágenes, utilizandopara ello teoría de la regularización y estima-ción Bayesiana.

INGENIERIA DE SOFTWARE

La línea de investigación en este campo se en-foca principalmente a la ingeniería inversa, yen particular, a la recuperación de diseños desistemas de software (design recovery), lo cualtiene importantes aplicaciones en el mante-nimiento y rediseño de grandes sistemas. Elenfoque que se está desarrollando consisteprincipalmente en la aplicación de técnicas deminería de datos a la ingeniería inversa, para locual se está desarrollando una herramienta que,

usando estas técnicas, permitirá extraer laarquitectura de un sistema de software.

El grupo de ingeniería de software interac-ciona también con el Laboratorio de Cómputodel CIMAT, el cual se encarga de la vinculacióndel área de Ciencias de la Computación con elsector productivo. Los principales proyectos enlos que se ha participado son:

a) El Programa de Fomento a la Industria delSoftware del Gobierno del Estado de Gua-najuato, dentro del cual se ha dado capacitacióny asesoría en temas relacionados con Ingenieríade Software a personal, tanto del gobierno comode la academia y del sector productivo.

b) Desarrollo del Sistema de Presentación deResultados Preliminares de la Elección 2000,para el Instituto Federal Electoral.

El departamento tiene dos programas deposgrado:

1) Maestría en Ciencias de la Computación yMatemáticas Industriales. Dirigida a egresadosde carreras de ingeniería (electrónica, mecánica,civil, etc.), ciencias exactas y naturales. Elobjetivo de la maestría es ofrecer una formaciónsólida en el desarrollo de software científico yla modelación matemática subyacente, pro-porcionando un valor agregado a su formaciónbase y una preparación a un doctorado encómputo científico.

2) Doctorado en Ciencias de la Computación.Los requisitos para ser admitido en este pro-grama son: haber terminado una Maestría enCiencias de la Computación o equivalente;aprobar un examen de admisión y obtener elacuerdo de un investigador del área para quefunja como supervisor de Tesis. Esto implica queel candidato deberá tener definida el área deinvestigación en la que desea realizar su tesis yque esta sea compatible con las líneas de in-vestigación que se cultivan en el CIMAT.

Realizó estudios de licenciatura en la Facultad de Química de la UNAM, donde obtuvo el título de IngenieroQuímico en 1968. Realizó estudios de Maestría y Doctorado en Ciencia de Sistemas en el Instituto Tecnológicode Massachusetts. Trabajó en PEMEX, en las áreas de Investigación de Operaciones (programación matemáticay simulación), visualización de datos y procesamiento de información geofísica. Desde 1986 trabaja en elCentro de Investigación en Matemáticas A.C. en Guanajuato, Gto., donde es investigador titular y coordinadordel área de Ciencias de la Computación. Sus principales intereses son el procesamiento de imágenes, la visióncomputacional y el aprendizaje automático. Autor de numerosas publicaciones en estos temas y editor asociadode las revistas Pattern Recognition y Computación y Sistemas; miembro de la Academia Mexicana de Cienciase investigador nacional nivel III del SNI.

Dr. José Luis Marroquín

12

13TH INTERNATIONAL CONFERENCE ON SOFTWAREENGINEERING & KNOWLEDGE ENGINEERING

Buenos Aires, ArgentinaJune 13-15, 2001

CALL FOR PAPERS

SCOPEThe Conference on Software Engineering and Knowledge Engineering has, for the past twelve years, been providinga unique, centralized forum for academic and industrial researchers and practitioners to discuss the application ofeither software engineering methods in knowledge engineering or knowledge-based techniques in software engineering.

This year's event shall continue the SEKE mission. Therefore, preference will be given to contributions thatemphasize the transference of methods between both engineering domains. However, outstanding papers on softwareengineering or knowledge engineering alone are also being solicited.

SUGGESTED TOPICS OF INTEREST* Artificial intelligence approaches to software engineering* Automated software design* Component-based engineering* Data mining* Education and training* Intelligent CASE tools* Knowledge acquisition and requirements elicitation* Knowledge management

* Measurement and empirical software engineering* Multimedia software engineering* Program understanding* Requirements engineering* Reverse engineering* Software architecture* Software domain modeling* Software process modeling* Software reuse* Verification and validation

SESSION, PANEL, TUTORIAL PROPOSALSSessions, Panels and Tutorial proposals should include a two or three-page summary containing the title, proponents,contact information, abstract, description and the background of the proponent. An electronic copy of the proposal(only PDF, postscript or Microsoft Word formats) should be sent before December 1, 2000 to:tutorials@seke01.ls.fi.upm.es

PAPER SUBMISSIONSPapers must be written in English. Only electronic PDF, postscript or Microsoft Word formats will be accepted.Please, send an electronic copy of the complete manuscript with a 200-word abstract and no more than 12 pages ofdouble-spaced text (including figures and references) before January 15, 2001 to: papers@seke01.ls.fi.upm.esAll accepted papers will be published in the proceedings. In addition, a few selected best papers in knowledgeengineering will be published in a special issue of Expert Systems with Applications, best papers in softwareengineering areas will be published in a special issue of Journal of Systems and Software, and best papers insoftware engineering and knowledge engineering will be published in a special issue of The International Journalof Software Engineering and Knowledge Engineering.

IMPORTANT DATESPaper Submission Deadline: January 15, 2001Tutorial Proposal Deadline: December 1, 2000

Notification of Acceptance: March 15, 2001Camera Ready Copies Due: April 1, 2001

http://www.ls.fi.upm.es/seke01/

13

Stephen J. MellorProject Technology, Inc.

PROGRAM CO-CHAIRS

CONFERENCE CO-CHAIRS

Natalia JuristoUniversidad Politécnica de Madrid

STEERING COMMITTEE

Vic BasilUniversity of Maryland

Shi-Kuo ChangKnowledge Systems Institute

Bruce BuchananUniversity of Pittsburgh

C. V. RamamoorthyUniversity of California, Berkeley

KEY SPEAKERS

Vic BasiliUniversity of Maryland, USA

Stephen J. MellorProject Technology, USA

Alan M. DavisOmni-Vista, USA

Shari Lawrence PfleegerSystems/Software, USA

Silvia Teresita AcuñaUniversidad Nacional de Santiago del Estero

Marcelo EstaynoUniversidad Nacional de La Matanza

Juan Carlos Augusto, Universidad Nacional del Sur, ArgentinaMario R. Barbacci, Software Engineering Institute, USAAntonia Bertolino, CNR-IEI, ItalyKai H. Chang, Auburn University, USAReidar Conradi, NTNU, NorwayAndreas Dengel, Center for Artificial Intelligence, GermanyNorberto Ezquerra, Georgia Institute of Technology, USADieter Fensel, Vrije Universiteit Amsterdam, The NetherlandsKokichi Futatsugi, Japan Advanced Institute of Science andTechnology, JapanMari Georges, ILOG, FranceRobert L. Glass, Computing Trends, USAChung-Horng Lung, Nortel Networks, CanadaChristian S. Jensen, Aalborg University, DenmarkJosé Carlos Maldonado, ICMC-USP, BrazilRoland Mittermeir, Klagenfurt University, AustriaJohn Mylopoulos, University of Toronto, CanadaAmalia Teresa Parra, Computer Sciences Corporation, USARafael Avalos Pelayo, UAG, MéxicoAngel Puerta, Red Whale Software, USADavid Stuart Robertson, University of Edinburgh, ScotlandCarolyn B. Seaman, University of Maryland Baltimore County, USAMarcello A. Visconti, Univ. Técnica Federico Santa María, ChileLawrence Votta, Motorola, USAClaes Wohlin, Lund University, SwedenNaoki Yonezaki, Tokyo Institute of Technology, Japan

Paul Bailes, University of Queensland, AustraliaRichard Benjamins, University of Amsterdam, The NetherlandsLeopoldo E. Bertossi, Pontificia Universidad Católica, ChileWilliam Cheng-Chung Chu, TungHai University, TaiwanYi Deng, Florida International University, USAKhaled El Emam, National Research Council, CanadaMiguel Felder, Universidad de Buenos Aires, ArgentinaAlfonso Fuggetta, Politecnico di Milano, ItalyDavid Garlan, Carnegie Mellon University, USAYolanda Gil, USC, USAClaude Godart, LOIRA/INRIA, FranceFrank Houdek, DaimlerChrylser AG Research and Technology,GermanyMarta López, University of Corunna, SpainSandro Morasca, Politecnico di Milano, ItalyAna M. Moreno, Universidad Politécnica de Madrid, SpainMarkku Oivo, VVT Electronics, FinlandDerek Partridge, University of Exeter, UKShari Lawrence Pfleeger, Systems/Software, USAAhmed A. Rafea, American University in Cairo, EgyptGuenther Ruhe, Fraunhofer IESE, GermanyRogelio Soto, ITESM, Monterrey CampusJeffrey M. Voas, Reliable Software Technologies, USAChristiane Gresse vonWangenheim, Univ. of Santa Catarina, BrazilVilas Wuwongse, Asian Institute of Technology, ThailandKang Zhang, University of Texas at Dallas, USA

http://www.ls.fi.upm.es/seke01/

PROGRAM COMMITTEE

14

boletín de la de ladeSociedad mexicana ciencia computación

Talleres anuales de computación matemática

Surgidos en 1998, bajo impulso y con el apoyoeconómico de la Red de Desarrollo de Inves-tigación en Informática (REDII-CONACyT),los talleres anuales sobre computación ma-temática han conquistado paulatinamente unlugar fijo en las actividades veraniegas delCentro de Investigación en Matemáticas(CIMAT, Guanajuato) y en particular para suDepartamento de Computación.

Con modificaciones menores, el objetivo hapermanecido básicamente inalterado desdeaquel inicio: reunir estudiantes de posgrado yde los últimos semestres de licenciatura detodo el país que quieran profundizar sus co-nocimientos en algún tema específico de lacomputación matemática a través de dos cursosintensivos, complementados con algunasconferencias invitadas.

Así los talleres se perfilan comouna escuela de verano donde elénfasis está en enseñar a los parti-cipantes el estado del arte en algúntema actual a nivel intermedio—los cursos tienen en promediouna duración de diez horas—como complemento a sus materiasde licenciatura/posgrado y donde al mismotiempo se trata de transmitir un entusiasmopara que algunos se animen entrar en el tema através de una tesis, una maestría o algunainvestigación específica.

Como la presen-tación de algunaponencia es (desa-fortunadamente)en muchas institu-ciones de enseñan-za una condiciónindispensable paraconseguir apoyoeconómico, la ma-yoría de los par-

ticipantes deben usar sus propios recursos paraasistir al taller. Tomando en cuenta este hecho,en todas las ediciones, el CIMAT ha podidoofrecer un gran número de becas.

Al mismo tiempo, para estimular el

intercambio de ideas entre los participantes, casitodos se hospedan en el CIMATEL, un centrode hospedaje propio del CIMAT. Por esa ra-zón se debe siem-pre manejar uncupo limitado desesenta personas.

Este verano eltaller fue enfoca-do a las técnicas dem a n i p u l a c i ó n ,visualización y ex-ploración de datosmasivos. El Dr.David Scott (RiceUniversity, Esta-dos Unidos) impartió un curso sobre visualiza-

ción, estimación de densidad ymodelación robusta, principal-mente basado en su conocido librode Springer-Verlag.

El segundo curso fue impartidopor el Dr. Vladimir Estivill-Castro(University of Newcastle, Austra-lia), y versó en torno al tema Mineríade datos y Clustering.

Mientras el material del primer curso fueprincipalmente presentado desde un enfoqueestadístico, el segundo enfatizó más bien losaspectos algorítmicos y su planteamiento den-tro del área de "knowledge discovery".

Complementariamente, se realizaron pláticasimpartidas por investigadores del InstitutoTecnológico Autónomo de México, de la Uni-versidad Michoacana, del IMATE-Morelia ydel propio CIMAT.

El hecho de que se deba cerrar cada año lainscripción al menos una semana antes,demuestra el gran interés en y la necesidad deeste tipo de eventos.

Un grupo pequeño pero creciente entre losparticipantes son los profesores, investigadoresy profesionistas de la industria. Consideramostodo un reto aumentar en el futuro su presen-cia para que los talleres se conviertan enverdaderos encuentros en el área de la compu-tación matemática.

Talleres anuales de computación matemáticaJohan Horebeek

15

Eventos de interés…

QIP 2001Fourth Workshop on Quantum Information

ProcessingEnero 9-12 del 2001, Amsterdam

Quantum information processing es la intersección dela mecánica cuántica con la ciencia de la computación.Lo que se trata de hacer es mejorar las computadoras

clásicas y las cotas clásicas de complejidad utilizando losfenómenos de la mecánica cuántica. Después del

descubrimiento de Peter Shor’s en 1994 de algoritmoscuánticos eficientes para factorizar este campo hacrecido explosivamente y es ahora una de las más

candentes áreas de investigación tanto en computacióncomo en física. QIP 2001 es el cuarto workshop en

quantum computing, quantum cryptography, yquantum information theory siguiendo la tradicion de

AQIP 98 en Aarhus, AQIP 99 en Chicago, y QIP 2000en Montreal. El workshop está organizado por el

Dutch Center for Mathematics and Computer Science(CWI) y se llevará a cabo en el Het Trippenhuis en el

centro de Amsterdam.Información:

http://www.cwi.nl/~qip

COCOON'01The 7th Annual International Computing and

Combinatorics ConferenceAgosto 20-22, 2001, en Guilin, China.

Se aceptarán sólo trabajos sometidos electrónicamente.Fecha límite para entrega de trabajos: febrero 19, 2001

Información:http://sigact.acm.org/~cocoon01/COCOON01.html

cocoon01@sigact.acm.org con el título HELP.http://cocoon01.uncg.edu

PAKDD-01The Fifth Pacific-Asia Conference on

Knowledge Discovery and Data MiningAbril 16-18 del 2001, Hong Kong

Información:http://www.csis.hku.hk/pakdd01

The Limits of Mathematics: A Course onInformation Theory and the Limits of FormalReasoning. Gregory J. Chaitin. Springer-Verlag,1998.

El trabajo en este libro es una continuación de losresultados de Kurt Godel y de Alan Turing enmateria de incompletud. Sin embargo, el enfoquede su autor, Gregorio Chaitin, rompe con el estilopuramente teórico y abstracto de sus antecesores.Su propuesta, la "Teoría Algorítmica de laInformación", es una teoría de funciones recursivasaplicada, práctica y empírica en la cual el resultadode incompletud se prueba con un programa decomputadora real y tangible, desarrollado en unaversión extendida del lenguaje de programaciónLisp.

Este libro es un punto a favor del trabajo de llevara cabo la programación computacional de unresultado teórico. El mismo autor señala que teníasus resultados teóricos de incompletud desde losaños setenta, pero que no fue sino hasta muyrecientes fechas, esto es, veinticinco años después,que pudo programar el algoritmo de su pruebaoriginal.

En un nivel más general, en el plano de una fi-losofía de la ciencia matemática, este libro pone unénfasis muy especial en el papel que juega lacomputadora en la naturaleza de la investigaciónmatemática.

Chaitin sugiere con sus resultados de incompletudque la práctica matemática debiera ser más en elespíritu de una ciencia empírica, en donde lasconjeturas y aserciones indecidibles se puedanañadir al cálculo deductivo como axiomas opostulados.

El estilo informal de este libro hace de su lecturauna experiencia agradable, pero no por ello fácil yaccesible. De hecho, el lector ideal es aquel que tengaconocimientos tanto de lógica como de progra-mación (ésto es, de lógica computacional).

Este libro es altamente recomendable tanto paralógicos teóricos que quieran ver resultados deincompletud claros y concretos, como para es-tudiosos de la computación que quieran conocer losresultados lógicos de incompletud. Sin embargo,este libro no es más que una introducción al tema,para un curso completo, el lector debe remitirse alas referencias adicionales que menciona el autor.Para mayor información, puede consultar:http://www.umcs.maine.edu/~chaitinhttp://www.cs.auckland.ac.nz/~CDMTCS/chaitin

Este texto fue tomado del boletín electrónico del GILCde la SMCC (http://www.smcc.org/~lyc) que a su vezes un extracto de la reseña publicada en la revista:Mathesis: Filosofía e Historia de las Matemáticas ,Departamento de Matemáticas, Facultad de Ciencias.UNAM. No. 13 (1997) 385-395.

16

Suscríbete alboletín

de la

de lade

Sociedadmexicana

computación ciencia

SuscripciónAnual:

$100.00Tel.: (52) (2) 2-29-20-02URL: www.smcc.org.mx

e–mail:smcc@xalapa.lania.mx

¿ P u b l i c i d a d ?

en el boletín de la SMCC.

Tel.: (52) (2) 2-29-20-02URL: www.smcc.org.mxe–mail: smcc@xalapa.lania.mx

Anúnciate

Eventos de interés…ESSLLI'01

La 13a European Summer School in Logic, Language and InformationAgosto 13-24, 2001

Universidad de Helsinki, FinlandiaInformación:

http://www.helsinki.fi/esslli

Proof, Language, and Interaction. Essays in Honour of Robin Milneredited by Gordon Plotkin, Colin Stirling, and Mads Tofte

Esta colección de ensayos originales refleja el estado del arte en ciencias de lacomputación. Robin Milner, una figura primordial en el área a hecho muchas con-tribuciones de fundamental importancia, particularmente en teoría de la ciencia dela computación, teoría de los lenguajes de programación y en lenguajes de progra-mación funcional.

Siguiendo una breve biografía de Milner el libro contiene cinco secciones:Fundamentos Semánticos, Programación Lógica, Lenguajes de Programación,Concurrencia y Mobilidad. Juntas estas cinco piezas convergen en un todo continuoque va desde los conceptos más abstractos a sistemas de gran utilidad.

Gordon Plotkin y Colin Stirling son profesores de Ciencia de la Computación en laUniversidad de Edimburgo. Mads Tofte es el Director de la IT University en Copenague.

Colaboradores: Samson Abramsky, J.C.M. Baeten, Sergey Berezin, J.A. Bergstra,Gerard Berry, Lars Birkedal, Gerard Boudol, Edmund Clarke, Pierre Collette, RobertL. Constable, Pierre-Louis Curien, Jaco de Bakker, Uffe H. Engberg, William Ferreira,Fabio Gadducci, Mike Gordon, Robert Harper, Matthew Hennessy, Yoram Hirshfeld,C.A.R. Hoare, Gerard Huet, Paul B. Jackson, Alan S.A. Jeffrey, Somesh Jha, He Jifeng,Cliff B. Jones, Cosimo Laneve, Xinxin Liu,Will Marrero, Faron Moller, Ugo Montanari,Pavel Naumov, Mogens Nielsen, Joachim Parrow, Lawrence C. Paulson, Benjamin C.Pierce, Gordon Plotkin, M. A. Reniers, Amokrane Saibi, Augusto Sampaio, DavideSangiorgi, Scott A. Smolka, Eugene W. Stark, Christopher Stone, Mads Tofte, David N.Turner, Juan Uribe, Franck van Breugel, David Walker, Glynn Winskel.

7x9, 700 pp., 42 illus., cloth ISBN 0-262-16188-5,Foundations of Computing seriesJud WolfskillAssociate Publicist Phone: (617) 253-2079MIT Press Fax: (617) 253-1709Five Cambridge Center e-mail: wolfskil@mit.eduCambridge, MA 02142-1493 http://mitpress.mit.edu