La III Escuela Internacional de Informática que se realiza en el marco del V CACIC, tendrá lugar del 25 al 30 de octubre de 1999 en el Campus Universitario de la Universidad Nacional del Centro de la Pcia. de Buenos Aires

Se dictarán seis cursos de tres horas diarias de clase desde el lunes 25 al viernes 29/10, tomándose una evaluación (optativa) el sábado 30. Se extenderán certificados de asistencia, y de aprobación para los que aprueben la evaluación final.

Los cursos se detallan a continuación:
 
 

Los interesados en inscribirse deberán completar la información respectiva en la planilla de inscripción del V CACIC, indicando la nómina de cursos que desea realizar (dos como máximo).

Inscripcion para Cacic99
 

DESCRIPCION BREVE DE LOS CURSOS

Curso M1 - FUNDAMENTOS DE TEORIA DE LA COMPUTACION

Dictado por el Prof. Dr. Marcelo Frias - Universidad de Buenos Aires

Este es un curso que introduce algunos temas basicos de la teoria de la computacion, como son: logica, computabilidad, teoria de lenguajes y especificaciones formales. Claramente, los contenidos de cada parte del curso dan para una materia cuatrimestral entera, por lo cual van a ser tratados a un nivel de abstraccion bastante alto, haciendo hincapie en los conceptos mas que en los detalles de las definiciones y demostraciones de teoremas. El objetivo final del curso es que gente que no ha tenido ningun contacto con la teoria de la computacion se vaya interesada en el tema y motivada para leer la bibliografia sugerida en el curso.

La teoria de la computacion es un area de investigacion que no se halla difundida en nuestro pais. Mientras que otras areas, como programacion o ingenieria de software, cuentan con representantes en casi todas las instituciones, la teoria de la computacion se encuentra circunscripta aunos pocos centros. Esto se debe, a mi entender, a que no muchos docentes tienen la formacion teorica necesaria para dictar este tipo de cursos. Por medio de este curso, dichos docentes van a tener un primer contacto (espero que amigable) con la teoria de la computacion, y podran acceder a la bibliografia basica en el tema.

Contenidos del curso
Breve CV

 Curso M2 - ANALISIS MATEMATICO DE ALGORITMOS

Dictado por el Prof. Dr. Conrado Martinez Parra - Universidad Politécnica de Catalunya, España

Los objetivos del curso son los siguientes:

1. Dar a conocer al estudiante un cierto numero de tecnicas de analisis de algoritmos, y familiarizarle con su empleo, sus ambitos de aplicacion, los principios matematicos en que se fundamentan, sus limitaciones, etc. En el curso hay un enfasis particular en las tecnicas de analisis probabilistico, pero tambien se estudian otras tecnicas como puedan ser el analisis competitivo o el analisis amortizado. Existen varias razones para esta eleccion: entre las mas importantes, esta el auge e interes de los algoritmos probabilisticos, cuyo analisis pasa ineludiblemente por la aplicacion de tecnicas del analisis probabilistico, eventualmente combinadas con otras tecnicas.

2. Dar a conocer al estudiante algunos de los resultados importantes (obviamente el curso no puede ser exhaustivo) en el area, algunos problemas tipicos, asi como algunos algoritmos y estructuras de datos avanzados (p.e. las skip lists o los arboles k-dimensionales). En este sentido, el curso tambien contempla aspectos ligados al diseño de algoritmos y estructuras de datos.

Como conocimientos previos para poder aprovechar el curso satisfactoriamente, el estudiante deberia haber cursado uno o dos años de Calculo, y tener una buena base en Programacion: preferentemente, conocer un lenguaje de programacion imperativo u orientado a objetos, y haber tomado curso(s) de "Diseño y Analisis de Algoritmos" y de "Estructuras de Datos".

Contenidos del curso
Breve CV

 Curso M3 - SISTEMAS TUTORES INTELIGENTES

Dictado por la Prof. Dra. Rosa Maria Viccari - Universidade Federal do Rio Grande do Sul, Brasil

Contenidos del curso
Breve CV

 Curso T1 - CALCULO DE PROGRAMAS

Dictado por el Prof. Dr. Javier Blanco - Universidade de Cordoba

Contenidos del curso
Breve CV

 Curso T2 - OPTIMIZACION COMBINATORIA USANDO ALGORITMOS EVOLUCIONISTAS

Dictado por la Prof. Dra. María Cristina Riff Rojas - Universidad Técnica Federico Santa María, Chile

Contenidos del curso
Breve CV

 Curso T3 - INTRODUCCION A LA SIMULACION DE SISTEMAS DE EVENTOS DISCRETOS

Dictado por el Prof. Dr. Gabriel A. Wainer - Universidad de Buenos Aires

El objetivo del curso es dar una introducción de técnicas avanzadas de simulación de eventos discretos. Comprender los principales problemas existentes en este área, y conocer soluciones efectivas en cuanto a su costo y seguridad. Introducir a los alumnos los principales conceptos de este área de investigación. Acercar a los alumnos trabajos de investigación fundamentales en este área de Ciencias de la Computación. Comprender algunos de los problemas existentes en éste área, así como sus soluciones.

Para poner en marcha sistemas automatizados que sean flexibles, complejos y con alta precisión, suele ser necesario construir sistemas de prueba caros y complejos. En muchos casos esta complejidad hará muy difícil (o imposible) probar las soluciones propuestas, así como proveer su comportamiento global, lo que es indispensable para minimizar los riesgos. Para lograr estos objetivos a un costo razonable, se ha difundido el uso de metodologías y herramientas de simulación. Las simulaciones tendrán como objetivo ayudar a los investigadores y desarrolladores a modelar dichos fenómenos complejos.

Las ventajas de la simulación son múltiples: puede reducirse el tiempo de desarrollo, las decisiones pueden chequearse artificialmente, y un mismo modelo puede usarse muchas veces. Por otro lado, la simulación es de empleo más simple que ciertas técnicas analíticas y precisa menos simplificaciones de los modelos empleados.

En este curso se estudiarán y discutirán formalismos de simulación de sistemas de eventos discretos, basándose en el formalismo DEVS.

Contenidos del curso
Breve CV

Inscripcion para Cacic99
 

Si precisa más información remitirse a:  jpryor@exa.unicen.edu.ar ó cacic@exa.unicen.edu.ar

Coordinación:

Facultad de Ciencias Exactas – UNICEN

Campus Universitario, Paraje Arroyo Seco

(7000) Tandil, Bs.As, Argentina

Tel: 02293-440362/63 Interno 28/29

Fax: 02293-440362/63