Catalogo dei Corsi di studio

Orario di ricevimento: tramite Google Meet o Zoom, da prenotare per email (melatti@uniroma1.it)

Formal Methods in Software Development (Master Degree in Computer Science)

Course site (in progress):
https://twiki.di.uniroma1.it/twiki/view/MFS/FormalMethodsInSoftwareDevelopment20212022

Student are kindly requested to join the classroom FMSD, code w6zmvie
(use your Sapienza account @studenti.uniroma1.it).
There, you can find also the Meet address to follow lessons on-line.

Class schedule:

Room G0 – viale Regina Elena 295, Edificio G (RM115), Wednesday 1-4pm (prof. Salvo)
Room G50 – viale Regina Elena 295, Edificio G (RM115), Monday 2-4pm.

On line lessons: You can find the Meet address in the classroom FMSD.

Sistemi Operativi I Modulo (laurea in Informatica)

Per le lezioni in presenza, l'orario è lunedì (16-18) e mercoledì (13-16) in aula 3L di via del Castro Laurenziano

Per accedere alle lezioni da remoto sulla piattaforma Zoom, è necessario iscriversi al link http://151.100.17.205/iscrizione/corso.php?id_corso=15

Per tutte le informazioni su Sistemi Operativi modulo 1, consultare il sito del corso: https://twiki.di.uniroma1.it/twiki/view/SO/SO1213AL/SistemiOperativi12CF...

Per tutte le informazioni su Sistemi Operativi modulo 2, consultare il sito del corso: https://twiki.di.uniroma1.it/twiki/view/SO/SO1213AL/SistemiOperativi12CF...