Recordings of TLA+ community meeting in Oxford available

[Markus Kuppe <tlaplus-go...@xxxxxxxxxxx>]

Hi,

we have made the recordings of last week's TLA+ community meeting in
Oxford available on Youtube [1].  Visit the program page [2] for the
abstracts and corresponding slide material.

Thanks
Markus

[1]
https://www.youtube.com/watch?v=ifFfxRCX_jw&list=PLWLcqZLzY8u_3mDg2cHmduA5wl4J6hNX2
[2] http://tla2018.loria.fr/program.html