Thursday 5 October 15:45 - Thursday 23 November 2023 15:45
Date & Time | Room | Speaker | Title |
---|---|---|---|
28 September | [Canceled] | ||
5 October | [TBA] | ||
12 October | Lola Solovyeva | Applying Deep Learning to Learn Python Versions | |
19 October | Yanni Dong | Counting and characterizing Hamilton cycles and paths of some graphs | |
26 October | Xiuwen Yang | Sharp bounds for Laplacian energy of digraphs with a fixed dichromatic number | |
02 November | Lukas Armborst | Joining Forces! Reusing Contracts for Deductive Verifiers through Automatic Translation | |
[TBA] |
The FMT Colloquia is typically held in person every Thursday from 15:45 to 16:45, unless otherwise specified.