Date & Time | Room | Speaker | Title |
---|---|---|---|
5 October | Edoardo Putti | Proving programs incorrect | |
12 October | Lola Solovyeva | Applying Deep Learning to Learn Python Versions | |
17 October | Rosemary Monahan | [TBA] | |
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.