Our researcher @cesar_sanchez and Jacopo Mauro @NATsdu as co-chairs of the PhD-iFM’19 Symposium about Formal Methods: Algorithms, Tools and Applications, held in Bergen, with Debasmita Lohar, one of the members of the winning paper: “Sound Probabilistic Numerical Error Analysis”pic.twitter.com/TpzvjvZVR4
01:03 - 5. pro 2019.
0 replies
7 proslijeđenih tweetova
23 korisnika označavaju da im se sviđa
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.