Nicolas Cardozo
@ncardozo.bsky.social
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 @[email protected]
Also live(ish) at @[email protected]
Pinned
Nicolas Cardozo
@ncardozo.bsky.social
· Jul 22
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...
2026.ecoop.org
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-...
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-...
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
@uniandes.bsky.social
Los invitamos a asistir:
live.eventtia.com/es/uri-dfb3d...
@flaglaboratory.bsky.social
@DISCUniandes
@inguniandes
#AI #CinfonIA
Lanzamiento del libro “Inteligencia Artificial: Teorías, Aplicaciones, Futuro”
Escriba una descripción breve de su evento
live.eventtia.com
October 23, 2025 at 10:57 AM
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
@uniandes.bsky.social
Los invitamos a asistir:
live.eventtia.com/es/uri-dfb3d...
@flaglaboratory.bsky.social
@DISCUniandes
@inguniandes
#AI #CinfonIA
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
September 25, 2025 at 1:36 PM
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
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
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...
conf.researchr.org
September 17, 2025 at 1:15 PM
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
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-...
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-...
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...
2026.ecoop.org
July 22, 2025 at 3:34 PM
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-...
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-...
Reposted by Nicolas Cardozo
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
March 13, 2025 at 1:53 PM
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
Reposted by Nicolas Cardozo
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!!!
Hello everyone! This is the new, official Bluesky account for the International Conference on the Art, Science, and Engineering of Programming.
#prog25 will take place from June 2 to June 6, 2025, in Prague, Czechia.
Follow us for updates including but not limited to #WorkshopPapers and our #SRC
#prog25 will take place from June 2 to June 6, 2025, in Prague, Czechia.
Follow us for updates including but not limited to #WorkshopPapers and our #SRC
January 26, 2025 at 11:47 AM
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!!!
Time for some end of the year stats, using all the fine tools that track work. #YearInReview 🧵
January 1, 2025 at 4:42 PM
Time for some end of the year stats, using all the fine tools that track work. #YearInReview 🧵
Reposted by Nicolas Cardozo
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
FLAG Research Lab: Thesis topics
flaglab.github.io
December 18, 2024 at 4:07 PM
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
Reposted by Nicolas Cardozo
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
@NGSEP
team
#bioinformatics
@DISCuniandes
@inguniandes
November 27, 2024 at 4:24 PM
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
@NGSEP
team
#bioinformatics
@DISCuniandes
@inguniandes