June 2, 2019
Period: 10-15 January Location: Iasi, Building R Special guests: Grigore Rosu (US), Narciso Marti Oliet (Spain), Vlad Rusu (France), Cristophe Calves(France) Topics: rewriting logic, programming language semantics, program verification Organizers: Dorel Lucanu, Andrei Arusoaie, Mariuca Irina Asavoae, Mihail Asavoae, Radu Mereuta Tags: DAK