Il 19 giugno 2012 nella Sala della Cooperazione, Federazione della Cooperazione trentina a Trento, Donald E. Knuth ha presentato il suo nuovo lavoro: "Satisfiability and The Art of Computer Programming". Alcuni membri del GuIT erano presenti e hanno potuto parlare con Knuth e scattare alcune foto dell'evento.