Programa científico – Sistedes 2026

Martes 16 de junio · Alicante

Hora / Lugar	Aula 2.1	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 Inteligencia Artificial e Ingeniería de Servicios
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 Modelado, minería y gestión de procesos
16:30-17:00	Pausa café Aula Miguel Hernández
17:00-18:00	JISBDISGD	JISBDAI4SE		JISBDMÉTODOS	PROLE Técnicas formales aplicadas a sistemas y redes

Hora / Lugar	Aula 2.1	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	JISBD QuantumX	JISBD AI4SE	JISBD ISGD	JISBD MÉTODOS	PROLE Transformación, optimización y análisis de programas	JCIS Servicios para la salud y gerontecnología
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					JCIS Transformación digital e IA aplicada a procesos y automatización
13:30-15:00	Almuerzo Aula Miguel Hernández · Restaurante Poniente
15:00-16:30	JISBD QuantumX	JISBD AI4SE	JISBD ICD	JISBD MÉTODOS	PROLE Concurrencia y verificación formal	JCIS Blockchain, arquitecturas distribuidas y seguridad
16:30-17:00	Pausa café + pósteres Aula Miguel Hernández
17:00-18:30	JISBD QuantumX		JISBD ICD	JISBD MÉTODOS	Comisión Permanente	JCIS Servicios cloud, QoS y computación cuántica

Hora / Lugar	Aula 2.1	Aula 2.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 IoT, edge y computing continuum
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
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
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