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.

21 al 23 de octubre de 2026
FCEIA, Universidad Nacional de Rosario

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

  1. 14:00 a 20:00

    Hackathon JCC

    Escuela de Ingeniería Civil, Ciudad Universitaria. Cupos limitados.

    Ver el hackathon

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.

Ver el sitio

Inscripciones próximamente

Cuándo
Lunes 19 y martes 20 de octubre, de 14:00 a 20:00
Dónde
Escuela de Ingeniería Civil y Auditorio CUR, Ciudad Universitaria
Tema
EDTECH
Cupo
Cupos limitados

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ó.

Remera crema de las JCC XXIV, vista de espalda y de frente. En la espalda, un diagrama de quicksort que ordena letras hasta formar JCCXXIV.

QuicksortCrema

Remera azul marino de las JCC XXIV, vista de espalda y de frente. En la espalda, la lambda en ASCII junto a un bloque de información de sistema al estilo neofetch.

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.

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.

0 de 5 demostradas

Paso 1 de 13