JCCXXIV - Jornadas de Ciencias de la Computacion 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
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
Modelo Neofetch — azul marino Espalda: salida neofetch con lambda ASCII y metadata NachOS. Frente: lambda ASCII y Jornadas Ciencias de la Computación.

Programa de Charlas

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

FutbolCC

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

Sponsors y Busquedas Laborales

build/sponsors.md
Proximamente...
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 ultimas actualizaciones sobre las Jornadas de Ciencias de la Computacion 2026.

© 2026 JCC - Jornadas de Ciencias de la Computacion

FCEIA - Universidad Nacional de Rosario

Facultad de Ciencias Exactas, Ingenieria y Agrimensura

Av. Pellegrini 250, Rosario, Santa Fe, Republica Argentina

Telefono: (+54) 0341-4802649

Logica Formal

build/hoare-logica.md

Simulamos un programa imperativo pequeno y visualizamos, en paralelo, su estado de ejecucion y las obligaciones de prueba que validan precondicion, invariante, conservacion y postcondicion.

Verificador Hoare Interactivo Paso 1

Programa C

    Estado concreto: x=?, y=?

    Inicializando simulacion.

    Obligaciones de Prueba

      Quicksort Interactivo

      build/hoare-quicksort.md

      Simulacion interactiva del algoritmo Quicksort con controles de tamano y velocidad, reproduccion automatica o avance paso a paso con explicacion en cada transicion.

      Animacion 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, verificacion formal y concurrencia.

        Timeline profesional de Tony Hoare

        Hito 1 / 1
        1956

        Aporte clave:

        Monitores - Exclusion Mutua

        build/hoare-monitors.md

        Simulacion interactiva del problema de exclusion 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

        Simulacion interactiva de Communicating Sequential Processes. Una red de sensores se comunica con un coordinador central a traves de canales, sin memoria compartida.