            .-/+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 hackaton, un curso de computación cuántica y cuatro noches con la comunidad de la carrera.

19 al 24 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

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 hackaton, abierto a todos.

HackatonLunes 19 y martes 20 de octubre, de 14:00 a 20:00

La semana también incluye un curso de computación cuántica: dos mañanas, con inscripción previa. La propuesta completa y la preinscripción están en la página del curso.

CursoJueves 22 y viernes 23 de octubre de 2026 · Ambos días de 8:00 a 12:00

Acerca del Hackaton Ver curso Ver remeras

Edición: XXIV (24)
Charlas: 21 al 23 de octubre de 2026
Semana completa: 19 al 24 de octubre de 2026
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

// cronograma

Cronograma no disponible, recargue la página o intente más tarde.

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

Ver noches

.agenda__tabs { display: none !important; } .agenda__panel[hidden] { display: block !important; } /* Sin JS, si la planilla no respondió en el build, se muestra el aviso en lugar de paneles vacíos. Gana por especificidad (0,3,0 contra 0,2,0). */ .agenda[data-sin-datos] .agenda__panel { display: none !important; }

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

Curso

Curso de computación cuántica

Una introducción a la computación cuántica para estudiantes de grado con conocimientos de programación. En dos jornadas se combinan clases teóricas con ejercicios prácticos usando Qiskit, incluyendo la ejecución de un circuito en una computadora cuántica real de IBM.

Dictado por: Nicolas Alberto Monzon
Cuándo: Jueves y viernes, de 8:00 a 12:00
Duración: 8 horas
Dónde: FCEIA · presencial y remota (híbrido)
Prerequisitos: Álgebra lineal

Aún no abrieron las inscripciones

Ver la página del curso

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

Hackaton 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

             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.

/* Sin JS un <dialog> cerrado es `display: none` y su contenido queda inalcanzable: la hoja se renderiza como un bloque visible. */ dialog.modal { display: block; position: static; max-height: none; width: auto; margin: 0; border: 0; opacity: 1; transform: none; } .modal__cerrar { display: none; } dialog.modal::backdrop { display: none; }

Jornadas de Ciencias de la Computación

Acerca del evento

Programa

Curso de computación cuántica

Hackaton JCC

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

Curso de computación cuántica

Hackaton JCC

Sponsors

NeuralSoft

Trail of Bits

Imperio Austral

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