BEGIN:VCALENDAR
BEGIN:VEVENT
SUMMARY:ACG Talk by Yannick Foster from Saarland University
DTSTART:20211130T123000Z
DTEND:20211130T133000Z
UID:6c8337b3-4022-45f9-a1bc-78d4ae9ff589
DESCRIPTION:On November 30\, we are glad to welcome Yannick Foster from Sa
 arland University for an ACG talk. Yannick investigates\, among other subj
 ects\, the analysis\, formalization\, and mechanization of computation in 
 constructive type theory. Yannick Foster will give a talk about "Synthetic
  computability without choice".  The talk starts at 1:30pm\, will be onlin
 e\, via Zoom\n\nContact:\nBenjamin Lion\nb.lion@cwi.nl\n\nLocation:\nhttps
 ://cwi-nl.zoom.us/j/85074346559?pwd=dXdZWVpHWXFuMlk4SEFqbFRzTGJOZz09
LOCATION:https://cwi-nl.zoom.us/j/85074346559?pwd=dXdZWVpHWXFuMlk4SEFqbFRz
 TGJOZz09
END:VEVENT
END:VCALENDAR