PROGRAM
Days: Tuesday, December 7th Wednesday, December 8th Thursday, December 9th Friday, December 10th
Tuesday, December 7th
View this program: with abstractssession overviewtalk overview
10:00-10:50 Session 2: SYNASC Invited Talk (1)
Chair:
Location: Room SYNASC - main
| 10:00 | Computation models in e-origami system Eos (abstract) |
11:10-11:50 Session 3: Theory of Computing Session
Chair:
Location: Room SYNASC - main
| 11:10 | Towards the Complexity of Petri Nets and One Counter Machines via Coordinated Table Selective Substitution Systems (abstract) |
| 11:30 | Graphs hard-to-process for greedy algorithm MIN (abstract) |
11:50-12:30 Session 4: Symbolic Computation Session (1)
Chair:
Location: Room SYNASC - main
| 11:50 | Proposal of Multivariate Polynomial Arithmetic in a Specified Width of High- or Low-Exponents (abstract) PRESENTER: Tateaki Sasaki |
| 12:10 | Digital Collections of Examples in Mathematical Sciences (abstract) |
14:00-14:50 Session 5: SYNASC Invited Talk (2)
Chair:
Location: Room SYNASC - main
| 14:00 | Mechanization of mathematics: some examples for discussion (abstract) |
15:10-16:00 Session 6: SYNASC Invited Talk (3)
Chair:
Location: Room SYNASC - main
| 15:10 | Questioning the Assumptions Behind Symbolic Computation Systems (abstract) |
16:20-18:00 Session 7A: Symbolic Computation Session (2)
Chair:
Location: Room SYNASC - main
| 16:20 | On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving (abstract) PRESENTER: Gereon Kremer |
| 16:40 | Implementing arithmetic over algebraic numbers: A tutorial for Lazard's lifting scheme in CAD (abstract) PRESENTER: Gereon Kremer |
| 17:00 | Tree $T$ and Lambert $W$ (abstract) |
| 17:20 | Parametric Linear Algebra in Maple (Work in progress paper) (abstract) |
| 17:40 | Resultant-based Elimination for Skew Polynomials (abstract) |
16:20-18:20 Session 7B: PhD Students Session
Chairs:
Location: Room SYNASC - workshops
| 16:20 | Analysis of the Influence of Bound Constraint Handling Strategies on the Search Direction in Differential Evolution Algorithms (abstract) |
| 16:40 | Mapping the black pine trees using the integration of CNN and OBIA (abstract) |
| 17:00 | Preceptor: A Proposed Architecture for an On-Demand Virtual Learning Platform (abstract) PRESENTER: Anata-Flavia Ionescu |
| 17:20 | On some qualitative properties of Ciric fixed point theorem (abstract) |
| 17:40 | Splitting Proximal Algorithms for Convex Optimization Problems on $\CAT(\kappa)$ spaces and Its Applications (abstract) |
| 18:00 | Local fixed point results and applications for multivalued generalized contractions (abstract) |
Wednesday, December 8th
View this program: with abstractssession overviewtalk overview
10:00-10:50 Session 8: SYNASC Invited Talk (4)
Chair:
Location: Room SYNASC - main
| 10:00 | Gödel Incompleteness and Proof Assistants (abstract) |
11:00-11:50 Session 9: FROM Invited Talk (1)
Chair:
Location: Room FROM
| 11:00 | Decidability of membership problems in 2 × 2 matrices over rational numbers (abstract) |
11:10-12:30 Session 10: Numerical Computing Session
Chairs:
Location: Room SYNASC - main
| 11:10 | An analytic and symbolic analysis of a coupled thermo-neutronics problem (abstract) |
| 11:30 | Uncertainty treatment of a coupled model of thermohydraulics and neutronicsusing special functions solutions (abstract) PRESENTER: Abdelqoddous Moussa |
| 11:50 | Computing multiple roots of polynomials in stochastic arithmetic with Newton method and approximate GCD (abstract) PRESENTER: Fabienne Jezequel |
| 12:10 | Excess intersections and numerical irreducible decompositions (abstract) PRESENTER: Daniel Bates |
12:10-12:50 Session 11: FROM Workshop (1)
Working Formal Methods Symposium
Chair:
Location: Room FROM
| 12:10 | Applications of the Lean theorem prover to proof mining (abstract) |
| 12:30 | Secure Multiparty Computation in arbitrary rings (abstract) |
14:00-14:50 Session 12: SYNASC and FROM Invited Talk (5)
Chair:
Location: Room SYNASC - main
| 14:00 | IoT security: The good the bad and the ugly (abstract) |
15:10-16:40 Session 13A: SYNASC Tutorial (1)
Chair:
Location: Room SYNASC - main
| 15:10 | Automated Reasoning with Vampire (abstract) |
15:10-16:00 Session 13B: FROM Invited Talk (3)
Chair:
Location: Room FROM
| 15:10 | Local Reasoning about Parameterized Reconfigurable Distributed Systems (abstract) |
16:20-17:00 Session 14: FROM Session (2)
Working Formal Methods Symposium
Chair:
Location: Room FROM
| 16:20 | DELP: Dynamic Epistemic Logic for Security Protocols (abstract) PRESENTER: Bogdan Macovei |
| 16:40 | Extended Z3 Array (abstract) |
17:00-18:00 Session 15A: Logic and Programming Session
Chair:
Location: Room SYNASC - main
| 17:00 | An Editor Calculus With Undo/Redo (abstract) |
| 17:20 | A Special Case of Schematic Syntactic Unification (abstract) |
| 17:40 | Designing a new Soft-Hard Task Model for Scheduling Real-Time Systems on a Multiprocessor Platform (abstract) |
17:00-18:20 Session 15B: NCA and ACSSA Session
Natural Computing and Applications Workshop / Special Session on Advances in Computational, Symbolic and Secure Algorithms for Permissioned and Permissionless Blockchains
Chair:
Location: Room SYNASC - workshops
| 17:00 | Sentiment Analysis from Stock Market News in Romanian using Chaos Game Representation (abstract) |
| 17:20 | A Novel Method for COVID-19 Pandemic Information Fake News Detection Based on the Arithmetic Optimization Algorithm (abstract) PRESENTER: Aleksandar Petrovic |
| 17:40 | Semantic Segmentation for Corrosion Detection in Archaeological Artefacts before Restoration (abstract) |
| 18:00 | The Cleisthenes Protocol : A Fair Governance-Based Democratic Consensus Algorithm (abstract) |
Thursday, December 9th
View this program: with abstractssession overviewtalk overview
10:00-10:50 Session 16: SYNASC Invited Talk (6)
Chair:
Location: Room SYNASC - main
| 10:00 | Computer Algebra Methods in Probing the Physics at Shortest Distances of the Microcosm (abstract) |
11:10-12:50 Session 17A: Artificial Intelligence Session (1)
Chair:
Location: Room SYNASC - main
| 11:10 | Improving WordNet using Word Embeddings (abstract) |
| 11:30 | What are the Latest Cybersecurity Trends? A Case Study Grounded in Language Models (abstract) |
| 11:50 | Severity Prediction of Software Vulnerabilities based on their Text Description (abstract) |
| 12:10 | Relation Extraction - A Study on Kernel Functions (abstract) |
| 12:30 | New Conceptual Cohesion Metrics: Assessment for Software Defect Prediction (abstract) |
11:10-12:50 Session 17B: IAFP Workshop (1)
Workshop on Iterative Approximation of Fixed Points
Chair:
Location: Room SYNASC - workshops
| 11:10 | A modified iterative approaches for solving fixed-point and minimization problems in Positive curvature metric spaces (abstract) |
| 11:30 | An iterative method with inertial extrapolation effect for solving multiple-sets split feasibility problem (abstract) PRESENTER: Guash Haile Taddele |
| 11:50 | A Viscosity-type Scheme for Optimization Problems in Hadamard Spaces With Applications (abstract) |
| 12:10 | An Inertial Iterative Method for Solving the Split Variational Inclusion Problems in Hilbert Space (abstract) |
| 12:30 | Modified Halpern Type Algorithms of Common Solutions to Fixed Points Problems and Inclusion Problems on Hadamard Manifolds (abstract) PRESENTER: Konrawut Khammahawong |
14:00-15:30 Session 18A: SYNASC Tutorial (2)
Chair:
Location: Room SYNASC - main
| 14:00 | Origami programming in E-origami system Eos (abstract) |
14:00-14:50 Session 18B: FROM Invited Talk (4)
Chair:
Location: Room FROM
| 14:00 | On the use of spline functions in motion planning (abstract) |
14:00-15:20 Session 18C: IAFP Workshop (2)
Workshop on Iterative Approximation of Fixed Points
Chair:
Location: Room SYNASC - workshops
| 14:00 | Some New Results for Fixed Point Theory in Modular Spaces (abstract) |
| 14:20 | On Common Fixed Point Theorems Satisfying Z_Σ-⊥-Contraction Mappings in Orthogonal Modular b-Metric Spaces (abstract) |
| 14:40 | Common fixed points of generalized (alpha,beta )-Geraghty-Simulative contraction in non-Archimedean modular metric spaces (abstract) PRESENTER: Mahpeyker Öztürk |
| 15:00 | On graphic p-convex contractions (abstract) |
15:10-16:00 Session 19: FROM Invited Talk (5)
Chair:
Location: Room FROM
| 15:10 | Types-to-Sets for Theorem Proving in Higher-Order Logic (abstract) |
15:50-16:50 Session 20A: Artificial Intelligence Session (2)
Chair:
Location: Room SYNASC - main
| 15:50 | Approximation of convex polygons by polygons (abstract) |
| 16:10 | Ultrametrics and Outlier Identification (abstract) |
| 16:30 | Combining weak classifiers: a logical analysis (abstract) |
15:50-16:50 Session 20B: IAFP Workshop (3)
Workshop on Iterative Approximation of Fixed Points
Chair:
Location: Room SYNASC - workshops
| 15:50 | Bounded Solutions of an Iterative Differential Equations (abstract) |
| 16:10 | Multivalued *-nonexpansive mapping (abstract) |
| 16:30 | Main developments around the concept of almost contractions in generalized metric spaces (abstract) |
16:20-17:00 Session 21: FROM Session (3) + Round Table
Working Formal Methods Symposium
Chair:
Location: Room FROM
| 16:20 | Software Testing Using Formal Methods (abstract) |
17:10-18:10 Session 22A: Artificial Intelligence Session (3)
Chair:
Location: Room SYNASC - main
| 17:10 | How the Events in the Life of Painters Influence the Colors of their Paintings (abstract) PRESENTER: Ada-Astrid Mocanu |
| 17:30 | Creating a Dataset and Models Based on Convolutional Neural Networks to Improve Fruit Classification (abstract) PRESENTER: Mihai-Dimitrie Minut |
| 17:50 | Glacier Movement Prediction through Computer Vision and Satellite Imagery (abstract) PRESENTER: Maria-Minerva Vonica |
17:10-18:10 Session 22B: IAFP Workshop (4)
Workshop on Iterative Approximation of Fixed Points
Chair:
Location: Room SYNASC - workshops
| 17:10 | A fixed point result for a convex type contraction (abstract) |
| 17:30 | Common fixed point for enriched contraction under the assumption of R-weakly commuting condition (abstract) |
| 17:50 | Kannan and Bianchini fixed point theorems in partially ordered H-distance space (abstract) |
Friday, December 10th
View this program: with abstractssession overviewtalk overview
10:00-10:50 Session 23: SYNASC Invited Talk (7)
Chair:
Location: Room SYNASC - main
| 10:00 | Symbolic constraints and quantitative extensions of equality (abstract) |
11:10-12:30 Session 24A: DIPMAI Workshop
Workshop on Digital Image Processing for Medical and Automotive Industry
Chairs:
Location: Room FROM
| 11:10 | BronchoX-Cloud: A Diagnostic as a Service Cloud Platform for Planning and Navigation Bronchoscopy (abstract) |
| 11:30 | Convolutional Neural Network Training System For Eye Location On Infrared Driver Recordings Using Automatically Generated Ground Truth Data (abstract) |
| 11:50 | Extracting football players video sprites from broadcast video (abstract) |
| 12:10 | Methods of acceleration for feature extractions in medical imaging using GPU processing (abstract) |
11:10-12:40 Session 24B: IAFP Workshop (5)
Workshop on Iterative Approximation of Fixed Points
Chair:
Location: Room SYNASC - workshops
| 11:10 | A Fractional Mathematical Model of the ongoing Coronavirus Disease (COVID-19) Pandemic: A Case Study in Turkey (abstract) |
| 11:30 | Shrinking inertial extragradient algorithms for solving split equilibrium and fixed point problems (abstract) PRESENTER: Manatchanok Khonchaliew |
| 11:50 | A New Accelerated common Fixed Point Algorithm with Applications to regression and classification problems (abstract) PRESENTER: Piti Thongsri |
| 12:10 | An accelerated common fixed point algorithm for a countable family of $G$-nonexpansive mappings with applications to image recovery (abstract) |
11:30-13:00 Session 25: SYNASC Tutorial (3)
Chair:
Location: Room SYNASC - main
| 11:30 | Symbolic Techniques for Fuzzy Relations (abstract) |
14:00-14:50 Session 26: SYNASC Invited Talk (8)
Chair:
Location: Room SYNASC - main
| 14:00 | IBM Federated Learning (abstract) |
15:10-16:10 Session 27A: Artificial IntelligenceSession (4)
Chair:
Location: Room SYNASC - main
| 15:10 | Continuous Operations and Fully Autonomous of a Social Service Robotic System. (abstract) |
| 15:30 | Untangling Braids with Multi-agent Q-Learning (abstract) |
| 15:50 | Double distillation for class incremental learning (abstract) PRESENTER: Darian Onchis |
15:10-16:10 Session 27B: IAFP Workshop (6)
Workshop on Iterative Approximation of Fixed Points
Chair:
Location: Room SYNASC - workshops
| 15:10 | Some fixed point theorems on equivalent metric spaces (abstract) |
| 15:30 | FIXED POINT THEOREM FOR MAPPINGS SATISFYING A GENERAL CONTRACTIVE CONDITION OF INTEGRAL TYPE VIA THE EQUIVALENT METRIC SPACE (abstract) |
| 15:50 | A Centralized Three-Term Conjugate Gradient Method for Variational Inequality Problem over the Common Fixed-Point Constraints (abstract) |
16:20-17:00 Session 28A: IAFP Workshop (7)
Workshop on Iterative Approximation of Fixed Points
Chair:
Location: Room SYNASC - workshops
| 16:20 | Convergence Results for Inertial Krasnoselskii-Mann Iterations in Hilbert Spaces with Applications (abstract) |
| 16:40 | Enriching contractive mappings in Banach spaces and convex metric spaces (abstract) PRESENTER: Vasile Berinde |
16:20-17:00 Session 28B: Distributed Computing Session
Chairs:
Location: Room SYNASC - main
| 16:20 | An Efficient Maude Formalization of (Rewritable) PT Nets (abstract) |
| 16:40 | Equivalence Classes in Performance Evaluation Programming (abstract) |