[Hol-info] SMC-IT and SCC Deadline Extension (March 3rd 2023)
CALL FOR PAPERS SMC-IT / SCC 2023 9th International Conference on Space Mission Challenges for Information Technology (SMC-IT) 14th International Conference on Space Computing (SCC) Paper Submission Deadline: **March 3, 2023** Date: 18-21 July, 2023 Venue: Caltech, Pasadena, CA, USA TECHNICAL TOPICS Topics of interest for SMC-IT include, but are not limited to, the following: * Data Analytics and Big Data * Advanced Computing for Novel Instruments and Improved Operations * Intelligent and Autonomous Space Systems * Robotics for Exotic Mission Destinations * Robotic Manufacturing and Assembly of Large Space Structures * Space Networking * Cybersecurity * Fault-Tolerant Space Processing, Memory, and Storage * Software Reliability for Mission-Critical Applications and Safety of Life * Advanced Ground Control * Augmented Reality/Virtual Reality and HCI Topics of interest for SCC include, but are not limited to, the following: * Components, Radiation, and Packaging * Computing Architectures * Flight Data Processing * Avionics Systems * Machine Learning/Neural Computing * Crew Interfaces * Extreme Environments Computing * Distributed Computing * Infusion and adoption of industry standards for space applications. The organization committee is considering to have a closed-door session. If you might be interested in submitting work for that session, please contact the chairs at: smcit-scc_cha...@jpl.nasa.gov. SUBMISSIONS The SMC-IT/SCC 2023 Technical Committee is seeking three kinds of submissions at this time: full papers, presentations and posters. FULL PAPERS WITH PRESENTATION (BOTH SMC-IT AND SCC) Full papers can be up to 10 pages in length (excluding references). All papers accepted for SMC-IT 2023 will be published in the IEEE conference proceedings, indexed in the IEEE Xplore database. Note that IEEE has a "Podium and Publish" policy for conferences, which means that no manuscript will be published in IEEE Xplore without first being presented at the conference. POSTER SUBMISSIONS (BOTH SMC-IT AND SCC) Proposals for posters can be up to 2 pages in length (excluding references). PRESENTATIONS WITHOUT ACCOMPANYING PAPERS (ONLY SCC) Authors of presentations which will not have a corresponding paper need to submit a 1-page abstract. All accepted presentations will be distributed to the conference attendees, with the consent of the author and their organization, but will not be published in the IEEE Xplore database. OTHER SESSIONS (BOTH SMC-IT AND SCC) The SMC-IT/SCC committee is also planning on holding an "Unclassified, US Persons Only” session and a “Classified Session” hosted by the Aerospace Corporation. If you are interested in submitting a presentation for either of these sessions, please contact the chairs at: smcit-scc_cha...@jpl.nasa.gov. FORMAT Templates can be found on the SMC-IT/SCC 2023 web site: http://smcit-scc.space SCHEDULE * Deadline Papers (for SMC-IT and SCC): March 3, 2023 * Authors Acceptance Notification (full papers): April 7, 2023 CONFERENCE CHAIRS: General Chair (SMC-IT): Alessandro Pinto (NASA JPL) General Chair (SCC): Jim Butler (NASA JPL) General Co-chair (SMC-IT) Yogita Shah (NASA JPL) Finance Chair: James Oyama (NASA JPL) Finance Co-Chair: Brian Duncan (Johns Hopkins University / APL) Program Chair (SMC-IT): Ivan Perez (KBR / NASA Ames Research Center) Program Chair (SCC): Christopher Green (NASA Goddard) Program Co-chair (SMC-IT): Marie Farrell (University of Manchester) Program Co-chair (SCC): David Henriquez (NASA JPL) Workshop Chair (SMC-IT): Sanaz Sheikhi (Stony Brook University) Diversity Chair: Divya Gopinath (KBR / NASA Ames Research Center) Advisors to the Chairs: - Larry Bergman (NASA JPL, Ret.) - Michael Campbell (The Aerospace Corporation, Ret.) - Michelle Carter (The Aerospace Corporation) - Amalaye Oyake (Blue Origin) ORGANIZING COMMITTEE: - David Rutishauser (NASA JSC) - Mariam Malek (NASA JPL) - Maria Dolores Rodriguez Moreno (Universidad de Alcala de Henares) - Keith Schubert (Baylor University) - Michela Munoz Fernandez (NASA) - Brian Duncan (Johns Hopkins University / APL) - Wes Powell (NASA Goddard) STEERING COMMITTEE: - Richard Doyle (NASA JPL) - Rupak Biswas (NASA) - Jana Roche (The Aerospace Corporation) - Chris Mattman (NASA JPL) - Yisong Yue (Caltech) Dr Marie Farrell Royal Academy of Engineering Research Fellow Department of Computer Science The University of Manchester UK ___ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
[Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Tutorial and Workshop Proposals
20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023 September 2 - September 8, 2023, Rhodes, Greece First Call for Tutorial and Workshop Proposals The 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) solicits proposals for its tutorial and workshop program. Tutorials and workshops will be held on 2nd to 4th of September 2023, prior to the KR main technical program. KR will take place physically in Rhodes, Greece. The attendance of tutorials is complimentary to all KR registered participants. Workshop attendance will be subject to payment of a workshop fee, which is separate from that of the main conference. Important Dates * Proposal submission deadline: January 31, 2023 * Notification: February 21, 2023 * Workshop paper submission deadline: May 31, 2023 * Workshop paper notification: July 4, 2023 * Workshop registration deadline: TBA * Tutorial and workshop dates: September 2-4, 2023 Submission Instructions Each proposal (tutorial or workshop) should be in English and must be submitted electronically to the Workshop and Tutorial track of KR 2023 via EasyChair: https://easychair.org/conferences/?conf=kr2023 For all accepted proposals, KR will take care of all local arrangements. Submission Requirements for Tutorial Proposals KR tutorials are half-day or (exceptionally) full-day events that introduce general or special topics in KR and relevant neighboring areas. They can be first introductions to an established area or an emerging field, but also advanced courses on specialized methods or new approaches. The content should be adequately established and balanced, and not be limited to advertising an individual research work or product. A focus on specific tools and methodologies can still be useful to offer concrete examples and hands-on activities to participants. Each accepted tutorial will entitle a discount on the KR registration fee for one tutorial presenter. Each tutorial proposal should contain the following information: * Title, presenters and proposed length of the tutorial (half-day is recommended, but an argument can be made for a full-day tutorial) * A half-page introduction to the tutorial's subject and relevance to KR * A half-page on the target audience, prerequisite knowledge, and learning goals * One page outline of the tutorial contents and intended structure * A brief resume of each presenter including name, affiliation, email address, and evidence of scholarship in the area, mentioning relevant publications or professional experience. The main duties of tutorial organizers are: * Setup a web-page for the tutorial, which should at least include the information from the proposal, tutorial material and related references. * Deliver the tutorial at KR 2023. A future call will provide details on the presentation options. Submission Requirements for Workshop Proposals Workshops provide a place to exchange ideas in emerging fields in KR research and application. They can take many forms, including mini-conferences (with peer-reviewed publications), competitions and shared tasks, working sessions (discussions, hackathons, etc.), line-ups of invited contributions, or a mix of these. Innovative formats are welcome, but organizers must provide means of estimating attendance and required length up-front (by number of submissions, invited speakers, or early registered participants). Workshop proposals can use up to 4 pages, which should include the following information: * Title, acronym of the workshop, proposed duration (half day, one day, ...), * Workshop description: goals, format, and expected activities during the workshop, * Audience: target audience, research groups in the area, planned or confirmed invited speakers, expected number of submissions and participants, * Related events: history of the workshop (if applicable), relationship to recent similar events, * Tentative list of PC members with their respective affiliations, * A brief resume of each organizer including name, affiliation, contact details, and evidence of scholarship in the area, mentioning relevant publications or professional experience. * Appendix: tentative call for contributions. The main duties of the chair(s) of each accepted workshop are: * Set up a webpage for the workshop, * Advertise the workshop, distribute its call for papers and call for participation, * Coordinate the peer-reviewing of submitted contributions, * If workshop proceedings are desired, it is the duty of the organizers to produce and distribute their workshop proceedings, * Organize a schedule for the workshop in collaboration with the local organizers and the KR workshop co-chairs, and * Coordinate and moderate the workshop participation and content. KR
[Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Special Session on KR & ML
20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023 September 2 - September 8, 2023, Rhodes, Greece First Call for Papers - Special Session on KR & ML The last few years have witnessed a growing interest in AI methods that combine aspects of Machine Learning (ML) with insights and methods from the field of Knowledge Representation and Reasoning (KR). This trend is motivated by the clear complementarity of ML and KR. For instance, the popularity and success of ML based systems has put issues such as explainability, bias, fairness, sustainability, symbol grounding and so forth, firmly in the spotlight, and addressing these issues naturally leads to systems in which symbolic representations play a central role. On the other hand, ML also offers solutions for long-standing challenges in the field of KR, for instance related to efficient, neurally-guided, noise-tolerant and ampliative inference, knowledge acquisition, and the limitations of symbolic representations. The synergy between ML and KR has the potential to lead to new advancements in fundamental AI challenges including, but not limited to, learning symbolic generalisations from raw (multi-modal) data, using knowledge to facilitate data-efficient learning, speeding up inference, supporting interpretability of learned outcomes and integration of symbolic planning and reinforcement learning. This year, for the third time, KR2023 will host a special session on "Knowledge Representation and Machine Learning", which aims at providing researchers and practitioners with a dedicated forum for the discussion of new ideas and research results at the intersection of these two fields. This special session will provide participants with the opportunity to make meaningful connections and develop a shared understanding of the challenges involved in developing innovative AI solutions that rely on a combination of insights and methods from ML and KR. Expected Contributions The Special Session on KR and ML at KR2023 invites submissions of papers that combine aspects of KR and ML research, including the use of KR methods for solving ML challenges (e.g. knowledge-guided or explainable learning), the use of ML methods for solving KR challenges (e.g. efficient inference, knowledge base completion), the integration of learning and reasoning at modeling or solving side, and the application of combined KR and ML approaches to solve real-world problems. We welcome papers on a wide range of topics, including but not limited to: * Learning symbolic knowledge, such as ontologies and knowledge graphs, action theories, commonsense knowledge, spatial and temporal theories, preference models and causal models * Logic-based, logical and relational learning algorithms * Machine-learning driven reasoning algorithms * Neural-symbolic learning * Statistical relational learning * Symbolic reinforcement learning * Learning symbolic abstractions from unstructured data * Explainable AI * Expressive power of learning representations * Knowledge-driven natural language understanding and dialogue * Knowledge-driven decision making * Knowledge-driven intelligent systems for internet of things and cybersecurity * Architectures that combine data-driven techniques and formal reasoning Submission Guidelines and Evaluation Criteria The Special Session on KR and ML will allow contributions of both regular papers (9 pages) and short papers (4 pages), excluding references, prepared and submitted according to the authors guidelines in the submission page. The special session welcomes contributions that extend the state-of-the-art at the intersection of KR and ML. Therefore, KR-only or ML-only submissions will not be accepted for evaluation in this special session. Submissions will be rigorously peer reviewed by PC members who are active in KR and ML. Submissions will be evaluated on the basis of the originality, soundness, relevance and significance of the technical contribution, as well as the overall presentation quality. Important Dates * Submission of title and abstract: March 3, 2023 * Paper submission deadline: March 14, 2023 * Author response period: May 1-3, 2023 * Author notification: May 18, 2023 * Camera-ready papers: June 9, 2023 * Conference: September 2-8, 2023 Submission Instructions Each submission should be in English and must be submitted electronically (in .pdf format) via EasyChair: https://easychair.org/conferences/?conf=kr2023 [1] Chairs * Tias Guns | KU Leuven, Belgium * Luciano Serafini | Fondazione Bruno Kessler, Italy Links: -- [1] https://easychair.org/conferences/?conf=kr2021___ hol-info mailing list hol-info@lists.sourceforge.net
[Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Doctoral Consortium
20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023 September 2 - September 8, 2023, Rhodes, Greece Doctoral Consortium - First Call for Applications The 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) invites PhD students to apply for the Doctoral Consortium program. Aims and Scope The Doctoral Consortium (DC) is a student mentoring program bringing together PhD students and senior researchers from the area of KR. The aims of the consortium are: * to provide a forum for students to present their current research, and receive feedback from other students and senior researchers; * to promote contacts among PhD students working in similar areas; * to support students with information and advice on academic, research, and industrial careers. The DC is intended for PhD students who have a specific research proposal and some preliminary results, but who have sufficient time prior to completing their dissertation to benefit from the consortium experience. Preference will be given to students satisfying these criteria, but we also encourage students to apply who are at an earlier or more advanced stage of the completion of their thesis. Accepted students will participate in several dedicated DC events, which will likely consist of a lightning talk session and a poster and mentoring session (the precise format of the DC will be finalized closer to the conference). Each student will be given ample time to present their work and therefore be able to fully benefit from direct feedback from the assigned senior researcher mentor and the wider KR conference audience. Application Submission Applications must be submitted through the EasyChair conference system: https://easychair.org/conferences/?conf=kr2023 [1] Each application must contain the following elements combined into a single PDF document: * Thesis summary. A description of the problem being addressed, your motivation for addressing the problem, proposed plan of research, the progress to date (what you have already achieved and what remains to be done), and related work. The maximum number of pages is four (bibliography included) and the same style as for KR paper submissions should be used (see https://kr.org/KR2023/ [2]). * Curriculum Vitae. A description of your background and relevant experience (research, education, employment), maximum two pages. * Brief letter of recommendation. A brief letter from your thesis advisor that states that she/he supports your participation in the DC. * Optionally, a suggestion of some potential mentors with similar research interests, who could give good advice on technical aspects related to the work, and/or career opportunities. The selection process will consider the quality of the submitted proposal and the stage of the student's PhD project. Doctoral students who submit to the DC are permitted to have previously published their research, and are encouraged to submit papers to KR 2023 and associated conferences and workshops. Doctoral Consortium Chairs * Tanya Braun, University of Münster (tanya.br...@uni-muenster.de) * Nico Potyka, Imperial College London (n.pot...@imperial.ac.uk) Links: -- [1] https://easychair.org/conferences/?conf=kr2023 [2] https://kr2022.cs.tu-dortmund.de/submission.php___ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
[Hol-info] RAMiCS 2023 - Call for participation
(Apologies for multiple posting) CALL FOR PARTICIPATION 20th International Conference on Relational and Algebraic Methods in Computer Science RAMiCS 2023 3 to 6 April 2023, Technologiezentrum Augsburg, Germany https://ramics20.lis-lab.fr/ IMPORTANT DATES: Registration deadline: February 28, 2023 RAMiCS 2021: 3 to 6 April 2023 GENERAL INFORMATION: Since 1994, the RAMiCS conference series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond. RAMiCS 2023 will take place at the Technologiezentrum Augsburg, as a physical conference. There are no conference fees but, due to limited resources, it is subject to approval by the conference organisers. REGISTRATION Participating at the conference dinner can take place at cost price (to be paid on site). To register for the conference please refer to the registration section of https://ramics20.lis-lab.fr/#registration. PROGRAM AND INVITED TALKS The RAMiCS 2023 program features 3 invited talks, 17 contributed talks, and 7 short talks. The invited talks are: Alexander Knapp, Augsburg University, Germany Specifying Event/Data-based Systems John Stell, University of Leeds, UK Algebra and Logic in Granularity Valeria Vignudelli, CNRS/ENS Lyon, France Equational Theories and Distances for Computational Effects For more details, see https://ramics20.lis-lab.fr/accepted.html ORGANIZING COMMITTEE: Conf. & PC Co-Chair: Roland Glück, German Aerospace Center, Germany Conf. & PC Co-Chair: Luigi Santocanale, LIS, Aix-Marseille University, France Conf. & PC Co-Chair: Michael Winter, Brock University, Canada For more information, see https://ramics20.lis-lab.fr/ ___ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
[Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Applications & Systems Track
20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023 September 2 - September 8, 2023, Rhodes, Greece First Call for Papers - Applications & Systems Track Systems and applications incorporating Knowledge Representation and Reasoning (KR) have made tremendous progress over the last decades and become more and more pervasive in scientific, industrial and everyday life. Popular knowledge representation formalisms range from databases, ontologies, classical, probabilistic and non-monotonic logics to natural language, offering rich means to describe a variety of static as well as dynamic phenomena. Automated reasoning systems harness machine learning, combinatorial search and optimization methods, planning, proving, design and diagnosis techniques to provide powerful tools for analyzing and deriving conclusions from complex input data. Novel, general and interdisciplinary approaches are thus vital contributions at the intersection of science, industry and society, aiming to enhance the capabilities and outreach of KR principles and technologies. This year, for the fourth time, KR 2023 will host a track on "Applications and Systems". The Applications and Systems Track aims at providing researchers and industrial practitioners with a dedicated forum for presentation and discussion of new ideas, research experience and emerging results on topics related to applications of KR formalisms and automated reasoning systems. This track provides the opportunity for fostering meaningful connections between researchers from both practical and theoretical areas of AI and, at the same time, offers participants the possibility to learn about progress made on these topics, share their own views and elaborate about approaches that could lead to effective cross-fertilisation among research in challenging KR applications and new innovative systems for solving them. Expected Contributions The Applications and Systems Track at KR 2023 invites submissions of papers on all aspects of the development, deployment, and evaluation of KR systems to solve significant and challenging application problems, including: * case studies, including suitable descriptions of the problem setting, data and tools used, and "lessons learnt", * use cases, including task specifications, related tasks/approaches, challenges, and a sketch of possible KR solution, * benchmarks, including suitable descriptions of the dataset, reasoning tasks, and ideally some "solution set" or gold standard, * system descriptions, including descriptions of the algorithm, implementation * and empirical evaluation on a suitable dataset. We welcome the above kinds of papers on a wide range of topics, including papers describing KR systems, tools, solvers and reasoning engines, as well as papers reporting on applications of KR systems in solving or supporting tasks related to different application areas and settings. Application areas of interest include but are not restricted to: computational biology, computer vision and image recognition, creative computing, cybersecurity and blockchain, data analysis, databases and query answering, decision support, declarative problem solving, diagnosis and explanation, game theory and social choice, human-computer interaction, intelligent transportation and logistics, intelligent user interfaces, internet of things, machine learning, natural language processing, digital forensics, robotics and human-robot collaboration, semantic web and knowledge graphs, software engineering, and system design. We also welcome submissions talking about interdisciplinary applications of KR, for example in economics, education, life sciences, medicine, and pharmacology, among others. Submission Guidelines and Evaluation Criteria The Applications and Systems Track will allow contributions of both regular papers (9 pages) and short papers (4 pages), excluding references, prepared and submitted according to the authors guidelines in the submission page. The track emphasizes applications of KR and development of KR systems, and welcomes contributions showcasing the impact of KR research as well as driving future research by presenting challenging data, use cases and problems together with observations and insights gained. Submissions will be rigorously peer reviewed by PC members, who are active in applications of KR and/or development of KR systems. Submissions will be evaluated on the basis of the overall quality of their technical contribution, including criteria such as originality, soundness, relevance, significance, reproducibility (including that--depending on the nature of the contribution--proofs of main claims and/or empirically evaluated implementations of algorithms, empirical data and related scripts, etc, must be made available to allow other researchers to reproduce the reported results), quality of