From Tanja.Gutenbrunner at risc.jku.at Thu Feb 22 15:31:02 2024 From: Tanja.Gutenbrunner at risc.jku.at (Tanja Gutenbrunner) Date: Thu, 22 Feb 2024 15:31:02 +0100 Subject: [Publicity] 2nd Call for Papers: 10th International Symposium on Symbolic Computation in Software Science, SCSS 2024 In-Reply-To: <909b307c-ee81-4d66-a785-244fc2f931ba@risc.jku.at> References: <909b307c-ee81-4d66-a785-244fc2f931ba@risc.jku.at> Message-ID: <0c87faad-6b0a-4ab2-91c6-58c456bfac23@risc.jku.at> I apologize if you receive this message more than once. ############################################################# #???????? Second Announcement and Call for Papers #????????????? The 10th International Symposium on #?????????? Symbolic Computation in Software Science #???????????????? In the Era of Artificial Intelligence # #????????????????????? August 28-30, 2024 #???????????????? Tokyo University of Science # www.scss-conference.org/2024 ############################################################# SCSS 2024 is the 10th International Symposium on Symbolic ?Computation in Software Science. It aims to promote research ?on theoretical and practical aspects of symbolic computation in ?software science, combined with modern artificial intelligence ?techniques. ?Symbolic computation is the science of computing with symbolic ?objects (terms, formulae, programs, representations of algebraic ?objects, etc.) Powerful algorithms have been developed during ?the past decades for the significant subareas of symbolic ?computation: computer algebra and computational logic. These ?algorithms and methods are successfully applied in various fields, ?including software science, which covers a broad range of ?software construction and analysis. ?For more information, see www.scss-conference.org/2024 ?***Scope*** ?The topics of the symposium include, but are not limited to, ?the following ?- methods for large-scale computer understanding of mathematics and science ?- program synthesis, transformation, and verification by AI methods ?- automated reasoning and knowledge management ?- theorem proving methods and techniques ?- formal verification of AI and machine learning algorithms ?- formal methods for the analysis of security ?- symbolic methods for computational geometry and image processing ?- symbolic methods for semantic web and cloud computing ?- query languages for symbolic data ?***Call for Papers*** ?Original submissions are invited in two categories: regular research ?papers and work-in-progress papers. Regular research papers must not ?exceed 15 pages in LNCS format, including references and appendices. ?It is planned for the accepted papers to be published in proceedings ?in the Springer LNAI series. Shorter papers on tools may be considered ?in this category and should include a URL from which the tool can be ?downloaded or accessed online. ?Work-in-progress papers need not be original. Concurrent submission to ?another conference or a journal is allowed. Papers in this category are ?limited in length to 4 pages in the EPTCS format. The accepted ones will ?be presented at the symposium and will be included in the Computing ?Research Repository (CoRR). ?Papers and abstracts are submitted via the EasyChair submission page: www.easychair.org/conferences/?conf=scss2024 ?***Important Dates*** ?2024-02-23: regular paper title and abstract submission ?2024-03-01: regular paper full submission ?2024-05-01: regular paper decision notification ?2024-06-15: regular paper camera-ready submission ?2024-06-07: work-in-progress papers submission ?2024-06-21: work-in-progress papers notification ?2024-08-28: conference begins ***Invited Speakers*** ?Wenshin Lee University of Stirling, UK ?Adrian Tate NAG Ltd, UK ?Stephen Wolfram Wolfram Research, USA ?Kazuhiro Yokoyama Rikkyo University, Japan ------------------------------------------------------------------------- If you do not wish to receive announcements from the Research Institute for Symbolic Computation (RISC), please send an e-mail to the following address: secretary at risc.jku.at -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- I apologize if you receive this message more than once. ############################################################# # Second Announcement and Call for Papers # The 10th International Symposium on # Symbolic Computation in Software Science # In the Era of Artificial Intelligence # # August 28-30, 2024 # Tokyo University of Science # www.scss-conference.org/2024 ############################################################# SCSS 2024 is the 10th International Symposium on Symbolic Computation in Software Science. It aims to promote research on theoretical and practical aspects of symbolic computation in software science, combined with modern artificial intelligence techniques. Symbolic computation is the science of computing with symbolic objects (terms, formulae, programs, representations of algebraic objects, etc.) Powerful algorithms have been developed during the past decades for the significant subareas of symbolic computation: computer algebra and computational logic. These algorithms and methods are successfully applied in various fields, including software science, which covers a broad range of software construction and analysis. For more information, see www.scss-conference.org/2024 ***Scope*** The topics of the symposium include, but are not limited to, the following - methods for large-scale computer understanding of mathematics and science - program synthesis, transformation, and verification by AI methods - automated reasoning and knowledge management - theorem proving methods and techniques - formal verification of AI and machine learning algorithms - formal methods for the analysis of security - symbolic methods for computational geometry and image processing - symbolic methods for semantic web and cloud computing - query languages for symbolic data ***Call for Papers*** Original submissions are invited in two categories: regular research papers and work-in-progress papers. Regular research papers must not exceed 15 pages in LNCS format, including references and appendices. It is planned for the accepted papers to be published in proceedings in the Springer LNAI series. Shorter papers on tools may be considered in this category and should include a URL from which the tool can be downloaded or accessed online. Work-in-progress papers need not be original. Concurrent submission to another conference or a journal is allowed. Papers in this category are limited in length to 4 pages in the EPTCS format. The accepted ones will be presented at the symposium and will be included in the Computing Research Repository (CoRR). Papers and abstracts are submitted via the EasyChair submission page: www.easychair.org/conferences/?conf=scss2024 ***Important Dates*** 2024-02-23: regular paper title and abstract submission 2024-03-01: regular paper full submission 2024-05-01: regular paper decision notification 2024-06-15: regular paper camera-ready submission 2024-06-07: work-in-progress papers submission 2024-06-21: work-in-progress papers notification 2024-08-28: conference begins ***Invited Speakers*** Wenshin Lee University of Stirling, UK Adrian Tate NAG Ltd, UK Stephen Wolfram Wolfram Research, USA Kazuhiro Yokoyama Rikkyo University, Japan