1 “... Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011. The 32 revised full papers were...”

2 “... Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers...”

3 “... in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and revised lectures given...”