623 followers
RT @PerezJorgeA_: Great talk by Sung Jongmans (OU & CWI) yesterday at the Computer Science colloquium of our Bernoulli Institute @Bernoulli…
RT @PerezJorgeA_: Great talk by Sung Jongmans (OU & CWI) yesterday at the Computer Science colloquium of our Bernoulli Institute @Bernoulli…
Great talk by Sung Jongmans (OU & CWI) yesterday at the Computer Science colloquium of our Bernoulli Institute @BernoulliInsti2 @univgroningen He presented work with Petra van den Bos on computing preconditions for choreographic programming (ESOP'22)