JCCXXIV - Jornadas de Ciencias de la Computación 2026

2026

Jornadas de las Ciencias de la Computación XXIV

Facultad de Ciencias Exactas, Ingeniería y Agrimensura

Universidad Nacional de Rosario

Del 21 al 23 de octubre Fechas por confirmar

Acerca del Evento

build/info.md

Las Jornadas de Ciencias de la Computación XXIV son el encuentro anual de la comunidad académica y estudiantil de la Licenciatura en Ciencias de la Computación de la Facultad de Ciencias Exactas, Ingeniería y Agrimensura (FCEIA), Universidad Nacional de Rosario.

En su vigésima cuarta edición, JCC 2026 reúne charlas, actividades y espacios de intercambio para compartir avances, experiencias y proyectos del ámbito de la computación, con una propuesta que combina lo académico con actividades de integración como FutbolCC y la fiesta de cierre.

  • Edición XXIV — año 2026
  • FCEIA — Universidad Nacional de Rosario
  • Fechas tentativas: del 21 al 23 de octubre (por confirmar)
  • Charlas, talleres y actividades para toda la comunidad LCC

Remeras

build/remeras.md

Diseños oficiales de las Jornadas de Ciencias de la Computación XXIV. Por ahora mostramos mockups de referencia; luego se reemplazan por las imágenes finales en PNG.

Mockup remera crema JCC XXIV con diseño Quicksort en la espalda y lambda en el frente
Click para ampliar
Modelo Quicksort — crema Espalda: diagrama Quicksort que ordena las letras en JCCXXIV. Frente: lambda ASCII y Jornadas Ciencias de la Computación.
Mockup remera azul marino JCC XXIV con diseño neofetch en la espalda y lambda en el frente
Click para ampliar
Modelo Neofetch — azul marino Espalda: salida neofetch con lambda ASCII y metadata NachOS. Frente: lambda ASCII y Jornadas Ciencias de la Computación.

JodaCC

build/jodacc.md
user@jccxxiv
---------------
Modulo: jodacc
Tema: la joda de las jornadas
Fuente: comision organizadora
Estado: entradas en venta
Cmd: neofetch --section jodacc
Sacá tus entradas

Programa de Charlas

build/charlas.md
Próximamente...
user@jccxxiv
---------------
Modulo: charlas
Tema: programa tecnico 2026
Fuente: speakers + coordinacion
Estado: confirmando slots y abstracts
Cmd: neofetch --section charlas

FutbolCC

build/futbolcc.md
Próximamente...
user@jccxxiv
---------------
Modulo: futbolcc
Tema: torneo relampago FCEIA
Fuente: deportes + integracion
Estado: armando fixture y equipos
Cmd: neofetch --section futbolcc

Sponsors y Búsquedas Laborales

build/sponsors.md
Próximamente...
user@jccxxiv
---------------
Modulo: sponsors
Tema: alianzas + busquedas laborales
Fuente: empresas colaboradoras
Estado: armando oportunidades vigentes
Cmd: neofetch --section sponsors

Mantenete Conectado

build/contacto.md

Seguinos en nuestras redes sociales para recibir las últimas actualizaciones sobre las Jornadas de Ciencias de la Computación 2026.

© 2026 JCC - Jornadas de Ciencias de la Computación

FCEIA - Universidad Nacional de Rosario

Facultad de Ciencias Exactas, Ingeniería y Agrimensura

Av. Pellegrini 250, Rosario, Santa Fe, República Argentina

Teléfono: (+54) 341 528-8800

Lógica Formal

build/hoare-logica.md

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.

Verificador Hoare Interactivo Paso 1

Programa C

    Estado concreto: x=?, y=?

    Inicializando simulación.

    Obligaciones de Prueba

      Quicksort Interactivo

      build/hoare-quicksort.md

      Simulación interactiva del algoritmo Quicksort con controles de tamaño y velocidad, reproducción automática o avance paso a paso con explicación en cada transición.

      Animación Quicksort parametrizada

      Paso 0 / 0

        Timeline de Tony Hoare

        build/hoare-timeline.md

        Recorrido interactivo por hitos de su vida profesional y aportes fundamentales en algoritmos, verificación formal y concurrencia.

        Timeline profesional de Tony Hoare

        Hito 1 / 1
        1956

        Aporte clave:

        Monitores - Exclusión Mutua

        build/hoare-monitors.md

        Simulación interactiva del problema de exclusión mutua usando Monitores. Los procesos compiten por una impresora compartida y el monitor organiza la cola de acceso.

        CSP - Procesos Comunicantes

        build/hoare-csp.md

        Simulación interactiva de Communicating Sequential Processes. Una red de sensores se comunica con un coordinador central a través de canales, sin memoria compartida.