SCSS2024案内

SCSS2024 開催案内

国際研究シンポジュウムSCSS2024 (The 10th International Symposium on Symbolic Computation in Software Science)
を2024 年8 月28 日(水) から8 月30 日(金) にかけて，東京理科大学神楽坂キャンパス（東京都新宿区）で開催します．
SCSS2024 の各chair は，

General chair: 井田哲雄（筑波大学），
PC chair: Stephen Watt（ウォータールー大学），
Local chair: 鍋島克輔（東京理科大学）

であり，会議録はSpringer LNAI series で出版予定です．現在，論文の募集中であり．今後のスケジュールは次です．

2024-02-23: regular paper title and abstract submission.
2024-03-01: regular paper submission deadline.
2024-05-01: regular paper notification.
2024-06-15: regular paper camera-ready submission deadline.
2024-06-07: work-in-progress papers submission deadline.
2024-06-21: work-in-progress papers notification.
2024-08-28: conference begins.

SCSS2024 は，計算機代数よりは，computational logic，formal verification，knowledge management，
theorem proving methods and techniques などの色合いが濃いが，計算機代数の内容の投稿も受け付けます．
招待講演者は，

Wenshin Lee (University of Stirling)，
Adrian Tate (NAGLtd)，
Stephen Wolfram (Wolfram Research)，
横山和弘(立教大学)

の4 人を現在予定しています．

詳しい情報は，SCSS2024 のウェブページ

https://www.scss-conference.org/

に掲載されてますので，是非ともご覧ください．

久しぶりに日本で行われる数式処理関係の国際研究シンポジュウムです．みなさんからの論文の投稿をお待ちしております．
また，SCSS2024 への参加もぜひお願いします．

最終更新　2023年10月17日
鍋島克輔 nabeshima@rs.tus.ac.jp