Upcoming FMT Group Colloquia

5 October
15:45–16:45

RA 2503 +
MS Teams

Edoardo Putti

Proving programs incorrect

12 October
15:45–16:45

RA 2503

Lola Solovyeva
(Capita Selecta student)

Applying Deep Learning to Learn Python Versions

17 October
11:00–12:00

CU B209

Rosemary Monahan

[TBA]

19 October
15:45–16:45

RA 2503

Yanni Dong

Counting and characterizing Hamilton cycles and paths of some graphs

26 October
15:45–16:45

RA 2503

Xiuwen Yang

Sharp bounds for Laplacian energy of digraphs with a fixed dichromatic number

02 November
15:45–16:45

RA 2503

Lukas Armborst

Joining Forces! Reusing Contracts for Deductive Verifiers through Automatic Translation

[TBA]