Online Master Info Week
From Facet-based to Visualised Digital Library Interfaces
Dies academicus 2021
Current events
Declarative Performance Testing Automation - Automating Performance Testing for the DevOps Era
TaCo - Tavolo del Confronto: The good and the bad of distance learning
Webinar "Vaccinations: Israel's Success Story"
Online Bachelor Info Week
RESTalk - A visual and textual DSL for modelling RESTful conversations
Performance and Physical Attack Security of Lattice-Based Cryptography
Advanced Metaheuristics for the Probabilistic Orienteering Problems
Degree award ceremony of the Faculty of Informatics
Analyzing System Performance with Probabilistic Performance Annotations
Multilevel minimization in trust-region framework
16th International Conference on integrated Formal Methods (iFM 2020)
Learning Structured Neural Representations for Visual Reasoning Tasks
Design Space Exploration in High-Level Synthesis
Score matching with conditional exponential families for likelihood-free inference
Less is more: efficient hardware design through Approximate Logic Synthesis
Parallelization and modelling techniques for scalable SMT-based verification
Welcome 2020 - Orientation weekend
Perception-Aware Computational Fabrication: Increasing The Apparent Gamut of Haptic Reproduction
Scaling State Machine Replication
Building Blocks for Leveraging In-Network Computing