            .-/+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.

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

Ver el programa

                 .:;::
               x&&&&&&&$+
              $&&&&&&&$&&$.
             ;&&&&&&&&&&&&X
             ;$+;$&$;+;X&&&
             ;XX$+Xx+&X:&&&.
             :&++;;::;;x&&&;
             .&x+;;;+++x&$$X
             ;&;+++++;..X&$&X
            x&; .::.     X&&&$.
          :$&;           :&&&&&+
         +&&X:         .::+&&&&&$
        :&&X              .:&&&&&X
        $&$                 x&&&&&+
       X&&:                 ;&&&&&$
      X&$&      .           ;&&&&&&
      x+x$;                .+&&&&&X
  ;;;+;;;;x$+.            :;x&&&&X+:
 :+;;;;;;;;+&&X:         :;;++xx+;;+.
  x;;;;;;;;;;$X:         +X;;;;;;;;;;;:
 ;+;;;;;;;;;;;+.     .;x&&X;;;;;;;;;++:
 ++++;;;;;;;;+x&&$$$&&&&&&X+;;;;;+;:
    ::;++xxxxX$x;::::::::;$xx+xx;
          .:;:             :;;:

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

       ....::;;+xXX;.
   :+x$$$$$$&&$&&&&&&;
 .X$$&$X$$$$XX$$$$$$&X.
 .$&$$$X$$$X$&XxX&$$&&;
 .$&X$$X$$$X$$&$X&$$$&x
  ;&$X$X$$$$XX$$$$$$$&&.
  .&&X$$X$$$XX$$X$$$$$&x
   +&$X$X$$$XXXX$XX$$$$&.
   :&&X$$X$$XXX$XXXX$$$&+
   .X&$$$X$$$XXXXXXX$$$&X.
    +&$$$$$&$XXXXXXXX$$&&;
    .$&X$$X&$XXXXXXX$$$$&+
     X&$$$$$&$XXXXXXX$$$&&.
     :&$X$$X&$XXXXXXXX$$$&;
      X&$$$$$&XXXXXX$X$$$&&....
      ;&&X$$$&$XXXXXXX$X$$&&&$$;
     .:$&$$$$&$XXXX$&&$$$$$$$&$;
   +&$$$X+$$$$$X++xXXXXXX$$&&x:.
   x&&X$$X$$xX&$x+xXXXXXX$$$&.
   :X$&&$&$$Xx$$XxxxXXXXXX$$$.
     .&&$&$XXxX$$xxXXXXXXXX$$:
     :&&$&&X$xx$$XxxXXXXXXX$$X
     .&&$;&$XXx$$XxxXXXXXXXX$$.
     .&&$:$&X$xX$$XxxX$&XxXX$$+.
     .&&$.x&$XXX$$Xx+X&$xx+X$$x.
     .&&$.;$$$Xx$&$x++X$$$XXX$$:
     .&&&:.$&$$XX&$XxxxXXXXX$$$:
      $&$; ;&$$XX&&$X$$$&&&&&$;.
      ;&&x  x&&$&&&&&$XX$X;..
      .:$$xX$&$$&&&$x;.
          .:::.;$&$;
               ;$&&+
               ;$&$;
               ;$&$;
        .:;;+++X$&$X++;;;:.
   .+$$$$$$$$$$&&&&&$$$$$$$$$X;.
.;$$$$$$$$$$$$$&&&&&$$$$$$$$$$$$$;.
;$$$$$$&&&&$&&$&&&&&$$$$$$$$$$$$$$;
;$&$&&&&&&&&&&&&&&&&&&&&&&&&&$$$$$;
.:$&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&;.
   .;xX$$$$&&&&&&&&&&&&&$$$$$X+.
       ..::;;+XX$$$$XX+;::..

Programa

14:00 a 20:00
Hackathon JCC
Escuela de Ingeniería Civil, Ciudad Universitaria. Cupos limitados.
Ver el hackathon

                     ..:-======-:..
                .-*%@@@@@@@@@@@@@@@@@*-.
            ..*@@@@@@@@@@@@@@@@@@@@@@@@@@*..
          .+@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@+.
        .+@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@*.
      .=@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@=.
     .%@@@@@@@%@@@@@@@@@@@@@@@@@@@@@@@@@@%@@@@@@@%.
    .@@@@@@@@:   ..#@@@@@@@@@@@@@@@@%:.   .@@@@@@@@.
   :@@@@@@@@@.                            .%@@@@@@@@-
  .@@@@@@@@@@.                            .%@@@@@@@@@:
  #@@@@@@@@@@:                            .@@@@@@@@@@#.
 -@@@@@@@@@@-                             .:@@@@@@@@@@-.
.@@@@@@@@@@=                                -@@@@@@@@@@.
.@@@@@@@@@@.                                .%@@@@@@@@@:
:@@@@@@@@@%                                 .#@@@@@@@@@-
:@@@@@@@@@%.                                .%@@@@@@@@@-
:@@@@@@@@@@.                                .@@@@@@@@@@:
.@@@@@@@@@@=                                -@@@@@@@@@@.
.#@@@@@@@@@@.                             ..@@@@@@@@@@%.
 .@@@@@@@@@@@:                           ..@@@@@@@@@@@.
  *@@@@@@@@@@@@-.                      .-@@@@@@@@@@@@*
  .%@@@@:..#@@@@@@%-...          ...-%@@@@@@@@@@@@@@%.
   .@@@@@@:..%@@@@@@@@:          :@@@@@@@@@@@@@@@@@@.
    .#@@@@@=  =@@@@@@*            +@@@@@@@@@@@@@@@#.
     .+@@@@@-.  .....             .@@@@@@@@@@@@@@+.
       .%@@@@%:..   ..            .@@@@@@@@@@@@%.
        .:%@@@@@@@@@@.            .@@@@@@@@@@%:
           .*@@@@@@@@.            .@@@@@@@@*.
             .:*@@@@@:            :@@@@@*:.
                 .:==.            .-+:.

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

                              . ...:::::::;;;;:::..
                         ..;+XXXx::::;xX$$$X++;;;;;;++;:..
                     ..:.::::+$$$;:+$$$X;::::::::::::::::;;:.
                  ...::::::::X&&$x&&&+:::::::::::::::::::::::+;.
                .:;+::::::::;&&$&&&X:::::::::;xX$$$$Xx;::::::::;;:.
              .;;;+::::::::;$$$&&X$::::::::x$$&&$X$&$$$$$X:::..:.;+:.
            .:;;++::::::::+$$&&$$$::::::::+$$&$$$$$&$$$$$$$X;:..:.:;;:.
          .:;;+++::::::::X$&&$&&&+:::;::::X$&$$x+++++xxX$XXXXx:...:.:;;:.
         .:;+++;:::::::+X&&$&&&&$;:::;::::x&$X::::::;;;::::;XXX::..:.:;;:.
       .:;;++;::::::::X$$$$&&&&&$;:::;::::+$$&$+:::++$XX+::::$$;::....;+;;:
      .:;;++::::::::+XX$$$$&&&&&&;:;:;;:::;$&$+::::X$$Xx$;:::$$X::..:.:+;;::.
     .:;++::::::::;xX$$$$$$$&&&&&+;;;;;;::;X&$X:::::++;X+:::;+$X;::.::.;x++;:.
    .:;;:.::.::::;XX$$$$$$$$&&&&&+;;;;;;::;X&&$;;;;;;;+$;:::::xX+::..:.:xx++;:.
    :;:..:.::::+XX$$$$$$$$$&&&&&&X;;;;;;;;;x$&&&+;:::+$$;;;+x+X$x::..:::+++++;:
   :::....:::xXx::;X$$$$$$$&&&&&&&;;;;;;;;;+$$$;;::::Xx+;::::+$XX:::..:.;x++++;:
  .:.....::xX$X::::::;X$$$$&&&&&&&;;;;;;;;;+$$$;;;::++;;:;::::x$x::::.:::XXx++;;.
 .::....:+XX$X::::::::::;X&&&&&&&&+;;;;;;;;;&&&;;;::;;;;;;:::+XXX+:::.::.:XXX++;:
 .:....;XXXXX$$X;:::::::::;+$&&&&&;;;;;;;;;;$&&+;;;+$xXX+X::::x$XX+:::.::.;XXxx+;:
.:....+XXXXX$+:+X$X;:::::;;;;;X&&X;;;;;;;;;;X&&$;;;;;;;:::::::XXXXX;::..:::+XXx+;:
.:...:XXXXXXX::::;+XXX+::;;+$&&&X;;;;;;;;;;;;$&&&$$XXXXx+;;;++$$Xx$x::::::..;Xx++;.
.:...+$$XXXX;::::::::+XX$$&&&&$;;;;;;;;;;;;;;;X&&&&$$&&$$$$$$$$XXX$$x::..:::.:xx+:.
.:...+XXXXX$X+::::::::x$&&&$+;;;;;;;;;;;;;;;;;;;+X$&&$&$&$$$$XX$X$x$X+:::..::......
:....+XXXXX$XX$X;::;X$$$$X;;;;;;;;;;;;;;;;;;;;;;;;;;;X$$$$$$$$$$$$X$$X;::::.::.....
.:...+XXXX$X:::+$$$$$$X+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::;+$$$$$X$$X&$$;::.........
.:...:XXXX$+:::;$$$$X;:;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::;+X$$$X&$$$+:::.......
.:...:;XXX$+:;$$$$X::::;;;;;;;;;;X&&&&&&$$+;;;;;;;;;;;:::;;::::::X$X$&$$&$;:::..:+.
 ::...::X$$$$$$$x;:::;;;;;;;;;x$$$$$X$$$$$&&$$+;;;;;;;;;:::::;::::;XX&&X$$$$XxXXX:
 .;:::::::+XXx;:::::;;;:;;;;x$$&&&&&++XXX&$X$&$$$X+;;;;;;;;:::::::::;&&&+X$$$$$x;
  :;.:::::::::::::;;::;;;;+&$&&$XXX$$&X;++xx$&$$$$$$$XX+;;;::::::::::X&&X::;x+::.
  .;x:::::::::::;;:::;;;+$&&&&&&&&&&&&&&$xxx+XX+&$$$$$$$$&$X;::::::::;$&$;::::::
   :;X+:::::::::::::;;xXXXXXXX$&&$$$$&&$$$&&X+++++X;XXXXXXXXXX;:::::::X&&$::::;
    :;X$$X+:::::::;xX$$XXXXXXXXX&&&&&&xX$$&$X$&&&$+X+&xXX;XXxxx;::::::;&&$::::.
     ::;X$$$&&$XX$X$$$&$X$$XXXXXX$&$$$$$$&$$$&&&&$&&&&$xX+X&$Xx;::::::;&&x::;.
      .:::;$&&&&&&&&&$XX&$X$$&&&$$X&&&&$$$$$&&++$&$X$&&&&&$X&&&;::::::+&X:x;.
       .:::::;X$$$$$$$$&&&&$$$$$$&&&&$$$&$$$$$$&&&&&$$X$&$XXxXX::::::;$$;X+.
        .:::$&&&&&$XXx+xxX$$$$$&$$&$$&&&&$$$&$X&$$$$$$X$&&$Xx+;::::::X$+X:
          :+$$$X;::::;;;;;;;;;;;;;+;+X$$$$&&$&&$X$$$$$$$X$&$;;::;::;$$X;.
           .+$X::::;;;;:;;;;;;;;;;;;;;;;+xX$X$&&$X$&&$$XX+;;;:;;::+$X+:
             .x;:;:::::;;;;;;;;;;;;;;;;;;;;;;;;+xxXXX+;;;;;;;;;:+XX+:
               .::::::;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;XXX+:.
                 .:::;+XxxX&$XXX&&$X+;;;;;;;;;;;;;;;;;;;;;+XXX+;:
                    .::;xXXxX$XXX&&XX$&&$XXx+;;;;;;++xxXXXx+;:.
                        .:;+xxXXXX$$$X$&$$$$$$$$XXXXxx+;;:.
                             ..:;+XXX$$$$XXXXXXXx+;:.

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
Entradas JodaCC

              .:        :.
           +X$&&x      x&&$X+
        .+&&&&&&&x;;;;x&&&&&&&+.
      :x&&&&&&&&&&&&&&&&&&&&&&&&x:
    ;X&&&&&&&&&&&&&&&&&&&&&&&&&&&&X;
  ;$&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&$;
 ;&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&;
  :$&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&$:
   .X&&x;&&&&&&&&&&&&&&&&&&&&&&;x&&X.
     +: :&&&&&&&&&&&&&&&&&&&&&&: :+
        :&&&&&&&&&&&&&&&&&&&&&&:
        :&&&&&&&&&&&&&&&&&&&&&&:
        :&&&&&&&&&&&&&&&&&&&&&&:
        :&&&&&&&&&&&&&&&&&&&&&&:
        :&&&&&&&&&&&&&&&&&&&&&&:
        :&&&&&&&&&&&&&&&&&&&&&&:
        :&&&&&&&&&&&&&&&&&&&&&&:
        :&&&&&&&&&&&&&&&&&&&&&&:
        :&&&&&&&&&&&&&&&&&&&&&&:
        :&&&&&&&&&&&&&&&&&&&&&&:
        :&&&&&&&&&&&&&&&&&&&&&&:
        .;;;;;;;;;;;;;;;;;;;;;;.

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.

Consultar por mail Formulario de reserva

             X.  x:  +;  ;+  :x  .$
             $.  X:  x+  +x  :X  .$
           .:&;::$+::Xx::xX::+$::;&:.
      ;++++X&&X+++++++++++++++++++x&X++++;
      .....+&;.                   .&+.....
      :;;;;x&.  xx++x++xx++xx+xx  .&x;;;;:
      .....+&.  x; .+  ::  +. ;x  .&+.....
      :::::x&.  x+::+::;;::+::+x  .&x:::::
      .::::x&.  x+.:+..;;..+:.+x  .&x::::.
      .::::x&.  x+.:+..;;..+:.+x  .&x::::.
      :::::x&.  x+::+::;;::+::+x  .&x:::::
      .....+&.  x;..+..::..+..;x  .&+.....
      :;;;;x&.  xx++x++xx++xx+xx  .&x;;;;:
       ....+&.                    .&+....
      ;++++X&x++++++++++++++++++++x&X++++;
           .:&;::$+::Xx::xX::+$::;&:.
             $.  X:  x+  +x  :X  .$
             $.  x:  +;  ;+  :x  .$

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>

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

Tony Hoare, en el tiempo

Hitos de la carrera de Charles Antony Richard Hoare, el autor de quicksort y de la lógica de Hoare. Una lectura cronológica, de 1956 a 2011.

1956
Graduación y servicio naval
Merton College y Royal Navy
Se gradúa en Oxford y cumple servicio nacional en la Royal Navy, donde aprende ruso.
Aporte clave: Esa etapa prepara su regreso a Oxford y su futura estancia en la URSS.
1959
Estadía en Moscú
Moscow State University
Estudia ruso en Moscú y desarrolla la idea de Quicksort mientras trabaja con restricciones de memoria.
Aporte clave: La experiencia inspira el algoritmo que luego llevará a publicación.
1960
Ingreso a Elliott Brothers
Elliott Brothers (Londres)
Tras volver a Inglaterra se incorpora a la industria y desarrolla compiladores para ALGOL 60.
Aporte clave: Ese trabajo consolida su carrera en algoritmos y lenguajes.
1961
Publicación de Quicksort
Algorithm 64: Quicksort
Presenta Quicksort, un algoritmo divide y vencerás con gran rendimiento promedio.
Aporte clave: Se convierte en uno de los algoritmos de ordenamiento más usados de la historia.
1969
Hoare Logic
Artículo "An Axiomatic Basis for Computer Programming"
Introduce triples {P} C {Q} para razonar formalmente sobre programas.
Aporte clave: Fundación de la verificación formal moderna de software.
1974
Monitores para concurrencia
Monitors: An Operating System Structuring Concept
Define monitores como abstracción segura para sincronización entre procesos.
Aporte clave: Pieza clave en diseño de sistemas concurrentes y lenguajes.
1978
Communicating Sequential Processes (CSP)
Modelo formal de procesos
Propone CSP para describir interacción entre procesos por comunicación.
Aporte clave: Impacto profundo en teoría de concurrencia y arquitecturas distribuidas.
1980
Turing Award
ACM A.M. Turing Award
Recibe el máximo reconocimiento en ciencias de la computación.
Aporte clave: Reconocimiento internacional por aportes a algoritmos, lógica y concurrencia.
2000
Kyoto Prize y nombramiento
Kyoto Prize en Information Science, Fundación Inamori
Recibe el Kyoto Prize y es nombrado caballero por la Reina por sus servicios a la educación y a las ciencias de la computación.
Aporte clave: El reconocimiento corona décadas de trabajo en lógica, verificación y concurrencia.
2011
IEEE John von Neumann Medal
IEEE
Recibe la medalla John von Neumann, el mismo año del Programming Languages Achievement Award de SIGPLAN.
Aporte clave: Confirma la vigencia de su influencia en academia e industria.

Jornadas de Ciencias de la Computación

Acerca del evento

Programa

Hackathon JCC

Las noches

Beer Bros

Suipacha Pool

FutbolCC

JodaCC

Remeras de la edición

Sponsors

Verificación de programas

Programa

Obligaciones de prueba

Quicksort, paso a paso

Tony Hoare, en el tiempo

Graduación y servicio naval

Estadía en Moscú

Ingreso a Elliott Brothers

Publicación de Quicksort

Hoare Logic

Monitores para concurrencia

Communicating Sequential Processes (CSP)

Turing Award

Kyoto Prize y nombramiento

IEEE John von Neumann Medal

Consola de las Jornadas

KERNEL PANIC - NOT SYNCING

FILESYSTEM NOT FOUND

Jornadas de Ciencias de la ComputaciónXXIV

Acerca del evento

Programa

Hackathon JCC

Las noches

Beer Bros

Suipacha Pool

FutbolCC

JodaCC

Remeras de la edición

Sponsors

NeuralSoft

Trail of Bits

Fundación Sadosky

Fantommers

Imperio Austral

FACTTIC

Verificación de programas

Programa

Obligaciones de prueba

Quicksort, paso a paso

Tony Hoare, en el tiempo

Graduación y servicio naval

Estadía en Moscú

Ingreso a Elliott Brothers

Publicación de Quicksort

Hoare Logic

Monitores para concurrencia

Communicating Sequential Processes (CSP)

Turing Award

Kyoto Prize y nombramiento

IEEE John von Neumann Medal

FILESYSTEM NOT FOUND

Jornadas de Ciencias de la Computación