Login

Seminars

Implementation and Verification of Modular Effectful Systems in Coq using FreeSpec

Seminars

2019-06-26 13:00:00

Presenter

Ankica Barisic,

Data mining frameworks with lecturing purposes

Seminars

2019-05-31 13:00:00

Presenter

Ankica Barisic,

AI for Accessibility

Seminars

2019-05-29 13:00:00

Presenter

Chieko Asakawa,

How do users talk about software: problem and first research ideas

Seminars

2019-05-22 13:00:00

Presenter

Barbara Paech,

What Rhymes With Critical Design?

Seminars

2019-05-15 10:00:00

Presenter

Jeffrey Bardzell,

Design Thinking Education of Engineers

Seminars

2019-05-08 13:00:00

Presenter

Peter Kaiser,

n-gram Cache Performance in Statistical Extraction of Relevant Terms in Large Corpora

Seminars

2019-01-23 14:00:00

Presenter

Carlos Gonçalves,

Boost you research capacity with Azure

Seminars

2019-01-16 14:00:00

Presenter

Paulo Ramos,

Logic & Proofs for Cyber-Physical Systems

Seminars

2019-01-15 14:00:00

Presenter

Ankica Barisic,

The impact of ICTs on student performance: evidence from wifi and smartphones

Seminars

2019-01-08 11:00:00

Presenter

Pedro Ferreira,