La Primera Jornada Rosarina de Computación se presenta como un espacio abierto de difusión de trabajos de investigación y desarrollos relacionados con las ciencias de la computación.
Es una iniciativa del Departamento de Cs. de la Computación de la Facultad de Cs. Exactas, Ingeniería y Agrimensura de caracter libre y gratuito para promover el contacto de los alumnos de la carrera con investigadores y/o profesionales en temas relacionados con la orientación de la carrera.
Se desarrollará los días 28 y 29 de noviembre en el aula 23 de la citada facultad (Pellegrini 250) de acuerdo al siguiente programa:
| Evento | Hora de comienzo | Hora de finalización |
|---|---|---|
| Jue 28 Nov 2002 | ||
|
Apertura Jornadas
Apertura del Evento |
14:00 | 14:10 |
|
Concurrencia (Javier Blanco)
Se introducirán problemas de concurrencia y su forma de solucionarlos desde un punto de vista formal. |
14:11 | 14:55 |
|
Coffee Break
Descanso |
14:55 | 15:15 |
|
Comunicacion I
A determinar. |
15:15 | 15:30 |
|
Comunicacion II
A determinar. |
15:30 | 15:45 |
|
Break
Descanso |
15:45 | 15:55 |
|
Polymorphic Type Specialisation (Pablo E. Martinez Lopez)
En esta charla se describirá la tesis de doctorado (en curso) del autor. El tema es la especialización de programas con tipos, una técnica para transformar un programa general en uno que sólo trata un caso particular, pero teniendo en cuenta los tipos (que también son especializados). La tesis trata de una formulación de type specialisation que permite producir programas polimórficos. |
15:55 | 16:40 |
|
Coffee Break
Descanso |
16:40 | 17:00 |
| Vie 29 Nov 2002 | ||
|
La Catedral y El Bazar (Pablo E. Martinez Lopez)
En esta charla se revisará el artículo "The Cathedral and the Bazaar", que trata sobre la metodología de desarrollo del software libre (el bazar) en contraposición con las de desarrollo comercial tradicional (la catedral). Se usarán las ideas presentadas en dicho artículo para extrapolarlas al funcionamiento de otros grupos de personas con objetivos comunes, como ser grupos de investigación, cátedras, sociedades de profesionales, etc. Charla de cómo manejar un grupo de desarrollo de software libre, etc. |
14:00 | 14:45 |
|
Coffee Break
Descanso |
14:45 | 15:05 |
| LiSeX (M. Cristiá)
Lisex (acrónimo de Lifia Secure Linux) es un proyecto financiado por Lifia y ejecutado en nuestra Facultad que trata sobre el desarrollo, utilizando intensivamente métodos formales, de un sistema operativo de seguridad multi-nivel. En esta charla se comentará el objetivo y estado actual del proyecto así como también algunas nociones técnicas que permitan comprender su alcance. |
15:05 | 15:35 |
|
Break
Descanso |
15:35 | 15:45 |
| Conferencia: Calculo de Programas (Javier Blanco)
Se tratará la visión de como encarar la enseñanza informática desde los años iniciales gracias a la experiencia obtenida por el orador al dictar dichos cursos en el FAMAF (Universidad Nacional de Cordoba), mostrando los contenidos que se consideran importantes como así también pautas a seguir, organización, etc. |
15:45 | 16:15 |
| Coffee Break | 16:15 | 16:35 |