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

People-Centered Design. Why it matters?

Distinguished Lecture | IST - Centro de Congressos | 14:30

Prof. Don Norman, University of California – Abstract: At the new Design Lab at UC San Diego, Design is a way of thinking, understanding people real, fundamental needs, and designing systems that fulfill those needs in an understandable, enjoyable manner. … Continued

1 2 3 4 5