Logic, Rewriting, and Concurrency
Festschrift Symposium in Honor of José Meseguer

Urbana, Illinois, USA, September 23-25, 2015


Organizing Committee

Narciso Martí-OlietUniversidad Complutense Madrid, Spain
Peter Csaba ÖlveczkyUniversity of Oslo, Norway
Carolyn TalcottSRI International, USA

Local Organization Chair

Grigore RosuUniversity of Illinois at Urbana-Champaign, USA