.-/+oossssoo+/-. `:+ssssssssssssssssss+:` -+ssssssssssssssssssssss+- .osssssssdsMM1hsssssssssssssso. /ssssssssdMMMMMMbssssssssssssss\ +sssssssssMMyssMMMhssssssssssssss+ /sssssssssssssssVMMMsssssssssssssss\.ssssssssssssssss1MMMdsssssssssssssss.+ssssssssssssssss1MMMdsssssssssssssss+osssssssssssssssdMMMMMbssssssssssssssoossssssssssssssdMMMMMMMnssssssssssssso+sssssssssssssNMMrsstMMMnssssssssssss+.ssssssssssssNMMpssss1MMMmsssssssssss.\ssssssssssNMM1sssssstMMNssMMbsssss/ +ssssssssnMMpsssssss1MMMmMMnsssss+ \ssssssdMMbssssssssssoMMnpsssss/ .ossssssssssssssssssssssssssso. -+ssssssssssssssssssssss+- `:+sssssssssssssssss+:` .-/+oossssoo+/-.
Jornadas de Ciencias de la Computación
Una semana de charlas, un hackathon, un curso de computación cuántica y cuatro noches con la comunidad de la carrera.
Acerca del evento
Un evento que reúne a estudiantes, académicos y profesionales del área para compartir conocimiento y experiencias.
Reúne charlas, actividades y espacios de intercambio para compartir avances, experiencias y proyectos del ámbito de la computación. Este año se suma un hackathon, abierto a todos.
- Edición
- XXIV (24)
- Charlas
- 21 al 23 de octubre de 2026
- Semana completa
- 19 al 24 de octubre de 2026[hackathon y JodaCC]
- Sede
- Facultad de Ciencias Exactas, Ingeniería y Agrimensura (FCEIA)
- Dirección
- Av. Pellegrini 250, Rosario, Santa Fe, Argentina
- Organiza
- Licenciatura en Ciencias de la Computación, FCEIA, UNR
Programa
14:00 a 20:00
14:00 a 20:00
12:00 a 13:00
Almuerzo
13:00 a 13:30
Apertura de las jornadas
13:30 a 16:30
Charlas
13:30
Sesgos estructurales en information retrieval: ¿Los retrievers neuronales favorecen ciertos documentos?
Los sistemas modernos de recuperación de información basados en redes neuronales aprenden de grandes volúmenes de datos, pero ¿qué aprenden realmente? En esta charla veremos cómo los retrievers supervisados desarrollan una preferencia implícita por ciertos documentos, una señal independiente de la consulta del usuario que provoca que algunos contenidos sean sistemáticamente más fáciles de encontrar que otros, incluso frente a relevancias idénticas.
Francisco ValentiniICC14:30
Cuando la biología empezó a necesitar programadores: De las bases de datos al vibe coding científico
Un recorrido por los puntos de inflexión donde la biología molecular se volvió dependiente del cómputo: desde el almacenamiento masivo de datos genómicos hasta la predicción de estructuras moleculares mediante redes neuronales y el actual auge de la IA generativa. Se debatirá qué se gana y qué se pierde con el fenómeno del vibe coding en ciencias biológicas, y cómo esta trayectoria permite transformar investigaciones de laboratorio en productos biotecnológicos reales.
Martín EsparizTAXON15:30
El problema no es el prompt: seguridad real en aplicaciones con IA
Un análisis práctico de cómo se vulneran los sistemas modernos integrados con IA: partiendo de fallas tradicionales en autenticación, APIs, permisos e infraestructura cloud, hasta los nuevos vectores de ataque que surgen al dar acceso a agentes y LLMs a herramientas del mundo real. La charla muestra cómo los desafíos de seguridad en IA son, en el fondo, nuevas manifestaciones de problemas fundamentales de software y confianza.
Valentín Torassa ColomberoUAI
16:30 a 17:30
Coffee break
17:30 a 19:30
Charlas
17:30
Charla por confirmar
18:30
Charla por confirmar
Desde 19:30
Beer Bros
Ver las noches
8:00 a 12:00
Curso de computación cuántica
Ver el curso12:00 a 13:00
Almuerzo
13:00 a 16:00
Charlas
13:00
Podando lo obvio: Algoritmos de kernelización
Una introducción a la kernelización en complejidad parametrizada: una técnica rigurosa de preprocesamiento que reduce instancias computacionalmente complejas a un núcleo acotado mediante reglas eficientes, preservando de manera exacta las soluciones óptimas.
Eric BrandweinICC14:00
Toda IA es embebida
Frente al protagonismo hegemónico de los LLMs, esta charla reflexiona sobre cómo la fascinación actual puede opacar los desafíos estructurales que implica adoptar soluciones de inteligencia artificial a ritmo acelerado, postulando por qué debemos concebir a la IA como parte integral de sistemas embebidos más amplios y complejos.
Sebastián UchitelUBA / LoReL15:00
De la retina al silicio: una introducción a la visión neuromórfica
La visión neuromórfica revoluciona la captura de imágenes inspirándose en la retina biológica: mediante cámaras de eventos asincrónicas con resolución de microsegundos, supera las limitaciones de latencia y rango dinámico del video tradicional. Se presentan los fundamentos de esta tecnología, sus técnicas de procesamiento —desde superficies temporales hasta Spiking Neural Networks— y su aplicación al seguimiento ocular de alta frecuencia.
Nicolás CarrascoICC
16:00 a 17:00
Coffee break
17:00 a 20:00
Charlas
17:00
Runtime Assertion Checking en la ingeniería concurrente de systems aeroespaciales
En la industria aeroespacial y de misión crítica, donde hardware y software se desarrollan en paralelo, las pruebas dinámicas tradicionales resultan insuficientes para garantizar fiabilidad. En esta charla se presenta un conjunto de herramientas formales desarrolladas junto a INVAP para verificación en tiempo de ejecución (Runtime Assertion Checking), integrables directamente en los flujos de ingeniería concurrente.
Carlos Gustavo López PomboUNRN18:00
Charla por confirmar
19:00
Charla por confirmar
Desde 20:30
Suipacha Pool
Ver las noches
8:00 a 12:00
Curso de computación cuántica
Ver el curso12:00 a 13:00
Almuerzo
13:00 a 16:00
Charlas
13:00
Lenguajes de programación para computación cuántica
A diferencia de los lenguajes actuales que describen circuitos cuánticos a bajo nivel, esta charla explora cómo diseñar abstracciones formales de alto nivel para programar computadoras cuánticas. Se analizan los paradigmas de control clásico frente a control cuántico, el uso de sistemas de tipos basados en lógica lineal y los desafíos teóricos que imponen principios físicos como el entrelazamiento y la no clonación.
Alejandro Díaz-CaroUNQ / CONICET14:00
Un cálculo lambda de control cuántico con múltiples bases de medición
Presentación de Lambda-SX, un cálculo lambda cuántico tipado que admite mediciones en múltiples bases arbitrarias. A través de un sistema de tipos capaz de rastrear la duplicabilidad de la información, el cálculo ofrece mayor flexibilidad de control y razonamiento composicional, demostrando que múltiples bases de medición pueden integrarse formalmente en el diseño de lenguajes cuánticos.
Nicolás Alberto MonzónUDELAR15:00
Del Modelo al Robot: Metodología Secuencial para el Desarrollo e implementación de Controladores en Robots
Una metodología secuencial para el diseño, validación e implementación de controladores en robótica, avanzando gradualmente desde modelos matemáticos iniciales simplificados hasta validaciones de alta fidelidad e integración directa sobre el hardware de destino.
Matías NacusseUNR
16:00 a 17:00
Coffee break
17:00 a 18:00
Charla
17:00
Charla por confirmar
18:00 a 19:00
Entrega de diplomas
Desde 20:30
FutbolCC
Inscribir equipo
Horario a confirmar
JodaCC
Comprar entrada
Curso de computación cuántica
Este curso da una introducción a la computación cuántica, cubriendo conceptos teóricos y prácticos, así como algoritmos que los utilizan. Incluye demostraciones realizadas en una computadora cuántica.
Hackathon JCC
Dos tardes para construir algo que sirva en un aula de verdad. Se trabaja en equipos y los cupos son limitados.
Inscripciones próximamente
Las noches
Miércoles21 de octubre
Beer Bros
Cierre del primer día de las jornadas con una cena de camaradería en Beer Bros.
Desde las 19:30
Entrada libre
Jueves22 de octubre
Suipacha Pool
La jornada continúa en Suipacha Pool (Ovidio Lagos y Güemes), que cuenta con cocina abierta y bar para pasar la noche.
Desde las 20:30
Entrada libre
Viernes23 de octubre
FutbolCC
Torneo de F5 en Olimpicus (Tucumán 3140), donde se disputa el λ-trofeo. Requiere inscripción. También se hace una choripaneada abierta a todos, podés venir sin necesidad de jugar.
Desde las 20:30
Inscripción todavía cerrada
Sábado24 de octubre
JodaCC
Fiesta de cierre de las jornadas, con cena y brindis. Requiere comprar entradas.
A confirmar
Remeras de la edición
Dos modelos diseñados para esta edición de la jornada, solo disponibles para esta edición, no se reimprimen. El período de reserva ya cerró.

QuicksortCrema

NeofetchAzul marino
Para saber dónde retirar la tuya o si quedaron talles sueltos a la venta, escribinos a jcc@fceia.unr.edu.ar.
Sponsors
Las JCC XXIV son posibles gracias a estas organizaciones. Si querés acompañar la edición, escribinos a jcc@fceia.unr.edu.ar.
NeuralSoft
Empresa rosarina de software con más de veinte años en el mercado. Desarrolla sistemas de gestión a medida, aplicaciones móviles y soluciones de e-commerce para empresas de distintos rubros.
Sitio web
Trail of Bits
Consultora de ciberseguridad que trabaja con empresas de todo el mundo en auditoría de código, criptografía aplicada, verificación y desarrollo de software seguro.
Sitio web
Fundación Sadosky
Institución público-privada que articula el sistema científico-tecnológico con la estructura productiva en TIC. Impulsa vocaciones en computación y su enseñanza en la escuela.
Sitio web
Fantommers
Empresa de IT especializada en comunicaciones y desarrollo de software a medida. Ofrece outsourcing, consultoría y desarrollo de sistemas especializados.
Sitio web
Imperio Austral
Marca argentina de indumentaria con estampas sobre hitos de la industria y la ciencia nacional, del satélite ARSAT al avión Pulqui. Hace envíos a todo el país.
Instagram
FACTTIC
Federación Argentina de Cooperativas de Trabajo de Tecnología, Innovación y Conocimiento. Nuclea cooperativas de software de todo el país y trabaja sobre otra forma de organizar el trabajo en tecnología.
Sitio web
Verificación de programas
Simulamos un programa imperativo pequeño y visualizamos, en paralelo, su estado de ejecución y las obligaciones de prueba que validan precondición, invariante, conservación y postcondición.
Programa
1#include <stdio.h>
2
3int main(void) {
4 int x = 0;
5 int y = 1;
6 // Invariante: y == 2 * x + 1
7 while (x < 4) {
8 y = y + 2;
9 x = x + 1;
10 }
11 printf("x=%d y=%d\n", x, y);
12 return 0;
13}
- x
- 0
- y
- ?
Inicializamos x en 0.
Obligaciones de prueba
Invariante I(x, y): y = 2*x + 1. Resultado esperado: x = 4, y = 9.
- PREEn chequeo
{ true } x = 0; y = 1; { x = 0 && y = 1 }
El estado inicial satisface la precondición de arranque.
- INVEn chequeo
I(x, y): y = 2*x + 1
Luego de inicializar, el invariante queda establecido.
- STEPEn chequeo
{ I && x < 4 } y = y + 2; x = x + 1; { I }
El cuerpo del bucle preserva I en cada iteración.
- EXITEn chequeo
I && !(x < 4) => x = 4 && y = 9
Al salir del bucle, se deduce el estado final exacto.
- POSTEn chequeo
{ true } programa { y = 9 }
La postcondición observable queda verificada.
0 de 5 demostradas
Paso 1 de 13