RA meeting in London

Motto:   It has become appallingly obvious that our technology has exceeded our humanity.”   (Albert Einstein)

The RA meeting, hosted by City University, was a really pleasant event with fruitful discussions and interaction in a relaxed and welcoming atmosphere! To celebrate it the team tasted some of the best Spanish tapas served in London. Here you have the proof:

Archivo 05-05-2015 18 06 17

See you next time!

Until then, another of Einstein’s quotes: “Play is the highest form of research.”

One thought on “RA meeting in London

  1. Note that we’ve briefly discussed to rename what we were previously calling “static analysis” as “flow-insensitive (static) analysis”, while the previously known “dynamic/semantic analysis” should be “flow-sensitive (static) analysis”, according to the terminology used in the static analysis and abstract interpretation world. Comments are welcome.

Leave a Reply

Your email address will not be published. Required fields are marked *