May 2023 - fca-list - lists.cs.uni-kassel.de

ISAO 2023, July 10-14 - Call for Participation (Interdisciplinary School on Applied Ontology held in Sherbrooke, Québec, Canada)

by Frank Loebe

In case you follow ISAO 2023 already, key additions/updates concern: - Program overview and further details, cf. also [1] - Registration - still open [2] (! 'early' until Sun, June 11 !) = ISAO 2023 [1] - Call for Participation = The Interdisciplinary School on Applied Ontology (ISAO) is the premier educational forum for acquiring and deepening knowledge in ontology - its foundations, applications, and interconnections with related areas. Generously sponsored by the AIJ [3]. July 10-14, 2023 University of Sherbrooke, Québec, Canada (in person only, _no_ online participation) [1] https://fois2023.griis.ca/isao-2023/ Target audience - PhD students - PostDocs and researchers - Ontology practitioners from business, industry and society Leading experts in applied ontology (AO), formal ontology, modeling, semantics and neighboring fields teach various basic courses as well as engage in interactive formats for deepening the knowledge of all participants, providing a full immersion experience in AO for all levels of expertise. The facilitators Michael Gruninger, Nicola Guarino, Giancarlo Guizzardi, Robert Hoehndorf, Maria Keet, Oliver Kutz, Asiyah Yu Lin and Barry Smith organize their sessions in four threads and a shared, self-contained tutorial (see below and [1,4]): - Ontological Analysis - Logical Foundations - Cognitive Aspects and Ontology - Methods and Applications + - Introduction to the Basic Formal Ontology (BFO) (shared session, self-contained tutorial) The last 1.5 days stress interaction further in up to three parallel tracks of barcamp sessions. == Important Dates & Schedule == - Registration open since: May 01, 2023 (Monday) - Early registration ends: June 11, 2023 (Sunday, EDT applies [5]) - Late registration ends: July 11, 2023 (Tuesday; during ISAO) - Event on July 10-14 -- 3.5 days (July 10-13) of courses (rather introductory) -- 1.5 days (July 13-14) of interactive formats (introductory to advanced) -- see program info below and at [1] We offer 5-day and 2-day registrations (via [2]), the latter aiming at additional networking and exchange during July 13-14, right before FOIS 2023 [6]. Early student fees amount to - 320 CAD|225 EUR|240 USD for all 5 days and - 250 CAD|175 EUR|190 USD for the last 2 days. Please find all fees below (student - academic - industry) or at [1,4]. Cheap accommodation options ease expenses preferentially, but non-exclusively for student participants. Invitation letters (e.g. for visa purposes) will be issued on request to [7] (include your full work address). With any other issues regarding ISAO 2023, please contact us at [8] iaoa.isao2023(a)gmail.com Please feel invited to read more details below and to spread the word within your network. We are looking forward to seeing you join us in July! :-) Best regards, Frank Loebe and Daniele Porello = Details as of end of May 2023 = == Program Content == A tabular program overview/schedule is available at [1,4]. === Ontological Analysis === [Nicola Guarino, Giancarlo Guizzardi] - Methods of formal ontological analysis - Top-level ontological distinctions, categories and relations - Foundational ontologies - OntoUML hands-on === Introduction to the Basic Formal Ontology (BFO) === [Barry Smith] - Self-contained tutorial - Shared session with the EINS summer school [9] === Logical Foundations === [Michael Gruninger, Oliver Kutz] - Introductory -- Writing first-order logic (FOL) sentences -- Proofs and models -- Description logics (DLs), incl. relations to the Semantic Web - Advanced -- Ontology verification -- Concept combination, debugging, weakening in DL === Cognitive Aspects and Ontology === [Nicola Guarino, Giancarlo Guizzardi, Oliver Kutz] - Conceptual modeling and applied ontology - Concepts in cognitive science, semantics and philosophy === Methods and Applications === [Robert Hoehndorf, Maria Keet, Asiyah Yu Lin] - Methods -- Developing good ontologies -- Building ontologies hands-on -- Machine learning/neuro-symbolic AI, semantic similarity and ont. -- Ontology reviewing - Applications -- Introduction to biomedical ontologies and their use -- Bio-ontology tool demonstration -- Ontology-based data access === Special Session === - What are good applied ontology papers? (panel) === Social Program === - Social dinner - Excursion - Pub quiz == Facilitators == Michael Gruninger (Semantic Technologies Lab, University of Toronto, Canada) http://stl.mie.utoronto.ca/ Nicola Guarino (Laboratory for Applied Ontology (LOA), ISTC-CNR, Trento, Italy) https://www.istc.cnr.it/people/nicola-guarino Giancarlo Guizzardi (Semantics, Cybersecurity and Services, University of Twente, The Netherlands) https://people.utwente.nl/g.guizzardi Robert Hoehndorf (Bio-Ontology Research Group, King Abdullah University of Science and Technology (KAUST), Thuwal, Saudi-Arabia) https://cemse.kaust.edu.sa/borg/people/person/robert-hoehndorf Maria Keet (Knowledge Engineering, University of Cape Town, South Africa) http://www.meteck.org/ Oliver Kutz (Cognitive and Conceptual Modeling Research Group, Free University of Bozen-Bolzano, Italy) https://www.inf.unibz.it/~okutz/ Asiyah Yu Lin (Office of Data Science and Emerging Technologies, NIAID, NIH, Rockville, Maryland, USA) https://www.niaid.nih.gov/research/office-data-science-and-emerging-technol… Barry Smith (National Center for Ontological Research, Buffalo, New York, USA) http://ontology.buffalo.edu/smith/ == Fee Schedule == Fees are valid and payable in CAD. To indicate them in EUR/USD, fees have been approximated assuming 0.70 EUR/0.75 USD per 1 CAD (and rounding up). See [1,4] for a colored, tabular version. Early registration [2] ends on Sunday, June 11, 23:59 EDT/UTC-4 [5]. === student fees === 5 days = July 10-14 - early 320 CAD | 225 EUR | 240 USD - late 390 CAD | 275 EUR | 295 USD last 2 days = July 13-14 - early 250 CAD | 175 EUR | 190 USD - late 300 CAD | 210 EUR | 225 USD === academic fees === 5 days = July 10-14 - early 525 CAD | 370 EUR | 395 USD - late 625 CAD | 440 EUR | 470 USD last 2 days = July 13-14 - early 280 CAD | 200 EUR | 210 USD - late 330 CAD | 235 EUR | 250 USD === industry fees === 5 days = July 10-14 - early 700 CAD | 490 EUR | 525 USD - late 850 CAD | 595 EUR | 640 USD last 2 days = July 13-14 - early 425 CAD | 300 EUR | 320 USD - late 525 CAD | 370 EUR | 395 USD == Expenses & Grants == - budget accommodation available -- in university student housing below 50 CAD/35 EUR/40 USD per night per person (+ local taxes) -- single or double rooms; bathrooms shared with 2-3 rooms; WiFi -- information about reserving rooms follows after registration - as of May 2023, grants are limited to waiving or reducing ISAO fees == Location Details == University of Sherbrooke 2500, boulevard de l'Université Sherbrooke, Québec Canada J1K 2R1 == Associated Events == Co-located with and - preceding FOIS 2023 [6], the International Conference on Formal Ontology in Information Systems held from July 17-20 in person and September 18-20 online - sharing the tutorial 'Introduction to BFO' with EINS 2023 [9] the first Interdisciplinary Summer School in Digital Health (École d'été interdisciplinaire en numérique de la santé; primarily in French) Complementing ESAO [10], the Educational Series of Applied Ontology, a continuous series of virtual educational sessions. == Sponsors == As yet we very much thank as sponsors - the Artificial Intelligence Journal (AIJ) [3] as well as - ScaDS.AI Dresden/Leipzig [11] for their contributions. == Organization == The ISAO series is run by the International Association for Ontology and its Applications (IAOA) [12] and is held jointly with FOIS every two years, typically in the week just before. ISAO 2023 is the 5th instance, after 2012/14/16/18 [13] and 5 years of an undesired gap, and is hosted by the University of Sherbrooke, Québec, Canada. Thanks to local organization support in 2023 by - Jean-François Ethier - Christina Khnaisser - Anne-Marie Cloutier - Angèle Gosselin - Sarah Bilodeau - Maryse Couture - Karine Gagnon - Jeanne Morin General Chairs - Frank Loebe (University of Leipzig, Germany) - Daniele Porello (University of Genoa, Italy) == Contact == [8] iaoa.isao2023(a)gmail.com == References == [1] ISAO 2023 website https://fois2023.griis.ca/isao-2023/ [2] ISAO 2023 registration system https://event.fourwaves.com/isao2023/pages [3] Artificial Intelligence Journal https://aij.ijcai.org/ [4] ISAO 2023 advertising slide set (fwd to Google Doc Presentation) https://tinyurl.com/isao2023ad [5] end of early registration deadline (EDT/UTC-4 applies to the date) https://www.timeanddate.com/worldclock/fixedtime.html?iso=20230612T0359 [6] FOIS 2023 website https://fois2023.griis.ca/ [7] ISAO & FOIS 2023 mail address, incl. for letters of invitation fois.2023(a)usherbrooke.ca [8] ISAO 2023 contact to chairs by email iaoa.isao2023(a)gmail.com [9] EINS 2023 website https://eins.griis.ca/ [10] ESAO series website https://wiki.iaoa.org/index.php/Edu:ESAO [11] ScaDS.AI Dresden/Leipzig - Center for Scalable Data Analytics and Artificial Intelligence, Germany https://scads.ai [12] IAOA website https://iaoa.org/ [13] ISAO history pages https://iaoa.org/index.php/isao-history/

2 years

1
0
0 0

Last Call for ICFCA 2023 Workshop Contributions

by Johannes Hirth

Dear collegues, We would like to remind you that there will be three workshops and one tutorial at the International Conference on Formal Concept Analysis (ICFCA), July 17-21, 2023, Kassel (Germany). The workshop deadline has been extended to June 8. Please find below a short description for each workshop. For more information on each workshop and the contribution form, please visit the conference website (Link <https://www.kde.cs.uni-kassel.de/icfca2023/workshop-tutorials.html>) and the individual workshop pages (see below). We look forward to hopefully many interesting contributions and to seeing you at the conference. Best regards, ICFCA Workshop Organizers -- *Workshop “Computational Notebooks for FCA (CoNo-Concepts 2023)” *(Link <https://www.kde.cs.uni-kassel.de/icfca2023/cono-concepts.html>) Organizer: Uta Priss Notebooks, in particular Jupyter Notebooks, are becoming increasingly popular as a means for documenting procedures, data, calculations, and findings for data science applications and teaching. In this workshop, FCA researchers will be able to present and learn about experiences with and ideas about using Jupyter Notebooks for FCA research and teaching. *Workshop “Preprocessing and Scaling of Contextual Data – PreSCoD” *(Link <https://www.kde.cs.uni-kassel.de/icfca2023/prescod.html>) Organizers: Tom Hanika, Johannes Hirth, and Ángel Mora Bonilla In the recent years, the development of methods for scaling and cleaning data have lagged behind the general research in Formal Concept Analysis. The PresSCod workshop aims to raise awareness of this problem within the FCA community and beyond. At the same time, the workshop shall motivate researchers to devote some time to this important part of research and to develop novel theoretical and practical insights. *Fake Context Challenge (FCC) *(Link <https://www.kde.cs.uni-kassel.de/icfca2023/fcc.html>) Organizers: Maximilian Felde, Tom Hanika, and Johannes Hirth Data science and machine learning in particular are significantly dependent on the quality of the data. A special problem in this regard at present is the manipulation of data through modification or synthesis. With the proposed Fake Context Challenge (FCC), we want to address this problem and raise awareness, especially among the FCA community. In particular, with the help of the FCC, the development of adequate FCA methods to detect data tampering and data synthetization should be promoted.

2 years

1
0
0 0

IACT’23@SIGIR: Human or AI? Last CFP

by Hugo Oliveira Sousa

*** Apologies for cross-posting *** ++ CFP: LAST CHANCE TO SUBMIT ++ ============================================================================================================================= The 1st International Workshop on Implicit Author Characterization from Texts for Search and Retrieval (IACT’23) The workshop will be held in conjunction with the 46th International ACM SIGIR Conference on Research and Development in Information Retrieval. Workshop website: https://en.sce.ac.il/news/iact23 Date: July 27, 2023 Location: Taipei, Taiwan. Paper submission deadline: Extended to May 23, 2023, AoE Submission link: https://easychair.org/conferences/?conf=iact23 To bring the research community's attention to the limitations of current models in recognizing and characterizing AI vs. human authors, we organize the first edition of IACT workshops under the umbrella of the SIGIR conference. Research works submitted to the workshop should foster scientific advances in all aspects of author characterization. Submission Guidelines: All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome: - Full research papers: up to 8 pages. Original and high-quality unpublished contributions to the theory and practical aspects of the workshop topics. - Short research papers: up to 5 pages. It can describe ongoing research, resources, and demos. - Negative results papers: up to 5 pages. Highlighting tested hypotheses that did not get the expected outcome is also welcomed. - Position papers: up to 5 pages. Discussing current and future research directions. The length constraints do not include references. The submissions must be anonymous and will be peer-reviewed by at least two program committee members. Workshop Format: The authors of accepted papers will be given 15 minutes for a short oral presentation. The workshop will run as a hybrid event to allow virtual attendance and meet the SIGIR format. Workshop Topics: Research works submitted to the workshop should foster the scientific advance on all aspects of implicit author information extraction from text, including but not limited to the following: - Differentiation between AI-generated content and human-generated content and bot profiling - Characterization of conversational agents - Feature detection of authors for human vs. AI determination - Prompt understanding and recognition in language models - Personalized question-answering and conversation generation - Troll identification on social media - Review authenticity estimation - Multi-modal, multi-genre, and multilingual author analysis - Character analysis, description, and representation in narrative texts - Detecting implicit expressions of sentiment, emotion, opinion, and bias - Transfer learning for implicit author characterization - Implicit author characterization annotation schema - Evaluation of implicit author characterization - Author characterization in low-resource languages and under-studied domains - Accountability and regulation of AI-based information extraction, retrieval, and content generation - Copyright issues of AI-generated content - Ethical and privacy implications of author characterization and implicit information extraction - Fairness and bias of AI-generated content Organizing Committee: Marina Litvak - marinal(a)ac.sce.ac.il; Shamoon College of Engineering Beer Sheva; Israel Irina Rabaev - irinar(a)ac.sce.ac.il; Shamoon College of Engineering Beer Sheva; Israel Alípio Mário Jorge - amjorge(a)fc.up.pt; University of Porto; Porto, Portugal Ricardo Campos - ricardo.campos(a)ipt.pt; Polytechnic Institute of Tomar INESC TEC, Portugal; Porto, Portugal Adam Jatowt - adam.jatowt(a)uibk.ac.at; University of Innsbruck; Innsbruck, Austria Invited Speakers: Prof. Mark Last - Ben-Gurion University of the Negev, Israel Prof. Dr. Valia Kordoni - Humboldt-Universität Berlin, Germany Contacts: Dr. Marina Litvak: litvak.marina(a)gmail.com Dr. Irina Rabaev: irinar(a)ac.sce.ac.il All the best, Hugo Sousa on behalf of the IATC'23 Organizers

2 years

1
0
0 0

DEADLINE EXTENDED (Abstract - May 25th; Paper - June 1st) - JELIA 2023, the 18th European Conference on Logics in Artificial Intelligence

by Lucia Gomez Alvarez

*** Apologies for cross-posting *** JELIA 2023: Extended deadline notification 18th European Conference on Logics in Artificial Intelligence (JELIA 2023) September 20-22, 2023 TU Dresden, Germany https://jelia2023.inf.tu-dresden.de/ == IMPORTANT DATES (EXTENDED) == Abstract submission: 25 May 2023 Paper submission: 1 June 2023 Notification of acceptance: 10 July 2023 Camera-ready due: 27 July 2023 The Program Committee of the 18th European Conference on Logics in Artificial Intelligence (JELIA 2023) invites the submission of technical papers for the conference that will be held in Dresden, Germany, from the 20th to the 22nd of September of 2023. == AIMS AND SCOPE == The aim of JELIA 2023 is to bring together active researchers interested in the use of logics in Artificial Intelligence, in order to discuss current research, results, problems, and applications of both theoretical and practical nature. JELIA strives to foster links and facilitate cross-fertilization of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners. Authors are invited to submit papers presenting original and unpublished research in all areas related to the use of logics in Artificial Intelligence, including, but not limited to: * Abductive and inductive reasoning * Applications of logic-based AI systems * Argumentation * Automated reasoning including satisfiability checking and its extensions * Causality and logics * Computational complexity and expressiveness * Deontic logic and normative systems * Description logics and other logical approaches to ontologies * Knowledge representation, reasoning, and compilation * Learning and reasoning * Logic programming, answer set programming, constraint logic programming * Logics in machine learning * Logics for uncertain and probabilistic reasoning * Logics in multi-agent systems, games, and social choice * Neural networks and logic rules * Non-classical logics, such as modal, temporal, epistemic, dynamic, spatial, paraconsistent, and hybrid logics * Nonmonotonic logics, default logics, conditional logics * Planning and diagnosis based on logic * Preferences and optimization * Reasoning about actions * Updates, belief revision, and nonmonotonic reasoning Submissions describing implemented systems/applications and their application area(s) are also welcome. == SPECIAL TRACK == This year's conference will include a Special Track on Logics for Explainable and Trustworthy AI. We welcome contributions that describe logic-based approaches to making AI more transparent, safer, and more trustworthy. The track aims to draw attention to this timely topic and create a space for discussing the role of logic. The papers accepted for the special track will be presented in dedicated sessions at the conference. == AWARDS == JELIA 2023 is happy to announce that there will be Best Paper and Best Student Paper Prizes sponsored by Springer, each is a cash prize amounting to EUR 500. The Program Committee will select for this honor the contribution of the highest technical excellence and scientific merit. In the case of the latter award, the primary author of the paper must be a student at the time of submission. In previous editions, the best paper of JELIA has been invited to the sister conference track of IJCAI, and the conference series intends to carry on with this tradition. The authors of selected contributions of outstanding quality will be invited to submit an extended version of their work to the TPLP journal and will enjoy fast-track reviewing and publication. == SUBMISSION DETAILS == Submission Site: https://easychair.org/conferences/?conf=jelia2023 JELIA 2023 welcomes submissions of long or short papers. All submissions should contain original research, and sufficient detail to assess the merits and relevance of the contribution. Submissions must not have been previously published or be simultaneously submitted for publication elsewhere; see also the note below. All submissions should not exceed 13 pages for long papers and 6 pages for short papers (excluding references, including everything else, for example figures), and should be written in English. Submissions must be formatted according to the standard Springer LNCS style (see https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu…), and are not anonymous. The conference proceedings of JELIA 2023 will be published by Springer Verlag in the series Lecture Notes in Artificial Intelligence, a sub-series of Lecture Notes in Computer Science (important note: Springer will require all the LaTeX source files of all accepted submissions). == INVITED SPEAKERS == Mario Alviano, University of Calabria Katie Atkinson, University of Liverpool Franz Baader, TU Dresden Vaishak Belle, University of Edinburgh == CONFERENCE CHAIRS == ** General Chair Sarah Alice Gaggl, TU Dresden, Germany ** Program Chairs Maria Vanina Martinez, IIIA - CSIC, Spain Magdalena Ortiz, Umeå University, Sweden **Local Organization Chairs Marcos Cramer • TU Dresden, Germany Martin Diller • TU Dresden, Germany **Technical Chairs Stefan Borgwardt • TU Dresden, Germany Stefan Ellmauthaler • TU Dresden, Germany **Publicity Chairs Lucía Gómez Álvarez • TU Dresden, Germany Dominik Rusovac • TU Dresden, Germany **Finance Chairs Sarah Alice Gaggl • TU Dresden, Germany Hannes Straß • TU Dresden, Germany == POLICY ON MULTIPLE SUBMISSIONS == JELIA 2023 will not accept any paper that, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during JELIA's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings. Any additional questions can be directed towards the JELIA Chairs: jelia2023(a)easychair.org _________________________ Dr. Lucía Gómez Álvarez Computational Logic Group Institute for Artificial Intelligence Faculty of Computer Science TU Dresden GERMANY

2 years

1
0
0 0

[meetings][CfP] HHAI2023 26-30 June Call for Registration & Travel funds

by Meer, M.T. van der (Michiel)

Dear Receiver, Sorry for potential cross postings. We invite you to register for HHAI 2023: The Second International Conference on Hybrid Human-Artificial Intelligence. HHAI 2023 is happening in Munich, Germany on June 26-30 and we’re excited to share the conference program with you: HHAI is a multidisciplinary conference involving involves researchers from various fields like AI, HCI, sociology, psychology and more. HHAI focuses on AI systems that assist humans and vice versa, emphasising the need for adaptive, collaborative, responsible, interactive and human-centred intelligent systems that leverage human strengths and compensate for human weaknesses while considering social, ethical and legal considerations. We are only 5 weeks away from the conference! This year, we have a rich program featuring over 3 keynotes, 34 accepted papers, 17 posters, 4 demos, 8 doctoral colloquium students, 6 workshops, 3 tutorials, 1 hackathon, 2 industrial events, and 2 social events. When? Mon - Fri 26-30 June 2023 (in-person only event) Where? Munich, Germany Fees? Registration is now OPEN (Register by 2 June 2023 to receive the early bird discounts) https://hhai-conference.org/2023/registration/ Need financial assistance? [Application deadline: 26 May 2023] Check the travel grants from https://hhai-conference.org/2023/travel-funds/ Want to help us and get complimentary registration? [Application deadline: 31 May 2023] Check the student volunteers' call https://hhai-conference.org/2023/student-volunteering/ Program? https://hhai-conference.org/2023/program/ Need help in planning? Check local advice from https://hhai-conference.org/2023/conference-venue/ Feel free to pass the invitations to interested individuals. We look forward to hosting you in person in Munich! Warm regards, Paul Lukowicz, DFKI GmbH Sven Mayer, LMU Munich – HHAI 2023 General Chairs –

2 years

1
0
0 0

FOIS 2023 Call for participation

by Lucia Gomez Alvarez

**apologies for cross-postings** ===== Call for Participation to FOIS 2023 conference, workshops and tutorials ===== Program: https://fois2023.griis.ca/program/ Registration: https://fois2023.griis.ca/registration/ ================================================================= 13th International Conference on Formal Ontology in Information Systems (FOIS 2023), July 17-20, 2023 (Sherbrooke, QC, Canada) and Sept 18-20, 2023 (Online) Important dates ============= Early registration: May 22, 2023 Regular registration: June 15, 2023 On site conference: July 17-20, 2023 Definition and scope ================ The FOIS conference is a meeting point for all researchers with an interest in formal ontology. Formal ontology is the systematic study of the types of entities and relations making up the domains of interest represented in modern information systems. FOIS 2023 will have distinct tracks for foundational issues, ontology applications and methods, and domain ontologies. FOIS aims to be a nexus of interdisciplinary research and communication for researchers from many domains engaging with formal ontology. Common application areas include conceptual modeling, database design, knowledge engineering and management, software engineering, organizational modeling, artificial intelligence, robotics, computational linguistics, the life sciences, bioinformatics and scientific research in general, geographic information science, information retrieval, library and information science, as well as the Semantic Web. FOIS is the flagship conference of the International Association for Ontology and its Applications (IAOA: http://iaoa.org/), which is a non-profit organization promoting interdisciplinary research and international collaboration in formal ontology. Key Notes Speakers ================= . Deborah McGuinness (Tetherless World Senior Constellation Chair and Professor of Computer, Cognitive, and Web Sciences at Rensselaer Polytechnic Institute, Troy, NY) . Michael Gruninger (Professor of Industrial Engineering,Semantic Technologies Laboratory, University of Toronto, Canada) . John Heil (Professor, Department of Philosophy, Washington University, St Louis, and Durham University, UK) Accepted papers: https://fois2023.griis.ca/accepted-papers/ Workshops (as part of the Joint Ontology Workshops) and tutorials ======================================================= CAOS VII: Cognition And OntologieS<https://caos.inf.unibz.it/> Where next? The present and future of geospatial ontologies<http://stl.mie.utoronto.ca/geospatial2023/home.html> Workshop on FAIR Ontologies and Ontologies for FAIR<https://onto4fair.github.io/> The Integrated Food Ontology Workshop 2023<https://foodon.org/ifow-2023-workshop/> Ontologies for Services and Society (OSS)<https://csse.utoronto.ca/oss2023> 2nd Workshop on Knowledge Management and Process Mining for Law (KM4LAW)<https://km4law.di.unito.it/> 2nd Modular Knowledge Workshop (MK 2023)<https://mk2023.fbk.eu/> 7th Workshop on Foundational Ontology (FOUST VII)<https://foust.inf.unibz.it/foust7/> Tutorial: The Ontology of Parts, Wholes, and Sums<https://fois2023.griis.ca/wp-content/uploads/2023/03/AG-tutorial-abstract.p…>, Antony Galton Full program : https://fois2023.griis.ca/program/ ========= Main Conference : July 17-19, 2023 Workshops and tutorials: July 19-20, 2023 Registration fees (early rate until May 22, 2023) ============== Full Conference Academic and indus. early 510€ / 750 Can $ regular 580 € / 850 Can$ Student early 275€ / 400 Can $ regular 310 € / 450 Can$ Workshop Days (July 19-20) Academic and indus. early 260€ / 400 Can $ regular 260 € / 400 Can$ Student early 170€ / 250 Can $ regular 170 € / 250 Can$ more information here: https://fois2023.griis.ca/registration/ Location ======= FOIS 2023 consists of a physical meeting and a virtual meeting: An in-person only meeting in Sherbrooke, Quebec from July 17 to 20, 2023 that will be very much like a traditional conference with keynotes, regular talks, workshops and tutorials and plenty of social and networking opportunities. This part will not have a remote participation option, but we plan on recording selected talks (e.g. keynotes). This will be followed by an online part to be held from September 18 to 20, 2023 that offers an opportunity for presentation and discussion of additional papers that were not presented at the physical meeting in Sherbrooke. Conference Organization =================== General Chair: Antony Galton, University of Exeter, UK PC Chairs: Nathalie Aussenac-Gilles, IRIT-CNRS Toulouse, France Torsten Hahmann, University of Maine, USA Local Organization Chair: Jean-François Ethier, University of Sherbrooke, Canada Online Chair: Cassia Trojahn, IRIT Université Toulouse 2, France Workshop and Tutorial Chairs: Megan Katsumi, University of Toronto, Canada Emilio Sanfilippo, ISTC-CNR, Trento, Italy Early Career Chairs: Antoine Zimmermann, École des Mines de Saint-Étienne (EMSE), France Guendalina Righetti, Free University Bozen/Bolzano, Italy Demo & Showcase Chairs: Sergio de Cesare, University of Westminster, UK Tiago Prince Sales, University of Twente, Netherlands Publicity Chairs: Lucia Gomez Alvarez, TU Dresden, Germany Selja Seppälä, University College Cork, Ireland Proceedings Chair: Maria Hedblom, Jönköping University, Sweden Program committee: https://fois2023.griis.ca/conference-organization/ _________________________ Dr. Lucía Gómez Álvarez Computational Logic Group Institute for Artificial Intelligence Faculty of Computer Science TU Dresden GERMANY

2 years

1
0
0 0

Deadline extension: FCA4AI 2023 Workshop (colocated with IJCAI 2023)

by Amedeo Napoli

Sorry for duplicates. See new dates below! ------------------------------------------------------------------------------------------------------------------- -- FCA4AI (Eleventh Edition) -- ``What can FCA do for Artificial Intelligence?'' co-located with IJCAI 2023, Macao, China August 20 2023 http://www.fca4ai.hse.ru/2023 ------------------------------------------------------------------------------------------------------------------- General Information. The preceding editions of the FCA4AI Workshop (from ECAI 2012 until IJCAI-ECAI 2022) showed that many researchers working in Artificial Intelligence are indeed interested by powerful techniques for classification and data mining provided by Formal Concept Analysis. Again, we have the chance to organize the 11th edition of the workshop in Macao, co-located with the IJCAI 2023 Conference. Formal Concept Analysis (FCA) is a mathematically well-founded theory aimed at data analysis and classification. FCA allows one to build a concept lattice and a system of dependencies (implications and association rules) which can be used for many AI needs, e.g. knowledge processing, knowledge discovery, knowledge representation and reasoning, ontology engineering as well as information retrieval, recommendation, social network analysis and text processing. Thus, there are many ``natural links'' between FCA and AI. Recent years have been witnessing increased scientific activity around FCA, in particular a strand of work emerged that is aimed at extending the possibilities of plain FCA w.r.t. knowledge processing, such as work on pattern structures and relational context analysis, as well as on hybridization with other formalisms. These extensions are aimed at allowing FCA to deal with more complex than just binary data, for solving complex problems in data analysis, classification, knowledge processing... While the capabilities of FCA are extended, new possibilities are arising in the framework of FCA. As usual, the FCA4AI workshop is dedicated to the discussion of such issues, and in particular: - How can FCA support AI activities in knowledge discovery, knowledge representation and reasoning, machine learning, natural language processing... - By contrast, how the current developments in AI can be integrated within FCA to help AI researchers solve complex problems in their domain, - Which role can be played by FCA in the new trends in AI, especially in ML, XAI, fairness of algorithms, and ``hybrid systems'' combining symbolic and subsymbolic approaches. TOPICS OF INTEREST include but are not limited to: - Concept lattices and related structures: pattern structures, relational structures, distributive lattices. - Knowledge discovery and data mining: pattern mining, association rules, attribute implications, subgroup discovery, exceptional model mining, data dependencies, attribute exploration, stability, projections, interestingness measures, MDL principle, mining of complex data, triadic and polyadic analysis. - Knowledge and data engineering: knowledge representation, reasoning, ontology engineering, mining the web of data, text mining, data quality checking. - Analyzing the potential of FCA in supporting hybrid systems: how to combine FCA and data mining algorithms, such as deep learning for building hybrid knowledge discovery systems, producing explanations, and assessing system fairness. - Analyzing the potential of FCA in AI tasks such as classification, clustering, biclustering, information retrieval, navigation, recommendation, text processing, visualization, pattern recognition, analysis of social networks. - Practical applications in agronomy, astronomy, biology, chemistry, finance, manufacturing, medicine... The workshop will include time for audience discussion aimed at better understanding of of the issues, challenges, and ideas being presented. IMPORTANT DATES: Submission deadline: June 02 2023 Notification to authors: June 26 2023 Final version: July 10 2023 Workshop: August 20 2023 SUBMISSION DETAILS: The workshop welcomes submissions in pdf format following the CEURART style 1-column (to be downloaded at https://ceur-ws.org/Vol-XXX/CEURART.zip). Submissions can be: - technical papers between 8 and 12 pages, - system descriptions or position papers on work in progress not exceeding 6 pages. Submissions are via EasyChair at https://easychair.org/conferences/?conf=fca4ai2023 The workshop proceedings will be published as CEUR proceedings (see preceding editions in CEUR Proceedings Vol-3233, Vol-2972, Vol-2729, Vol-2529, Vol-2149, Vol-1703, Vol-1430, Vol-1257, Vol-1058, and Vol-939). WORKSHOP CHAIRS: Sergei O. Kuznetsov National Research University Higher Schools of Economics, Moscow, Russia Amedeo Napoli Université de Lorraine, CNRS, Inria, LORIA, Nancy, France Sebastian Rudolph Technische Universität Dresden, Germany PROGRAM COMMITTEE (under construction) ------------------------------------------------------------------------------------------------------------------- -------------------------------------------------------------------------------------------------------------------

2 years

1
0
0 0

Last Call for Papers - JELIA 2023, the 18th European Conference on Logics in Artificial Intelligence

by Lucia Gomez Alvarez

JELIA 2023 LAST CALL FOR PAPERS 18th European Conference on Logics in Artificial Intelligence (JELIA 2023) September 20-22, 2023 TU Dresden, Germany https://jelia2023.inf.tu-dresden.de/ == IMPORTANT DATES == Abstract submission: 22 May 2023 Paper submission: 25 May 2023 Notification of acceptance: 10 July 2023 Camera-ready due: 27 July 2023 The Program Committee of the 18th European Conference on Logics in Artificial Intelligence (JELIA 2023) invites the submission of technical papers for the conference that will be held in Dresden, Germany, from the 20th to the 22nd of September of 2023. == AIMS AND SCOPE == The aim of JELIA 2023 is to bring together active researchers interested in the use of logics in Artificial Intelligence, in order to discuss current research, results, problems, and applications of both theoretical and practical nature. JELIA strives to foster links and facilitate cross-fertilization of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners. Authors are invited to submit papers presenting original and unpublished research in all areas related to the use of logics in Artificial Intelligence, including, but not limited to: * Abductive and inductive reasoning * Applications of logic-based AI systems * Argumentation * Automated reasoning including satisfiability checking and its extensions * Causality and logics * Computational complexity and expressiveness * Deontic logic and normative systems * Description logics and other logical approaches to ontologies * Knowledge representation, reasoning, and compilation * Learning and reasoning * Logic programming, answer set programming, constraint logic programming * Logics in machine learning * Logics for uncertain and probabilistic reasoning * Logics in multi-agent systems, games, and social choice * Neural networks and logic rules * Non-classical logics, such as modal, temporal, epistemic, dynamic, spatial, paraconsistent, and hybrid logics * Nonmonotonic logics, default logics, conditional logics * Planning and diagnosis based on logic * Preferences and optimization * Reasoning about actions * Updates, belief revision, and nonmonotonic reasoning Submissions describing implemented systems/applications and their application area(s) are also welcome. == SPECIAL TRACK == This year's conference will include a Special Track on Logics for Explainable and Trustworthy AI. We welcome contributions that describe logic-based approaches to making AI more transparent, safer, and more trustworthy. The track aims to draw attention to this timely topic and create a space for discussing the role of logic. The papers accepted for the special track will be presented in dedicated sessions at the conference. == AWARDS == JELIA 2023 is happy to announce that there will be Best Paper and Best Student Paper Prizes sponsored by Springer, each is a cash prize amounting to EUR 500. The Program Committee will select for this honor the contribution of the highest technical excellence and scientific merit. In the case of the latter award, the primary author of the paper must be a student at the time of submission. In previous editions, the best paper of JELIA has been invited to the sister conference track of IJCAI, and the conference series intends to carry on with this tradition. The authors of selected contributions of outstanding quality will be invited to submit an extended version of their work to the TPLP journal and will enjoy fast-track reviewing and publication. == SUBMISSION DETAILS == Submission Site: https://easychair.org/conferences/?conf=jelia2023 JELIA 2023 welcomes submissions of long or short papers. All submissions should contain original research, and sufficient detail to assess the merits and relevance of the contribution. Submissions must not have been previously published or be simultaneously submitted for publication elsewhere; see also the note below. All submissions should not exceed 13 pages for long papers and 6 pages for short papers (excluding references, including everything else, for example figures), and should be written in English. Submissions must be formatted according to the standard Springer LNCS style (see https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu…), and are not anonymous. The conference proceedings of JELIA 2023 will be published by Springer Verlag in the series Lecture Notes in Artificial Intelligence, a sub-series of Lecture Notes in Computer Science (important note: Springer will require all the LaTeX source files of all accepted submissions). == INVITED SPEAKERS == Mario Alviano, University of Calabria Katie Atkinson, University of Liverpool Franz Baader, TU Dresden Vaishak Belle, University of Edinburgh == CONFERENCE CHAIRS == ** General Chair Sarah Alice Gaggl, TU Dresden, Germany ** Program Chairs Maria Vanina Martinez, IIIA - CSIC, Spain Magdalena Ortiz, Umeå University, Sweden **Local Organization Chairs Marcos Cramer • TU Dresden, Germany Martin Diller • TU Dresden, Germany **Technical Chairs Stefan Borgwardt • TU Dresden, Germany Stefan Ellmauthaler • TU Dresden, Germany **Publicity Chairs Lucía Gómez Álvarez • TU Dresden, Germany Dominik Rusovac • TU Dresden, Germany **Finance Chairs Sarah Alice Gaggl • TU Dresden, Germany Hannes Straß • TU Dresden, Germany == POLICY ON MULTIPLE SUBMISSIONS == JELIA 2023 will not accept any paper that, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during JELIA's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings. Any additional questions can be directed towards the JELIA Chairs: jelia2023(a)easychair.org _________________________ Dr. Lucía Gómez Álvarez Computational Logic Group Institute for Artificial Intelligence Faculty of Computer Science TU Dresden GERMANY

2 years

1
0
0 0

2025

2024

2023

2022

2021

fca-list May 2023