Distinguished Lecture
Generating Software Tests

Distinguished Lecture | Anfiteatro VA4 no piso-1 do Edificio de Civil – IST/Alameda | 11:00

Andreas Zeller, CISPA Helmholtz Institute for IT Security – Abstract: Software has bugs. What can we do to find as many of these as possible? In this talk, I show how to systematically test software by generating such tests automatically, … Continued

Distinguished Lecture
Origins of NP and P

Distinguished Lecture | FA3 – Informatic Department - IST Alameda | 13:30

Jack Edmonds, – Abstract: NP and P have origins in “the marriage theorem”: A matchmaker has as clients the parents of some boys and some girls where some boy-girl pairs love each other. The matchmaker must find a marriage … Continued

1 2 3 4 5