Nicolás Cardozo (@ncardoz) 's Twitter Profile
Nicolás Cardozo

@ncardoz

Into adaptive systems, programming languages, and dynamic verification. Associate Professor @FlaGlab @DISCuniandes @[email protected] @ncardozo.bsky.soci

ID: 268181178

linkhttp://flaglab.github.io calendar_today18-03-2011 08:58:04

1,1K Tweet

365 Takipçi

365 Takip Edilen

ACSOS (@acsosconf) 's Twitter Profile Photo

Interested in organizing a workshop co-located with #ACSOS2025 in Tokyo? Then don't hesitate to submit your proposal by April 7th. All submission information is on the ACSOS webpage 2025.acsos.org/track/acsos-20… If you have any question contact us.

ACSOS (@acsosconf) 's Twitter Profile Photo

Researchers on autonomic and self organizing systems the time to showcase those incredible applications and systems has come. The #ACSOS2025 call for tools ⚒️ and demos🪧 is out now! The deadline is July 14. All additional info can be found in our webpage 2025.acsos.org/track/acsos-20…

Association for Computing Machinery (@theofficialacm) 's Twitter Profile Photo

Meet the recipients of the 2024 ACM A.M. Turing Award, Andrew G. Barto and Richard S. Sutton! They are recognized for developing the conceptual and algorithmic foundations of reinforcement learning. Please join us in congratulating the two recipients! bit.ly/4hpdsbD

ACSOS (@acsosconf) 's Twitter Profile Photo

Open call to all doctoral students working on Autonomic and self-organizing systems 📣📣📣 The Doctoral symposium track of #ACSOS2023 is now open. Submissions are 2 pages + 1 page for references Submission deadline is July 4 🇺🇸 All info available at: lnkd.in/esTvAd3k

FLAGlab (@flaglab) 's Twitter Profile Photo

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 DISC Uniandes Rama IEEE Uniandes ACM Uniandes

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 <a href="/DISCuniandes/">DISC Uniandes</a> <a href="/IEEEUniandes/">Rama IEEE Uniandes</a> <a href="/ACMUniandes/">ACM Uniandes</a>
Stefan Marr (@smarr) 's Twitter Profile Photo

Are the experiments not quite working out, or the results strange and unexplainable? Is the work not quite ready for the upcoming OOPSLA deadline? We know the feeling! Though, discussing early results or non-results can help figuring it out. Submit a talk to MoreVMs'25 Workshop

Are the experiments not quite working out, or the results strange and unexplainable?
Is the work not quite ready for the upcoming OOPSLA deadline?

We know the feeling! Though, discussing early results or non-results can help figuring it out.

Submit a talk  to <a href="/MoreVMs/">MoreVMs'25 Workshop</a>
ACSOS (@acsosconf) 's Twitter Profile Photo

🚨🚨🚨Last stretch for #ACSOS2025 🚨🚨🚨 There is still 1 week to register your abstract for the main track. Deadline is April 18. remember submissions are double blinded. All info and deadlines for colocated events are on the webpage conf.researchr.org/home/acsos-2025 #cfp

ACSOS (@acsosconf) 's Twitter Profile Photo

Are you working on exciting topics and would like to share and demo your work on a long format? Why not consider submitting a tutorial for the upcoming #ACSOS2025 Deadline is June 30th All the info is available at 2025.acsos.org/track/acsos-20…

ACSOS (@acsosconf) 's Twitter Profile Photo

Attention!!! The deadline for submitting poster & demos (2025.acsos.org/track/acsos-20…) and proposals for the doctoral symposium (2025.acsos.org/track/acsos-20…) is fast approaching. Both deadlines are July 11. Don't miss out on #ACSOS2025