The LightKone Workshop on Verification, Security and Antidote was held at the Technical University of Kaiserslautern, in Kaiserslautern, between 14-15 May, 2019. This workshop had presentations on the CRDTs area, Antidote and other related topics.
The schedule of this workshop is availabale here.