Rupak Majumdar and Viktor Kuncak (EPFL) are co-chairs of the 29th International Conference on Computer-Aided Verification (CAV 2017), to be held between July 22 and 28, 2017 in Heidelberg, Germany. CAV 2017 is the 29th in a series dedicated to the advancement of the theory and practice of computer-aided formal…
Joel Ouaknine is the Program Chair of the Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), to be held between 20 and 23 June, 2017 in Reykjavik. The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed.
Während die internationale Journalistengruppe die Panama Papers in die Tiefe analysierte und sich auf Personen wie Nawaz Sharif, Premierminister von Pakistan, oder Petro Poroshenko, Präsident der Ukraine, fokussierte, gingen die jungen Gründer mit ihrer neuartigen Software in die Breite. Sie fanden heraus, dass beispielsweise nicht Politiker die größte Gruppe bildeten,…
An der „Stanford Graduate School of Business“ der gleichnamigen Universität im US-amerikanischen Staat Kalifornien lehrten gleich drei Nobelpreisträger und bildeten Größen der globalen Geschäftswelt aus. Phil Knight, Gründer des Sportartikelherstellers Nike, studierte dort ebenso wie Jeff Jordan, Präsident des Online-Bezahldienstes „PayPal“. Jedes Jahr bewerben sich erneut über 6000 Studenten für…
Prof. Thomas Lengauer has been elected the next president of the International Society for Computational Biology (ISCB), the largest international scientific society for the field of computational biology and bioinformatics. This interdisciplinary field aims at elucidating the function of living organisms at the molecular level using mathematical models and computers.…
