PROGRAM
Days: Monday, September 22nd Tuesday, September 23rd Wednesday, September 24th Thursday, September 25th
Monday, September 22nd
View this program: with abstractssession overviewtalk overview
08:00-09:00 Session 1: Registration
The registration desk will be on the ground floor of ICAM (Oituz, 4)
09:20-10:10 Session 3: Invited talk 1
Chair:
Location: A102
09:20 | The Making of Machine Minds: A Retrospective on AI (abstract) |
10:30-11:20 Session 4: Invited talk 2
Chair:
Location: A102
10:30 | Explainability in AI-Driven Medical Diagnostics (abstract) |
11:40-13:00 Session 5A: Artificial Intelligence track (1)
Chair:
Location: A102
11:40 | Exploring Compression as a Proxy for Mineability in LLM-Generated Text (abstract) |
12:00 | OCWhy: Retrieval-Augmented Question Answering over Open CourseWare Lectures (abstract) PRESENTER: Mihai Dascalu |
12:20 | CrossRead: An NLP Pipeline for Identifying Similar News Articles Across Multiple Sources (abstract) PRESENTER: Victor-Miron Boiangiu |
12:40 | LLMic: Building a Romanian Foundation Language Model (abstract) PRESENTER: Mihai-Valentin Dumitru |
11:40-13:00 Session 5B: IAFP workshop (1)
Chairs:
Location: B022
11:40 | Unsaturated versus saturated classes of contractive type mappings (abstract) |
12:00 | Covers of fractal interpolation surfaces with finite families of octahedrons (abstract) |
12:20 | On the continuous dependence of the attractors generated by mixed possibly infinite iterated function systems (abstract) |
12:40 | A hierarchy of nonexpansivity and a natural transfer of fixed point properties (abstract) |
14:00-15:30 Session 6: Tutorial 1
Chair:
Location: A102
14:00 | Synthetic Data Generation with LLMs (abstract) PRESENTER: Andreea Dutulescu |
15:50-17:50 Session 7A: Artificial Intelligence track (2)
Chair:
Location: A102
15:50 | PyStash: Retrieval-Augmented Generation Pipeline Context Aware Fine Tuning (abstract) PRESENTER: Iulian-Teodor Deac |
16:10 | ContaGPT: A Domain-Adapted LLM for Romanian Financial and Accounting Applications (abstract) PRESENTER: Cezar Tudor |
16:30 | Finetuned Llama-3 based Solution for Specific Information Retrieval with Enhanced Reliability (abstract) |
16:50 | Source Code Metrics and LLMs Summaries: Do Correlations Exist? (abstract) |
17:10 | A visual comparison between Neutral Networks and Schemata dynamics in Genetic Algorithms (abstract) |
17:30 | Do Language Models Help or Harm? The Role of LLM-Augmented Explanations in Human-AI Image Classification Tasks (abstract) |
15:50-17:50 Session 7B: IAFP workshop (2)
Chairs:
Location: B022
15:50 | A common fixed point theorem in strictly convex Fuzzy metric spaces (abstract) |
16:10 | Explainable Machine Learning Models with SHAP for Microwave-Assisted Improved Extraction of Anticancer Nimbolide from Azadirachta indica Leaves (abstract) |
16:30 | Fixed Points of Enriched Mappings with General Real Constants (abstract) |
16:50 | Explainable Machine Learning Models with SHAP for Distillation and Extraction from Siam Cardamom (abstract) |
17:10 | SHAP-Enhanced Explainable Machine Learning Models for Antioxidants from Thai Pigmented Rice Bran (abstract) |
17:30 | Two new extragradient methods for solving pseudomonotone the equilibrium problem in Hilbert spaces (abstract) |
Tuesday, September 23rd
View this program: with abstractssession overviewtalk overview
09:00-09:50 Session 8: Invited talk 3
Chair:
Location: A102
09:00 | Explainable Benchmarking of Optimisation Heuristics (abstract) |
10:10-11:30 Session 9A: Numerical Computing track
Chair:
Location: A102
10:10 | Reproducing kernels of Hilbert spaces (abstract) |
10:30 | From Brute Force to Logic: Analyzing Diverse Approaches for Solving Sudoku Puzzles (abstract) |
10:50 | A new adaptive neural network schemes for a class of nonlinear systems. (abstract) |
11:10 | Evolutionary scheme for solving nonlinear equations by Newton’s method (abstract) |
10:10-11:30 Session 9B: PhD session (1)
Chair:
Location: B022
10:10 | X-RLHF: An Explainable Reinforcement Learning from Human Feedback Framework (abstract) |
10:30 | Topology Meets Attribution: A Novel Explainability Approach for Transparent Medical Decision Support (abstract) PRESENTER: Fabian Galiș |
10:50 | Increasing the training speed with batch size schedulers (abstract) |
11:10 | MathTutor: An AI-Powered Mobile Application for Personalized Learning of Limits in Calculus (abstract) |
10:10-11:30 Session 9C: WSAI workshop (1)
Chair:
Location: A209
10:10 | YMCQ: Reasoning-Enhanced MCQ Generation (abstract) |
10:30 | [Short Paper] Reaction-Diffusion Applications to Data Dynamic Clustering (abstract) |
10:50 | Ethical and Practical Trade-offs in Human Action Recognition Models for Assistive Systems (abstract) PRESENTER: Doina Chiroiu-Jitianu |
11:10 | Global Anomaly Detection using Feedforward Symmetrical Autoencoder Neuronal Network. Comparison with Other Methods in a Case Study using Real Industrial Data. (abstract) |
11:50-13:10 Session 10A: Artificial Intelligence track (3)
Chair:
Location: A102
11:50 | Evaluating Cybersecurity Risk via Psychometric Analysis and Machine Learning (abstract) PRESENTER: Adrian Diac |
12:10 | Facial Action Units in Deepfake Video Detection: A Survey and Research Outlook (abstract) |
12:30 | MCP-Orchestrated Multi-Agent System for Automated Disinformation Detection (abstract) |
11:50-13:10 Session 10B: PhD session (2)
Chair:
Location: B022
11:50 | Mixed-Integer Programming Models for the Bandwidth Coloring Problem: A Comparative Analysis (abstract) |
12:10 | AI-Powered Issue Classification and Task Prioritization (abstract) |
12:30 | Evolving Boolean Rule-Based Classifiers for Fraud Detection via Genetic Programming (abstract) PRESENTER: Ramona-Georgiana Albert |
12:50 | Improving Stock Market Anomaly Detection using Hybrid Genetic Autoencoder (abstract) |
11:50-13:10 Session 10C: WSAI workshop (2)
Chair:
Location: A209
11:50 | Deep Learning-Driven Synthetic Aperture Radar Super-Resolution: Producing Complex-Valued High-Resolution SAR Imagery from Sentinel-1 for Mining Applications (abstract) |
12:10 | Unsupervised Landslide Detection from InSAR-Derived Time Series Using Change Point Analysis (abstract) |
12:30 | Analyzing and Forecasting the Evolution of Desertification in Southern Romania using Multispectral Imagery (abstract) |
12:50 | Towards a Modular MultiGIS Architecture: Motivating Pilots in Drainage Design, Invasive Species Detection, and Heritage Analysis (abstract) |
14:00-14:50 Session 11: Invited talk 4
Chair:
Location: A102
14:00 | Learning stochastic geometry models and Convolutional Neural Networks. Application to multiple object detection in aerospatial data sets (abstract) |
15:10-17:10 Session 12A: Logic and Programming track
Chair:
Location: A102
15:10 | Short proofs without interference (abstract) |
15:30 | Towards SAT-Based Learning of NNF Networks (abstract) PRESENTER: Paul Seip |
15:50 | Local Memory Requirements in Embedded NUMA Architectures (abstract) |
16:10 | Structuring Definitions in Mathematical Libraries (abstract) |
16:30 | Hybrid Algorithm of Finite State Machine State Assignment for Power Minimization (abstract) |
16:50 | Automated generation and retrieval of Control-Flow Graphs in malware binaries via the Ghidra API framework (abstract) |
15:10-17:10 Session 12B: NCA workshop
Chair:
Location: B022
15:10 | Battery State-of-Health Prediction using XGBoost Tuned by Modified Metaheuristics (abstract) |
15:30 | Applied Metaheuristic Hyperparameter Tuning: Machine Learning in Internet Of Things Cybersecurity (abstract) |
15:50 | Dynamic Flexible Scheduling with Extended Technical Constraints using Genetic Programming (abstract) |
16:10 | Boundary Constraint Handling Methods for Differential Evolution-Based Hyperparameter Optimization (abstract) |
16:30 | Deep Learning Techniques for Processing Fetal First Trimester Ultrasound Videos (abstract) |
15:10-16:50 Session 12C: WSAI workshop (3)
Chair:
Location: A209
15:10 | Audio Deepfake Detection using MFCC Features and CNNs (abstract) PRESENTER: Ioana-Victoria Zinveliu |
15:30 | Objective Evaluation of Romanian TTS Systems: Glow-TTS and VITS (abstract) PRESENTER: Oscar Gal |
15:50 | Panoptic segmentation techniques (abstract) |
16:10 | Feature-Based AI/ML for ECG Artifact Detection: A Comparative Study of Supervised Classifiers (abstract) PRESENTER: Paul Farago |
16:30 | Predictive Patient Scheduling with Random Forests and Agent-Based Coordination (abstract) |
17:30-19:30 Session 13A: Artificial Intelligence track (4)
Chair:
Location: A102
17:30 | Optimized DeepLabV3+ Architecture for Semantic Segmentation (abstract) |
17:50 | Salivary ferning segmentation with a lightweight CNN (abstract) |
18:10 | Precision Matters: Comparing Deep Models for Visual Marker Detection on Eyewear-Mounted Calibration Objects (abstract) |
18:30 | CrashSplat: 2D to 3D Vehicle Damage Segmentation in Gaussian Splatting (abstract) |
18:50 | Predicting DNA toehold-mediated strand displacement rate constants using a quantum convolutional neural network (abstract) |
17:30-18:30 Session 13B: PhD session (3)
Chair:
Location: B022
17:30 | CLIP-XRad: Learning Multimodal Representations of Chest X-rays through Contrastive Pretraining with Medical Concept Alignment (abstract) |
17:50 | Unmasking Emotions: A Robust Facial Recognition Ensemble System (abstract) |
18:10 | Enhancing Programming Education through Digital Passports and Gamification: The CodeClub Platform Approach (abstract) |
Wednesday, September 24th
View this program: with abstractssession overviewtalk overview
09:00-09:50 Session 14: Invited talk 5
Chair:
Location: A102
09:00 | Verifying Arithmetic Circuits with Polynomials (abstract) |
10:10-11:50 Session 15A: Distributed Computing track
Chair:
Location: A102
10:10 | Data-Locality-Aware Scheduling for Serverless Containerized Workflows across the Edge-Cloud Continuum (abstract) |
10:30 | Parametric Actors Networks to Efficient Hardware: CORDIC-Based QR Decomposition (abstract) |
10:50 | Metric Continuation-Passing Semantics for Multiparty Interactions (abstract) |
11:10 | Effective Translation of Algebraic PNs with Active Tokens in Maude: a Model for Adaptive Systems (abstract) |
11:30 | Remote Interface for Forensics Analysis in GView: A Lightweight Secure TUI Architecture (abstract) PRESENTER: Raul Zaharia |
10:10-11:50 Session 15B: Tutorial 2
Chair:
Location: B223
10:10 | Earth Observation with STAC, Dask, and ML: From Discovery to Insight (abstract) PRESENTER: Gabriel Iuhasz |
10:10-11:40 Session 15C: AVM session (see https://easychair.org/smart-program/AVM25/program.html)
Location: A210
12:00-13:00 Session 16: AVM session (see https://easychair.org/smart-program/AVM25/program.html)
Location: A210
12:10-13:30 Session 17A: Artificial Intelligence track (5)
Chair:
Location: A102
12:10 | Metacognitive AI Model for Target Selection in Military Operations (abstract) |
12:30 | Zonal Estimation Method for Offline Travel Time Prediction in Sparse Data Environments (abstract) |
12:50 | Age-Related Differences and Machine Learning-Based Insights in Patients with Non-Functioning Adrenal Adenomas (abstract) |
12:10-13:30 Session 17B: Tutorial 3
Chair:
Location: B223
12:10 | Using GIS and AI for large-scale orientation analysis of remote heritage sites (abstract) |
14:00-15:00 Session 18: AVM session (see https://easychair.org/smart-program/AVM25/program.html)
Location: A210
14:30-15:20 Session 19: Invited Talk 6
Chair:
Location: A102
14:30 | Symbolic Computation, Standardisation, and the EU AI Act (abstract) |
15:30-17:30 Session 20: AVM session (see https://easychair.org/smart-program/AVM25/program.html)
Location: A210
15:40-17:00 Session 21A: Symbolic Computation (1)
Chair:
Location: A102
15:40 | On the Brown–Davenport construction (abstract) |
16:00 | Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks (abstract) |
16:20 | Fraction-Free Comprehensive LU Decomposition and Variants (abstract) |
16:40 | Study on Symbolic Regression Approaches: Balancing Accuracy, Interpretability, and Runtime (abstract) |
15:40-17:20 Session 21B: ACSys workshop (1)
Chair:
Location: B223
15:40 | Leveraging a Small Gemma Model to Predict Movie Ratings from MovieLens Dataset: Preliminary Results (abstract) |
16:00 | Visualization of Training and Testing Results for Solving Mountain Car Problem Using Q-learning (abstract) |
16:20 | An Agent-based Architecture for Modeling and Analyzing IoT-Edge-Cloud Continuum Systems (abstract) |
16:40 | Free Energy Landscape and Markov State Model Analyses as Bencharks for Molecular Dyanamics Large Language Models of Protein-Ligand Interactions (abstract) |
17:00 | MTL-LungNet: A Unified Model for Nodule Segmentation and Malignancy Classification (abstract) |
17:30-21:00 Conference dinner
Trip and dinner at Recas vineyard (https://cramelerecas.ro/)
Thursday, September 25th
View this program: with abstractssession overviewtalk overview
09:00-10:40 Session 22A: Symbolic Computation track (2)
Chairs:
Location: A102
09:00 | Well-Conditioned Polynomial Representations for Mathematical Handwriting Recognition (abstract) |
09:20 | Factorial powers (abstract) |
09:40 | Certified Real Eigenvalue Location (abstract) PRESENTER: Baran Solmaz |
10:00 | Semi-Centennial Reduce (abstract) |
10:20 | Exploring Commutative Matrix Multiplication Schemes via Flip Graphs (abstract) |
09:00-10:20 Session 22B: ACSys workshop (2)
Chair:
Location: B223
09:00 | Image Geolocalization via Combined Classification and Regression (abstract) |
09:20 | Benchmarking Heuristic and Cooperative Agents in AbstractSwarm Logistics Scenarios (abstract) |
09:40 | Modernized Big Data Architecture to develop E-Commerce Platforms Based on Fog Computing (abstract) |
10:00 | Integrating Predictive Models and Agent-Based Coordination for Hospital Efficiency (abstract) |
09:00-10:30 Session 22C: AVM session (see https://easychair.org/smart-program/AVM25/program.html)
Location: A210
12:10-13:10 Session 24A: Artificial Intelligence track (6)
Chair:
Location: A102
12:10 | A Unified Detection, Classification, and Segmentation Approach for Breast Ultrasound Images (abstract) |
12:30 | Performance Analysis of ML Architectures for Predicting and Classifying Neural Diseases Using EEG Datasets (abstract) |
12:50 | Large-Scale Bankruptcy Risk Prediction for Romanian SMEs using Robust Machine Learning Approaches (abstract) PRESENTER: Radu-Ionel Toma |
12:10-13:10 Session 24B: AVM session (see https://easychair.org/smart-program/AVM25/program.html)
Location: A210
14:00-15:40 Session 25A: Artificial Intelligence track (7)
Chair:
Location: A102
14:00 | DGSA - a discrete Gravitational Search Algorithm for Protein Structure Prediction in Coarse Model (abstract) |
14:20 | Beyond Accuracy: An Explainable AI Approach to Chest X-Ray Pneumonia Detection (abstract) PRESENTER: Emanuel Trinc |
14:40 | Machine Learning Forecasting for Wind and Solar in Residential Hybrid Energy Systems (abstract) |
15:00 | Multivariate Time Series Forecasting in Blood Glucose Monitoring (abstract) |
15:20 | Arithmetic Analysis: Versatile and Efficient Feature Grammars for Static Malware Classification (abstract) |