Programming, Logic, and Semantics Group
Varmo Vene and Tarmo Uustalu co-categorizing.
University of Tartu's Programming, Logic, and Semantics Group has its roots in Varmo Vene's old Chair of Programming Language Semantics. Most of his Ph.D. students, however, have ended up doing very practical stuff, but we are now gradually about to revive some of that Theory.
The group conducts weekly meetings discussing some relevant research paper (either presenting our own recent work or discussing an interesting recent paper or some important classic). The schedule for the meeting and the papers to be discussed will appear here.