2023

(online meetings on Google Meet - https://meet.google.com/fim-ewxf-vdg)

Mechanical Certification of FOLID Cyclic Proofs

Sorin Stratulat, University of Lorraine, France

• April 13, 2023, 6PM (room 104)

Studies and reflections on the difficulties of teaching beginner computer programmers

Anabela Gomes, University of Coimbra, Portugal

• April 12, 2023, 6:40 PM (room 048)

Self-adaptation in ant colony optimization

Leonor Melo, University of Coimbra, Portugal

• April 12, 2023, 6:00 PM (room 048)

3D Reconstructions Applied on Broadcast Sports

Alexandru Ionașcu, West University of Timișoara

• April 5, 2023, 6PM (room 048/045C)

The novelty of DLT based applications

Damiano Di Francesco Maesa, University of Pisa, Italy

• March 29, 2023, 6PM (room 048/045C)

3D Reconstructions Applied on Broadcast Sports

Alexandru Ionașcu, West University of Timișoara

• April 5, 2023, 6PM (room 048/045C)

The novelty of DLT based applications

Damiano Di Francesco Maesa, University of Pisa, Italy

• March 29, 2023, 6PM (room 048/045C)

Elena Flondor, West University of Timișoara

• March 8, 2023, 6PM, online

Static analysis and metaheuristics for blockchain-focused fraud detection

Otilia Muntean, West University of Timișoara

• February 22, 2023, 6PM, online

Transliteration of 19th-century Romanian texts written in the transitional alphabet using machine learning

Marc Frincu (Nottingham Trent University - UK), Simina Frincu (West University of Timisoara - Romania) and Marius Penteliuc (West University of Timisoara - Romania)

• January 25, 2023, 6PM, online

Operating rooms scheduling with a shared resource: a red-blue knapsack modeling approach

Federico Della Croce, DIGEP Politecnico di Torino, Italy

• January 18, 2023, 6PM

The role of Cybersecurity legal framework in protecting human rights and fundamental freedoms

Constantin Aradan, West University of Timisoara, Faculty of Law

• January 11, 2023, 6PM

2022

Infrastructure challenges of IoT world

Bogdan Butunoi, West University of Timisoara

• December 14, 2022, 6PM, room 045C

Verification of Binarized Deep Neural Networks - an overview

Mădălina Erașcu and Andreea Postovan, West University of Timișoara

• December 7, 2022, 6PM, room 045C

Technologies for brain health

Paula Petcu, Brain+ and Healthy Mind Tech, Denmark

• May 11, 2022, 6PM, online

Early work with BCIs to control robots

Brendan Allison, University of California, San Diego, USA

• April 20, 2022, 6PM, online

''Lightweight Interpolation-Based Surrogate Modelling for Multi-Objective Continuous Optimisation''

Ciprian Zăvoianu, Robert Gordon University, Aberdeen, UK

• April 13, 2022, 6PM, online

''On eco-friendly digital currencies and why blockchain technology is misunderstood''

Ciprian Pungilă, West University of Timisoara

• April 6, 2022, 6PM, online

''A blockchain-driven architecture for antimicrobial resistance detection''

Alexe Luca Spătaru, West University of Timisoara

• March 30, 2022, 6PM, online

''The role of the universities in the entrepreneurial ecosystem''

Duncan T. Moore, University of Rochester, USA

• March 23, 2022, 5PM, online (Zoom)

''Cloud Movement Forecasting based on Wind Modeled from Satellite Imagery and a Modified Flocking Algorithm''

Marius Penteliuc, West University of Timisoara

• March 23, 2022, 6:30 PM, online (https://meet.google.com/fim-ewxf-vdg)

''Association Studies and Genetic Diversity''

Alexandru Mizeranschi, Research and Development Station for Bovine – Arad

• March 16, 2022, 6PM, online

''Scalable Optimal Deployment in the Cloud of Component-based Applications using Optimization Modulo Theory, Mathematical Programming and Symmetry Breaking''

Mădălina Erașcu, West University of Timisoara

• March 11, 2022, 6PM, online

''NDFA-based inexact pattern-matching through local optimum''

Darius Galis, West University of Timisoara

• March 9, 2022, 6PM, online