Programa científico – Sistedes 2026

Martes 16 de junio · Alicante

Hora / Lugar	Aula 2.1	Aula 5	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	PROLEMétodos lógicos para la verificación de programas	JCISInteligencia 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:30	Almuerzo Aula Miguel Hernández · Restaurante Poniente
15:30-17:00	JISBDISGD	JISBDAI4SE	JISBDICD	JISBDISDM	PROLEGrafos y bases de datos	JCISModelado, minería y gestión de procesos
17:00-17:30	Pausa café Aula Miguel Hernández
17:30-18:30	JISBDISGD	JISBDAI4SE		JISBDMÉTODOS	PROLETécnicas formales aplicadas a sistemas y redes

08:15–09:00 Registro Vestíbulo sede

09:00–10:30

JISBDISGD

JISBDAI4SE

JISBDICD

JISBDISDM

PROLEMétodos lógicos para la verificación de programas

Aula Emilio Varela

JCISInteligencia 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:30 Almuerzo Aula Miguel Hernández · Restaurante Poniente

15:30–17:00

JISBDISGD

JISBDAI4SE

JISBDICD

JISBDISDM

PROLEGrafos y bases de datos

Aula Emilio Varela

JCISModelado, minería y gestión de procesos

17:00–17:30 Pausa café Aula Miguel Hernández

17:30–18:30

JISBDISGD

JISBDAI4SE

JISBDMÉTODOS

PROLETécnicas formales aplicadas a sistemas y redes

Miércoles 17 de junio · Alicante

Hora / Lugar	Aula 2.1	Aula 5	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	PROLETransformación, optimización y análisis de programas	JCISServicios 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
13:30-15:00	Almuerzo Aula Miguel Hernández · Restaurante Poniente
15:00-16:30	JISBDQuantumX	JISBDAI4SE	JISBDICD	JISBDMÉTODOS	PROLEConcurrencia y verificación formal	JCISBlockchain, arquitecturas distribuidas y seguridad
16:30-17:00	Pausa café + pósteres Aula Miguel Hernández
17:00-18:30	JISBDQuantumX		JISBDICD	JISBDMÉTODOS	Comisión Permanente	JCISServicios cloud, QoS y computación cuántica

08:30–09:00 Registro Vestíbulo sede

09:00–10:30

JISBDQuantumX

JISBDAI4SE

JISBDISGD

JISBDMÉTODOS

PROLETransformación, optimización y análisis de programas

Aula Emilio Varela

JCISServicios 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

13:30–15:00 Almuerzo Aula Miguel Hernández · Restaurante Poniente

15:00–16:30

JISBDQuantumX

JISBDAI4SE

JISBDICD

JISBDMÉTODOS

PROLEConcurrencia y verificación formal

Aula Emilio Varela

JCISBlockchain, arquitecturas distribuidas y seguridad

16:30–17:00 Pausa café + pósteres Aula Miguel Hernández

17:00–18:30

JISBDQuantumX

JISBDICD

JISBDMÉTODOS

Comisión Permanente

JCISServicios cloud, QoS y computación cuántica

Jueves 18 de junio · Alicante

Hora / Lugar	Aula 2.1	Aula 5	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	PROLEBúsqueda, tipos y sistemas Prolog	JCISIoT, 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	JCISTransformación digital e IA aplicada a procesos y automatización
13:45-14:30	Mascletá Plaza de los Luceros
14:30-16:00	Almuerzo Aula Miguel Hernández · Restaurante Poniente
16:00-17:30	JISBDQuantumX	JISBDMCPS	JISBDICD	JISBDASV	PROLEFundamentos lógicos y semánticos	JCISModelado, minería y gestión de procesos (II)
17:30-18:00	Premios SISTEDES Aula de Cultura · Fundación Mediterráneo
18:00-19:00	Asamblea SISTEDES + Clausura Aula de Cultura · Fundación Mediterráneo