Sign in

Nicolas Cardozo

@ncardozo.bsky.social
42 followers 60 following 15 posts

Person. Working on programming languages, and (dynamic) verification. Enjoyer of adaptive and distributed systems. Associate Professor @flaglaboratory.bsky.social @DISCuniandes @Uniandes Also live(ish) at @ncardozo@fediscience.org

PostsRepliesMedia
Nicolas Cardozo @ncardozo.bsky.social · 26/02/2026
@callforpaper.org #CFP
000
Nicolas Cardozo @ncardozo.bsky.social · 11/02/2026
Considering in attending #ECOOP2026? Why not submit to one of our exciting workshops? Check out the different workshops and their corresponding deadlines, and visit the ECOOP webpage for all relevant information 2026.ecoop.org #pl #cfp
011
Nicolas Cardozo @ncardozo.bsky.social · 09/02/2026
We have a new paper out "The Stackage repository: An exploratory study of its evolution" We study the evolution of curated Haskell packages, their stability, use of particular monad packages and more! lnkd.in/ez2rriHS #pil @flaglaboratory.bsky.social
lnkd.in
LinkedIn
This link will take you to a page that’s not on LinkedIn
010
Nicolas Cardozo @ncardozo.bsky.social · 01/01/2026
#EndOfTheYearStats #toggle Breakdown of the work this second part of the year, not extremely heavy but it felt like a loooot more
000
Nicolas Cardozo @ncardozo.bsky.social · 01/01/2026
#EndOfTheYearStats @github Horrible year for coding and writing
010
Nicolas Cardozo @ncardozo.bsky.social · 01/01/2026
#EndOfTheYearStats #googlescholar If we count 2024 as a fluke, steady progress (baby steps)
000
Nicolas Cardozo @ncardozo.bsky.social · 26/11/2025
The ever growing @flaglaboratory.bsky.social library with it's first volumes 1 (Ruben manrique) and 3 (Juan Camilo Sanguino) #phdthesis #DISCUniandes
011
Nicolas Cardozo @ncardozo.bsky.social · 23/10/2025
El viernes 31 de octubre lanzaremos el libro "Inteligencia Artificial: Teorías, Aplicaciones, Futuro" en @uniandes.bsky.social Los invitamos a asistir: live.eventtia.com/es/uri-dfb3d... @flaglaboratory.bsky.social @DISCUniandes @inguniandes #AI #CinfonIA
live.eventtia.com
Lanzamiento del libro “Inteligencia Artificial: Teorías, Aplicaciones, Futuro”
Escriba una descripción breve de su evento
031
Nicolas Cardozo @ncardozo.bsky.social · 25/09/2025
Estamos organizando el Qiskit Fall Fest en Uniandes y queremos que sean parte de él! Un evento para investigadores, practicantes y entusiastas de la computación cuántica con charlas de expertos nacionales e internacionales! Información y registro lnkd.in/efqePM8S #QiskitFallFest #FLAGlab#DISC#Crypto
011
Nicolas Cardozo @ncardozo.bsky.social · 17/09/2025
The submissions for #CAIN2026 is now open with the deadline just 1 month away. All info is available at conf.researchr.org/home/cain-2026
conf.researchr.org
CAIN 2026
Welcome to CAIN 2026 — 5th International Conference on AI Engineering – Software Engineering for AI CAIN’26 is co-located with the 48th International Conference on Software Engineering (ICSE’26). Plea...
000
Nicolas Cardozo @ncardozo.bsky.social · 22/07/2025
The call for workshop for #ECOOP2026 is out now! If you would like to organize a workshop together with ecoop please visit the website for all information and submission info 2026.ecoop.org/track/ecoop-...
2026.ecoop.org
ECOOP 2026 - Workshops - ECOOP 2026
Call for Workshop Proposals The workshops at ECOOP 2026 bring together academics, industry researchers, and practitioners to discuss ideas, problems, and experiences in on focused groups. Topics for w...
033
Reposted by Nicolas Cardozo
FLAG lab @flaglaboratory.bsky.social · 13/03/2025
Estamos buscando ayuda para evaluar un nuevo lenguaje de programación en 3D! Si nos quieren ayudar los esperamos en el ML 512 este viernes 14 de marzo a las 3:30pm @uniandes.bsky.social
021
Reposted by Nicolas Cardozo
SCLIT @sclit.bsky.social · 26/01/2025
Meet our venue for this year, @programming-conf.bsky.social, and out chairs, @ncardozo.bsky.social and @gockothedwarf.bsky.social ... Welcome to #sclit2025 and #prog25!!!
022
Nicolas Cardozo @ncardozo.bsky.social · 01/01/2025
Time for some end of the year stats, using all the fine tools that track work. #YearInReview 🧵
120
Reposted by Nicolas Cardozo
FLAG lab @flaglaboratory.bsky.social · 18/12/2024
Interesados en proyectos de grado para el 2015-10. @flaglaboratory.bsky.social tiene la respuesta para ustedes, visiten los temas propuestos en flaglab.github.io/thesis.html y contacten a los profesores correspondientes #DISCUniandes #inguniandes #thesis
flaglab.github.io
FLAG Research Lab: Thesis topics
021
Reposted by Nicolas Cardozo
FLAG lab @flaglaboratory.bsky.social · 27/11/2024
We are extremely happy to present our first doctor, Dr. Laura Gonzalez🥳🎉🩺 A huge shot out to her, the promotor Jorge Duitama, and the whole @NGSEP team #bioinformatics @DISCuniandes @inguniandes
021