Upcoming FMT Group Colloquia

28 September
15:45–16:45

RA 2503

[Canceled]

5 October
15:45–16:45

RA 2503

[TBA]

12 October
15:45–16:45

RA 2503

Lola Solovyeva
(Capita Selecta student)

Applying Deep Learning to Learn Python Versions

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]