LoReL team starts its weekly seminars

The team, LoReL will start a weekly seminar, and, given the current situation, it will be online, so it is open to everyone who wish to attend.

It starts on June 4 with a talk by Pablo Barenbaum (see details at LoReL webpage). The seminars will be every Thursday at 2pm (Argentina local time). Here is a Google calendar, which currently only have Pablo’s talk until we confirm others.

The topics at LoReL are logics, rewriting, lambda calculus, type theor,y and models, which match some of the topics of the SINFIN’s LDPL team.