Université Catholique de Louvain - 16 April 2018 (Louvain House)
10h00 - 10h45 Invited Talk: Maxime Cordy, University of Namur: Automations for Variability-Intensive Systems
10h45 - 11h15 Break
11h15 - 12h55 Data Mining Session:
Siegfried Nijssen (UCL): Constraint Programming for Data Mining
Diana Trandabat (UAIC): Building Knowledge Resources from Social Media Using Semantic Roles
Petru Rebeja (UAIC): Deep Learning for Semantic Text Similarity
Mihaela Breaban (UAIC): Entropy Gains for Decision Tree Induction
12h55 - 14h15 Break
14h15 - 15h55 Networks Session:
Adrian Iftene (UAIC): Scalable System for Opinion Mining on Twitter data. Dynamic Visualization for Data Related to Refugees' Crisis and to Terrorist Attacks
Quentin De Coninck (UCL): Multipath Transport Protocols for Mobile Devices
Cristian Hristea (UAIC): Developing RFID Authentication Protocols with PUFs
Genc Tato (UCL): Edge-Core Deployments of Microservices Applications
15h55 - 16h30 Break
16h30 - 18h00 Formal Methods and Security Session:
Andrei Arusoaie (UAIC): Language-Parametric Program Verification
Christophe Limbrée (UCL): Verification of Safety Properties on Railway Interlocking System
Edouard Cuvelier (UCL): Astres - a Cryptographic Voting Prototype
Adrian Iftene (UAIC): The PrivateSky Project
Organizers: Etienne Rivière (UCL) and Emanuel Onica (UAIC)