[Ciao-users] [Lpmas] Call for Papers -- LPMAS