Presentaci髇
Comit閟
Conferencias Invitadas
Env韔 de art韈ulos
Art韈ulos aceptados
Fechas importantes
Tutoriales
Talleres
Lugar de Celebraci髇
Secretar韆
Programa
Buscar
Todas las sesiones
Horario
Solicitud de Contribuciones
Ediciones Anteriores
English Version
PROLE 2006
Noticias y Novedades
MARTES, 3 DE OCTUBRE
08:00 - 09:00
Secretar铆a
09:00 - 11:00
Talleres
11:00 - 11:30
Pausa Caf茅
11:30 - 13:30
Talleres
13:30 - 15:00
Comida
15:00 - 17:00
Talleres
y
Tutoriales
17:00 - 17:30
Pausa Caf茅
17:30 - 19:30
Talleres
y
Tutoriales
MIERCOLES, 4 DE OCTUBRE
08:00 - 09:00
Secretar铆a
09:00 - 10:30
SESIONES
Sesi贸n 1-a: Ingenier铆a de Procesos
WM1
Room: Rusi帽ol
Chair: Francisco Ruiz Gonzalez
Sesi贸n 1-b: Modelado de Datos I
WM2
Room: Arcadin
Chair: Nieves Rodr铆guez Brisaboa
PROLE Sesi贸n 1: Semantics
WM3
Room: Astor
Chair: Jes煤s Almendros
10:30 - 11:00
Pausa Caf茅
11:00 - 11:30
Inauguraci贸n de las Jornadas
11:30 - 12:45
Conferencia Invitada I
WMP
Room: Rusi帽ol
David Garlan
12:45 - 13:30
SESIONES
Sesi贸n 2-a: Trabajos Cortos I
WA1
Room: Rusi帽ol
Chair: Juan C. Trujillo
Sesi贸n 2-b: Trabajos Cortos II
WA2
Room: Arcadin
Chair: Ana M. Moreno
PROLE Sesi贸n 2: Implementation
WA3
Room: Astor
Chair: Victor Gul铆as
13:30 - 15:00
Comida
15:00 - 16:30
Conferencia Invitada II
WAP
Room: Rusi帽ol
Eelco Visser
16:30 - 17:00
Pausa Caf茅
17:00 - 19:00
SESIONES
Sesi贸n 3-a: Mantenimiento Software
WE1
Room: Rusi帽ol
Chair: Javier Tuya
Sesi贸n 3-b: Modelado de Datos II
WE2
Room: Arcadin
Chair: Orlando Belo
PROLE Sesi贸n 3: Program Analysis
WE3
Room: Astor
Chair: Francisco J. L贸pez Fraguas
20:00 - 22:00
Welcome Reception Palau Maricel
JUEVES, 5 DE OCTUBRE
09:00 - 10:30
SESIONES
Sesi贸n 4-a: Calidad
ThM1
Room: Rusi帽ol
Chair: Coral Calero Mu帽oz
Sesi贸n 4-b: Generaci贸n Autom谩tica
ThM2
Room: Arcadin
Chair: Antonio Vallecillo Moreno
PROLE Sesi贸n 4: Narrowing
ThM3
Room: Astor
Chair: Salvador Lucas
10:30 - 11:00
Pausa Caf茅
11:00 - 12:30
Conferencia Invitada III
ThMP
Room: Rusi帽ol
Paolo Atzeni
12:30 - 13:30
SESIONES
Sesi贸n 5-a: Trabajos Cortos III
ThA1
Room: Rusi帽ol
Chair: Maria Jose Rodriguez Fortiz
Sesi贸n 5-b: Trabajos Cortos IV
ThA2
Room: Arcadin
Chair: Antonio Ruiz Cort茅s
PROLE Sesi贸n 5: Databases
ThA3
Room: Astor
Chair: Gin茅s Moreno
13:30 - 15:00
Comida
15:00 - 16:30
Conferencia Invitada IV
ThAP
Room: Rusi帽ol
Krzysztof Apt
15:00 - 16:30
SESIONES
Sesi贸n 5-c: Miner铆a de Datos
ThR1
Room: Arcadin
Chair: Jos茅 C. Riquelme Santos
16:30 - 17:00
Pausa Caf茅
17:00 - 18:30
SESIONES
Sesi贸n 6-a: Arquitecturas Software I
ThE2
Room: Rusi帽ol
Chair: Juan Manuel Murillo Rodr铆guez
Sesi贸n 6-b: Ingenier铆a de Requisitos I
ThE3
Room: Arcadin
Chair: Natalia Juristo
PROLE Sesi贸n 6: Verification
ThE4
Room: Astor
Chair: Ricardo Pe帽a
19:30 - 23:00
Visitas Cavas Codorni煤 y Cena del Congreso
VIERNES, 6 DE OCTUBRE
09:30 - 11:30
SESIONES
Sesi贸n 7-a: Ingenier铆a de requisitos II
FM1
Room: Rusi帽ol
Chair: Xavier Franch Guti茅rrez
Sesi贸n 7-b: Arquitecturas Software II
FM2
Room: Arcadin
Chair: Rafael Corchuelo
PROLE Sesi贸n 7: Functional Languages
FM3
Room: Astor
Chair: Isabel Pita
11:30 - 12:00
Pausa Caf茅
12:00 - 14:00
SESIONES
Sesi贸n 8-a: Miscel谩nea Software
FA1
Room: Rusi帽ol
Chair: Oscar Diaz Garcia
PROLE Sesi贸n 8: Program Transformation
FA2
Room: Astor
Chair: Marisa Navarro
14:00 - 15:00
Asamblea de SISTEDES y Clausura
15:00 - 16:00
Comida