From emil.weydert at uni.lu Tue Oct 1 12:44:04 2024 From: emil.weydert at uni.lu (Emil WEYDERT) Date: Tue, 1 Oct 2024 12:44:04 +0000 Subject: [PlanetKR] Dov Gabbay Prize 2024 - the Winners Message-ID: The Jury of the "Dov Gabbay Prize for Logic and Foundations", chaired by Philip Welch, and the "Initiative for Logic and Foundations (ILOAF asbl)" are pleased to announce that in 2024 the prize is awarded jointly to * David Asper? and Ralf Schindler * for their work in the foundations of set theory, and more specifically their results connecting determinacy principles and strong forcing axioms exposed in their seminal paper from 2021. 150 years after Cantor started set theory, this is an essential contribution to a better understanding of the set concept and its formal consequences. For more details, see: https://iloaf.org/dgp2024.html An online ceremony will be organized in the coming months. This is the second edition of the "Dov Gabbay Prize for Logic and Foundations", an international research prize launched on the occasion of Professor Dov Gabbay's 77th birthday 2 years ago. It honours his extraordinary and multi-faceted scientific and editorial work, which includes an extensive collection of specialized Logic Handbooks (https://iloaf.org/dov.html). From p.k.koopmann at vu.nl Thu Oct 3 07:28:44 2024 From: p.k.koopmann at vu.nl (Patrick Koopmann) Date: Thu, 3 Oct 2024 09:28:44 +0200 Subject: [PlanetKR] Description Logic Online Seminar, October Edition Message-ID: *Dear members of the KR community, * * a kind reminder that the next edition of Description Logic Seminar Series (https://dl.kr.org/seminar/) will take place this Friday, on *October 4th at 2pm CEST*. This time we will be honored with a talk by Balder ten Cate (University of Amsterdam). ** Title: Fitting Algorithms for Conjunctive Queries * Abstract:* A fitting algorithm for conjunctive queries (CQs) is an algorithm that takes as input a collection of data examples and outputs a CQ that fits the examples. In this talk, I will propose a list of desirable properties of such algorithms and use it as a guide for surveying recent results obtained in collaboration with Victor Dalmau, Maurice Funk,? Jean Christoph Jung, and Carsten Lutz (PODS 2023, IJCAI 2023, and IPL 2024). In particular, I will compare three concrete fitting algorithms, and we discuss complexity and size bounds for constructing fitting CQs with different desirable properties. The talk is based on our SIGMOD Record Research Highlights column. The Zoom link for the meeting is: https://vu-live.zoom.us/j/95823249660?pwd=bQddajRHbvh0XMc11iQ1Eewqz6LicO.1 * Meeting ID: 958 2324 9660 Passcode: 702884 * Best wishes, * *** *Patrick, *Ana, Bartosz, Quentin * -------------- next part -------------- An HTML attachment was scrubbed... URL: From timbaarslag at gmail.com Thu Oct 3 09:56:16 2024 From: timbaarslag at gmail.com (Tim Baarslag) Date: Thu, 3 Oct 2024 11:56:16 +0200 Subject: [PlanetKR] Call for Blue Sky Ideas for AAMAS 2025 Message-ID: ======================== CALL FOR BLUE SKY IDEAS ======================== AAMAS 2025 This is a reminder to submit your Blue Sky ideas to AAMAS 2025 ? The 24th Intl. Conf. on Autonomous Agents and Multiagent Systems; see the full call on the AAMAS 2025 website . Submission link: https://easychair.org/conferences/?conf=aamas25bluesky The Blue Sky Ideas special track is intended to present and provoke visionary ideas, long-term challenges, new research opportunities, and debate. It serves as an incubator for innovative, risky, and provocative research directions, which can be presented without being constrained by the result-oriented standards followed in the main track of the conference. We invite submissions that focus on novel, overlooked, or under-represented application areas to which agent research may contribute; potential paths for agent research to contribute to the state of the art in other AI and computing areas and the other way around; unexplored theoretical grounds for agent research. Overall, we aim at papers that help guide the agent community to achieve in the coming years a leading position within AI and computing research. == Important Dates == * Abstract submission: December 10, 2024 (at 23:59 anywhere on Earth) * Papers submission: December 15, 2024 (at 23:59 anywhere on Earth) * Rebuttal period: January 10-15, 2025 * Author notification: January 31, 2025 * Camera-ready submission: Feb 19, 2025 == Evaluation Criteria == Reviewers will assess papers based on Relevance and Advancement (level of future-thinking), Novelty and Vision (level of ?Blue Sky?-ness), Background and Foundation (level of grounded-ness), Impact and Practicality (level of real-world applicability), and Rigour and Clarity (level of strength of contribution). See the detailed criteria on the AAMAS website . == Submission == Submissions are limited to 4 pages in length in the AAMAS-2024 format, with any additional pages containing only bibliographic references. The formatting instructions are the same as for the AAMAS-2025 main track. Accepted papers will appear in the conference proceedings and will be presented orally at the conference. The Blue Sky Ideas track follows the same policies as the main track. Submissions must be original, reviewing is double-blind, and at least one author of each accepted paper will be required to register for the conference by the early registration deadline with the intention of presenting the paper at the conference. See the AAMAS 2025 call for papers for details. Papers must be submitted via EasyChair . == Contact == AAMAS?25 Blue Sky Ideas Track Co-Chairs Nisarg Shah, University of Toronto, Canada nisarg at cs.toronto.edu Paolo Turrini, University of Warwick, UK p.turrini at warwick.ac.uk -------------- next part -------------- An HTML attachment was scrubbed... URL: From marialemos72 at gmail.com Fri Oct 4 18:44:06 2024 From: marialemos72 at gmail.com (WorldCIST-2025) Date: Fri, 4 Oct 2024 19:44:06 +0100 Subject: [PlanetKR] 13rd World Conference on Information Systems and Technologies, Florianopolis, Brazil Message-ID: <171126759828@gmail-com> * CORE Conference ** Google Scholar H5-Index = 25 *** Indexed in Scopus, WoS, DBLP, etc. ------------------------------------------------------------------------------------------------- WorldCIST'25 - The 13rd World Conference on Information Systems and Technologies Florianopolis, Santa Catarina, Brazil, 15 - 17 April 2025 http://worldcist.org/ ------------------------------------------------------------------------------------------------- The WorldCist'25 - 13rd World Conference on Information Systems and Technologies, to be held in Florianopolis, at Federal University of Santa Catarina (UFSC), Florianopolis, Santa Catarina, Brazil, 15 - 17 April 2025, 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 original papers to WorldCist'25. 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 original 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 12-page limit. Short paper: Ongoing works with relevant preliminary results, open to discussion. These papers are assigned a 8-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 8-page limit. Submitted papers must comply with the format of Lecture Notes in Networks and Systems 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 8th of January 2025, 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: 6.6 / Q1) Integrated Computer-Aided Engineering (IF: 6.5 / Q1) Informatica (IF: 3.3 / Q1) Expert Systems (IF: 3.0 / Q2) Data Technologies and Applications (IF: 1.7 / Q2) Computer Methods in Biomechanics and Biomedical Engineering (IF: 1.7 / Q3) Journal of Computer Languages (IF: 1.7 / Q3) Computer Science and Information Systems (IF: 1.2 / Q3) Computer Methods in Biomechanics and Biomedical Engineering - Imaging & Visualization (IF: 1.3 / Q4) Journal of Engineering Research (IF: 0.9 / Q4) Journal of Information Science and Engineering (IF: 0.5 / Q4) IMPORTANT DATES: Paper Submission: November 17, 2024 Notification of Acceptance: December 29, 2024 Payment of Registration, to ensure the inclusion of an accepted paper in the conference proceedings: January 8, 2025. Camera-ready Submission: January 8, 2025 WorldCIST is a CORE conference, which has a Google Scholar H5-Index = 25. We are awaiting your paper submission. Website of WorldCIST'25: https://worldcist.org/ WorldCIST'25 Team https://worldcist.org/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From M.Vallati at hud.ac.uk Tue Oct 8 12:03:59 2024 From: M.Vallati at hud.ac.uk (Mauro Vallati) Date: Tue, 8 Oct 2024 12:03:59 +0000 Subject: [PlanetKR] 3 open-ended lecturer positions at the University of Huddersfield! Message-ID: <2F679ACB-91F7-481A-8FAA-7B14306972B7@hud.ac.uk> At the School of Computing and Engineering of the University of Huddersfield we are seeking to appoint 3 Lecturers in the fields of Computer Science, Cyber Security, and Computer Networks and Distributed Systems. The School of Computing & Engineering is a research-intensive environment where academics developing tomorrow?s technology teach the next generation of computing and engineering professionals. Building on our legacy of producing award-winning graduates in Artificial Intelligence (AI), computing, computer games development, and cyber security, we have a strategy for expansion that requires the very best academic staff. We?ll support your growth in developing and applying your new ideas and we?ll help you to develop as an academic. We?ll provide opportunities for you to grow your career and become the best version of yourself. As a Lecturer, you will have an emerging record of research and/or scholarship. You will have experience of working with diverse teams, and you?ll be able to translate this into a teaching experience that is unparalleled in the university sector. You?ll be looking to develop your skills and experience working alongside university students, and you?ll demonstrate your drive to achieve excellence. For info and application: - Computer science ( https://www.jobs.ac.uk/job/DKB631/lecturer-in-computer-science ) - Cyber Security ( https://www.jobs.ac.uk/job/DKB636/lecturer-in-cyber-security ) - Computer Networks and Distributed Systems ( https://www.jobs.ac.uk/job/DKB640/lecturer-in-computer-networks-and-distributed-systems ) Informal enquiries are welcome to Mauro Vallati or Minsi Chen via email: m.vallati at hud.ac.uk, m.chen at hud.ac.uk University of Huddersfield inspiring global professionals. [https://marketing.hosting.hud.ac.uk/images/EmailSigFooterApr2024.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 jonas at haldimann.de Tue Oct 8 12:09:25 2024 From: jonas at haldimann.de (Jonas Haldimann) Date: Tue, 8 Oct 2024 14:09:25 +0200 Subject: [PlanetKR] =?utf-8?q?1st_CfP=3A_Special_Track_on_Uncertain_Reaso?= =?utf-8?q?ning_at_FLAIRS-38_=28May_20=E2=80=9323=2C_2025=29?= Message-ID: 1st CALL FOR PAPERS *Special Track on **Uncertain Reasoning at FLAIRS-38 * Part of FLAIRS-38 ( http://www.flairs-38.info/ ) in Florida, Daytona Beach. Special track website: https://ur-flairs.github.io/2025/ Paper Abstract Submission: January 20, 2025 Paper Submission: January 27, 2025 Conference: May 20?23, 2025 Accepted papers will be published in the proceedings of FLAIRS-38 by Florida Online Journals (indexed in DBLP and Scopus). *Overview* Many problems in AI (in reasoning, planning, learning, perception and robotics) require the agent to operate with incomplete or uncertain information. The objective of this track is to present and discuss a broad and diverse range of current work on uncertain reasoning, including theoretical and applied research based on different paradigms. We hope that the variety and richness of this track will help to promote cross-fertilization among the different approaches for uncertain reasoning, and in this way foster the development of new ideas and paradigms. The Special Track on Uncertain Reasoning (UR) is the oldest track in FLAIRS conferences, running annually since 1996. The UR 2025 Special Track at the 38th International Florida Artificial Intelligence Research Society Conference (FLAIRS-38) is the 30th in the series. Like the past tracks, UR'25 seeks to bring together researchers working on broad issues related to reasoning under uncertainty. *Topics of Interest* Papers on all aspects of uncertain reasoning are invited. Papers of particular interest include, but are not limited to: * Uncertain reasoning formalisms, calculi and methodologies * Reasoning with probability, possibility, fuzzy logic, belief function, vagueness, granularity, rough sets, and probability logics * Modeling and reasoning using imprecise and indeterminate information, such as: Choquet capacities, comparative orderings, convex sets of measures, and interval-valued probabilities * Exact, approximate and qualitative uncertain reasoning * Probabilistic graphical models of uncertainty such as: Bayesian networks, Markov random field, probabilistic circuits * Multi-agent uncertain reasoning and decision-making * Decision-theoretic planning and Markov decision process * Temporal reasoning and uncertainty * Non-monotonic reasoning * Conditional Logics * Argumentation theory * Belief change and merging * Similarity-based reasoning * Ontologies and description logics * Construction of models from elicitation, data mining and knowledge discovery * Uncertain reasoning in information retrieval, filtering, fusion, diagnosis, prediction, situation assessment * Uncertain reasoning in data management * Practical applications of uncertain reasoning * Learning probabilistic models * Applications in computer vision and animation *Types of Submission and Proceedings* FLAIRS-38 invites three kinds of submissions: * Full paper ? a paper describing mature novel research, up to 6 pages excluding references that will be published in the proceedings. * Short paper ? a paper that shows some novelty and general interest but is more preliminary or in the early stages of development, up to 4 pages excluding references that get published in the proceedings. * Poster paper ? up to 2 pages excluding references that will be published as a poster paper, and will be presented by the author in a poster session. Rejected full papers might be accepted as short papers or posters, if reviewers found interest in the idea, but the paper quality was not sufficient to be published in full length. Accepted papers will be published in the proceedings of FLAIRS-38 by Florida Online Journals (indexed in DBLP and Scopus). Authors are expected to make a reasonable effort to address the reviewers' comments in the camera ready versions of their papers. Each submission must be accompanied by at least one author registration. Please see the FLAIRS-38 CfP for details on this. *Track Chairs* Stefano Bistarelli (University of Perugia, Italy) Jonas Haldimann (TU Wien, Austria and University of Cape Town, South Africa) Nico Potyka (Cardiff University, UK) -------------- next part -------------- An HTML attachment was scrubbed... URL: