Programa científico – Sistedes 2026

Martes 16 de junio · Alicante

Hora / Lugar	Aula 1.2	Aula 1.1	Aula Rafael Altamira	Aula 2.2	Aula Institucional	Aula Emilio Varela
08:15-09:00	Registro Vestíbulo sede
09:00-10:30	JISBDISGD	JISBDAI4SE	JISBDICD	JISBDISDM	PROLE Métodos lógicos para la verificación de programas	JCIS
10:30-11:00	Pausa café Aula Miguel Hernández
11:00-13:30	Inauguración + Keynote JCIS Aula de Cultura · Fundación Mediterráneo
13:30-15:00	Almuerzo Aula Miguel Hernández · Restaurante Poniente
15:00-16:30	JISBDISGD	JISBDAI4SE	JISBDICD	JISBDISDM	PROLE Grafos y bases de datos	JCIS
16:30-17:00	Pausa café Aula Miguel Hernández
17:00-18:00	JISBDISGD	JISBDAI4SE	JISBDICD	JISBDMÉTODOS	PROLE Técnicas formales aplicadas a sistemas y redes	JCIS

Hora / Lugar	Aula 1.2	Aula 1.1	Aula Rafael Altamira	Aula 2.2	Aula Institucional	Aula Emilio Varela
08:30-09:00	Registro Vestíbulo sede
09:00-10:30	JISBDQuantumX	JISBDAI4SE	JISBDISGD	JISBDMÉTODOS	PROLE Transformación, optimización y análisis de programas	JCIS
10:30-11:00	Pausa café Aula Miguel Hernández
11:00-12:30	Keynote JISBD Aula de Cultura · Fundación Mediterráneo
12:30-13:30	SISTEDES e Innovación Docente en la Enseñanza del Desarrollo del Software en la Era de la IA Generativa Aula de Cultura · Fundación Mediterráneo
13:30-15:00	Almuerzo Aula Miguel Hernández · Restaurante Poniente
15:00-16:30	JISBDQuantumX	JISBDAI4SE	JISBDICD	JISBDMÉTODOS	PROLE Concurrencia y verificación formal	JCIS
16:30-17:00	Pausa café + pósteres Aula Miguel Hernández
17:00-18:30	JISBDQuantumX	JISBDAI4SE	JISBDICD	JISBDMÉTODOS	Comisión Permanente	JCIS

Hora / Lugar	Aula 1.2	Aula 1.1	Aula Rafael Altamira	Aula 2.2	Aula Institucional	Aula Emilio Varela
08:30-09:00	Registro Vestíbulo sede
09:00-10:30	JISBDQuantumX	JISBDMCPS	JISBDICD	JISBDASV	PROLE Búsqueda, tipos y sistemas Prolog	JCIS
10:30-11:00	Pausa café Aula Miguel Hernández
11:00-12:30	Keynote PROLE Aula de Cultura · Fundación Mediterráneo
12:30-13:45	JISBDQuantumX	JISBDMCPS	JISBDICD	JISBDASV	Asamblea participantes	JCIS
13:45-14:30	Mascletá Plaza de los Luceros
14:30-15:45	Almuerzo Aula Miguel Hernández · Restaurante Poniente
15:45-17:15	JISBDQuantumX	JISBDMCPS	JISBDICD	JISBDASV	PROLE Fundamentos lógicos y semánticos	JCIS
17:15-17:45	Pausa café Aula Miguel Hernández
17:45-18:00	Premios SISTEDES Aula de Cultura · Fundación Mediterráneo
18:00-19:15	Asamblea SISTEDES + Clausura Aula de Cultura · Fundación Mediterráneo