LoReL Seminar

External homepage

logic in computer science programming languages

Audience: Researchers in the topic
Seminar series time: Thursday 17:00-18:00 in your time zone, UTC
Organizer: Alejandro Díaz-Caro*
*contact for this listing

Talks are either in Spanish or English, however they can often be in English upon request.

Upcoming talks
Past talks
Export series to