Conferences - Seminars
From February 12th to 25th, EPFL Library invites you to take part to Love Data Week 2018. This world wide event aims to share awareness about research data management among researchers. On this occasion, EPFL Library offers you several activities and events online and on EPFL campus. Come and join us! February 12th-16th Love Data ... Read more about "Love Data Week at EPFL"
10:15-11:30 BC 420
By: Antoine Kaufmann - University of Washington IC Faculty candidate Abstract: TCP is widely used for client-server communication in modern data centers. But TCP packet handling is notoriously CPU intensive, accounting for an increasing fraction of data center processing time. Techniques such as TCP segment offload, kernel bypass, and RDMA are of limited benefit for ... Read more about "IC Colloquium: High Performance Data Center TCP Packet Processing"
By Stephan Merz, Inria Nancy (joint work with Leslie Lamport) Abstract Auxiliary variables are often needed for verifying that an implementation is correct with respect to a higher-level specification. They augment the formal description of the implementation without changing its semantics—that is, the set of behaviors that it describes. I will present rules for introducing ... Read more about "Auxiliary variables revisited"
Call for proposal
Aim: The Canadian Institute for Advanced Research (CIFAR) invites exceptional early career researchers from across the natural, biomedical, and social sciences and the humanities to join one of their interdisciplinary research programs that address some of the most complex questions facing the world today. Scholars’ research interests must be aligned with the themes of an ... Read more about "[ CIFAR | CIFAR AZRIELI GLOBAL SCHOLARS ]"