SCSS 2024 Symposium and WiP Schedule

As of 2024-08-24 — 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 Ida
11:00	Break
	Formal Methods I (Full Papers) Dramnesc
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 Watt
	Formal Methods II (Work in Progress) Sato
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) Lee
16:30	Dahan Faster bivariate lexicographic Groebner bases modulo xk
16:50	Kera, Ishihara, Vaccon, Yokoyama Grö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ézier Curves for Obstacle Avoidance
17:50	Kuramochi, Terui, Mikawa Solving Estimation Problems Using Minimax Polynomials and Gröbner Bases

Thursday, August 29

10:00	Sponsor Talk: Gerhard What’s New in Maple 2024 Jeffrey
11:00	Break
	Symbolic Computation II (Work in Progress) Yokoyama
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
14:00	Invited Talk: Lee From computer algebra to signal processing Dahan
	Symbolic Computation III (Full Paper and Work in Progress) Zhang
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 Nabeshima
11:00	Break
	Formal Methods III (Full Papers) Echahed
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 Tahar
	Formal Methods IV (Full Papers) Terui
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) Minamide
16:30	Shirato, Oka, Terui, Mikawa An Optimized Path Planning of Manipulator with Spline Curves Using Real Quantifier Elimination Based on Comprehensive Grö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