From marialemos72 at gmail.com Sun Oct 2 15:35:20 2022 From: marialemos72 at gmail.com (WorldCIST-2023) Date: Sun, 2 Oct 2022 16:35:20 +0100 Subject: [PlanetKR] World Conference on IST (WorldCIST'23) | Pisa, Italy | Deadline: November 6 Message-ID: <89441373140703@gmail-com> * Google Scholar H-Index = 25 * Indexed in WoS, Scopus, DBLP, etc. ------------------------------ ------------------------------ ------------------------------ ------------- WorldCIST'23 - 11st World Conference on Information Systems and Technologies Pisa, Italy, 4 - 6 April 2023 http://worldcist.org/ ------------------------------ ------------------------------ ------------------------------ ------------- Scope The WorldCist'23 - 11st World Conference on Information Systems and Technologies, to be held in Pisa, Italy, 4 - 6 April 2023, is a global forum for researchers and practitioners to present and discuss the most recent innovations, trends, results, experiences and concerns in the several perspectives of Information Systems and Technologies. We are pleased to invite you to submit your papers to WorldCist'23. All submissions will be reviewed on the basis of relevance, originality, importance and clarity. Themes Submitted papers should be related with one or more of the main themes proposed for the Conference: A) Information and Knowledge Management (IKM); B) Organizational Models and Information Systems (OMIS); C) Software and Systems Modeling (SSM); D) Software Systems, Architectures, Applications and Tools (SSAAT); E) Multimedia Systems and Applications (MSA); F) Computer Networks, Mobility and Pervasive Systems (CNMPS); G) Intelligent and Decision Support Systems (IDSS); H) Big Data Analytics and Applications (BDAA); I) Human-Computer Interaction (HCI); J) Ethics, Computers and Security (ECS) K) Health Informatics (HIS); L) Information Technologies in Education (ITE); M) Technologies for Biomedical Applications (TBA) N) Information Technologies in Radiocommunications (ITR); Types of Submissions and Decisions Four types of papers can be submitted: Full paper: Finished or consolidated R&D works, to be included in one of the Conference themes. These papers are assigned a 10-page limit. Short paper: Ongoing works with relevant preliminary results, open to discussion. These papers are assigned a 7-page limit. Poster paper: Initial work with relevant ideas, open to discussion. These papers are assigned to a 4-page limit. Company paper: Companies' papers that show practical experience, R & D, tools, etc., focused on some topics of the conference. These papers are assigned to a 4-page limit. Submitted papers must comply with the format of Advances in Intelligent Systems and Computing Series (see Instructions for Authors at Springer Website) , be written in English, must not have been published before, not be under review for any other conference or publication and not include any information leading to the authors? identification. Therefore, the authors? names, affiliations and bibliographic references should not be included in the version for evaluation by the Program Committee. This information should only be included in the camera-ready version, saved in Word or Latex format and also in PDF format. These files must be accompanied by the Consent to Publish form filled out, in a ZIP file, and uploaded at the conference management system. All papers will be subjected to a ?double-blind review? by at least two members of the Program Committee. Based on Program Committee evaluation, a paper can be rejected or accepted by the Conference Chairs. In the later case, it can be accepted as the type originally submitted or as another type. Thus, full papers can be accepted as short papers or poster papers only. Similarly, short papers can be accepted as poster papers only. Poster papers and Company papers are not published in the Conference Proceedings, being only presented and discussed. The authors of accepted poster papers should build and print a poster to be exhibited during the Conference. This poster must follow an A1 or A2 vertical format. The Conference includes Work Sessions where these posters are presented and orally discussed, with a 7 minute limit per poster. The authors of accepted Full papers will have 15 minutes to present their work in a Conference Work Session; approximately 5 minutes of discussion will follow each presentation. The authors of accepted Short papers and Company papers will have 11 minutes to present their work in a Conference Work Session; approximately 4 minutes of discussion will follow each presentation. Publication and Indexing To ensure that a full paper or short paper is published and presented, poster paper or company paper is presented, at least one of the authors must be fully registered by the 4th of January 2024, and the paper must comply with the suggested layout and page-limit. Additionally, all recommended changes must be addressed by the authors before they submit the camera-ready version. No more than one paper per registration will be published. An extra fee must be paid for publication of additional papers, with a maximum of one additional paper per registration. One registration permits only the participation of one author in the conference. Full and Short papers will be published in Proceedings by Springer, in several books of of the Lecture Notes in Networks and Systems series. Poster and company papers will not be published, just presented in the conference. Published Full and Short papers will be submitted for indexation by WoS, SCOPUS, DBLP and Google Scholar, among others, and will be available in the SpringerLink Digital Library. The authors of the best selected papers will be invited to extend them for publication in international journals indexed by WoS/SCI, SCOPUS and DBLP, among others, such as: International Journal of Neural Systems (IF: 5.866 / Q1) Integrated Computer-Aided Engineering (IF: 4.827 / Q1) Informatica (IF: 3.429 / Q1) Expert Systems (IF: 2.812 / Q2) Data Technologies and Applications (IF: 1.667 / Q4) Computer Methods in Biomechanics and Biomedical Engineering - Imaging & Visualization (ESCI & SJR: 0.52 / Q2) Important Dates Paper Submission: November 6, 2022 Notification of Acceptance: December 23, 2022 Payment of Registration, to ensure the inclusion of an accepted paper in the conference proceedings: January 4, 2023. Camera-ready Submission: January 4, 2023 WorldCIST'23 Website: http://worldcist.org/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From M.Vallati at hud.ac.uk Mon Oct 3 08:42:23 2022 From: M.Vallati at hud.ac.uk (Mauro Vallati) Date: Mon, 3 Oct 2022 08:42:23 +0000 Subject: [PlanetKR] Fully funded PhD in Planning @ Huddersfield Message-ID: ** Fully funded PhD position in ?Solving Multiple Loosely Coupled Planning Problems? ** Deadline for applications: 21 October 2022 The University of Huddersfield and Schlumberger Cambridge Research Limited offer a fully funded PhD position in the field of Automated Planning within Artificial Intelligence. With the PhD project, we will advance the state of the art of automated planning applied to real-world problems, and have a significant impact to the operations of Schlumberger. One of the key challenges in a global engineering operation is optimal cooperation and coordination which happens on all scales: from in-country local experts to regionally sourced consumables and additives to global deployment of small numbers of highly specialized measurement and drilling systems. Planning takes place on all scales and must be reactive to replan under changing conditions. As we automate more of these activities, through AI planning and scheduling, there is an opportunity to explore the coupling between problems on overlapping domains and to develop the algorithms that will understand the dependencies; providing solutions to all that are consistent and optimal in a global sense. The University of Huddersfield was awarded University of the Year in 2013 by Times Higher Education. In the recent Research Excellence Framework (REF 2014), the University of Huddersfield increased from 97th to 68th in the UK Research Power league table. The School of Computing and Engineering provides a research-supportive environment. Collectively, the School has secured over ?26M in recent research funding from UKRI and Horizon 2020. The PhD will be based in The Centre for Planning, Autonomy and Representation of Knowledge, that includes world-recognised experts in Artificial Intelligence, including Automated Planning, Knowledge Engineering, Knowledge Representation and Reasoning and machine learning https://research.hud.ac.uk/institutes-centres/park/ Schlumberger is the leading supplier of technology and services to the energy industry. Working in more than 120 countries, Schlumberger is committed to being at the forefront of the industry?s shift towards sustainable energy production ? delivering both measurable social and environmental progress, including significant research, engineering, product development and operational facilities in the United Kingdom. We are looking for motivated and talented applicants with very good university degrees (MSc or equivalent) in Computer Science or Mathematics (or comparable fields), and with solid background in one or more of: - automated planning and scheduling, - knowledge representation and reasoning, - formal methods in computer science, - strong implementation skills motivated by challenging combinatorial problems and interest in theory. The positions are co-funded by Schlumberger Cambridge Research and the Engineering and Physical Sciences Research Council (EPSRC), full-time, and fixed-term for three years. Candidates should be independent in organising their work, keen on working with teams of experts of project partners, and fluent in English, oral and written. Starting time can be as soon as possible, according to the University of Huddersfield PhD program starting dates. If you are interested in further details regarding the PhD informally, you can contact Dr Mauro Vallati at m.vallati at hud.ac.uk Formal applications should be made via the dedicated website: https://research.hud.ac.uk/research-degrees/how-to-apply/ University of Huddersfield inspiring global professionals. [https://marketing.hud.ac.uk/_HOSTED/EmailSig2014/EmailSigFooterSeptember2021.jpg] This transmission is confidential and may be legally privileged. If you receive it in error, please notify us immediately by e-mail and remove it from your system. If the content of this e-mail does not relate to the business of the University of Huddersfield, then we do not endorse it and will accept no liability. From calimeri at mat.unical.it Thu Oct 6 10:43:39 2022 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Thu, 6 Oct 2022 12:43:39 +0200 Subject: [PlanetKR] [CfP] - DEADLINE EXTENSION - First AIxIA Workshop on Artificial Intelligence For Healthcare HC@AIxIA 2022 Message-ID: ================================================================== ******* DEADLINE EXTENSION: NEW deadline October 23, 2022 ******* ******** AI and HEALTHCARE Working Group Kick-off Meeting ******** ================================================================== ================================================================== First AIxIA Workshop on Artificial Intelligence For Healthcare HC at AIxIA 2022 ================================================================== November 28 - December 2, 2022, University of Udine, Udine, Italy https://sites.google.com/unical.it/hcaixia2022 CO-LOCATED with the 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022) ================================================================== *** - apologize for multiple postings - *** = Background = In the latest years we have been witnessing the ubiquitous application of Artificial Intelligence in real-world domains; in particular, AI-based solutions significantly changed the game in the field of medicine and healthcare in several respects (research, management, clinical practice). Indeed, applications of AI in the healthcare domain became a major research topics, that attracts cross-disciplinary research groups. Medicine and health care require highly complex decision making to ensure that the trajectory a patient with a disease needs to take for diagnosis, treatment, recovery, and finally outcome is optimal in some sense. As a consequence, researchers have to draw methods from the entire field of AI. On the other hand, healthcare and medicine are built upon a rich and evolving body of knowledge, e.g., concerning the pathophysiology of diseases, molecular, genetic, cytological, and histological characterization of stages of a disease, described by temporal and spatial patterns. Such knowledge can also act as background knowledge to guide machine learning. In order to move towards effective and long-lasting applications of AI in healthcare, it is crucial to elucidate the relationship between what can be expected from AI methods when applied to healthcare problems and the role knowledge of healthcare and clinical medicine can play in developing AI solutions to health-care and clinical problems. = The Workshop = The HX at AIxIA workshop aims at gathering researchers from academia, industry and medical centers for presenting and discussing the latest research results and ongoing works related to the application and impact of AI in the healthcare domain, to the larger extent, thus aiming at covering a wide spectrum of topics, including theoretical and practical aspects, methodologies, technologies, and systems. Topics include, but are not limited to: - Machine learning methods, data mining and statistical methods for clinical decision support - Probabilistic graphical models for clinical decision-making and causal networks - Learning, representation and reasoning with time - Knowledge representation, reasoning and formal argumentation in healthcare: - Machine learning methods, data mining and statistical methods for clinical decision support) - Probabilistic graphical models for clinical decision-making and causal networks - Learning, representation and reasoning with time - Knowledge representation, reasoning and formal argumentation in healthcare - Methods for diagnosis, treatment selection, treatment planning, and prognosis - Monitoring patients in healthcare - Ontologies and medical vocabularies - Personalized medicine - Computer-interpretable clinical guidelines - Support for natural language generation/understanding in connection electronic patient records - Tools for supporting authoring, execution and maintenance of clinical protocols and guidelines - Tools for building and deployment of clinical decision-support systems = Contributions = The workshop will feature presentations of refereed contributions; two types of submissions are invited: - full papers, possibly already submitted to other conferences or journals - short papers, which are particularly suitable for presenting work in progress, software prototypes, extended abstracts of doctoral theses, or general overviews of research projects. In particular, we also invite submissions of systems or prototype software descriptions; systems of both research and industrial character are welcome. Submissions must include a brief description, prepared according to the guidelines given for short papers, and a specification of the required hardware and software equipment. Besides demos, some contributions might be invited to be presented as posters. = Submission Instructions = Authors are invited to submit their manuscripts in PDF via the EasyChair system at the link: https://easychair.org/conferences/?conf=hcaixia2022 Articles must not exceed 15 pages for full papers and 8 pages for short papers, respectively. Manuscripts should be formatted using the Springer LNCS style. To ease the reviewing process, the authors of regular papers may add an appendix (although reviewers are not required to consider it in their evaluation). All contributions must be written in English. For each accepted contribution, at least one of the authors is required to attend the conference and present the paper. The event is organized by AIxIA. = Proceedings and Journal Special Issue = All accepted original contributions (both full and short) will be published on CEUR-WS.org. Non-original communications will be given visibility on the workshop web site, including a link to the original publication, if already published. The organizers are considering the possibility of having workshop post-proceedings appearing in a special issue of an international journal, provided that a sufficient amount of quality papers is collected. In such a case, authors of accepted papers will be invited to submit extended and revised versions of their papers. Extensions of accepted non-original contributions, if not published in a journal yet, might be included in the issue. A second review formal process will be run in order to meet the expected quality of a journal. = NOTE: WORKING GROUP KICK-OFF MEETING = All authors of accepted papers are invited to participate in the Kick-Off meeting of the AI and Healthcare Working Group of AIxIA ( https://aixia.it/en/gruppi/hc/), that will be held on November 30rd, 2022 right after the workshop. = IMPORTANT DATES (updated) = Paper submission: October 23, 2022 Notification to authors: November 18, 2022 Camera-ready copy due: November 21, 2022 Main Workshop starts: November 30, 2022 WG Kick-Off Meeting: November 30, 2022 = PORGRAM COMMITTEE = == Program Chairs == Francesco Calimeri, University of Calabria, Italy Mauro Dragoni, Fondazione Bruno Kessler - FBK-IRST, Italy Fabio Stella, Universit? degli Studi di Milano-Bicocca, Italy == Program Committee Members == Alessandro Dal Pal?, University of Parma, Italy Alessio Zanga, University of Milano-Bicocca, Italy Alice Bernasconi, Fondazione IRCCS Istituto Nazionale dei Tumori, Italy Antonella Guzzo, University of Calabria, Italy Arjen Hommersom, Open University of the Netherlands, Netherlands Carmine Dodaro, University of Calabria, Italy Claudio Eccher, FBK-IRST, Italy Elena De Momi, Politecnico di Milano, Italy Emanuele Frontoni, University of Macerata, Italy Federico Cabitza, University of Milano-Bicocca, Italy Francesca Zerbato, University of St. Gallen, Switzerland Francesco Bellocchio, Fresenius Medical Care, Italy Giorgio Terracina, University of Calabria, Italy Giuseppe Carbone, University of Calabria, Italy Giuseppe Rizzo, LINKS Foundation, Italy Ivan Donadello, Free University of Bozen-Bolzano, Italy Luca Anselma, University of Torino, Italy Luigi Portinale, Universit? del Piemonte Orientale, Italy Marco Maratea, University of Genova, Italy Marco Scutari, IDSIA, Switzerland Paola Berchialla, University of Torino, Italy Paolo Zaffino, Magna Graecia University, Italy Pedro Pereira Rodrigues, University of Porto, Portugal Peter Lucas, University of Twente, Netherlands Pierangela Bruno, University of Calabria, Italy Riccardo Bellazzi, University of Pavia, Italy Salvatore Iiritano, Revelis Srl, Italy Sara Moccia, Universit? Politecnica delle Marche, Italy -------------- next part -------------- An HTML attachment was scrubbed... URL: From carlo.taticchi at unipg.it Wed Oct 12 18:05:47 2022 From: carlo.taticchi at unipg.it (Carlo Taticchi) Date: Wed, 12 Oct 2022 18:05:47 +0000 Subject: [PlanetKR] KRR@sac2023 October, 15th New Extended Deadline Message-ID: <8F0E5CA8-718C-49ED-BB43-3CD770FDD86A@unipg.it> ############################################################### The 38th ACM SIGAPP Symposium On Applied Computing Tallinn Estonia March 27 - April 2, 2023 Track on Knowledge Representation and Reasoning (KRR) Website: http://www.dmi.unipg.it/bista/organizing/KRR at sac2023 SUBMISSION DEADLINE: October 1, 2022 NEW EXTENDED DEADLINE OCTOBER, 15th Authors who cannot make on-site presentations due to travel restrictions by governments or institutions, or those for whom travel is inadvisable due to medical reasons may request to present their materials online. ############################################################### Overview: The topic of the track covers an important field of research in Artificial Intelligence: Knowledge Representation and Reasoning (KRR) is dedicated to representing information about the world in a form that a computer system can utilise to solve complex tasks. Examples of knowledge representation formalisms include semantic nets, systems architecture, frames, rules, and ontologies. Some examples of automated reasoning engines include inference engines, theorem provers, and classifiers. KRR track will be a venue for all the researchers and practitioners working on the fundaments and applications of reasoning, and cross-fertilisation among different areas (e.g., Argumentation and Belief Revision). ACM SAC is ranked CORE:B, MAS:A-, SHINE:A. The average acceptance rate per track is under 25%. KRR track is organised for the third consecutive year at SAC. Call for paper: Knowledge-representation is the field of artificial intelligence that focuses on designing computer representations that capture information about the world that can be used to solve complex problems. Its goal is to understand and build intelligent behavior from the top down, focusing on what an agent needs to know with the purpose to behave intelligently, how this knowledge can be represented symbolically, and how automated reasoning procedures can make this knowledge available as needed. In KRR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. Topics of interest include: ? Argumentation. ? Belief revision and update, belief merging. ? Commonsense reasoning. ? Contextual reasoning. ? Description logics. ? Diagnosis, abduction, explanation. ? Inconsistency and exception tolerant reasoning, paraconsistent logics. ? KR and autonomous agents: intelligent agents, cognitive robotics, multi-agent systems. ? KR and decision making, game theory, social choice. ? KR and machine learning, inductive logic programming, knowledge discovery and acquisition. ? Logic programming, answer set programming, constraint (logic) programming. ? Non-monotonic logics, default logics, conditional logics. ? Preferences: modeling and representation, preference-based reasoning. ? Reasoning about knowledge and belief, dynamic epistemic logic, epistemic and doxastic logics. ? Reasoning systems and solvers, knowledge compilation. ? Spatial reasoning and temporal reasoning, qualitative reasoning. ? Uncertainty, representations of vagueness, many-valued and fuzzy logics. We would like to invite authors to submit papers on research on KRR area, with particular emphasis on assessing the current state of the art and identifying future directions. Submissions fall into the following categories: ? Original and unpublished research work. ? Reports of innovative computing applications in the arts, sciences, engineering, and business areas. ? Reports of successful technology transfer to new problem domains. ? Reports of industrial experience and demos of new innovative systems. Deadlines and Important Dates: October 1, 2022 October, 15 2022: Submission of regular papers and SRC abstracts. November 19, 2022: Notification of papers and posters and SRC acceptance/rejection. December 6, 2022: Camera-ready copies of accepted papers, and registration of at least one author. March 27 - April 2, 2023: Conference After the conference a fast-track journal special issue is planned (more information after the camera-ready submission) Submissions Instructions for Regular Papers and SRC Abstracts: Original papers addressing any of the listed topics of interest (or related topics) will be considered. Each submitted paper will be fully refereed and undergo a double-blind review process by at least three referees. Accepted papers will be included in the ACM SAC 2023 proceedings and published in the ACM digital library, being indexed by Thomson ISI Web of Knowledge and Scopus. Submissions should be properly anonymised to facilitate blind reviewing: the author(s) name(s) and address(es) must NOT appear in the body of the paper, and self-reference should be in the third person. Paper size is *strictly* limited to 8 pages in SAC style; a maximum of 2 additional pages may be included for an additional fee, extending the final version of the accepted paper. Please check the author kit latex style on the main SAC website: https://www.sigapp.org/sac/sac2023/authorkit.html. Papers failing to comply with length limitations risk immediate rejection. Submissions will be in electronic format, via the website: https://www.sigapp.org/sac/sac2023/submission.html PLEASE PAY ATTENTION TO SELECT THE KRR TRACK BY CHECKING THE TRACK RADIO BUTTON!!! Students are invited to submit research abstracts (maximum of 4 pages in ACM camera-ready format) following the instructions published at the SAC 2023 website. Submission of the same abstract to multiple tracks is not allowed. Authors of selected abstracts will have the opportunity to give poster and oral presentations of their work and compete for three top-winning places. The SRC committee will evaluate and select First, Second, and Third place winners. The winners will receive medals and cash awards. Winners will be announced during the conference banquet. Invited students receive SRC travel support (US$500) and are eligible to apply to the SIGAPP Student Travel Award Program (STAP) for additional travel support. Submission of the same abstract to multiple tracks is not allowed. Double Submission to both SRC and the track should be substantially different. Chairs: Stefano Bistarelli, University of Perugia, Italy Martine Ceberio, University of Texas at El Paso, USA Eric Monfroy, University of Angers, France Francesco Santini, University of Perugia, Italy Carlo Taticchi, University of Perugia, Italy Program Committee: Gianvincenzo Alfano, University of Calabria Mario Alviano, University of Calabria Ofer Arieli, The Academic College of Tel-Aviv Franz Baader, TU Dresden Elise Bonzon, Universite Paris Descartes Berthe Choueiry, University of Nebraska-Lincoln Martin Dieguez, University of Angers Massimiliano Giacomin, University of Brescia Lluis Godo, IIIA - CSIC Souhila Kaci, LIRMM Gabriele Kern-Isberner, TU Dortmund Costas Koutras, American University of the Middle East Joao Leite, Universidade Nova de Lisboa Beishui Liao, Zhejiang University Jean-Guy Mailly, LIPADE, Universit? Paris Cit? Nico Potyka, Imperial College London Odinaldo Rodrigues, King's College London Guillermo R. Simari, Universidad Nacional del Sur in Bahia Blanca Tran Cao Son, New Mexico State University Leon van der Torre, University of Luxembourg Johannes Peter Wallner, Graz University of Technology Roland Yap, National University of Singapore SAC No-Show Policy: Paper registration is required, allowing the inclusion of the paper/poster in the conference proceedings. An author or a proxy attending SAC MUST present the paper. This is a requirement for the paper/poster to be included in the ACM digital library. No-show of registered papers and posters will result in excluding them from the ACM digital library. -- Carlo Taticchi, PhD University of Perugia cybersecuritylab.unipg.it krarlab.dmi.unipg.it -------------- next part -------------- An HTML attachment was scrubbed... URL: From carlo.taticchi at unipg.it Thu Oct 13 09:59:22 2022 From: carlo.taticchi at unipg.it (Carlo Taticchi) Date: Thu, 13 Oct 2022 09:59:22 +0000 Subject: [PlanetKR] KRR@sac2023 October 24 New Extended Deadline Message-ID: <004FAABD-65A0-4968-8058-9743424303F3@unipg.it> ############################################################### The 38th ACM SIGAPP Symposium On Applied Computing Tallinn Estonia March 27 - April 2, 2023 Track on Knowledge Representation and Reasoning (KRR) Website: http://www.dmi.unipg.it/bista/organizing/KRR at sac2023 SUBMISSION DEADLINE: October 15, 2022 October 24, 2022 Authors who cannot make on-site presentations due to travel restrictions by governments or institutions, or those for whom travel is inadvisable due to medical reasons may request to present their materials online. ############################################################### Overview: The topic of the track covers an important field of research in Artificial Intelligence: Knowledge Representation and Reasoning (KRR) is dedicated to representing information about the world in a form that a computer system can utilise to solve complex tasks. Examples of knowledge representation formalisms include semantic nets, systems architecture, frames, rules, and ontologies. Some examples of automated reasoning engines include inference engines, theorem provers, and classifiers. KRR track will be a venue for all the researchers and practitioners working on the fundaments and applications of reasoning, and cross-fertilisation among different areas (e.g., Argumentation and Belief Revision). ACM SAC is ranked CORE:B, MAS:A-, SHINE:A. The average acceptance rate per track is under 25%. KRR track is organised for the third consecutive year at SAC. Call for paper: Knowledge-representation is the field of artificial intelligence that focuses on designing computer representations that capture information about the world that can be used to solve complex problems. Its goal is to understand and build intelligent behavior from the top down, focusing on what an agent needs to know with the purpose to behave intelligently, how this knowledge can be represented symbolically, and how automated reasoning procedures can make this knowledge available as needed. In KRR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. Topics of interest include: ? Argumentation. ? Belief revision and update, belief merging. ? Commonsense reasoning. ? Contextual reasoning. ? Description logics. ? Diagnosis, abduction, explanation. ? Inconsistency and exception tolerant reasoning, paraconsistent logics. ? KR and autonomous agents: intelligent agents, cognitive robotics, multi-agent systems. ? KR and decision making, game theory, social choice. ? KR and machine learning, inductive logic programming, knowledge discovery and acquisition. ? Logic programming, answer set programming, constraint (logic) programming. ? Non-monotonic logics, default logics, conditional logics. ? Preferences: modeling and representation, preference-based reasoning. ? Reasoning about knowledge and belief, dynamic epistemic logic, epistemic and doxastic logics. ? Reasoning systems and solvers, knowledge compilation. ? Spatial reasoning and temporal reasoning, qualitative reasoning. ? Uncertainty, representations of vagueness, many-valued and fuzzy logics. We would like to invite authors to submit papers on research on KRR area, with particular emphasis on assessing the current state of the art and identifying future directions. Submissions fall into the following categories: ? Original and unpublished research work. ? Reports of innovative computing applications in the arts, sciences, engineering, and business areas. ? Reports of successful technology transfer to new problem domains. ? Reports of industrial experience and demos of new innovative systems. Deadlines and Important Dates: October 15, 2022 October 24, 2022: Submission of regular papers and SRC abstracts. November 19, 2022: Notification of papers and posters and SRC acceptance/rejection. December 6, 2022: Camera-ready copies of accepted papers, and registration of at least one author. March 27 - April 2, 2023: Conference After the conference a fast-track journal special issue is planned (more information after the camera-ready submission) Submissions Instructions for Regular Papers and SRC Abstracts: Original papers addressing any of the listed topics of interest (or related topics) will be considered. Each submitted paper will be fully refereed and undergo a double-blind review process by at least three referees. Accepted papers will be included in the ACM SAC 2023 proceedings and published in the ACM digital library, being indexed by Thomson ISI Web of Knowledge and Scopus. Submissions should be properly anonymised to facilitate blind reviewing: the author(s) name(s) and address(es) must NOT appear in the body of the paper, and self-reference should be in the third person. Paper size is *strictly* limited to 8 pages in SAC style; a maximum of 2 additional pages may be included for an additional fee, extending the final version of the accepted paper. Please check the author kit latex style on the main SAC website: https://www.sigapp.org/sac/sac2023/authorkit.html. Papers failing to comply with length limitations risk immediate rejection. Submissions will be in electronic format, via the website: https://www.sigapp.org/sac/sac2023/submission.html PLEASE PAY ATTENTION TO SELECT THE KRR TRACK BY CHECKING THE TRACK RADIO BUTTON!!! Students are invited to submit research abstracts (maximum of 4 pages in ACM camera-ready format) following the instructions published at the SAC 2023 website. Submission of the same abstract to multiple tracks is not allowed. Authors of selected abstracts will have the opportunity to give poster and oral presentations of their work and compete for three top-winning places. The SRC committee will evaluate and select First, Second, and Third place winners. The winners will receive medals and cash awards. Winners will be announced during the conference banquet. Invited students receive SRC travel support (US$500) and are eligible to apply to the SIGAPP Student Travel Award Program (STAP) for additional travel support. Submission of the same abstract to multiple tracks is not allowed. Double Submission to both SRC and the track should be substantially different. Chairs: Stefano Bistarelli, University of Perugia, Italy Martine Ceberio, University of Texas at El Paso, USA Eric Monfroy, University of Angers, France Francesco Santini, University of Perugia, Italy Carlo Taticchi, University of Perugia, Italy Program Committee: Gianvincenzo Alfano, University of Calabria Mario Alviano, University of Calabria Ofer Arieli, The Academic College of Tel-Aviv Franz Baader, TU Dresden Elise Bonzon, Universite Paris Descartes Berthe Choueiry, University of Nebraska-Lincoln Martin Dieguez, University of Angers Massimiliano Giacomin, University of Brescia Lluis Godo, IIIA - CSIC Souhila Kaci, LIRMM Gabriele Kern-Isberner, TU Dortmund Costas Koutras, American University of the Middle East Joao Leite, Universidade Nova de Lisboa Beishui Liao, Zhejiang University Jean-Guy Mailly, LIPADE, Universit? Paris Cit? Nico Potyka, Imperial College London Odinaldo Rodrigues, King's College London Guillermo R. Simari, Universidad Nacional del Sur in Bahia Blanca Tran Cao Son, New Mexico State University Leon van der Torre, University of Luxembourg Johannes Peter Wallner, Graz University of Technology Roland Yap, National University of Singapore SAC No-Show Policy: Paper registration is required, allowing the inclusion of the paper/poster in the conference proceedings. An author or a proxy attending SAC MUST present the paper. This is a requirement for the paper/poster to be included in the ACM digital library. No-show of registered papers and posters will result in excluding them from the ACM digital library. -- Carlo Taticchi, PhD University of Perugia cybersecuritylab.unipg.it krarlab.dmi.unipg.it -------------- next part -------------- An HTML attachment was scrubbed... URL: From george at cs.ucy.ac.cy Thu Oct 13 11:31:53 2022 From: george at cs.ucy.ac.cy (George A. Papadopoulos) Date: Thu, 13 Oct 2022 14:31:53 +0300 Subject: [PlanetKR] Second International Conference on ICT for Health, Accessibility and Wellbeing (IHAW 2022): Call for Late Breaking Results Message-ID: *** Call for Late Breaking Results *** Second International Conference on ICT for Health, Accessibility and Wellbeing (IHAW 2022) December 5-7, 2022, Virtual Event https://cyprusconferences.org/ihaw2022 (Proceedings to be published by Springer in CCIS; Journal Special Issues with SN Computer Science (Springer) and Smart Health (Elsevier); Best Paper Award sponsored by MDPI "Sensors" with 300 CHF) *** Deadline: November 1st AoE (firm!) *** IHAW 2022 accepts now submissions for late breaking results. The instructions to authors remain the same, as for the regular submissions. Accepted papers will be published in the same proceedings volume with the regular submissions and will be eligible both for the Best Paper Award and to be selected for the special journal issues that will be prepared after the conference. ICT for Health, Accessibility and Wellbeing (IHAW 2022) is the second of the series of International Conferences on "ICT for Societal Challenges". It is a showcase for high quality oral and poster presentations and demonstrations sessions. This conference aims to be a platform for multi and interdisciplinary research at the interplay between Information and Communication Technologies, Biomedical, Neuro-cognitive, and Experimental research. This research includes the design, experimental evaluation and standardization of new ICT scalable systems and in-silico systems for new and future inclusive and sustainable technologies that benefit all: healthy people, people with disabilities or other impairments, people having chronic diseases, etc. User-centered design and innovation, new intuitive ways of human -computer interaction, and user acceptance are the topics of particular interest. Conference Topics Relevant topics include (but are not limited to) the following: Artificial Intelligence, Computation and Data Analytics ? Artificial Intelligence methods for medical device testing. ? Algorithms, methods and services for condition-specific intervention (e.g., diabetes, obesity, dementia, post cancer treatment, allergies, mental health). ? Algorithms, methods and services for predicting and monitoring infectious disease. ? Crowd-sourcing and social media analysis for predicting and monitoring infectious disease. ? Medical Data and/or Medical Image Analysis. ? Electronic Medical Records Analysis. ? Computational methods for medical devices. Human Computer Interaction and Cognition ? Human-Machine Interaction for healthcare and well-being. ? Cognitive Mechatronics for healthcare and well-being. ? Models for human-device interaction for medicine. ? Cobotics for healthcare and well-being. ? Model-based design and configuration tools for healthcare and well-being. Assistive Devices ? Precision medicine. ? ICT for in-silicon trials. ? Implantable medical devices. ? Multimodal assistive ICT devices to empower people with sensory, cognitive, motor, balance and spatial impairments. ICT & Wellbeing ? Age-friendly systems for active and healthy ageing (telepresence, robotics solutions, innovative solutions for independent living, innovative elderly care, integrated care, age-related risks prevention/detection). ? ICT systems to improve the quality of life and for daily life activities assistance (education, recreation, and nutrition). ? Smart living homes and wearables (Intelligent and personalized digital solutions for sustaining and extending healthy and independent living; personalized early risk detection and intervention). ? Smart Systems and services promoting access to the socio-economical and cultural environment. ? IoT and smart real-time surveillance systems for monitoring, auditing and control to prevent the spread of the pandemic. ? eHealth smart solutions in the fight against a COVID-19 like pandemic. ? IoT and Smart Healthcare systems with an environmentally friendly and sustainable footprint. Health Infrastructure and Healthcare Operation Services ? Distributed and connected digital healthcare services. ? IoT services for real-time monitoring of health data and status of patients and/or older adults. ? Wearable devices and IoT systems for remote monitoring of health data and status of patients and/or older adults. ? mHealth services and applications using mobile and wearable devices to collect community and clinical health data, and deliver healthcare information to practitioners, researchers and patients. ? Sustainable city environments for emergency health management. ? 5G and beyond for healthcare in sustainable smart cities. ? Wireless Sensor Networks for advanced smart healthcare in sustainable cities. Quality in Healthcare Systems ? New experimental validation methods with end-users. ? Systems and services for ensuring patient?s commitment to the medication schedule. ? Digital health systems and tools for health care professional training and workforce development. ? Communication systems and services improving the quality of patient and healthcare provider contact before, during and after admission. ? Methods and Technology for Improving the quality of services-oriented care delivery systems. ? Methods, Digital Tools and/or Services for inclusive-for-all healthcare systems. ? Co-Creation of healthcare systems for social well being of people with special needs, older adults and/or deprivileged or disadvantaged people. ? Systems for management of health and care (mental health, pain, neurological disorders, sight, hearing, balance, space awareness; sensory based physiological and psychological non-invasive measurements, preventive healthcare, m-healthcare, e-healthcare, integrated care, serious games, electronic health record, self- management, patient-centered systems for survivorship, palliation and/or end-of-life care). Privacy, Security & Standardization ? Standardization, certification, labelling, and communication issues (related to ageing well, to sensory impairment). ? Privacy and Security/Regulation compliant services in health care systems (e.g., HIPAA). ? Security and privacy of digital health systems and service. ? Socio-economic issues of smart healthcare in sustainable societies. ? Privacy, security and ethics in eHealth smart solutions and surveillance at scale in the fight against a COVID-19 pandemic. High-quality original submissions that address such future issues, show the design and evaluation in (near-) real scenarios, explain how to benchmark systems, and outline the education and training procedures for acquiring new perceptual skills while using such systems are welcome. Research and technical papers are expected to present significant and original contributions validated with the targeted end-users. Submissions should clearly state the progress beyond the existing state-of- the-art and the expected societal benefits of the developed technology. When possible, validate scenarios with the target user groups and well-identified technology readiness levels (https://en.wikipedia.org/wiki/Technology_readiness_level) should be at least outlined. Submissions We invite Research and Technical papers, up to 15 pages, describing original unpublished research, making a substantial contribution to the research field. All submissions will be reviewed by the Program Committee. As was the case for IHAW 2021, the proceedings of IHAW 2022 will be published by Springer in the Communications in Computer and Information Science (CCIS) series (https://www.springer.com/series/7899) and will be presented in the technical sessions of the conference. The Best Paper Award is sponsored by MDPI "Sensors" with 300 CHF. The authors of the best papers accepted and presented at IHAW2022 will be invited to submit extended versions of their papers for further review and possible inclusion in either of two Journal Special Issues that will be organised with SN Computer Science (Springer) and Smart Health (Elsevier). Submissions of all types should be carefully formatted according to the Springer format for conference proceedings: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines . The submission process will be handled through Easy Chair and the submission link is: https://easychair.org/my/conference?conf=icihaw2022 . Important Dates ? Submission Deadline: November 1, 2022 (AoE, firm!) ? Notification: November 15, 2022 ? Camera-Ready Submission Deadline: November 24, 2022 ? Author Registration Deadline: November 24, 2022 Organizers Honorary General Chair ? Edwige Pissaloux, University of Rouen Normandy, France General Chair ? George A. Papadopoulos, University of Cyprus, Cyprus Scientific Chair ? Achilleas Achilleos, Frederick University, Cyprus Scientific Vice-Chair ? Ramiro Velazquez, Universidad Panamericana, Mexico Publicity Chair ? Jessica Allingham, Lakehead University, Canada Finance Chair ? Petros Stratis, Easy Conferences LTD, Cyprus Steering and Program Committee ? https://cyprusconferences.org/ihaw2022/committees/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From george at cs.ucy.ac.cy Thu Oct 13 14:53:49 2022 From: george at cs.ucy.ac.cy (George A. Papadopoulos) Date: Thu, 13 Oct 2022 17:53:49 +0300 Subject: [PlanetKR] =?utf-8?q?UMAP_=E2=80=9923=3A_31st_ACM_Conference_on_?= =?utf-8?q?User_Modeling=2C_Adaptation_and_Personalization=3A_Preliminary_?= =?utf-8?q?Call_for_Papers?= Message-ID: *** Preliminary Call for Papers *** UMAP ?23: 31st ACM Conference on User Modeling, Adaptation and Personalization June 26 - 29, 2023, St. Raphael Resort, Limassol, Cyprus https://www.um.org/umap2023/? ACM UMAP is the premier international conference for researchers and practitioners working on systems that adapt to individual users or groups of users, and that collect, represent, and model user information. ACM UMAP? is sponsored by ACM SIGCHI and SIGWEB. User Modeling Inc., as the core Steering Committee, oversees the conference organization. The proceedings, published by ACM, will be part of the ACM Digital Library. The theme of UMAP 2023 is "Personalization in Times of Crisis?. Specifically, we welcome submissions that highlight the impact that critical periods (such as the COVID-19 pandemic, ongoing wars, and climate change, to name a few) can have on user modeling, personalization, and adaptation of (intelligent) systems; the focus is on investigations that capture how these trying times may have influenced user behavior and whether new models are required.? While we encourage submissions related to this theme, the scope of the conference is not limited to the theme only. As always, contributions from academia, industry, and other organizations discussing open challenges or novel research approaches are expected to be supported by rigorous evidence appropriate to the claims (e.g., user study, system evaluation, computational analysis). Important Dates ? Paper Abstracts: January 19, 2023 (mandatory) ? Full paper: January 26, 2023 ? Notification: April 11, 2023 ? Camera-ready: May 2, 2023 ? Conference: June 26 - 29, 2023 Note: The submissions deadlines are at 11:59 pm AoE time (Anywhere on Earth) Conference Topics We welcome submissions related to user modeling, personalization, and adaptation of (intelligent) systems targeting a broad range of users and domains.?Detailed descriptions and the suggested topics for each track will be available shortly in the extended version of the CFP on the UMAP 2023 website. Personalized Recommender Systems This track invites works from researchers and practitioners on recommender systems. In addition to mature research works addressing technical aspects of recommendations, we welcome research contributions that address questions related to user perception, decision-making, and the business value of recommender systems. Adaptive, Semantic, Knowledge, and Social Graphs This track welcomes works focused on the use of knowledge representations (i.e., novel knowledge bases), graph algorithms (i.e., graph embedding techniques), and social network analysis at the service of addressing all aspects of personalization, user model building, and personal experience in online social systems. Moreover, this track invites works in adaptive hypermedia, as well as semantic and social web. Intelligent User Interfaces This track invites works exploring how to make the interaction between computers and people smarter and more productive, leveraging solutions from human-computer interaction, data mining, natural language processing, information visualization, and knowledge representation and reasoning. Personalizing Learning Experiences through User Modeling This track invites researchers, developers, and practitioners from various disciplines to submit their innovative learning solutions, share acquired experiences, and discuss their modeling challenges for personalized adaptive learning. Fairness, Transparency, Accountability, and Privacy Researchers, developers, and practitioners have a social responsibility to account for the impact that technologies have on individuals (users, providers, and other stakeholders) and society. This track invites works related to the science of building, maintaining, evaluating, and studying adaptive systems that are fair, transparent, respectful of users? privacy, beneficial to society, and accountable for their impacts. Personalization for Persuasive and Behavior Change Systems This track invites submissions focused on personalization and tailoring for persuasive technologies, including but not limited to personalization models, user models, computational personalization, design, and evaluation methods. It also welcomes work that brings attention to the user experience and designing personalized and adaptive behavior change technologies. Virtual Assistants, Conversational Interactions, and Personalized Human-robot Interaction This track invites works investigating new models and techniques for adapting synthetic companions (e.g., virtual assistants, chatbots, social robots) to individual users. With the conversational modality so in vogue across disciplines, this track welcomes work highlighting the model and deployment of synthetic companions driven by conversational search and recommendation paradigms. Research Methods and Reproducibility This track invites submissions on methodologies to evaluate personalized systems, benchmarks, and measurement scales, with particular attention to the reproducibility of results and techniques. Furthermore, the track looks for submissions that report new insights from reproducing existing works. ? Submission and Review Process Submissions for any of the aforementioned tracks should have a maximum length of *14 pages* (excluding references) in the ACM new single-column format (https://www.acm.org/publications/proceedings-template). (Papers of any length up to 14 pages are encouraged; reviewers will comment on whether the size is appropriate for the contribution.)? Additional review criteria and submission link will be available shortly on the conference website: https://www.um.org/umap2023/?. Accepted papers will be included in the conference proceedings and presented at the conference. At least one author should register for the conference by the early registration date cut-off. UMAP uses a *double-blind* review process. Authors must omit their names and affiliations from their submissions; they should also avoid obvious identifying statements. For instance, citations to the authors' prior work should be in the third person. Submissions not abiding by anonymity requirements will be desk rejected.?? UMAP has a *no dual submission* policy, which is why full paper submissions should not be currently under review at another publication venue. Further, UMAP operates under the ACM Conference Code of Conduct (https://www.acm.org/about-acm/policy-against-harassment). Program Chairs ? Julia Neidhardt, TU Wien, Austria? ? Sole Pera, TU Delft, The Netherlands?????? ?? Contact information: umap2023-program at um.org -------------- next part -------------- An HTML attachment was scrubbed... URL: From marialemos72 at gmail.com Fri Oct 14 10:14:18 2022 From: marialemos72 at gmail.com (WorldCIST-2023) Date: Fri, 14 Oct 2022 11:14:18 +0100 Subject: [PlanetKR] WorldCIST'23 - World Conference on Information Systems and Technologies | Pisa, Italy | Deadline: November 6 Message-ID: <19976260926140@gmail-com> * Google Scholar H-Index = 25 * Indexed in WoS, Scopus, DBLP, etc. ------------------------------ ------------------------------ ------------------------------ ------------- WorldCIST'23 - 11st World Conference on Information Systems and Technologies Pisa, Italy, 4 - 6 April 2023 http://worldcist.org/ ------------------------------ ------------------------------ ------------------------------ ------------- Scope The WorldCist'23 - 11st World Conference on Information Systems and Technologies, to be held in Pisa, Italy, 4 - 6 April 2023, is a global forum for researchers and practitioners to present and discuss the most recent innovations, trends, results, experiences and concerns in the several perspectives of Information Systems and Technologies. We are pleased to invite you to submit your papers to WorldCist'23. All submissions will be reviewed on the basis of relevance, originality, importance and clarity. Themes Submitted papers should be related with one or more of the main themes proposed for the Conference: A) Information and Knowledge Management (IKM); B) Organizational Models and Information Systems (OMIS); C) Software and Systems Modeling (SSM); D) Software Systems, Architectures, Applications and Tools (SSAAT); E) Multimedia Systems and Applications (MSA); F) Computer Networks, Mobility and Pervasive Systems (CNMPS); G) Intelligent and Decision Support Systems (IDSS); H) Big Data Analytics and Applications (BDAA); I) Human-Computer Interaction (HCI); J) Ethics, Computers and Security (ECS) K) Health Informatics (HIS); L) Information Technologies in Education (ITE); M) Technologies for Biomedical Applications (TBA) N) Information Technologies in Radiocommunications (ITR); Types of Submissions and Decisions Four types of papers can be submitted: Full paper: Finished or consolidated R&D works, to be included in one of the Conference themes. These papers are assigned a 10-page limit. Short paper: Ongoing works with relevant preliminary results, open to discussion. These papers are assigned a 7-page limit. Poster paper: Initial work with relevant ideas, open to discussion. These papers are assigned to a 4-page limit. Company paper: Companies' papers that show practical experience, R & D, tools, etc., focused on some topics of the conference. These papers are assigned to a 4-page limit. Submitted papers must comply with the format of Advances in Intelligent Systems and Computing Series (see Instructions for Authors at Springer Website) , be written in English, must not have been published before, not be under review for any other conference or publication and not include any information leading to the authors? identification. Therefore, the authors? names, affiliations and bibliographic references should not be included in the version for evaluation by the Program Committee. This information should only be included in the camera-ready version, saved in Word or Latex format and also in PDF format. These files must be accompanied by the Consent to Publish form filled out, in a ZIP file, and uploaded at the conference management system. All papers will be subjected to a ?double-blind review? by at least two members of the Program Committee. Based on Program Committee evaluation, a paper can be rejected or accepted by the Conference Chairs. In the later case, it can be accepted as the type originally submitted or as another type. Thus, full papers can be accepted as short papers or poster papers only. Similarly, short papers can be accepted as poster papers only. Poster papers and Company papers are not published in the Conference Proceedings, being only presented and discussed. The authors of accepted poster papers should build and print a poster to be exhibited during the Conference. This poster must follow an A1 or A2 vertical format. The Conference includes Work Sessions where these posters are presented and orally discussed, with a 7 minute limit per poster. The authors of accepted Full papers will have 15 minutes to present their work in a Conference Work Session; approximately 5 minutes of discussion will follow each presentation. The authors of accepted Short papers and Company papers will have 11 minutes to present their work in a Conference Work Session; approximately 4 minutes of discussion will follow each presentation. Publication and Indexing To ensure that a full paper or short paper is published and presented, poster paper or company paper is presented, at least one of the authors must be fully registered by the 4th of January 2024, and the paper must comply with the suggested layout and page-limit. Additionally, all recommended changes must be addressed by the authors before they submit the camera-ready version. No more than one paper per registration will be published. An extra fee must be paid for publication of additional papers, with a maximum of one additional paper per registration. One registration permits only the participation of one author in the conference. Full and Short papers will be published in Proceedings by Springer, in several books of of the Lecture Notes in Networks and Systems series. Poster and company papers will not be published, just presented in the conference. Published Full and Short papers will be submitted for indexation by WoS, SCOPUS, DBLP and Google Scholar, among others, and will be available in the SpringerLink Digital Library. The authors of the best selected papers will be invited to extend them for publication in international journals indexed by WoS/SCI, SCOPUS and DBLP, among others, such as: International Journal of Neural Systems (IF: 5.866 / Q1) Integrated Computer-Aided Engineering (IF: 4.827 / Q1) Informatica (IF: 3.429 / Q1) Management Decision (IF: 5.589 / Q2) Expert Systems (IF: 2.812 / Q2) Computer Science and Information Systems (IF: 1.170 / Q3) Computer Methods in Biomechanics and Biomedical Engineering (IF: 1.669 / Q4) Data Technologies and Applications (IF: 1.667 / Q4) Computer Methods in Biomechanics and Biomedical Engineering - Imaging & Visualization (ESCI & SJR: 0.52 / Q2) Important Dates Paper Submission: November 6, 2022 Notification of Acceptance: December 23, 2022 Payment of Registration, to ensure the inclusion of an accepted paper in the conference proceedings: January 4, 2023. Camera-ready Submission: January 4, 2023 WorldCIST'23 Website: http://worldcist.org/ -- This email has been checked for viruses by AVG antivirus software. www.avg.com -------------- next part -------------- An HTML attachment was scrubbed... URL: From george at cs.ucy.ac.cy Fri Oct 14 14:14:16 2022 From: george at cs.ucy.ac.cy (George A. Papadopoulos) Date: Fri, 14 Oct 2022 17:14:16 +0300 Subject: [PlanetKR] 29th International European Conference on Parallel and Distributed Computing (Euro-Par 2023): First Call for Workshops and Minisymposia Message-ID: *** First Call for Workshops and Minisymposia *** 29th International European Conference on Parallel and Distributed Computing (Euro-Par 2023) August 28 - September 1, 2023, St. Raphael Resort, Limassol, Cyprus http://2023.euro-par.org SCOPE Euro-Par is the prime European conference covering all aspects of parallel and distributed processing, ranging from theory to practice, from small to the largest parallel and distributed systems and infrastructures, from fundamental computational problems to applications, from architecture, compiler, language and interface design and implementation, to tools, support infrastructures, and application performance aspects. To provide a meeting point for researchers to discuss and exchange new ideas and hot topics related to parallel and distributed computing and their applications, Euro-Par 2023 will co-locate workshops and, for the first time, minisymposia with the main conference. This is an invitation to send proposals for the workshop and, for the first time, a minisymposium program. Both workshops and minisymposia will be held on August 28 - August 29, 2023, the first two days of the conference. WORKSHOPS Workshop Proposal Guidelines The proposals should include the following information: - Workshop title and acronym, preference for length (half or full-day) - Information of the organizers, including a short biography of each organizer (5-10 lines). Each workshop will have a single main organizer, the corresponding contact. Others can be co-organizers. All the organizers must be a staff member at an institution or a company, and no PhD or other students can be organizers. - A tentative program committee (10-15 members) - Motivation of the workshop: * scientific objective * interest to the Euro-Par community * positioning with respect to the currently existing Euro-Par workshops - Description of the workshop: * content * format (contributed papers, invited talks, panels, posters or any other kind of activity including european project meetings) * organizational aspects - Workshop background (number of previous editions jointly with Europar or in any other format) - Link to international projects/initiatives The decision about the acceptance/rejection of a workshop proposal will be made on the basis of the overall quality of the proposal and the degree to which it matches the scope of the conference. In the case that several workshop proposals have very similar objectives and scopes, a merge of overlapping workshops may be recommended. The topics covered by a workshop should not overlap with the main topics of the conference. Decisions will be made on a rolling basis. Proposals can already be sent, and the organizers may be notified before the notification deadline in case of a strong proposal. Workshop Organizer Responsibilities - Preparing the call for papers for the workshop and publicizing it - Preparing and maintaining the workshop Web site including the relevant sections according to the organization guidelines - Selecting the workshop program committee considering that each member of the committee should make at least one review - Selecting papers through a rigorous peer-review process including at least three reviews per submission using the provided EasyChair installation and considering the possible conflicts of interest - Delivering the final workshop program to the Euro-Par 2020 conference co-chairs in time - Delivering the preliminary workshop proceedings in time before the conference - Providing the Euro-Par Steering Committee with a Management Report, after the conference, with key indicators such as: number of submitted and accepted papers, program committee and review process management - Delivering the final workshop proceedings with a revised version of the papers in time after the conference in the required Springer LNCS format (12 pages max.) and writing a preface to the workshop. Camera-ready papers will be published only if the management report has been delivered - Short papers can be accepted and presented at the workshop. However, to be included in the formal Springer proceedings, the minimum length is of 10 pages per paper - Registering for the conference - Meet the deadlines according to the organization guidelines Workshop Proceedings and Paper Review The workshop proceedings will be published in a separate LNCS workshop volume after the conference. The principal coordinator of each workshop will appear as co-editor of the workshop volume. Registered workshop participants will receive an electronic copy of the volume by email. All authors of accepted papers will be requested to sign a Springer copyright form. The Euro-Par organizers will provide an EasyChair setup for all Euro-Par 2020 workshops, and its use is mandatory to facilitate paper submissions, reviewing, and collecting the camera-ready versions. The workshop papers will not be published in the proceedings otherwise. Each workshop will be an independent track within the Workshops' EasyChair installation, but it will be fully manageable by the respective organizers. Papers of less than 10 pages will be considered as short papers that can be presented at the conference but not published in the proceedings. (Submission address and deadline at the end) MINISYMPOSIA A minisymposium is a session of coordinated presentations for promoting interdisciplinary communication on a topic of current interest and importance in the field of parallel and distributed computing, ideally having potential application in other domains. The length and program will be decided by the organizers; half-day (three-hour) minisymposia are very welcome, longer is possible, not exceeding one day (6 hours). The contributions to the minisymposia will not be published in the proceedings. Minisymposium Proposal Guidelines The proposals should include the following information: - Minisymposium title and acronym, preference for length (half or full-day) - Information of the organizers (full name, affiliation, country and email address), including a short biography of each organizer (5-10 lines). Each minisymposium will have a single main organizer, the corresponding contact. Others can be co-organizers. - Motivation and scope of the minisymposium: * Problem area to be addressed by the speakers and possible applications [max 1500 characters]; * Description of target audience and estimated number of participants [max 1500 characters] * Link to international projects/initiatives - Format (contributed papers, invited talks, panels, posters or any other kind of activity including European project meetings), - Speakers: * a tentative list of speakers detailing their names, affiliation, email address and title of their presentations. Nominated speakers should be approached in advance and should have agreed that they will participate. * companies and/or institutions involved Minisymposium Selection Process All the submitted proposals will be assessed by the organizing committee. The decision about the acceptance/rejection of a minisymposium proposal will be made on the basis of the overall quality of the proposal and the degree to which it matches the scope of the conference. Overlapping minisymposia will be avoided (or possibly merged). Decisions will be made on a rolling basis. Proposals can already be sent, and the organizers may be notified before the notification deadline. Minisymposium Organizer Responsibilities Minisymposium organizers will be in charge of making publicity of the minisymposium and specify the number of talks and other activities. The contributions will be sent to the same web page as the contributions for the workshops. The review process will be decided by the minisymposium organizers. One of the organizers will be the contact with the conference organization. - Preparing the call for papers for the workshop and publicizing it - Preparing and maintaining the minisymposium website mentioning the Euro-Par vinculation. - Deciding the length of the minisymposium, the program and type of activities and the names of the speakers. - Use the provided EasyChair installation for receiving the contributions - Delivering the program to the Euro-Par 2023 conference co-chairs in time - Providing the Euro-Par Steering Committee with a Management Report, after the conference, summarizing the experience and including number of persons involved in the activities as well as any consideration useful for future editions. - Registering for the conference as well as all the participants to the minisymposium. - Meet the deadlines according to the organization guidelines Minisymposium publication The contributions to the minisymposia will not be published in the proceedings. However, the organizers are invited to send one non-compulsory 4-page summary of the minisymposium. The document should summarize the scientific discussion promoted by the minisymposium and it will be published in the same LNCS volume as the workshop proceedings after the conference. The authors of the summary will be requested to sign a Springer copyright form. SUBMISSION (for Workshop and Minisymposium Organizers) Workshop and Minisymposium proposals should be sent in PDF format via email to the workshop co-chairs (contact details at the end of this call). An email verification will be sent to each successful submission. In case the verification is not received, submitters are asked to contact the workshop chairs. IMPORTANT DATES (for Workshop and Minisymposium Organizers) - Workshop and minisymposium proposals due: February 10, 2023 - Workshop and minisymposium notifications: February 24, 2023 - Workshop website online and launches of Call for Workshop Papers: March 24, 2023 - Workshop and minisymposium dates: August 28-29, 2023 - Workshop and minisymposium management report summarizing the experience and results of the activity due: September 15, 2023 WORKSHOP CO-CHAIRS - Demetris Zeinalipour, University of Cyprus, Cyprus (dzeina-AT-ucy.ac.cy) - Dora Blanco Heras, University of Santiago de Compostela, Spain (dora.blanco-AT- usc.es) -------------- next part -------------- An HTML attachment was scrubbed... URL: From george at cs.ucy.ac.cy Sat Oct 15 11:11:50 2022 From: george at cs.ucy.ac.cy (George A. Papadopoulos) Date: Sat, 15 Oct 2022 14:11:50 +0300 Subject: [PlanetKR] =?utf-8?q?UMAP_=E2=80=9923=3A_31st_ACM_Conference_on_?= =?utf-8?q?User_Modeling=2C_Adaptation_and_Personalization=3A_First_Call_f?= =?utf-8?q?or_Workshop_and_Tutorial_Proposals?= Message-ID: *** First Call for Workshop and Tutorial Proposals *** UMAP ?23: 31st ACM Conference on User Modeling, Adaptation and Personalization June 26 - 29, 2023, St. Raphael Resort, Limassol, Cyprus https://www.um.org/umap2023/? Proposals due: January 16, 2023 Submission site: https://easychair.org/conferences/?conf=umap23 PROPOSAL FORMAT Workshop and tutorial proposals should be submitted in PDF format via the Easy Chair submission site: https://easychair.org/conferences/?conf=umap23, not exceeding 5 pages, and following the ACM single-column format. DETAILED INSTRUCTIONS FOR PROPOSALS ? For tutorials: https://www.um.org/umap2023/call-for-tutorials/ ? For workshops: https://www.um.org/umap2023/call-for-workshops/ WORKSHOP PROPOSALS ACM UMAP 2023, the premier international conference for researchers and practitioners working on systems that adapt to individual users or to groups of users, and which collect, represent, and model user information, is pleased to invite proposals for workshops to be held in conjunction with the conference. The workshops provide a venue to discuss and explore emerging areas of User Modeling and Adaptive Hypermedia research with a group of like-minded researchers and practitioners from industry and academia. In this edition, our goal is to have a balanced workshop program comprising different workshop formats, combining newly emerging, currently evolving and established research topics. Different full-day and half-day workshop schemas are possible, such as: ? Working group meetings around a specific problem or topic; participants may be asked to submit a white paper or position statement ? Mini-conferences on specialized topics, having their own paper submission and review processes ? Mini-competitions or challenges around selected topics with individual or team participation ? Interactive discussion meetings focusing on subtopics of the UMAP general research topics ? Joint panels for different workshops We encourage both researchers and industry practitioners to submit workshop proposals. Researchers interested in submitting a workshop proposal are invited to contact us in advance, so we can help to design successful proposals. In particular, for workshop proposals with novel interactive formats, we are happy to assist in further developing and implementing the ideas. We strongly suggest involving organizers from different institutions, bringing different perspectives to the workshop topic. We welcome workshops with a creative structure that may attract various types of contributions and may ensure rich interactions. The organizers of accepted workshops will prepare a workshop web site containing the call for papers and detailed information about the workshop organization and timeline. They will be responsible for their own publicity and reviewing processes. There will be a conference adjunct proceedings published by ACM where all the workshop papers will be published. Hence, the workshop organizers will need to adhere to the adjunct proceedings publication timeline. IMPORTANT DATES FOR WORKSHOP PROPOSALS ? Proposal submission: January 16, 2023 ? Notification of proposal acceptance: January 30, 2023 ? Send the workshop description & website URL: February 23, 2023 ? Workshop Date: June 26, 2023 Deadlines refer to 23:59 in the AoE (Anywhere on Earth) time zone. TUTORIAL PROPOSALS Topics of interest include, but are not limited to: ? New user modeling technologies, methods, techniques, and trends (e.g. exploiting data mining and big data analytics for user modeling, evaluation methodologies, data visualization, etc.) ? User modeling and personalization techniques for specific domains (e.g., health sciences, e-government, e-commerce, cultural heritage, education, internet of things, mobile, music, information retrieval, etc.) ? Application of user modeling and personalization techniques for information retrieval and recommender systems ? Eliciting and learning user preferences by taking into account users? emotional state, physical state, personality, trust, cognitive factors An ideal tutorial should be broad enough to provide a basic introduction to the chosen area, but it should also cover the most important topics in depth. Tutorial presenters can have one page in the adjunct proceedings. IMPORTANT DATES FOR TUTORIAL PROPOSALS Proposals due: January 16, 2023 Notification of acceptance: January 30, 2023 Camera-ready tutorial summary: May 18, 2023 Adjunct proceedings camera ready: May 18, 2023 Tutorial Day: June 26, 2023 Deadlines refer to 23:59 in the AoE (Anywhere on Earth) time zone. WORKSHOPS AND TUTORIALS CHAIRS ? Veronika Bogina, Haifa University, Israel sveron AT gmail.com ? Antonela Tommasel, ISISTAN, CONICET-UNICEN antonela.tommasel AT isistan.unicen.edu.ar -------------- next part -------------- An HTML attachment was scrubbed... URL: From nsmattei at tulane.edu Fri Oct 21 16:47:51 2022 From: nsmattei at tulane.edu (Nicholas Mattei) Date: Fri, 21 Oct 2022 11:47:51 -0500 Subject: [PlanetKR] 2023 ACM/SIGAI Autonomous Agents Research Award Now Accepting Applications Message-ID: All, Nominations are solicited for the 2023 ACM SIGAI Autonomous Agents Research Award. This award is made for excellence in research in the area of autonomous agents. It is intended to recognize researchers in autonomous agents whose current work is an important influence on the field. The award is an official ACM award, funded by an endowment created by ACM SIGAI from the proceeds of previous Autonomous Agents conferences. The recipient of the award will receive a monetary prize and a certificate, and will be invited to present a plenary talk at the AAMAS 2023 conference in London, United Kingdom. How to Nominate Anyone can make a nomination. Nominations should be made by email to the chair of the award committee, Manuela Veloso (mmv at cs.cmu.edu), and should consist of a short (< 1 page) statement that emphasizes not only the research contributions that the individual has made that merit the award but also how the individual?s current work is an important influence on the field. NOTE: a candidate can only be considered for the award if they are explicitly nominated. If you believe that someone deserves the award, then NOMINATE THEM ? don?t assume that somebody else will! Important Dates 15 November 2022 ? Deadline for nominations 15 December 2022 ? Announcement of winner 29 May ? 2 June 2023 ? AAMAS-2023 conference in London, United Kingdom More Information: https://sigai.acm.org/main/the-acm-sigai-autonomous-agents-research-award/ -- *Nicholas Mattei* Assistant Professor, Tulane University nsmattei at tulane.edu | www.nickmattei.net Stanley Thomas Hall | 402B +1 504 862 8391 Department of Computer Science Tulane University 6823 St Charles Ave New Orleans, LA 70118 -------------- next part -------------- An HTML attachment was scrubbed... URL: From marialemos72 at gmail.com Sat Oct 22 20:51:28 2022 From: marialemos72 at gmail.com (CISTI-2023) Date: Sat, 22 Oct 2022 21:51:28 +0100 Subject: [PlanetKR] CISTI'2023 - Call for Workshops Proposals | Aveiro, Portugal Message-ID: <1864382136953@gmail-com> * Google Scholar H5-Index = 22 * Indexed in Scopus, WoS, Inspec, Google Scholar, etc. ------------------------------ CALL for WORKSHOPS PROPOSALS ------------------------------ --------- CISTI'2023 - 18th Iberian Conference on Information Systems and Technologies 20 - 23 June 2023, Aveiro Portugal http://www.cisti.eu/ ------------------------------ ------------------------------ ------------------------------ ----------------------------- Workshop Format The Information Systems and Technologies research and industrial community is invited to submit proposals of Workshops for CISTI 2023 ? 18th Iberian Conference on Information Systems and Technologies to be held in Aveiro, Portugal, June 20?23, 2023. Two types of Workshops may be proposed: Regular Workshops and Project Workshops. Regular Workshops should focus on a specific scientific subject on the scope of CISTI 2023 but not directly included on the main conference areas. Each regular workshop will be coordinated by an Organizing Committee composed of, at least, two researchers in the field, preferably from different institutions and different countries. The organizers should create an international Program Committee for the Workshop, with recognized researchers within the specific Workshop scientific area. Each workshop should have at least 10 submissions and 5 accepted papers in order to be conducted at CISTI. Project Workshops are intended to promote the dissemination and facilitate the future exploitation of EU Latin-American and national project results such as EU/FP7, EU/Horizon, CSIC, FCT, QREN, Portugal 2020, Fund. Gulbenkian, CYTED, CAPES, CNPq, FINEP and other Projects/funding sources. The results to be disseminated may be preliminary project results (for unfinished projects) or the project final results (for already finished projects). Each project workshop should be directly related to a Project funded in a competitive manner by a National/International Science Organization. The Workshop should be coordinated by an Organizing Committee composed by at least two researchers including the Principal Investigator of the project. Each Workshop will have 1 article offered for 10 articles with paid registration, 2 articles offered for 20 articles with paid registration, and 3 articles offered for 40 articles with paid registration. The selection of Workshops will be performed by CISTI 2022 Conference Chairs. Workshops full papers will be published in the conference main proceedings in specific Workshop chapters. Proceedings will be submitted for indexation by WoS, SCOPUS, EI-Conpendex, INSPEC and Google Scholar. Detailed and up-to-date information may be found at CISTI 2023 website: http://www.cisti.eu/ . Workshop Organization The Organizing Committee of each Workshop will be responsible for: * Producing and distributing the Workshop Call for Papers (CFP); * Coordinating the review and selection process for the papers submitted to the Workshop, as Workshop chairs (on the paper submission system installed for all the Workshops); * Delivering the final versions of the papers accepted for the Workshop in accordance with the guidelines and deadlines defined by CISTI 2023 organizers; * Coordinating and chairing the Workshop sessions at the conference. CISTI 2023 organizers reserve the right to cancel any Workshop if deadlines are missed or if the number of registered attendees is too low to support the costs associated with the Workshop. Proposal Contents Regular Workshop proposals should contain the following information: * Workshop title; * Brief description of the specific scientific scope of the Workshop; * List of topics of interest (max 15 topics); * Reasons the Workshop should be held within CISTI?2023; * Name, postal address, phone and email of all the members of the Workshop Organizing Committee; * Proposal for the Workshop Program Committee (Names and affiliations). Project Workshop proposals should contain the following information: * Workshop title; * Project Title, Reference, Principal Investigator, Funding Organization, Total Funding, Consortium, Abstract and Objectives; * Reasons the Workshop should be held within CISTI?2023; * Name, postal address, phone and email of all the members of the Workshop Organizing Committee. Proposals should be submitted electronically (in Word or compatible format) at https://easychair.org/ conferences/?conf= cisti2023workshops, in English, Portuguese and/or Spanish, by November 13, 2021. Important Dates * Deadline for Workshop proposals: November 13, 2022 * Notification of Workshop acceptance: November 20, 2022 * Deadline for paper submission: February 26, 2023 * Notification of paper acceptance: March 26, 2023 * Deadline for final versions and conference registration: April 9, 2023 * Deadline for Workshop final papers delivery to CISTI organizers: April 9, 2023 * Conference dates: June 20-23, 2023 Website of CISTI'2023: http://cisti.eu/ -- This email has been checked for viruses by AVG antivirus software. www.avg.com -------------- next part -------------- An HTML attachment was scrubbed... URL: From marialemos72 at gmail.com Sat Oct 22 21:17:53 2022 From: marialemos72 at gmail.com (CISTI-2023) Date: Sat, 22 Oct 2022 22:17:53 +0100 Subject: [PlanetKR] CISTI'2023 - Call for Workshops Proposals | Aveiro, Portugal Message-ID: <13240383721765@gmail-com> * Google Scholar H5-Index = 22 * Indexed in Scopus, WoS, Inspec, Google Scholar, etc. ------------------------------ CALL for WORKSHOPS PROPOSALS ------------------------------ --------- CISTI'2023 - 18th Iberian Conference on Information Systems and Technologies 20 - 23 June 2023, Aveiro Portugal http://www.cisti.eu/ ------------------------------ ------------------------------ ------------------------------ ----------------------------- Workshop Format The Information Systems and Technologies research and industrial community is invited to submit proposals of Workshops for CISTI 2023 ? 18th Iberian Conference on Information Systems and Technologies to be held in Aveiro, Portugal, June 20?23, 2023. Two types of Workshops may be proposed: Regular Workshops and Project Workshops. Regular Workshops should focus on a specific scientific subject on the scope of CISTI 2023 but not directly included on the main conference areas. Each regular workshop will be coordinated by an Organizing Committee composed of, at least, two researchers in the field, preferably from different institutions and different countries. The organizers should create an international Program Committee for the Workshop, with recognized researchers within the specific Workshop scientific area. Each workshop should have at least 10 submissions and 5 accepted papers in order to be conducted at CISTI. Project Workshops are intended to promote the dissemination and facilitate the future exploitation of EU Latin-American and national project results such as EU/FP7, EU/Horizon, CSIC, FCT, QREN, Portugal 2020, Fund. Gulbenkian, CYTED, CAPES, CNPq, FINEP and other Projects/funding sources. The results to be disseminated may be preliminary project results (for unfinished projects) or the project final results (for already finished projects). Each project workshop should be directly related to a Project funded in a competitive manner by a National/International Science Organization. The Workshop should be coordinated by an Organizing Committee composed by at least two researchers including the Principal Investigator of the project. Each Workshop will have 1 article offered for 10 articles with paid registration, 2 articles offered for 20 articles with paid registration, and 3 articles offered for 40 articles with paid registration. The selection of Workshops will be performed by CISTI 2022 Conference Chairs. Workshops full papers will be published in the conference main proceedings in specific Workshop chapters. Proceedings will be submitted for indexation by WoS, SCOPUS, EI-Conpendex, INSPEC and Google Scholar. Detailed and up-to-date information may be found at CISTI 2023 website: http://www.cisti.eu/ . Workshop Organization The Organizing Committee of each Workshop will be responsible for: * Producing and distributing the Workshop Call for Papers (CFP); * Coordinating the review and selection process for the papers submitted to the Workshop, as Workshop chairs (on the paper submission system installed for all the Workshops); * Delivering the final versions of the papers accepted for the Workshop in accordance with the guidelines and deadlines defined by CISTI 2023 organizers; * Coordinating and chairing the Workshop sessions at the conference. CISTI 2023 organizers reserve the right to cancel any Workshop if deadlines are missed or if the number of registered attendees is too low to support the costs associated with the Workshop. Proposal Contents Regular Workshop proposals should contain the following information: * Workshop title; * Brief description of the specific scientific scope of the Workshop; * List of topics of interest (max 15 topics); * Reasons the Workshop should be held within CISTI?2023; * Name, postal address, phone and email of all the members of the Workshop Organizing Committee; * Proposal for the Workshop Program Committee (Names and affiliations). Project Workshop proposals should contain the following information: * Workshop title; * Project Title, Reference, Principal Investigator, Funding Organization, Total Funding, Consortium, Abstract and Objectives; * Reasons the Workshop should be held within CISTI?2023; * Name, postal address, phone and email of all the members of the Workshop Organizing Committee. Proposals should be submitted electronically (in Word or compatible format) at https://easychair.org/ conferences/?conf= cisti2023workshops, in English, Portuguese and/or Spanish, by November 13, 2022. Important Dates * Deadline for Workshop proposals: November 13, 2022 * Notification of Workshop acceptance: November 20, 2022 * Deadline for paper submission: February 26, 2023 * Notification of paper acceptance: March 26, 2023 * Deadline for final versions and conference registration: April 9, 2023 * Deadline for Workshop final papers delivery to CISTI organizers: April 9, 2023 * Conference dates: June 20-23, 2023 Website of CISTI'2023: http://cisti.eu/ -- This email has been checked for viruses by AVG antivirus software. www.avg.com -------------- next part -------------- An HTML attachment was scrubbed... URL: From a.artikis at iit.demokritos.gr Mon Oct 24 05:00:00 2022 From: a.artikis at iit.demokritos.gr (Alexander Artikis) Date: Mon, 24 Oct 2022 08:00:00 +0300 Subject: [PlanetKR] TIME 2022: Call for participation Message-ID: ****** TIME 2022 ****** 29th International Symposium on Temporal Representation and Reasoning 7-9 November, 2022 - Online http://time22.time-symposium.org *** TIME 2022 will take place via zoom. Please subscribe to the TIME 2022 mailing list (http://time-symposium.org/mailman/listinfo/time2022_time-symposium.org ) in order to receive the instructions for connecting to the zoom meeting of the symposium. *** Registration is free. *** The program of TIME 2022 is available: http://time22.time-symposium.org/#program -------------- next part -------------- An HTML attachment was scrubbed... URL: From k.s.schlobach at vu.nl Mon Oct 24 20:55:55 2022 From: k.s.schlobach at vu.nl (Stefan Schlobach) Date: Mon, 24 Oct 2022 22:55:55 +0200 Subject: [PlanetKR] Fully funded PhD position in Knowledge Representation Methods for Security and Threat Intelligence at VU Amsterdam Message-ID: <5dae203e-694b-d904-0f00-4d90da4a0642@vu.nl> Dear colleagues, Vrije Universiteit Amsterdam offers three fully funded PhD position in a multi-disciplinary research project on 'Hybrid Explainable Workflows for Security and Threat Intelligence'. One of those positions is in the field of Knowledge Representation and Reasoning. The research challenges include (graph-based) modelling of the uncertainty and provenance of decision processes in security and threat intelligence, allowing non-standard (such as what-if or abductive) reasoning to increase proportionality and transparency. More details can be found here: https://werkenbij.vu.nl/ad/phd-position-on-security-and-intelligence/5vynil The position will be in the KAI? group, rooted in? the internationally renowned Knowledge Representation and Reasoning research group of the VU Amsterdam, where we research the representation,? acquisition,? extraction? and management? of explicitly modelled,? mostly? symbolic,? knowledge? and? the usage of such? knowledge? in? artificial intelligent agents. The application deadline is 15/11/2022. Best regards Stefan ---- Stefan Schlobach Associate Professor at Department of Computer Science Knowledge in Artificial Intelligence Group VU Amsterdam -- This email has been checked for viruses by Avast antivirus software. www.avast.com From george at cs.ucy.ac.cy Tue Oct 25 05:47:29 2022 From: george at cs.ucy.ac.cy (George A. Papadopoulos) Date: Tue, 25 Oct 2022 08:47:29 +0300 Subject: [PlanetKR] Second International Conference on ICT for Health, Accessibility and Wellbeing (IHAW 2022): Final Call for Late Breaking Results Message-ID: *** Final Call for Late Breaking Results *** Second International Conference on ICT for Health, Accessibility and Wellbeing (IHAW 2022) December 5-7, 2022, Virtual Event https://cyprusconferences.org/ihaw2022 (Proceedings to be published by Springer in CCIS; Journal Special Issues with SN Computer Science (Springer) and Smart Health (Elsevier); Best Paper Award sponsored by MDPI "Sensors" with 300 CHF) *** Deadline: November 1st, AoE (firm!) *** IHAW 2022 accepts now submissions for late breaking results. The instructions to authors remain the same, as for the regular submissions. Accepted papers will be published in the same proceedings volume with the regular submissions and will be eligible both for the Best Paper Award and to be selected for the special journal issues that will be prepared after the conference. ICT for Health, Accessibility and Wellbeing (IHAW 2022) is the second of the series of International Conferences on "ICT for Societal Challenges". It is a showcase for high quality oral and poster presentations and demonstrations sessions. This conference aims to be a platform for multi and interdisciplinary research at the interplay between Information and Communication Technologies, Biomedical, Neuro-cognitive, and Experimental research. This research includes the design, experimental evaluation and standardization of new ICT scalable systems and in-silico systems for new and future inclusive and sustainable technologies that benefit all: healthy people, people with disabilities or other impairments, people having chronic diseases, etc. User-centered design and innovation, new intuitive ways of human -computer interaction, and user acceptance are the topics of particular interest. Conference Topics Relevant topics include (but are not limited to) the following: Artificial Intelligence, Computation and Data Analytics ? Artificial Intelligence methods for medical device testing. ? Algorithms, methods and services for condition-specific intervention (e.g., diabetes, obesity, dementia, post cancer treatment, allergies, mental health). ? Algorithms, methods and services for predicting and monitoring infectious disease. ? Crowd-sourcing and social media analysis for predicting and monitoring infectious disease. ? Medical Data and/or Medical Image Analysis. ? Electronic Medical Records Analysis. ? Computational methods for medical devices. Human Computer Interaction and Cognition ? Human-Machine Interaction for healthcare and well-being. ? Cognitive Mechatronics for healthcare and well-being. ? Models for human-device interaction for medicine. ? Cobotics for healthcare and well-being. ? Model-based design and configuration tools for healthcare and well-being. Assistive Devices ? Precision medicine. ? ICT for in-silicon trials. ? Implantable medical devices. ? Multimodal assistive ICT devices to empower people with sensory, cognitive, motor, balance and spatial impairments. ICT & Wellbeing ? Age-friendly systems for active and healthy ageing (telepresence, robotics solutions, innovative solutions for independent living, innovative elderly care, integrated care, age-related risks prevention/detection). ? ICT systems to improve the quality of life and for daily life activities assistance (education, recreation, and nutrition). ? Smart living homes and wearables (Intelligent and personalized digital solutions for sustaining and extending healthy and independent living; personalized early risk detection and intervention). ? Smart Systems and services promoting access to the socio-economical and cultural environment. ? IoT and smart real-time surveillance systems for monitoring, auditing and control to prevent the spread of the pandemic. ? eHealth smart solutions in the fight against a COVID-19 like pandemic. ? IoT and Smart Healthcare systems with an environmentally friendly and sustainable footprint. Health Infrastructure and Healthcare Operation Services ? Distributed and connected digital healthcare services. ? IoT services for real-time monitoring of health data and status of patients and/or older adults. ? Wearable devices and IoT systems for remote monitoring of health data and status of patients and/or older adults. ? mHealth services and applications using mobile and wearable devices to collect community and clinical health data, and deliver healthcare information to practitioners, researchers and patients. ? Sustainable city environments for emergency health management. ? 5G and beyond for healthcare in sustainable smart cities. ? Wireless Sensor Networks for advanced smart healthcare in sustainable cities. Quality in Healthcare Systems ? New experimental validation methods with end-users. ? Systems and services for ensuring patient?s commitment to the medication schedule. ? Digital health systems and tools for health care professional training and workforce development. ? Communication systems and services improving the quality of patient and healthcare provider contact before, during and after admission. ? Methods and Technology for Improving the quality of services-oriented care delivery systems. ? Methods, Digital Tools and/or Services for inclusive-for-all healthcare systems. ? Co-Creation of healthcare systems for social well being of people with special needs, older adults and/or deprivileged or disadvantaged people. ? Systems for management of health and care (mental health, pain, neurological disorders, sight, hearing, balance, space awareness; sensory based physiological and psychological non-invasive measurements, preventive healthcare, m-healthcare, e-healthcare, integrated care, serious games, electronic health record, self- management, patient-centered systems for survivorship, palliation and/or end-of-life care). Privacy, Security & Standardization ? Standardization, certification, labelling, and communication issues (related to ageing well, to sensory impairment). ? Privacy and Security/Regulation compliant services in health care systems (e.g., HIPAA). ? Security and privacy of digital health systems and service. ? Socio-economic issues of smart healthcare in sustainable societies. ? Privacy, security and ethics in eHealth smart solutions and surveillance at scale in the fight against a COVID-19 pandemic. High-quality original submissions that address such future issues, show the design and evaluation in (near-) real scenarios, explain how to benchmark systems, and outline the education and training procedures for acquiring new perceptual skills while using such systems are welcome. Research and technical papers are expected to present significant and original contributions validated with the targeted end-users. Submissions should clearly state the progress beyond the existing state-of- the-art and the expected societal benefits of the developed technology. When possible, validate scenarios with the target user groups and well-identified technology readiness levels (https://en.wikipedia.org/wiki/Technology_readiness_level) should be at least outlined. Submissions We invite Research and Technical papers, up to 15 pages, describing original unpublished research, making a substantial contribution to the research field. All submissions will be reviewed by the Program Committee. As was the case for IHAW 2021, the proceedings of IHAW 2022 will be published by Springer in the Communications in Computer and Information Science (CCIS) series (https://www.springer.com/series/7899) and will be presented in the technical sessions of the conference. The Best Paper Award is sponsored by MDPI "Sensors" with 300 CHF. The authors of the best papers accepted and presented at IHAW2022 will be invited to submit extended versions of their papers for further review and possible inclusion in either of two Journal Special Issues that will be organised with SN Computer Science (Springer) and Smart Health (Elsevier). Submissions of all types should be carefully formatted according to the Springer format for conference proceedings: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines . The submission process will be handled through Easy Chair and the submission link is: https://easychair.org/my/conference?conf=icihaw2022 . Important Dates ? Submission Deadline: November 1, 2022 (AoE, firm!) ? Notification: November 15, 2022 ? Camera-Ready Submission Deadline: November 24, 2022 ? Author Registration Deadline: November 24, 2022 Organizers Honorary General Chair ? Edwige Pissaloux, University of Rouen Normandy, France General Chair ? George A. Papadopoulos, University of Cyprus, Cyprus Scientific Chair ? Achilleas Achilleos, Frederick University, Cyprus Scientific Vice-Chair ? Ramiro Velazquez, Universidad Panamericana, Mexico Publicity Chair ? Jessica Allingham, Lakehead University, Canada Finance Chair ? Petros Stratis, Easy Conferences LTD, Cyprus Steering and Program Committee ? https://cyprusconferences.org/ihaw2022/committees/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From loizos at ouc.ac.cy Tue Oct 25 10:27:04 2022 From: loizos at ouc.ac.cy (Loizos Michael) Date: Tue, 25 Oct 2022 10:27:04 +0000 Subject: [PlanetKR] Adjunct Faculty positions at Open University of Cyprus Message-ID: <1666693624596.68596@ouc.ac.cy> Dear colleagues, The Open University of Cyprus is looking for Adjunct Faculty members for the following two courses offered as part of the M.Sc. in Cognitive Systems program of studies (https://www.ouc.ac.cy/index.php/en/studies/master/cos): COS524: "Natural Language Processing" (spring semester) COS613: "Cognitive Agents and Reasoning" (fall semester) Courses are offered in English, through a distance-learning methodology. Details about the application process are here: https://www.ouc.ac.cy/index.php/en/news-events/news/2595-sepx2022 Regards, Loizos -------------- next part -------------- An HTML attachment was scrubbed... URL: From marialemos72 at gmail.com Tue Oct 25 17:10:15 2022 From: marialemos72 at gmail.com (WorldCIST-2023) Date: Tue, 25 Oct 2022 18:10:15 +0100 Subject: [PlanetKR] WorldCIST'23 - World Conference on Information Systems and Technologies | Pisa, Italy | Deadline: November 20 Message-ID: <27464628059562@gmail-com> * Indexed in WoS, Scopus, DBLP, etc. * Google Scholar H-Index = 25 ------------------------------ ------------------------------ ------------------------------ ------------- WorldCIST'23 - 11st World Conference on Information Systems and Technologies Pisa, Italy, 4 - 6 April 2023 http://worldcist.org/ ------------------------------ ------------------------------ ------------------------------ ------------- Scope The WorldCist'23 - 11st World Conference on Information Systems and Technologies, to be held in Pisa, Italy, 4 - 6 April 2023, is a global forum for researchers and practitioners to present and discuss the most recent innovations, trends, results, experiences and concerns in the several perspectives of Information Systems and Technologies. We are pleased to invite you to submit your papers to WorldCist'23. All submissions will be reviewed on the basis of relevance, originality, importance and clarity. Themes Submitted papers should be related with one or more of the main themes proposed for the Conference: A) Information and Knowledge Management (IKM); B) Organizational Models and Information Systems (OMIS); C) Software and Systems Modeling (SSM); D) Software Systems, Architectures, Applications and Tools (SSAAT); E) Multimedia Systems and Applications (MSA); F) Computer Networks, Mobility and Pervasive Systems (CNMPS); G) Intelligent and Decision Support Systems (IDSS); H) Big Data Analytics and Applications (BDAA); I) Human-Computer Interaction (HCI); J) Ethics, Computers and Security (ECS) K) Health Informatics (HIS); L) Information Technologies in Education (ITE); M) Technologies for Biomedical Applications (TBA) N) Information Technologies in Radiocommunications (ITR); Types of Submissions and Decisions Four types of papers can be submitted: Full paper: Finished or consolidated R&D works, to be included in one of the Conference themes. These papers are assigned a 10-page limit. Short paper: Ongoing works with relevant preliminary results, open to discussion. These papers are assigned a 7-page limit. Poster paper: Initial work with relevant ideas, open to discussion. These papers are assigned to a 4-page limit. Company paper: Companies' papers that show practical experience, R & D, tools, etc., focused on some topics of the conference. These papers are assigned to a 4-page limit. Submitted papers must comply with the format of Advances in Intelligent Systems and Computing Series (see Instructions for Authors at Springer Website) , be written in English, must not have been published before, not be under review for any other conference or publication and not include any information leading to the authors? identification. Therefore, the authors? names, affiliations and bibliographic references should not be included in the version for evaluation by the Program Committee. This information should only be included in the camera-ready version, saved in Word or Latex format and also in PDF format. These files must be accompanied by the Consent to Publish form filled out, in a ZIP file, and uploaded at the conference management system. All papers will be subjected to a ?double-blind review? by at least two members of the Program Committee. Based on Program Committee evaluation, a paper can be rejected or accepted by the Conference Chairs. In the later case, it can be accepted as the type originally submitted or as another type. Thus, full papers can be accepted as short papers or poster papers only. Similarly, short papers can be accepted as poster papers only. Poster papers and Company papers are not published in the Conference Proceedings, being only presented and discussed. The authors of accepted poster papers should build and print a poster to be exhibited during the Conference. This poster must follow an A1 or A2 vertical format. The Conference includes Work Sessions where these posters are presented and orally discussed, with a 7 minute limit per poster. The authors of accepted Full papers will have 15 minutes to present their work in a Conference Work Session; approximately 5 minutes of discussion will follow each presentation. The authors of accepted Short papers and Company papers will have 11 minutes to present their work in a Conference Work Session; approximately 4 minutes of discussion will follow each presentation. Publication and Indexing To ensure that a full paper or short paper is published and presented, poster paper or company paper is presented, at least one of the authors must be fully registered by the 4th of January 2024, and the paper must comply with the suggested layout and page-limit. Additionally, all recommended changes must be addressed by the authors before they submit the camera-ready version. No more than one paper per registration will be published. An extra fee must be paid for publication of additional papers, with a maximum of one additional paper per registration. One registration permits only the participation of one author in the conference. Full and Short papers will be published in Proceedings by Springer, in several books of of the Lecture Notes in Networks and Systems series. Poster and company papers will not be published, just presented in the conference. Published Full and Short papers will be submitted for indexation by WoS, SCOPUS, DBLP and Google Scholar, among others, and will be available in the SpringerLink Digital Library. The authors of the best selected papers will be invited to extend them for publication in international journals indexed by WoS/SCI, SCOPUS and DBLP, among others, such as: International Journal of Neural Systems (IF: 5.866 / Q1) Integrated Computer-Aided Engineering (IF: 4.827 / Q1) Informatica (IF: 3.429 / Q1) Management Decision (IF: 5.589 / Q2) Expert Systems (IF: 2.812 / Q2) Computer Science and Information Systems (IF: 1.170 / Q3) Computer Methods in Biomechanics and Biomedical Engineering (IF: 1.669 / Q4) Data Technologies and Applications (IF: 1.667 / Q4) Computer Methods in Biomechanics and Biomedical Engineering - Imaging & Visualization (ESCI & SJR: 0.52 / Q2) Important Dates Paper Submission: November 20, 2022 Notification of Acceptance: December 23, 2022 Payment of Registration, to ensure the inclusion of an accepted paper in the conference proceedings: January 4, 2023. Camera-ready Submission: January 4, 2023 WorldCIST'23 Website: http://worldcist.org/ -- This email has been checked for viruses by AVG antivirus software. www.avg.com -------------- next part -------------- An HTML attachment was scrubbed... URL: From carlo.taticchi at unipg.it Tue Oct 25 12:56:43 2022 From: carlo.taticchi at unipg.it (Carlo Taticchi) Date: Tue, 25 Oct 2022 12:56:43 +0000 Subject: [PlanetKR] KRR@sac2023 October 24 New Extended Deadline Message-ID: ############################################################### The 38th ACM SIGAPP Symposium On Applied Computing Tallinn Estonia March 27 - April 2, 2023 Track on Knowledge Representation and Reasoning (KRR) Website: http://www.dmi.unipg.it/bista/organizing/KRR at sac2023 SUBMISSION DEADLINE: October 24, 2022 October 31, 2022 Authors who cannot make on-site presentations due to travel restrictions by governments or institutions, or those for whom travel is inadvisable due to medical reasons may request to present their materials online. ############################################################### Overview: The topic of the track covers an important field of research in Artificial Intelligence: Knowledge Representation and Reasoning (KRR) is dedicated to representing information about the world in a form that a computer system can utilise to solve complex tasks. Examples of knowledge representation formalisms include semantic nets, systems architecture, frames, rules, and ontologies. Some examples of automated reasoning engines include inference engines, theorem provers, and classifiers. KRR track will be a venue for all the researchers and practitioners working on the fundaments and applications of reasoning, and cross-fertilisation among different areas (e.g., Argumentation and Belief Revision). ACM SAC is ranked CORE:B, MAS:A-, SHINE:A. The average acceptance rate per track is under 25%. KRR track is organised for the third consecutive year at SAC. Call for paper: Knowledge-representation is the field of artificial intelligence that focuses on designing computer representations that capture information about the world that can be used to solve complex problems. Its goal is to understand and build intelligent behavior from the top down, focusing on what an agent needs to know with the purpose to behave intelligently, how this knowledge can be represented symbolically, and how automated reasoning procedures can make this knowledge available as needed. In KRR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. Topics of interest include: ? Argumentation. ? Belief revision and update, belief merging. ? Commonsense reasoning. ? Contextual reasoning. ? Description logics. ? Diagnosis, abduction, explanation. ? Inconsistency and exception tolerant reasoning, paraconsistent logics. ? KR and autonomous agents: intelligent agents, cognitive robotics, multi-agent systems. ? KR and decision making, game theory, social choice. ? KR and machine learning, inductive logic programming, knowledge discovery and acquisition. ? Logic programming, answer set programming, constraint (logic) programming. ? Non-monotonic logics, default logics, conditional logics. ? Preferences: modeling and representation, preference-based reasoning. ? Reasoning about knowledge and belief, dynamic epistemic logic, epistemic and doxastic logics. ? Reasoning systems and solvers, knowledge compilation. ? Spatial reasoning and temporal reasoning, qualitative reasoning. ? Uncertainty, representations of vagueness, many-valued and fuzzy logics. We would like to invite authors to submit papers on research on KRR area, with particular emphasis on assessing the current state of the art and identifying future directions. Submissions fall into the following categories: ? Original and unpublished research work. ? Reports of innovative computing applications in the arts, sciences, engineering, and business areas. ? Reports of successful technology transfer to new problem domains. ? Reports of industrial experience and demos of new innovative systems. Deadlines and Important Dates: October 24, 2022 October 31, 2022: Submission of regular papers and SRC abstracts. November 19, 2022: Notification of papers and posters and SRC acceptance/rejection. December 6, 2022: Camera-ready copies of accepted papers, and registration of at least one author. March 27 - April 2, 2023: Conference After the conference a fast-track journal special issue is planned (more information after the camera-ready submission) Submissions Instructions for Regular Papers and SRC Abstracts: Original papers addressing any of the listed topics of interest (or related topics) will be considered. Each submitted paper will be fully refereed and undergo a double-blind review process by at least three referees. Accepted papers will be included in the ACM SAC 2023 proceedings and published in the ACM digital library, being indexed by Thomson ISI Web of Knowledge and Scopus. Submissions should be properly anonymised to facilitate blind reviewing: the author(s) name(s) and address(es) must NOT appear in the body of the paper, and self-reference should be in the third person. Paper size is *strictly* limited to 8 pages in SAC style; a maximum of 2 additional pages may be included for an additional fee, extending the final version of the accepted paper. Please check the author kit latex style on the main SAC website: https://www.sigapp.org/sac/sac2023/authorkit.html. Papers failing to comply with length limitations risk immediate rejection. Submissions will be in electronic format, via the website: https://www.sigapp.org/sac/sac2023/submission.html PLEASE PAY ATTENTION TO SELECT THE KRR TRACK BY CHECKING THE TRACK RADIO BUTTON!!! Students are invited to submit research abstracts (maximum of 4 pages in ACM camera-ready format) following the instructions published at the SAC 2023 website. Submission of the same abstract to multiple tracks is not allowed. Authors of selected abstracts will have the opportunity to give poster and oral presentations of their work and compete for three top-winning places. The SRC committee will evaluate and select First, Second, and Third place winners. The winners will receive medals and cash awards. Winners will be announced during the conference banquet. Invited students receive SRC travel support (US$500) and are eligible to apply to the SIGAPP Student Travel Award Program (STAP) for additional travel support. Submission of the same abstract to multiple tracks is not allowed. Double Submission to both SRC and the track should be substantially different. Chairs: Stefano Bistarelli, University of Perugia, Italy Martine Ceberio, University of Texas at El Paso, USA Eric Monfroy, University of Angers, France Francesco Santini, University of Perugia, Italy Carlo Taticchi, University of Perugia, Italy Program Committee: Gianvincenzo Alfano, University of Calabria Mario Alviano, University of Calabria Ofer Arieli, The Academic College of Tel-Aviv Franz Baader, TU Dresden Elise Bonzon, Universite Paris Descartes Berthe Choueiry, University of Nebraska-Lincoln Martin Dieguez, University of Angers Massimiliano Giacomin, University of Brescia Lluis Godo, IIIA - CSIC Souhila Kaci, LIRMM Gabriele Kern-Isberner, TU Dortmund Costas Koutras, American University of the Middle East Joao Leite, Universidade Nova de Lisboa Beishui Liao, Zhejiang University Jean-Guy Mailly, LIPADE, Universit? Paris Cit? Nico Potyka, Imperial College London Odinaldo Rodrigues, King's College London Guillermo R. Simari, Universidad Nacional del Sur in Bahia Blanca Tran Cao Son, New Mexico State University Leon van der Torre, University of Luxembourg Johannes Peter Wallner, Graz University of Technology Roland Yap, National University of Singapore SAC No-Show Policy: Paper registration is required, allowing the inclusion of the paper/poster in the conference proceedings. An author or a proxy attending SAC MUST present the paper. This is a requirement for the paper/poster to be included in the ACM digital library. No-show of registered papers and posters will result in excluding them from the ACM digital library. -- Carlo Taticchi, PhD University of Perugia cybersecuritylab.unipg.it krarlab.dmi.unipg.it -------------- next part -------------- An HTML attachment was scrubbed... URL: From george at cs.ucy.ac.cy Thu Oct 27 11:51:23 2022 From: george at cs.ucy.ac.cy (George A. Papadopoulos) Date: Thu, 27 Oct 2022 14:51:23 +0300 Subject: [PlanetKR] =?utf-8?q?UMAP_=E2=80=9923=3A_31st_ACM_Conference_on_?= =?utf-8?q?User_Modeling=2C_Adaptation_and_Personalization=3A_First_Call_f?= =?utf-8?q?or_Late-Breaking_Results_and_Demos?= Message-ID: *** First Call for Late-Breaking Results and Demos *** UMAP ?23: 31st ACM Conference on User Modeling, Adaptation and Personalization June 26 - 29, 2023, St. Raphael Resort, Limassol, Cyprus https://www.um.org/umap2023/? Submissions due: April 24, 2023 Submission site: https://easychair.org/conferences/?conf=umap23 IMPORTANT DATES ? Submission of papers: April 24, 2023 ? Notification of acceptance: May 10, 2023 ? Camera-ready versions of accepted papers: May 18, 2023 ? Conference: June 26-29, 2023? Note: The submission times are 11:59 pm AoE time (Anywhere on Earth) SUBMISSION FORMATS Demonstrations ? Max. 5 pages + max. 1 additional page for references; ? (Optional) video or external material demonstrating the system; ? Publication in ACM UMAP 2023 Adjunct Proceedings; ? Presentation as a demo + poster at the conference. Description: Demonstrations will showcase research prototypes and commercially available products in a dedicated session. Demo submissions must be based on an implemented and tested system that pursues one or more innovative ideas in the interest areas of the conference. Demonstrations are an excellent and exciting way to showcase implementations and get valuable feedback from the community. Each demo submission must make clear which aspects of the system will be demonstrated, and how these will be demonstrated on-site as well as online. To better identify the value of demos, we also encourage authors to submit a pointer to a screencast (max. 5 minutes on Vimeo or YouTube) or any external material related to the demo (e.g., shared code on GitHub). Descriptions of demonstrations should have a length of max. 5 pages + 1 page of references in the new ACM single-column style. On an extra page (not to be published), submissions should include a specification of the technical requirements for demonstrating the system at UMAP 2023.? Late-Breaking Results ? Max. 7 pages + max. 2 additional pages for references; ? (Required) unpublished page with a list of questions the authors aim to get feedback on; ? Publication in ACM UMAP 2023 Adjunct Proceedings; ? Presentation as a (potentially virtual) poster at the conference. Description: Late-Breaking Results (LBR) are research-in-progress that must contain original and unpublished accounts of innovative research ideas, preliminary results, industry showcases, and system prototypes, addressing both the theory and practice of User Modeling, Adaptation, and Personalization. In addition, papers introducing recently started research projects or summarizing project results are welcome as well. We encourage researchers and practitioners to submit late-breaking work as it provides a unique opportunity for sharing valuable ideas, eliciting useful feedback on early-stage work, and fostering discussions and collaborations among colleagues. Late-Breaking Results papers have a length of up to 7 pages + 2 pages of references in the new ACM single-column style and will be presented to the conference as posters. On an extra page (not to be published), submissions should include a list of questions that the authors aim to get feedback on during the poster session at UMAP 2023. SUBMISSION AND REVIEW PROCESS Papers will be reviewed single-blind and do not need to be anonymised before submission Papers must be formatted according to the new workflow for ACM publications. The templates and instructions are available here: https://www.acm.org/publications/taps/word-template-workflow. Authors should submit their papers as single-column. The templates are available here (we strongly recommend the usage of LaTeX for the camera-ready papers to minimize the extent of reformatting): ? LaTeX (use \documentclass[manuscript,review]{acmart} in the sample- authordraft.tex file for single-column):? ? https://www.acm.org/binaries/content/assets/publications/consolidated-tex-template/acmart-primary.zip ? Overleaf (use \documentclass[manuscript,review]{acmart} for single-column): ? https://www.overleaf.com/latex/templates/acm-conference-proceedings-master-template/pnrfvrrdbfwt?? ? MS Word: ? https://www.acm.org/binaries/content/assets/publications/taps/acm_submission_template.docx?? Note: Accepted papers will require further revision to meet the requirements and page limits of the camera-ready format required by ACM. Instructions for the preparation of the camera-ready versions of the papers will be provided after acceptance. The ACM Code of Ethics gives the UMAP program committee the right to (desk-) reject papers that perpetuate harmful stereotypes, employ unethical research practices, or uncritically present outcomes/implications that clearly disadvantage minority communities.? Submit your papers in PDF format via EasyChair for ACM UMAP 2023 Demos and Late-Breaking Results at? https://easychair.org/conferences/?conf=umap23 (choose ?New Submission? and make sure to select ?UMAP'23 - LBR and Demos? track). The review process will be single-blind, i.e., authors? names should be included in the papers. Submissions will be reviewed by at least two independent reviewers. They will be assessed based on their originality and novelty, potential contribution to the research field, potential impact in particular use cases, and the usefulness of presented experiences, as well as their overall readability. Papers that exceed the page limits or do not adhere to the formatting guidelines will be returned without review. PUBLICATION AND PRESENTATION Accepted Demo and Late-Breaking Results papers will be published in the ACM UMAP 2023 Adjunct Proceedings in the ACM Digital Library. Papers will be accessible from the UMAP 2023 website through ACM OpenToc Service for one year after publication in the ACM Digital Library. All categories will be presented at the poster reception of the conference, in the form of a poster and/or a software demonstration following poster format. This form of presentation will provide presenters with an opportunity to obtain direct feedback about their work from a wide audience during the conference.? To be included in the Proceedings, at least one author of each accepted paper must register for the conference and present the paper there. LATE-BREAKING RESULTS AND DEMO CHAIRS ? Ludovico Boratto, University of Cagliari, Italy ? Alisa Rieger, Delft University of Technology, Netherlands ? Shaghayegh (Sherry) Sahebi, University at Albany ? SUNY, USA ? Contact: umap2023-lbr at um.org -------------- next part -------------- An HTML attachment was scrubbed... URL: From emil.weydert at uni.lu Thu Oct 27 13:43:19 2022 From: emil.weydert at uni.lu (Emil WEYDERT) Date: Thu, 27 Oct 2022 13:43:19 +0000 Subject: [PlanetKR] Call for Nominations: Dov Gabbay Prize for Logic and Foundations Message-ID: <3795c9cb1e78468cb245010e8723af2b@uni.lu> ================================================================ Call for Nominations: Dov Gabbay Prize for Logic and Foundations ================================================================ THE PRIZE The ``Dov Gabbay Prize for Logic and Foundations'' is an international research prize established to honour the extraordinary, multi-faceted, and ongoing scientific and editorial work of Prof. Dov Gabbay, known in particular for editing an extensive collection of specialized Logic Handbooks. It has been launched on the occasion of his 77th birthday (for a short bio, see: https://dgp.iloaf.org/dov.html). The prize rewards outstanding researchers in Logic and Foundations, including Mathematical, Philosophical, and Computational Logic. It promotes work able to inspire current and future generations of logicians, if not a broader audience, ideally combining deep foundational insight and conceptual innovation with sophisticated theoretical analysis. The winner will receive 2001 EUR and be invited to give a talk (accessible for an online audience) at a major logic centre or a logic-related meeting in 2023, the choice depending on the recipient's research area. Additional efforts will be made to promote the rewarded scientific work. NOMINATION Each nomination has to specify the researcher, provide a justification accessible to non-expert logicians (0.5-2 pages), and list the publications considered relevant. It also has to include the name, affiliation, and email address of the nominator. Self-nominations are not allowed, the nominator should not depend on the nominee. Proposals in pdf-format have to be sent to "dgp[at]iloaf[dot]org". The deadline for this call is January 31, 2023. DECISION The decision is made by an independent selection committee consisting of six internationally renowned logicians representing Mathematical, Philosophical, and Computational logic (for details, see: https://dgp.iloaf.org). The jury can decide to attribute no prize in a given year. The winner of the 2022 call will be announced in May 2023. ADMIN Prize and process are managed by the "Logic and Foundations Initiative (ILOAF)", which aims at initiating and supporting scientific and educational activities in Logic and Foundations. It is currently sponsored by the Luxembourg Logic Community. CONTACT For any questions, please contact the organizing committee (only) via "dgp[at]iloaf[dot]org". Web: https://dgp.iloaf.org Email: dgp at iloaf.org