Lina Ochoa

Por primera vez en 70 años, una mujer será decana de ingeniería en Los Andes. semana.com//educacion/art… #Semana vía @RevistaSemana

Encuentra Cangrejo y Gaviota ahora en formato digital. ¡Descárgalo en la tienda de Apple! Link al libro: apple.co/2MCoLRw

#IdeasParaAyudar esta, y se puede hacer ya: es donar y ya...

@colombia_hist 🙋🏻‍♀️

¿¿¿Pensaron que se iba a acabar el año sin libros gratis??? Obviamente no. ¿Quien quiere libros gratis? Levanten la mano

#1Dic 1 de diciembre los pueblos latinamericanos nos uniremos por primera vez en una acción de protesta popular absolutamente histórica y sin precedentes. Cacerolazo en todos los paises de América Latina y sus diásporas en todo el planeta. #cacerolazolatinoamericano

Colombia’s state forces apparently involved in ‘orchestrated terror’ campaign against citizens colombiareports.com/colombias-stat…

.@jstoel of @cwinl presenting AlleAlle, relational model finding with unbounded data. #splash19 #onward19

Second talk by @TimSoethout from @CWInl and @ingnl on static local coordination avoidance for distributed objects, joint work with @jurgenvinju and yt @agere_workshop #splash19

Most Influential Paper Award for @PaulKlint, @tvdstorm and @jurgenvinju of CWI's SWAT group for the article introducing #programming language #Rascal @ieeescam in 2009. Congratulations! bit.ly/2nmFH5t

@PaulKlint is giving the keynote for #ICMT2019 “DSLs, the good the bad and the ugly” #STAF2019

Ya llega la @filbogota y nosotros tenemos una programación para compartir con todos ustedes. Los invitamos al lanzamiento oficial de ¿Sabes cuáles son? Agua de moreno_acero_jose, Cangrejo… instagram.com/p/BwcjszkJLTQ/…

Looking forward to the PhD defence of @metalinguist today! @CWInl SWAT group and @UvA_Amsterdam programming languages research ftw, with @tvdstorm @Paulklint

CWI’s Pablo Inostroza Valdera developed new techniques for modular programming languages bit.ly/2KCwoG1

Book signing of Java 9 modularity with @Sander_Mak #devoxx #java #devoxx2018

Two awards for CWI's SWAT group (@tvdstorm and @tdegueul) together with @Inria at @sleconf. Read the full news item: bit.ly/2z5MV0A

Today, we‘re announcing "Generating Software Tests", a textbook on test generation and fuzzing. New chapters every week (mutations, grammars, search-based + symbolic testing...), with code you can run and edit right in your browser. Check it out at fuzzingbook.org !

@IvanDuque, @VictoriaBxE: Incrementen presupuesto para las universidad públicas #SOSUniversidadesPúblicas - ¡Firma la petición! chn.ge/2A6ySsg vía @ChangeorgLatino

Mi foto se gano como 1000 likes en un momento y solo quería compartirla por acá también #MarchaPorLaEducación #10deOctubrePorLaEducación

El 10 de octubre de 2018, en Colombia, cerca de 500.000 estudiantes de las universidades públicas, privadas y del SENA, marcharon para exigir que el gobierno garantice el presupuesto para que las universidades oficiales puedan funcionar, y garantizar su derecho a la educación.