[LIRa] Johan van Benthem Workshop and GROLOG/LIRa afternoon