ADVANCED TOPICS IN COMPUTER SCIENCE

Università degli Studi di Padova. copia

Corso

A Padova

6001-7000 €

Chiama il centro

049 827 3311-3312

Hai bisogno di un coach per la formazione?

Ti aiuterà a confrontare vari corsi e trovare l'offerta formativa più conveniente.

Descrizione

  • Tipologia

    Corso

  • Luogo

    Padova

The student will deepen some chosen theme. A discussion in the form of a seminar or the development of a related project will then be used to asses to what extent the student masters the subject.

Sedi e date

Luogo

Inizio del corso

Padova
Visualizza mappa
Riviera Tito Livio, 6, 35122

Inizio del corso

Consultare

Domande e risposte

Aggiungi la tua domanda

I nostri consulenti e altri utenti potranno risponderti

Chi vuoi che ti risponda?

Inserisci i tuoi dati per ricevere una risposta

Pubblicheremo solo il tuo nome e la domanda

Emagister S.L. (Titolare del trattamento dati) utilizzerà i tuoi dati per svolgere attività promozionali (via email e/o telefono), pubblicare recensioni o gestire eventuali segnalazioni. Nella politica sulla privacy potrai conoscere i tuoi diritti e gestire la cancellazione.

Opinioni

Programma

The course consists of series of lectures, illustrating advanced topics in computer science with the support of international experts. More precisely, the themes will be the following:

- "Modern Automated Formal Verification"
Prof. Alessandro Abate, University of Oxford
http://www.cs.ox.ac.uk/people/alessandro.abate/home.html

- "Analysis of Memory Models"
Prof. Roland Meyer, University of Braunschweig
https://www.tcs.cs.tu-bs.de/group/meyer/home.html

- "Business Process Management & Analytics"
Josep Carmona, Polytechnical University of Catalunya
https://www.cs.upc.edu/jcarmona/

Categorie correlate

Chiama il centro

049 827 3311-3312

Hai bisogno di un coach per la formazione?

Ti aiuterà a confrontare vari corsi e trovare l'offerta formativa più conveniente.

ADVANCED TOPICS IN COMPUTER SCIENCE

6001-7000 €