![[LoReL]](images/Logo-LoReL.png){kind=logo}
Se trata de una jornada de charlas donde miembros del grupo LoReL expondrán sus respectivos temas de investigación.
| Hora | Orador | Título |
|---|---|---|
| 10:00 | Alejandro Díaz-Caro | From linear logic to quantum control |
| 10:30 | Pablo Barenbaum | Sharing in Linear Logic and Call-by-Need |
| 11:00 | Pausa | |
| 11:15 | Daniel Dávalos | A proof mechanisation of reversible P/T nets in Lean |
| 11:45 | Malena Ivnisky | Intuitionistic linear logic and its connection to quantum computing |
| 12:15 | Almuerzo | |
| 13:30 | Nicolás Monzón | Extensión de Lambda-S para múltiples bases de medición |
| 14:00 | Rafael Romero | A multiple-basis quantum lambda calculus |
| 14:30 | Cristian Sottile | A syntactic approach to Strong Normalization through decreasing measures |
| 15:00 | Pausa | |
| 15:15 | Francisco Giordano | Una Máquina Relacional |
| 15:45 | Leopoldo Lerena | Un cálculo para lógica lineal no intuicionista |
| 16:15 | Carlos Miguel Soto | Completitud computacional de una semántica lineal para una lógica lineal |
| 16:45 | Pausa | |
| 17:00 | Manuel Panichelli | PPA: Un asistente de demostraciones inspirado en Mizar |
| 17:30 | Alvaro Piorno | Implementando algoritmo cuántico en un cálculo lineal cuántico |
| 18:00 | Luciano Barletta | Lenguaje imperativo, implementado, basado en el modelo de circuitos cuánticos |
| 18:10 | Tomás Miguez | Un modelo categórico para la computación cuántica con matrices densidad |
| 18:20 | Francisco Herrero | Conectando la lógica lineal con la computación cuántica |
| 18:30 | FIN | |