agenda

Upcoming seminar sessions

Ongoing research
Efficient Constraint Propagation in Program Synthesis

Session date: 20 January 2025

Session host: Tilman Hinnerichs

More info