This site uses only proprietary and third party technical cookies. By continuing to browse the site you are agreeing to our use of cookies. I agree I want to find out more
Browse the Department site:
Browse the Teaching site:

News - Computer Science Area

Didactics

This section contains news about courses, lectures and exams. Use the links below to switch to another news section or return to the first page.

[info]Archived News

Formal Methods: seminar at GSSI

The extra lecture of Formal Methods fixed for Wednesday, 22nd May (14.30-16.30, room A1.6) will not take place as it is replaced by a seminar at GSSI by Prof. Alessandro Cimatti on "Logics at work" at 15.00 (see abstract and link below). All students of Formal Methods, past and present, are invited to participate! Schedule: 22 May, 3pm Place: GSSI - Library Room, v. Francesco Crispi 7 Speaker: Alessandro Cimatti (Fondazione Bruno Kessler, Trento, Italy) https://es-static.fbk.eu/people/cimatti Title: “Logics at work” Abstract: Mathematical logic, conceived as a means to formalize mathematical reasoning, has become, in the last decades, an engineering tool for the development of high-complexity systems. It helps to unambiguously represent the problem of the...

Course Informatica forense

Si comunica che, come annunciato nella scorsa lezione, le ultime due lezioni del corso si terranno il 23 maggio ed il 6 giugno.

Course Financial Data Analytics and Investment Data Driven Decisions (Integrato)

The office hours scheduled on Wednesday May the 15th 2019, h.9.30-12.30, are cancelled and they will be held on Thursday, same time schedule.

Ricevimento studenti prof.ssa Tarantino

Nelle ultime settimane di maggio il ricevimento studenti sarà effettuato secondo il seguente calendario:

- giovedi 16 maggio dalle ore 11:30 alle ore 13:30 in aula A1.7 (Coppito 0)
- martedì 21/28 maggio dalle ore 14:30 alle ore 16:30 nel mio ufficio

Per discussione su tesi si prega di prendere appuntamento.

Course Laboratorio di Architettura degli Elaboratori

Risultati della prova parziale del 10/04/19

In allegato

  • Valutazione dei singoli esercizi, utile per capire quali sono stati fatti bene e quali meno: ogni esercizio è valutato in una scala da 1 a 10
  • Valutazione complessiva (espressa in 20-esimi) ed elenco ammessi al secondo parziale

Cambio aula lezioni A0.4 (Blocco 0) periodo 14-15 Maggio 2019

In occasione delle Elezioni delle Rappresentanze Studentesche, si comunica che le lezioni dell'aula A0.4 (Blocco 0), comprese nel periodo 14 - 15 Maggio 2019, si svolgeranno nelle seguenti aule.
Si allega avviso

Cambio aula lezioni 1.1 (Coppito 1) periodo 14-16 Maggio 2019

In occasione delle Elezioni delle Rappresentanze Studentesche, si comunica che le lezioni dell'aula 1.1 (Coppito 1), comprese nel periodo 14 - 16 Maggio 2019, si svolgeranno nelle seguenti aule.
Si allega avviso

Tuesday May 07th - Lectures will run regularly

Dear all
this is to inform you that on May 07th the lectures will run regularly.

Please avoid any waste of water (since it will be very limited).   

Regards

Formal Methods: lecture cancelled

Due to an institutional engagement, the lecture of Formal Methods of Monday 6th May 2019 will not take place. As agreed with the students, the lecture is postponed to Wednesday 8th May 2019 (14.30-16.30, room A1.6).

Course Informatica forense

La lezione di Informatica Forense (prof. S. De Nardis) di giovedi' 2 maggio 2019, non si terrà. Il corso proseguirà regolarmente da giovedì 9 aprile.