Workshop: Topics on the K framework

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