PROGRAM
Days: Wednesday, September 4th Thursday, September 5th Friday, September 6th Saturday, September 7th
Wednesday, September 4th
View this program: with abstractssession overviewtalk overview
08:00-09:00 Registration
Location: 045C
09:20-10:10 Session 2: Invited talk
Marcello Bonsangue - On the Nature of Symbolic Execution
Chair:
Location: A11
| 09:20 | On the Nature of Symbolic Execution (abstract) |
10:10-10:30 Coffee break
Location: Hall
10:30-12:10 Session 3A: Numerical Computing
Chairs:
Location: A11
| 10:30 | Solving critical point conditions for the Hamming and taxicab distances to solution sets of polynomial equations (abstract) |
| 10:50 | Application of T-splines and Bézier extraction for boundary description in Parametric Integral Equation System for 3D Laplace's equation (abstract) |
| 11:10 | Existence and static stability of a capillary free surface appearing in a dewetted Bridgman process II. (abstract) |
| 11:30 | A Visual Solution in Asteroids Detection (abstract) |
| 11:50 | Sorting Algorithms - When Quick Is Too Fast (abstract) |
10:30-12:10 Session 3B: DIPMAI Workshop
Chairs:
Location: 045C
| 10:30 | Localizing Pulmonary Lesions using Fuzzy Deep Learning (abstract) |
| 10:50 | Assistive tools for People with Cerebral Palsy: An Eye Tracker Calibration for Vision and Focus Training (abstract) |
| 11:10 | Multi-Control Virtual Reality Driving Simulator (abstract) |
| 11:30 | Methods on estimation of trend component (abstract) |
| 11:50 | An approach of segmentation method using deep learning for CT medical images (abstract) |
12:10-13:30 Lunch
Location: Hall
13:30-14:20 Session 4: Invited talk
Peter Csaba Olveczky - Design and Validation of Cloud Storage Systems using Rewriting Logic
Chair:
Location: A11
| 13:30 | Design and Validation of Cloud Storage Systems using Rewriting Logic (abstract) |
14:20-14:40 Coffee break
Location: Hall
14:40-16:00 Session 5A: Advances in the Theory of Computing / Distributed Computing
Chairs:
Location: A11
| 14:40 | Bicyclic Connected Graphs Having Smallest Degree Distances (abstract) |
| 15:00 | Implementation of Publisher-Subscriber paradigm using Virtual Organisms (abstract) |
| 15:20 | Digital Tracking Cloud Distributed Architecture for Detection of Faint NEAs (abstract) |
14:40-16:00 Session 5B: GeoInfo Workshop
Chair:
Location: 045C
| 14:40 | Assessing landscape changes using Google Earth Engine in different permafrost areas from West Siberia (abstract) |
| 15:00 | Exploiting Sentinel-1 data for near real time large-scale flood monitoring in South East Asia (abstract) |
| 15:20 | Deep Learning Techniques Applied for Road Segmentation (abstract) |
16:00-16:20 Coffee break
Location: Hall
16:20-17:50 Session 6: Tutorial
Jonathan Hauenstein - Homotopy Continuation and Numerical Algebraic Geometry using Bertini
Chair:
Location: A11
| 16:20 | Bertini Tutorial: Homotopy continuation and numerical algebraic geometry using Bertini (abstract) |
18:00-19:00 Session 7: Poster session
Chair:
Location: A11
| 18:00 | Artificial Intelligence improving life of type 1 diabetes (abstract) |
| 18:00 | A Proposed Automatic Speech and Sentiment Recognition Serious Game for Older Adults with Parkinson’s Disease (abstract) |
| 18:00 | Agent-based Hospital Scheduling System (abstract) |
| 18:00 | Motif Detection in Biological Networks (abstract) |
| 18:00 | Solution Framework for Solving the Problem of Real-Time Vehicle Delay Determination within a Transport System (abstract) |
| 18:00 | Evolutionary Design of Deep Neural Networks (abstract) |
19:00-21:00 Welcome reception
Location: Hall
Thursday, September 5th
View this program: with abstractssession overviewtalk overview
09:00-09:50 Session 8: Invited talk
Jonathan Hauenstein - Using Numerical Insights to Improve Symbolic Computations
Chair:
Location: A11
| 09:00 | Using Numerical Insights to Improve Symbolic Computations (abstract) |
09:50-10:10 Coffee break
Location: Hall
10:10-11:50 Session 9: Artificial Intelligence (I) / Symbolic Computation (I)
Chair:
Location: A11
| 10:10 | Prediction of Cloud Movement from Satellite Images using Neural Networks (abstract) |
| 10:30 | A Machine Learning Perspective for Order Reduction in Electrical Motors modelling (abstract) |
| 10:50 | An adversarial machine learning approach to evaluate the robustness of a security solution (abstract) |
| 11:10 | Methods for training neural networks with zero false positives for malware detection (abstract) |
| 11:30 | Rational Gram-Schmidt—Searching vs. Computing (abstract) |
12:00-13:00 Lunch
Location: Hall
13:00-13:50 Session 10: Invited talk
Swagatam Das - Large-scale and Multi-peak Optimization with Differential Evolution. Some Recent Approaches and Future Challenges
Chair:
Location: A11
| 13:00 | Large-scale and Multi-peak Optimization with Differential Evolution – Some Recent Approaches and Future Challenges (abstract) |
13:50-14:10 Coffee break
Location: Hall
14:10-15:30 Session 11A: NCA Workshop
Chair:
Location: 045C
| 14:10 | Autonomous image segmentation by Competitive Unsupervised GrowCut (abstract) |
| 14:30 | Particle Swarm Optimization of Cellular Automata Rules for Edge Detection (abstract) |
| 14:50 | Evolved Cellular Automata for Grey Images (abstract) |
| 15:10 | Harmony Search Algorithms for Optimizing Extreme Learning Machines (abstract) |
14:10-15:10 Session 11B: ACSys Workshop
Chair:
Location: A11
| 14:10 | Feasibility of an Agent-based Investment Platform for Renewable Energy Source Implementation (abstract) |
| 14:30 | A Multi-Agent Placement System for Virtual Network Functions in a Cloud-Based Architecture (abstract) |
15:10-15:30 Coffee break
Location: Hall
15:30-17:00 Session 12: Doctor Honoris Causa Ceremony.
West University of Timisoara awards the title Doctor Honoris Causa Scientiarum to Professor James Harold Davenport.
Chair:
Location: A11
Friday, September 6th
View this program: with abstractssession overviewtalk overview
08:40-09:30 Session 13: Invited talk
Adina-Magda Florea - Human-robot Interaction
Chair:
Location: A11
| 08:40 | Human-Robot Interaction (abstract) |
09:30-10:20 Session 14: Invited talk
Stephen Watt - Review of Algorithms on Symbolic Domains
Chair:
Location: A11
| 09:30 | A Review of Algorithms on Symbolic Domains (abstract) |
10:10-12:10 Session 15: IAFP Workshop (I)
Chair:
Location: 045C
| 10:10 | Iterative approximations for non-self operators (abstract) |
| 10:30 | Some conjectures on global asymptotic stability for discrete dynamical systems (abstract) |
| 10:50 | A global implicit operator theorem in terms of monotone operators (abstract) |
| 11:10 | Existence of asymptotically stable solutions to a nonlinear integral equation of mixed type (abstract) |
| 11:30 | Fixed Point Theorems Applied to Invariant Subspaces Problem on Hilbert Spaces (abstract) |
| 11:50 | Almost local contractions in b- pseudometric spaces (abstract) |
10:20-10:40 Coffee break
Location: Hall
10:40-12:20 Session 16: Symbolic Computation (II)
Chairs:
Location: A11
| 10:40 | An Attempt to Enhance Buchberger's Algorithm by Using Remainder Sequences and GCD Operation (abstract) |
| 11:00 | Feature Extraction using Legendre-Sobolev Representation for Handwritten Mathematical Characters (abstract) |
| 11:20 | Source code vulnerabilities detection using loosely coupled data and control flows (abstract) |
| 11:40 | Applications of Equivalence Algorithms in Software Design (abstract) |
| 12:00 | The Fermat-Torricelli Problem on Sphere with Euclidean Metric (abstract) |
12:00-13:00 Lunch
Location: Hall
13:00-14:30 Session 17: Tutorial
Arie Gurfinkel and Nikolaj Bjorner - The Science, Art and Magic of Constrained Horn Clauses
Chair:
Location: A11
| 13:00 | The Science, Art and Magic of Constrained Horn Clauses (abstract) |
14:30-14:50 Coffee break
Location: Hall
14:50-16:30 Session 18A: Logic and Programming
Chair:
Location: A11
| 14:50 | Portfolio SAT and SMT Solving of Cardinality Constraints in Sensor Network Optimization (abstract) |
| 15:10 | Superposition Reasoning about Quantified Bitvector Formulas (abstract) |
| 15:30 | Improved Processor Bounding for Non-preemptive Task Scheduling (abstract) |
| 15:50 | Inference System to Achieve Saturation of (F,R,N) Knowledge Bases (abstract) |
14:50-16:30 Session 18B: IAFP Workshop (II)
Chair:
Location: 045C
| 14:50 | Approximating fixed points of a general class of Kannan type contractive mappings (abstract) |
| 15:10 | On strong fuzzy metric spaces (abstract) |
| 15:30 | Computing the Pompeiu-Hausdorff distance between some geometrical sets (abstract) |
| 15:50 | A common fixed point theorem for non-self mappings in strictly convex Fuzzy metric spaces (abstract) |
| 16:10 | Fixed point theorems in partial ordered H-distance space (abstract) |
16:30-16:50 Coffee break
Location: Hall
16:50-18:50 Session 19: Artificial Intelligence (II)
Chair:
Location: A11
| 16:50 | Investigating differences between ancient and modern bacterial DNA in dental calculus via autoencoders (abstract) |
| 17:10 | Identification of elastoplastic material properties using PIES and PSO (abstract) |
| 17:30 | Interval arithmetics in modelling and solving uncertainly defined boundary value problems of elasticity (abstract) |
| 17:50 | A Restaurants Recommendation System: Improving Rating Predictions using Sentiment Analysis (abstract) |
| 18:10 | Preventing File-less Attacks with Machine Learning Techniques (abstract) |
| 18:30 | Improving Detection of Malicious Office Documents using One-Side Classifiers (abstract) |
Saturday, September 7th
View this program: with abstractssession overviewtalk overview
09:30-09:50 Session 20: Advances in the Theory of Computing
Chair:
Location: A11
| 09:30 | The graceful chromatic number for some particular classes of graphs (abstract) |
10:00-10:50 Session 21: Invited talk
Anca Andreica - Cellular Automata Applications
Chair:
Location: A11
| 10:00 | Cellular Automata Applications (abstract) |
10:50-11:10 Coffee break
Location: Hall
11:10-12:50 Session 22: Artificial Intelligence (III)
Chair:
Location: A11
| 11:10 | Shapley Value and Extremal Optimization for the Network Influence Maximization Problem (abstract) |
| 11:30 | Protein Folding Simulation using Combinatorial Whale Optimization Algorithm (abstract) |
| 11:50 | Population distribution dynamics in Genetic Algorithms with High-Probability Mutation (abstract) |
| 12:10 | Towards Automated Quality Assessment Methods in Algorithmic Music Composition (abstract) |
| 12:30 | Data driven sales prediction using communication sentiment analysis in B2B CRM systems (abstract) |
13:00-14:00 Lunch
Location: Hall