We use javascript to filter series topics, adapt series to your local time zone, enter date ranges, and hide this annoying message. We use cookies to set your default timezone, keep track of your preferences, and to keep you logged in.

Computable type: an overview

Mathieu Hoyrup (INRIA)

07-Nov-2025, 15:00-16:00 (2 months ago)

logic

Audience: advanced learners

Cross Alps Logic Seminar

Series comments: Please contact the organizers for the link to the meeting

Organizer:	Vincenzo Dimonte*
	*contact for this listing

Export talk to