{"id":82,"date":"2015-07-24T14:09:49","date_gmt":"2015-07-24T12:09:49","guid":{"rendered":"https:\/\/project.inria.fr\/epfl-Inria\/?page_id=82"},"modified":"2016-03-03T15:08:11","modified_gmt":"2016-03-03T14:08:11","slug":"workshop-2016","status":"publish","type":"page","link":"https:\/\/project.inria.fr\/epfl-Inria\/workshops\/workshop-2016\/","title":{"rendered":"Workshop 2016"},"content":{"rendered":"

Workshop Inria\/EPFL 2016<\/strong><\/span><\/h1>\n

The second\u00a0workshop took\u00a0place on January 13th, 2016 at Inria Rennes – Bretagne Atlantique Research Centre<\/a><\/span><\/span><\/p>\n

Registration<\/strong>: the registration is free but please register to the event from the registration form<\/a><\/span><\/p>\n

Program<\/strong><\/span>
\n8:30: Welcome<\/span><\/p>\n

9:15 – Jim Larus and Thierry Priol<\/em><\/span> – Introduction<\/span>
\n 9:30 – Christos Kozyrakis<\/em><\/span> (EPFL)<\/span> – “No tradeoff: Low Latency and High Efficiency<\/a>“<\/span><\/p>\n

10:15: Break<\/span><\/p>\n

10:45 – Marc Shapiro<\/em><\/span> (Inria) – “Deconstructing consistency in three dimensions<\/a>“<\/span>
\n 11:30 – Collaborative projects:<\/span>
\n Nicolas Tremblay<\/em><\/span> (Inria-EPFL) – “Graph signal processing for clustering<\/a>“<\/span>
\n Nupur Mittal<\/em><\/span> (Inria) – “Privacy Conscious Information Diffusion in Social Networks<\/a>“<\/span><\/p>\n

12:30:\u00a0Lunch and\u00a0discussion time<\/span><\/a><\/p>\n

14:15 – Bryan Ford<\/em><\/span> (EPFL)<\/span> – “Collective Authorities: Securely Decentralizing Trust at Scale<\/a>“<\/span><\/p>\n

15:00 – Xavier Leroy<\/em><\/span> (Inria)<\/em> – “Tools you can trust: formal verification of compilers, code\u00a0generators, and static analyzers<\/a>“<\/span><\/p>\n

15:45:\u00a0Break and\u00a0discussion time <\/span><\/p>\n

16:30 – Collaborative projects:<\/span>
\n Jad Hamza<\/em><\/span> (EPFL-Inria) – “Algorithmic verification of concurrent and distributed data structures<\/a>“<\/span>
\n Pamela Delgado<\/em><\/span> (EPFL) – “Hawk: Hybrid Datacenter Scheduling<\/a>“<\/span><\/p>\n

17:30: Wrap up and discussion<\/span><\/p>\n","protected":false},"excerpt":{"rendered":"

Workshop Inria\/EPFL 2016 The second\u00a0workshop took\u00a0place on January 13th, 2016 at Inria Rennes – Bretagne Atlantique Research Centre Registration: the registration is free but please register to the event from[…]<\/p>\n

Continue reading<\/span><\/i><\/a> <\/p>\n","protected":false},"author":309,"featured_media":0,"parent":72,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_mc_calendar":[],"footnotes":""},"class_list":["post-82","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/epfl-Inria\/wp-json\/wp\/v2\/pages\/82","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/project.inria.fr\/epfl-Inria\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/project.inria.fr\/epfl-Inria\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/epfl-Inria\/wp-json\/wp\/v2\/users\/309"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/epfl-Inria\/wp-json\/wp\/v2\/comments?post=82"}],"version-history":[{"count":39,"href":"https:\/\/project.inria.fr\/epfl-Inria\/wp-json\/wp\/v2\/pages\/82\/revisions"}],"predecessor-version":[{"id":347,"href":"https:\/\/project.inria.fr\/epfl-Inria\/wp-json\/wp\/v2\/pages\/82\/revisions\/347"}],"up":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/epfl-Inria\/wp-json\/wp\/v2\/pages\/72"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/epfl-Inria\/wp-json\/wp\/v2\/media?parent=82"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}