Facoltà di scienze informatiche
Logo USI
English

Archivio eventi

Eventi correnti

13
dicembre
2017
13.
12.
2017

HiFrog: SMT-based Model Checker for Software Verification

07
dicembre
2017
07.
12.
2017

Synchronizing Constraint Horn Clauses

06
dicembre
2017
06.
12.
2017

Tra i migliori programmatori a livello europeo

05
dicembre
2017
05.
12.
2017

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

01
dicembre
2017
01.
12.
2017

Test design of IIR evaluation

28
novembre
2017
28.
11.
2017

Code Offloading in Opportunistic Computing

27
novembre
2017
27.
11.
2017

SNF Mobility Fellowship - Pietro Bressana

22
novembre
2017
22.
11.
2017

What Good are Formal Methods for Software Engineering?

21
novembre
2017
21.
11.
2017

Software testing research: foundations, key problems and future directions

20
novembre
2017
20.
11.
2017

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

13
novembre
2017
13.
11.
2017

Interaction-Aware Development Environments

09
novembre
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
novembre
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
novembre
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