4 Maggio 2007

Appuntamento nella Chiesa di S. Maria dei Battuti

A Cividale del Friuli informatici da tutta Europa a confronto

Si chiude domani il convegno annuale Types 2007

Le più recenti acquisizioni nel campo della teoria e applicazione della certificazione del software e della dimostrazione formale assistita da computer sono al centro del dibattito del convegno “Types 2007 – Conference of the Types Project” che si chiuderà domani, sabato 5 maggio, a Cividale del Friuli. Appuntamento dalle 9 alle 12 presso la chiesa di Santa Maria dei Battuti.
 
            La quattro giorni nella città ducale, organizzata dal dipartimento di Matematica e informatica dell’ateneo di Udine, ha visto la partecipazione di oltre 120 studiosi ed esperti provenienti da circa 20 Paesi dell’Unione Europea, dall’Italia alla Francia e Germania, dalla Gran Bretagna alla Russia, dall’Olanda alla Svezia alla Serbia ed Estonia. Il convegno costituisce la riunione annuale del gruppo di lavoro del progetto Types dell’Unione Europea.

Sullo stesso tema

Venerdì 8 Settembre

Immagini, video e machine learning: studiosi a confronto all'Ateneo

Dall'11 al 15 settembre convegno internazionale dell'Associazione Italiana per la ricerca in Computer Vision, Pattern recognition e machine Learning

Venerdì 1 Settembre

Il ‘fratello maggiore’ dell’intelligenza artificiale

Al Cism, summer school coordinata dagli Atenei di Udine e Verona sulle potenzialità dei “metodi formali” che testano sistemi per il controllo del traffico aereo o per veicoli a guida autonoma prima ancora che vengano realizzati

Mercoledì 26 Aprile

Informatica e parità di genere, a Gorizia hackathon per sensibilizzare i più giovani

Al polo Santa Chiara studenti delle superiori impegnati a ideare app utili a “GO!2025”