JCCXXIV | Jornadas de Ciencias de la Computacion 2026

user@jccxxiv : ~ $ neofetch --ascii --colors 4 7

NachOS exit 0

            .-/+oossssoo+/-.              
        `:+ssssssssssssssssss+:`          
      -+ssssssssssssssssssyysss+-         
    .osssssssnsMMyhsssssdssssyssso.       
   /ssssssssnMMMMMMysssshssssssSss/       
  +sssssssssMMdssMMMhdyssssssssssss+      
 /sssssssshssyhhyyMMMysssshssssssssss/    
.ssssssssdsshsssslMMMdshssdssssssssss.    
+sssshhhysssysssyMMMMMyssyssyssssssss+    
ossysssyshsdsssdMMMMMMMnhshssssssssso/    
ossysssyshssssNMMyssdMMMmshssssssssso.    
+sssshhhyssssNMMysssshMMMmssyssssssss+    
.sssssssssddNMMdssssssMMMNssMMsssssss.    
 /sssssssssyMMdhyyyyhdsMMMMmMMnsssss/     
  +ssssssydMMysydsddddyssyMMdyssssss+     
   /ssssssssssshdsssyssssssssssssss/      
    .ossssssssssssssssssdssysssso.        
      -+sssssssssssssssssyssss+-          
        `:+sssssssssssssssss+:`           
            .-/+oossssoo+/-.

user@jccxxiv
---------------
OS: NachOS (Educational OS)
Kernel: 1.0 (Threaded Kernel)
Architecture: MIPS (simulated)
Uptime: 26 years, 7 mins, 10 secs
Packages: charlas , futbolcc , fiesta
Shell: nachsh
Theme: Tony Hoare [GTK3]
Icons: JCC Stickers [GTK3]
Terminal: MiniShell
CPU: Simulated MIPS R2000 @ 50MHz
GPU: none (framebuffer / console only)
Memory: 512 KB / 4 MB

Hint: usa el prompt inferior para navegar. Hint: usa el menu inferior para navegar.

Acerca del Evento y FutbolCC

build/info.md Proximamente...

                                 . ...:::::::;;;;:::..                                   
                            ..;+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+;:.

user@jccxxiv
---------------
Modulo: info
Tema: Jornadas + FutbolCC
Fuente: comision organizadora
Estado: recopilando contenido oficial
Cmd: neofetch --section info

build/charlas.md Proximamente...

                                                                                         
                                  ....::;;+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+;::..

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

Seccion Interactiva

Logica Formal: ejecucion de C + prueba en Hoare

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

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

Seguinos en nuestras redes sociales para recibir las ultimas actualizaciones sobre las Jornadas de Ciencias de la Computacion 2026.

Instagram YouTube

Ediciones Anteriores

2005 2006 2007 2008 2009 2010 2011

2012 2013 2014 2015 2016 2017 2018

2019 2020 2021 2022 2023 2024 2025

Acerca del Evento y FutbolCC

Seccion Interactiva

Logica Formal: ejecucion de C + prueba en Hoare

Programa C

Obligaciones de Prueba

Quicksort

Animacion Quicksort parametrizada

Timeline de Tony Hoare

Timeline profesional de Tony Hoare

Mantenete Conectado

Ediciones Anteriores

Se produjo una excepcion critica: NULL_POINTER_EXISTENTIAL_FAILURE

KERNEL PANIC - NOT SYNCING

Programa C

Obligaciones de Prueba

Animacion Quicksort parametrizada

Impresora compartida en una oficina

Red de sensores y un coordinador central

JCCXXIV - Jornadas de Ciencias de la Computacion 2026

Acerca del Evento y FutbolCC

_

Seccion Interactiva

Logica Formal: ejecucion de C + prueba en Hoare

Programa C

Obligaciones de Prueba

Quicksort

Timeline de Tony Hoare

_

Mantenete Conectado

Ediciones Anteriores