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

Cambio aula lezioni di Network Flow, Prof. Rossi F.-Teoria della Calcolabilità e Complessità Prof. Mignosi

La lezione di oggi 04.06.2019 di Network Flow, Prof. Rossi F. ore 14,30-16.30, si svolgerà nell'aula C 1.16 di Coppito 2 e la lezione del Prof. Mignosi Teoria della Calcolabilità e Complessità, ore 14,30- 16,30,  si svolgerà presso l'aula A 1.3 del Blocco 0.

Lab. Progr. (CdL Informatica) e Informatica (CdL Matematica): esercitazione

Si informa gli studenti che intendono sostenere la prova scritta del modulo di Laboratorio di Programmazione (CdL Informatica) e del corso di Informatica (CdL Matematica) nella sessione di esami di giugno-luglio che venerdì 7 giugno 2019 verrà svolta una esercitazione in aula A1.5 (Blocco 0) dalle 11.30 alle 13.30.

Si ricorda che la prova scritta del I appello è fissata per venerdì 14 giugno 2019, ore 10.00, aula C1.10.

Course Fisica

Si comunica che la lezione di Fisica di mercoledì 5 giugno è posticipata a venerdì 7 giugno ore 08:30 nell'aula C1.10.  La lezione di giovedì 6 giugno si svolgerà regolarmente.  Il docente. Massimo Vellante

Course Laboratorio di Architettura degli Elaboratori

Si rende noto che durante lo svolgimento delle prove scritte:

  • Non è possibile utilizzare telefoni o smartwatch, pena l'esclusione dalla prova d'esame
  • È possibile utilizzare esclusivamente il materiale fornito dal docente. Tale materiale si trova nella sezione downloads di questo portale, nella cartella LAE19/Informazioni sugli Appelli
  • Non è possibile consultare appuunti, libri o documenti diversi dal materiale fornito dal docente, pena l'esclusione dalla prova d'esame

Ottimizzazione, temi di ricerca

Nell'ambito della presentazione del Laboratorio BEA-SmarT presso l'aula seminari del DISIM (II piano blocco 0), oggi alle 12:30  saranno descritti alcuni temi di ricerca applicata del gruppo di ottimizzazione. Gli studenti interessati sono invitati a partecipare. 

Course Laboratorio di Architettura degli Elaboratori

La seconda prova parziale del corso di Laboratorio di Architettura degli Elaboratori si svolgerà mercoledì 5 giugno, alle ore 10:30 in aula C.1.10

Gli argomenti oggetto della prova saranno due: il 3 e il 4. Nella sezione downloads di questo portale potete strovare:

  • i programmi dettagliati degli argomenti 3 e 4, con indicazioni per lo studio
  • il materiale didattico relativo agli argomenti 3 e 4
  • il materiale che è possibile utilizzare durante la prova, ovvero schede sintetiche che descrivono le istruzioni di MC68000 e MIPS32 (nella sezione "Informazioni sugli Appelli")

Possono partecipare tutti gli studenti che hanno sostenuto con esito positivo la prima prova parziale.

In allegato si ri-pubblica l'elenco degli ammessi

 

Course Network Optimization

Next lecture: Tuesday, June 4th 11.30 (Final test)

Ricevimento studenti 28 maggio prof.ssa Tarantino

Il ricevimento studenti di oggi, martedì 28 maggio, avrà inizio alle ore 15

Course Calcolo Delle Probabilità

Il ricevimento del 23 maggio è anticipato al 21 maggio dalle 13 alle 15

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...