ITASEC24: Bruno Frattasi, Direttore Generale dell’Agenzia per la Cybersicurezza Nazionale, delinea le linee strategiche di Acn

è entrata nel vivo l’ottava edizione di Itasec, la principale conferenza nazionale sulla sicurezza informatica, organizzata dal Cybersecurity National Lab del CINI .

Leggi

logo asphi
 

CyberChallenge.IT: più di 4100 gli iscritti

Sono oltre 4.100 i ragazzi e le ragazze tra i 16 e i 24 anni che si sono iscritti all’ottava edizione di CyberChallenge.IT, la scuola nazionale per i giovani esperti di sicurezza informatica del Cybersecurity National Lab del Cini (Consorzio interuniversitario nazionale per l’informatica).

Leggi

logo asphi
 

ITADINFO 2023, primo convegno organizzato dal Laboratorio Informatica e Scuola del CINI

Si è svolto a Bari dal 13 al 15 ottobre ITADINFO 2023, il primo convegno italiano sulla didattica dell’Informatica, organizzato dal Laboratorio Nazionale CINI “Informatica e Scuola”, in collaborazione con il Dipartimento di Informatica dell’Università di Bari Aldo Moro.

Leggi

logo asphi
 

"Ricerca e Formazione nella Società della Transizione Digitale" - Napoli, 22.09.2023

Si parlerà di "Ricerca e Formazione nella Società della Transizione Digitale" nel corso della giornata nazionale promossa dal CINI, il Consorzio Interuniversitario Nazionale per l'Informatica, con la partecipazione delle università campane.

Leggi

logo asphi
 

CybersecNatLab - OliCyber.IT e CyberTrials: dal 6 all'8 settembre a Torino le finali dei due percorsi di formazione su cybersicurezza per ragazze e ragazzi

Dal 6 all’8 settembre Torino sarà invasa dagli hacker (etici) per le finali delle Olimpiadi Italiane di Cybersicurezza (OliCyber.IT) e per CyberTrials, i programmi di formazione avanzata nel campo della sicurezza informatica organizzati dal Cybersecurity National Lab e rivolti a studentesse e studenti degli istituti superiori di II grado.

Leggi

logo asphi
 

Dalla CyberChallenge.IT 2023 la definizione della Nazionale Italiana di Cyberdefender

Dal 28 giugno al 1° luglio si riuniranno a Torino, per la gara finale, i 258 finalisti di CyberChallenge.IT: il programma italiano di formazione per i giovani talenti della sicurezza informatica, organizzato dal Cybersecurity National Lab del CINI (Consorzio Interuniversitario Nazionale per l’Informatica), con il patrocinio dell’Agenzia per la Cybersicurezza Nazionale (ACN) e dell’Autorità Garante per la Protezione dei Dati Personali (GPDP).

Leggi

logo asphi
 

ITADINFO - Primo convegno italiano sulla didattica dell'informatica

Si svolgerà a Bari dal 13 al 15 ottobre prossimo ITADINFO, la prima edizione del convegno italiano sulla didattica dell'informatica, organizzata dal Laboratorio Nazionale "Informatica e Scuola" del CINI, in collaborazione con l'Università degli Studi di Bari "Aldo Moro" e con l'associazione di promozione sociale "APS Programma il Futuro".

Leggi

logo asphi
 

HPC Summer School-2023

The first edition of the Lab CINI HPC-KTT National Summer School on High Performance Computing for PhD students and young researchers that will be held from June 12th up to June 16th at the Department of Electrical Computer and Biomedical Engineering of the University of Pavia.

Leggi

logo asphi
 

Attività in collaborazione tra il Garante per la protezione dei dati personali e il CINI

Siglata la prima Convenzione attuativa dell’Accordo quadro tra il Garante per la protezione dei dati personali e il Consorzio Interuniversitario Nazionale per l’Informatica (CINI).

Leggi

logo asphi
 

National Interuniversity Consortium for Informatics

The Consortium involves 1,300+ professors of both Computer Science (Italian SSD INF/01) and Computer Engineering (Italian SSD ING-INF/05), belonging to 39 public universities. The Consortium is submitted to the periodic Quality Evaluation of its research activities by ANVUR, the Italian National Agency for the Evaluation of the University System and Research.
Read
 

Press Review

Notifications (to archive) 

Calls For Papers & Other Opportunities

Lecturer: Dr. Sasha Rubin
Auckland, New Zealand
sasha.rubin@gmail.com

 

CV: Sasha Rubin got his PhD in Mathematics and Computer Science in 2004 at the University of Auckland, New Zealand, on Automatic Structures. His current interests are in formal methods and using mathematical logic for describing, reasoning and controlling systems.
From 2012 to 2015 he has been postdoctoral researcher at the IST Austria and TU Vienna, in Austria. Recently he held a two-year Marie Curie Fellowship of the Istituto Nazionale di Alta Matematica to work at the University of Naples Federico II (until March 2017) on formal methods for parameterised light-weight mobile agents.
This year he is co-chair of the Italian Conference on Theoretical Computer Science (ICTCS) 2017, co-chair of the International Workshop on Strategic Reasoning 2017, co-organiser of the First Workshop on Formal Methods in Artificial Intelligence (FMAI) 2017, and a program committee member for the IRISA Master Research Internship 2016-2017.

 

Dates and Locations (rooms are in ed.1, via Claudio 21, Napoli)

Date Hours Room
24 Aprile 2017 11.00-13.00 DIETI - Edificio 1 –Aula I5
24 Aprile 2017 15.00-17.00 DIETI - Edificio 1 –Aula I5
26 Aprile 2017 15.00-17.00 DIETI - Edificio 1 –Aula I5
27 Aprile 2017 11.00-13.00 DIETI - Edificio 1 –Aula I5

 

Lecturer: Dr. Sasha Rubin

Auckland, New Zealand

sasha.rubin@gmail.com

 

CV: Sasha Rubin got his PhD in Mathematics and Computer Science in 2004 at the University of Auckland, New Zealand, on Automatic Structures. His current interests are in formal methods and using mathematical logic for describing, reasoning and controlling systems.

From 2012 to 2015 he has been postdoctoral researcher at the IST Austria and TU Vienna, in Austria. Recently he held a two-year Marie Curie Fellowship of the Istituto Nazionale di Alta Matematica to work at the University of Naples Federico II (until March 2017) on formal methods for parameterised light-weight mobile agents.

This year he is co-chair of the Italian Conference on Theoretical Computer Science (ICTCS) 2017, co-chair of the International Workshop on Strategic Reasoning 2017, co-organiser of the First Workshop on Formal Methods in Artificial Intelligence (FMAI) 2017, and a program committee member for the IRISA Master Research Internship 2016-2017.

 

 

Dates and Locations (rooms are in ed.1, via Claudio 21, Napoli)

Date

Hours

Room

24 Aprile 2017

11.00-13.00

DIETI - Edificio 1 –Aula I5

24 Aprile 2017

15.00-17.00

DIETI - Edificio 1 –Aula I5

26 Aprile 2017

15.00-17.00

DIETI - Edificio 1 –Aula I5

27 Aprile 2017

11.00-13.00

DIETI - Edificio 1 –Aula I5

Attachments:
Download this file (Locandina Rubin.pdf)Locandina

Share This

Horizon 2020

Logo Horizon 2020

CINI participates as expert delegate in the italian committee of the Horizon 2020 Program for Information and Communication Technologies

 

 

Institutional links

S5 Box

Cini Single Sign ON

This site only stores technical/functional cookies. If you want to know more, go to the Cookie Policy section.