Computer Science Department

Computer Science Department

Computer Science Department
Faculty of Exact Sciences, Engineering and Surveying
National University of Rosario

Eventos

17/11/2025 -

10:00 to 11:00

Tesina - Luciano Barletta - Lenguaje cuántico de control clásico basado en circuitos, con lógica de Hoare

Modalidad: Presencial

Lugar: Aula 23

Show more

15/09/2025 - 08:00 to 19/09/2025 - 21:30

Mesas Flotantes segundo cuatrimestre

Show more

25/08/2025 - 07:30 to 05/12/2025 - 21:30

2do Cuatrimestre 2025

Show more

29/11/2024 -

16:00 to 17:00

Tesina - Gabina Luz Bianchi - Hashchain: una implementación eficiente de Setchain construida sobre Tendermint

Show more

29/11/2024 -

16:00 to 17:00

Tesina - Gabina Luz Bianchi - Hashchain: una implementación eficiente de Setchain construida sobre Tendermint

Show more

16/12/2024 -

11:00 to 12:00

Tesina - Mauricio Salichs - Formalización de aspectos de la teoría de grafos en Coq/SSReflect

Show more

Pages