This is an old revision of the document!

A PCRE internal error occured. This might be caused by a faulty plugin

====== Rome 2013 ====== Meeting collocated with [[http://popl.mpi-sws.org/2013/|POPL 2013]].