Logic, Rewriting, and Concurrency | lit.salon