The proceedings of LORI-4 will be published in the Springer LNCS/Folli series.

There will be a follow-up issue of the Journal of Logic and Computation. Details will be given during the workshop.