Opening greetings and announcements (miniKanren 2026) - ICFP 2026

Mon 24 - Sat 29 August 2026 Indianapolis, Indiana, United States

Who

Chris Martens, William E. Byrd

Track

miniKanren 2026

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Mon 24 Aug 2026 09:00 - 09:05 at HO221 Presidents Room - Morning Session

Abstract

TBA

Chris Martens

Northeastern University

United States

William E. Byrd

University of Alabama at Birmingham

United States

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

Mon 24 Aug
Displayed time zone: Eastern Time (US & Canada) change

	09:00 - 10:30	Morning SessionminiKanren at HO221 Presidents Room

	09:00 5m Day opening		Opening greetings and announcements miniKanren Chris Martens Northeastern University, William E. Byrd University of Alabama at Birmingham
	09:05 55m Tutorial		Introduction to relational programming in miniKanren miniKanren William E. Byrd University of Alabama at Birmingham, Chris Martens Northeastern University
	10:00 30m Other		Programming Challenge to Attendees miniKanren Chris Martens Northeastern University, William E. Byrd University of Alabama at Birmingham