ADVANCED TOPICS IN COMPUTER SCIENCE
Corso
A Padova
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
Inizio del corso
Opinioni
Programma
- "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/
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