Faculty of Informatics
Logo USI
Italiano

Events archive

Current events

13
December
2017
13.
12.
2017

HiFrog: SMT-based Model Checker for Software Verification

07
December
2017
07.
12.
2017

Synchronizing Constraint Horn Clauses

06
December
2017
06.
12.
2017

Among the best programmers in Europe

05
December
2017
05.
12.
2017

What to search on, What to search for, and How to search for patents

01
December
2017
01.
12.
2017

Test design of IIR evaluation

28
November
2017
28.
11.
2017

Code Offloading in Opportunistic Computing

27
November
2017
27.
11.
2017

SNF Mobility Fellowship - Pietro Bressana

22
November
2017
22.
11.
2017

What Good are Formal Methods for Software Engineering?

21
November
2017
21.
11.
2017

Software testing research: foundations, key problems and future directions

20
November
2017
20.
11.
2017

Dude, we can estimate the understandability of your code! Actually, no! Not yet!

13
November
2017
13.
11.
2017

Interaction-Aware Development Environments

09
November
2017
09.
11.
2017

Ragazze e informatica - Avanti! Giornata Nuovo futuro

Super-Resolution of Positive Sources and One More Thing ...

Statitstical Inference for small & large dynamical data sets in Systems Biology

07
November
2017
07.
11.
2017

Efficient Computational and Statistical Methods for, but not limited to, the Social Science

Statistical Data Science: a thriving future

The quest for fast learning from few examples

Difficult queries: data analytics, machine learning and users studies

06
November
2017
06.
11.
2017

Big Data integration and trans-Omics analysis for reconstructing relevant pathways and networks underlying neurodegenerative diseases

Detecting Structure in High Dimensional Data

Pages