Logic and Interactive Rationality

Our usual time slot is Thursdays 16:30 - 18:00, Amsterdam time. Watch out for exceptions.

Upcoming Events

October 8, 2025:
- VvL Logic at Large Lecture 2025 (16:00)
October 9, 2025:
- LIRa session: Sena Bozdag (16:30)
October 30, 2025:
- LIRa session: Pietro Vigiani (16:30)
October 31, 2025:
- Workshop on deriving, revising, and verifying concepts and programs (09:30)
November 6, 2025:
- LIRa session: Rafał Gruszczyński (16:30)
November 13, 2025:
- LIRa session: David Fernández-Duque (16:30)
November 21, 2025:
- Joint DIP-LIRa session: Elaine Pimentel (16:00)
December 4, 2025:
- LIRa session: Tomasz Klochowicz (16:30)

Add LIRa to your calendar: ICAL feed.

Search

Search for:

Downloads

Here you can find the survey and the examples of Monday’s session.

Posted on October 30, 2008Author ferrvqCategories Downloads