Date & Time
Proving programs incorrect
Applying Deep Learning to Learn Python Versions
Counting and characterizing Hamilton cycles and paths of some graphs
Sharp bounds for Laplacian energy of digraphs with a fixed dichromatic number
Joining Forces! Reusing Contracts for Deductive Verifiers through Automatic Translation
The FMT Colloquia is typically held in person every Thursday from 15:45 to 16:45, unless otherwise specified.