ADVANCED TOPICS IN COMPUTER SCIENCE

Università degli Studi di Padova.

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.

I migliori corsi di Sistemi informatici (altro)

Vedi tutti

Vedi tutti

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

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 €

I migliori corsi di Sistemi informatici (altro)

Vedi tutti

Vedi tutti