SCSS 2024 Symposium and WiP Schedule

as of 2024-08-11 -- subject to change

Overview

EDT CEST JST Tue Aug 27 Wed Aug 28 Thu Aug 29 Fri Aug 30
20:30-1 2:30 9:30 Opening
21:00-1 3:00 10:00 Wolfram Gerhard Yokoyama
22:00-1 4:00 11:00 Break
22:30-1 4:30 11:30 Formal Methods I
Full Papers
Symbolic Computation II
Work in Progress
Formal Methods III
Full Papers
23:30-1 5:30 12:30 Lunch (on own)
1:00 7:00 14:00 Buchberger Lee Sato
2:00 8:00 15:00 Formal Methods II
Work in Progress
Symbolic Computation III
Full Paper and Work-in-Progress
Formal Methods IV
Full Papers
3:00 9:00 16:00 Break Excursion Break
3:30 9:30 16:30 Symbolic Computation I
Work in Progress
Symbolic Computation IV
Work in Progress
5:10 11:10 18:10 Reception Closing
7:00 13:00 20:00 Banquet

Tuesday, August 27

18:10 Reception

Wednesday, August 28

9:30 Registration and Opening
10:00 Invited Talk: Wolfram Relating Symbolic Computation to the Foundations of Science
11:00 Break
Formal Methods I (Full Papers)
11:30 Deniz, Rashid, Hasan, Tahar Formal Verification of ABCD Parameters Based Models for Transmission Lines
12:00 Barhoumi, Zaki, Tahar Formal Analysis of Vehicular Crash Severity using KeYmaera X
12:30 Lunch (on own)
14:00 Keynote talk: Buchberger Algorithmic Intelligence
Formal Methods II (Work in Progress)
15:00 Lin, Padmanabhan, Zhang The First Order Theorem-Proving with Power Maps in Semigroups
15:20 Ahammod Bin Atique, Choi, Sasano, Moon Improving LLM-based Code Completion Using LR Parsing-Based Candidates
15:40 Norman, Jeffrey Software for indefinite integration
16:00 Break
Symbolic Computation I (Work in Progress)
16:30 Dahan Faster bivariate lexicographic Groebner bases modulo xk
16:50 Kera, Ishihara, Vaccon, Yokoyama Gr\UTF{00F6}bner basis computation via learning
17:10 Sanuki A Stable Computation of Multivariarte Apporximate GCD Based on SVD and Lifting Technique
17:30 Hatakeyama, Terui, Mikawa Towards Trajectory Planning of a Robot Manipulator with Computer Algebra using B\UTF{00E9}zier Curves for Obstacle Avoidance
17:50 Kuramochi, Terui, Mikawa Solving Estimation Problems Using Minimax Polynomials and Gr\CID{124}bner Bases

Thursday, August 29

10:00 Sponsor Talk: Gerhard What's New in Maple 2024
11:00 Break
Symbolic Computation II (Work in Progress)
11:30 Elliott, Schost Some Applications of Chinese Remainder Theorem Codes with Error-Correction
11:50 Ion The geometry of N-body orbits and the DFT
12:10 Giesbrecht Functional Decomposition of Sparse Polynomials
12:30 Lunch (on own)
14:00 Invited Talk: Lee From computer algebra to signal processing
Symbolic Computation III (Full Paper and Work in Progress)
15:00 Jeffrey Riemann Surfaces, Branch Cuts and Charisma
15:30 Omori, Minamide Methods for Solving the Post Correspondence Problem and Certificate Generation
15:50 Excursion
20:00 Banquet

Friday, August 30

10:00 Invited Talk: Yokoyama Operations on Parametric Ideals
11:00 Break
Formal Methods III (Full Papers)
11:30 Takato, Makishita A Method to Prove Japanese Theorems and Others Appeared in Wasan using Maxima
12:00 Hamana Foundations of Haskell’s Rewrite Rules based on Higher-Kinded Polymorphic Rewrite Systems
12:30 Lunch (on own)
14:00 Invited Talk: Sato Proof Assistants and Foundations of Mathematics
Formal Methods IV (Full Papers)
15:00 Dramnesc, Jebelean, Stratulat Certification of Sorting Algorithms Using Theorema and Coq
15:30 Duval, Echahed Symbolic Graph Query Solving
16:00 Break
Symbolic Computation IV (Work in Progress)
16:30 Shirato, Oka, Terui, Mikawa An Optimized Path Planning of Manipulator with Spline Curves Using Real Quantifier Elimination Based on Comprehensive Gr\UTF{00F6}bner Systems
16:50 Takahashi Reasoning about the Embedded Shape of a Qualitatively Represented Curve
17:10 Minh Algebraic (non) Relations Among Polyzetas
17:30 Okazaki, Terui, Mikawa Towards Trajectory Planning for a 6-Degree-of-Freedom Robot Manipulator Considering the Orientation of the End-effector Using Computer Algebra
17:50 Ida An e-origami origami artwork of a big wing crane
18:10 Closing