RIPAISC
Formulario Asistencia TLISC
1° Taller Latinoamericano de Ingeniería de Software Cuántico (TLISC 2024)
Lúnes 12 de Agosto de 2024
Edificio Rojo/Rosa del Campus Palihue de la UNS – Aula 8
Universidad Nacional del Sur, Bahía Blanca, Argentina
En conjunto con CLEI 2024 y JAIIO 2024
A medida que la computación cuántica evoluciona y se vuelve aplicable, crece la necesidad de enfoques sistemáticos, disciplinados y cuantificables de desarrollo, operación y mantenimiento del software cuántico (y del software clásico con el que se integra). Mucho de lo que hemos aprendido en décadas de investigación, innovación y desarrollo en Ingeniería de Software es aplicable en esta nueva realidad híbrida cuántica-clásica. Aún así, este nuevo contexto plantea interrogantes, desafíos y oportunidades; identificarlos, caracterizarlos y darles respuesta es el foco de la Ingeniería de Software Cuántico.
Este taller se propone como un foro de discusión, con especial interés en movilizar a la comunidad Latinoamericana, sobre cómo producir software cuántico considerando las lecciones aprendidas del campo de la ingeniería de software clásica, así como enfoques novedosos. Esto implica aplicar o adaptar los procesos, métodos, técnicas y principios de la ingeniería de software existentes para el desarrollo de software cuántico, e incluso crear nuevos métodos y técnicas que ayuden a crear software cuántico con los atributos de calidad apropiados.
Lunes 12 de Agosto - Aula 8 - Edificio Rojo/Rosa - Campus Palihue UNS
Como llegar al edificio Rojo/Rosa del Campus Palihue de la UNS
Los tiempos de presentación de los artículos son los siguientes:
- Full paper → 15 ‘+ 5’ preguntas.
- Short paper → 10′ + 5′ preguntas.
9:30 - 9:45 Bienvenida y presentación de la red RIPAISC y el TLISC
9:45 - 10:40 Sesión 1: Presentaciones de trabajos
- Detecting a spy with Quantum Cryptography [Full paper] – Mauricio Solar (UTFSM); Felipe Cisterna (UTFSM); Jean Pierre Villacura (UTFSM); Liuba Dombrovskaia (UTFSM) – presentación
- QHealth: Quantum pharmacogenomics applied to ageing [Industry report] – Jaime Alvarado-Valiente (Universidad de Extremadura); Javier Romero-Álvarez (Universidad de Extremadura ); Enrique Moguel (University of Extremadura); José García-Alonso (University of Extremadura); Juan M. Murillo (University of Extremadura) – presentación
- What’s Special about Requirements Engineering for Quantum-Classical Systems? [Short paper] – Horacio A Pendenti (UNTDF); Alejandro Fernandez (Universidad de la Plata, Argentina); Ricardo Pérez-Castillo (Universidad de Castilla-La Mancha); Leandro Antonelli (Lifia, Fac de Informatica, UNLP / CAETI Fac. de Tecnologias, UAI); Wilson Libardo Pantoja Yepez (Universidad del Cauca); Julio A Hurtado Alegría (Universidad del Cauca) – presentación
11:00 - 12:00 Sesión 2: Presentaciones de trabajos
- Oracle design for the Hamiltonian Cycle Problem using Grover’s algorithm [Full paper] – Agustín J Panizza (Universidad de Montevideo); Laura N Gatti (Universidad de Montevideo); Rafael Sotelo (Universidad de Montevideo) – presentación
- A review on Quantum Machine Learning and Quantum Cryptography [Full paper] – Mauricio Solar (UTFSM); Felipe Cisterna (UTFSM); Jean Pierre Villacura (UTFSM); Liuba Dombrovskaia (UTFSM) – presentación
- Supply and Demand in the Training of Quantum Software Engineering Workforce [Short paper] – Álvaro Manuel Aparicio-Morales (University of Extremadura); Enrique Moguel (University of Extremadura); José García-Alonso (University of Extremadura); Alejandro Fernandez (Lifia); Luis Mariano Bibbo (Lifia); Juan M. Murillo (University of Extremadura) – presentación
13:30 - 15:00 Sesión 3: Presentaciones de trabajos
- QUBO formulations for the Snake-in-the-box and Coil-in-the-box problems [Full paper] – Federico Fuidio (Universidad de Montevideo); Eduardo Canale (Universidad de la República); Rafael Sotelo (Universidad de Montevideo) – presentación
- Implementación Cuántica de un Algoritmo Genético [Full paper] – Mauricio Solar (UTFSM); Vicente Figueroa (UTFSM); Francisco Manriquez (UTFSM); Francisco Pizarro (UTFSM); Liuba Dombrovskaia (UTFSM) – presentación
- Modelling Quantum Software: An Annotated Bibliography [Full paper] – Luis Mariano Bibbo (Lifia); Alejandro Fernandez (Universidad de la Plata, Argentina); Oscar Pastor (Universitat Politécnica de Valencia); Jose Manuel Suarez (LIFIA) – presentación
- Avances y Retos en la Ingeniería de Software Cuántico y la Inteligencia Artificial Generativa [Industry report] – Alejandro Giraldo Londoño (qnow, Colombia) – presentación
15:30 - 17:00 Sesión 4: Presentaciones de trabajos
17:00 - 17:30 - Conferencia invitada
- Towards understanding security decisions from quantum software projects on Github [Full paper] – Gaston Marquez (Universidad del Bío-Bío); Nicolás R Murúa (University of Bio-Bio); Roberto Anabalon (Universidad del Bío-Bío). presentación
- Optimizing Qiskit Runtime Primitives for Noise-Resilient Quantum Computing [Full paper] – Mariana Bernagozzi (IBM Quantum); Paula Tristán (IBM Quantum) – presentación
- Integración de Webots y Qiskit para la experimentación con circuitos cuánticos como controladores robóticos [Short paper] – Diego Carlos Luna Márquez (CENIDET)) –presentación
- Desafı́os en la integración de QPUs a sistemas HPC clásicos [Short paper] – Adrian Pousa (III-LIDI); Victoria Sanz (III-LIDI) – presentación
- Una adaptación del UML Testing Profile para el Testing de Software Cuántico [Full paper] – Ignacio García Rodríguez de Guzmán (Universidad de Castilla-La Mancha); Moisés Rodríguez Monje (Universidad de Castilla-La Mancha); Mario Piattini (University of Castilla-La Mancha); María Teresa Merchán Quintana (Universidad de Castilla-La Mancha) – video
- El rol de los recursos cuánticos en el desarrollo de software en la era NISQ – Federico Holik, Instituto de Física de La Plata – IFPL, Argentina – presentación
Organizadores Generales
- José Manuel García Alonso, Departamento de Ingeniería de Sistemas Informáticos y Telemáticos, Universidad de Extremadura, España
- Rafael Sotelo, Facultad de Ingeniería, Universidad de Montevideo, Uruguay
- Alejandro Fernandez, Centro LIFIA – Facultad de Informática – Universidad Nacional de La Plata, Argentina
Comité de programa (preliminar)
- Alejandro Fernandez, Universidad Nacional de La Plata, Argentina
- Claudia Pons, Universidad Abierta Interamericana, Argentina
- Federico Holik, Instituto de Física de La Plata, Argentina
- Guilherme Horta Travassos, Universidade Federal do Rio de Janeiro, Brasil
- Hernán Astudillo, Universidad Andrés Bello, Chile
- Ignacio García Rodríguez de Guzmán, Universidad de Castilla – La Mancha, España
- José Enrique Moguel Márquez, Universidad de Extremadura, España
- José Manuel García Alonso, Universidad de Extremadura, España
- Juan Manuel Murillo Rodriguez, COMPUTANEX, España
- Julio Ariel Hurtado Alegria, Universidad del Cauca, Colombia
- Laura Gatti, Universidad de Montevideo, Uruguay
- Luca, Cernuzzi, Universidad Autónoma de Asunción, Paraguay
- Luis Freddy Muñoz Sanabria, Federación Universitaria de Popayán, Colombia
- Luis Mariano Bibbo, Universidad Nacional de La Plata, Argentina
- Marcos Villagra, Universidad Nacional de Asunción, Paraguay
- Mario Piattini, Universidad de Castilla – La Mancha, España
- Octavio Malherbe, Universidad de la República, Uruguay
- Oscar Pastor, Universidad Politécnica de Valencia, España
- Pablo Ruiz Melenje, UNICOMFACAUCA, Colombia
- Ricardo Pérez del Castillo, Universidad de Castilla – La Mancha, España
- Ricardo Rosenfeld, Universidad Nacional de La Plata, Arentina
- Salvador Elías Venegas Andraca, Tecnológico de Monterrey, México
- Samuel Eduardo Sepúlveda Cuevas, Universidad de La Frontera, Chile
- Valter Camargo, Universidade Federal do Säo Carlos, Brasil
Temas de interés
- Técnicas y prácticas de programación cuántica
- Diseño de software cuántico
- Algoritmos de computación cuántica
- Metodologías de ingeniería de software cuántico
- Servicios de software cuántico
- Análisis y diseño de programas cuánticos
- Pruebas y verificación de programas cuánticos
- Aseguramiento de calidad del software cuántico
- Evolución y mantenimiento de software cuántico
- Modelado de software cuántico
- Automatización de la producción de software cuántico
- Ingeniería dirigida por modelos y técnicas generativas para software cuántico
- Métricas para software cuántico
- Marcos de trabajo y herramientas para desarrollar programas cuánticos
- Software cuántico orientado a servicios
- Experimentos con software cuántico
- Ejecución de software cuántico
- Aplicaciones industriales
- Evaluaciones empíricas
Presentaciones
Los artículos aceptados serán presentados en sesiones temáticas, consistentes en 20 minutos de presentación oral de cada artículo completo seguido de preguntas de los asistentes. Para los artículos cortos, artículos ya publicados y experiencias en la industria, se dispondrá de 10 minutos de presentación seguidos de preguntas.
Publicación (actualizado)
Los artículos aceptados en el TLISC serán publicados en la revista “Memoria Investigaciones en Ingeniería” (ISSN: 2301-1106), editada por la Universidad de Montevideo, indexada en Clarivate Web of Science (ESCI), Latindex y DOAJ entre otros.
Para asegurar su publicación, cada artículo aceptado deberá: (1) tener al menos uno de sus autores inscrito como autor en el CLEI o las JAIIO; (2) ser presentado en el taller; (3) respetar el formato sugerido y número máximo de páginas; (4) incorporar las recomendaciones de mejora de los evaluadores.
Ayuda económica para estudiantes e investigadores en formación
Gracias al apoyo de la Fundación Williams, el TLISC dispone de un número acotado ayudas económicas de movilidad para aistir al taller, para residentes Argentinos que sean estudiantes de doctorado, investigadores en formación, o estudiantes universitarios avanzados. Las mismas serán otorgadas en base a la disponibilidad de los fondos y al potencial del postulante de aprovechar el taller para avanzar en su formación y vincularse a la Red Iberoamericana para el Avance de la Ingeniería de Software Cuántico.
La fecha limite para postulaciones es el miércoles 31 de Julio de 2024. Los resultados serán notificados el viernes 2 de Agosto.
