From jpalmeida at ieee.org Mon May 1 19:33:22 2023 From: jpalmeida at ieee.org (Joao Paulo Almeida) Date: Mon, 1 May 2023 14:33:22 -0300 Subject: [iaoa-general] CFP - PoEM: papers on ontologies in the enterprise welcome Message-ID: Dear Colleagues, I'd like to bring to your attention the CFP of PoEM 2023 in Vienna later this year. Contributions related to *ontologies in the **enterprise *most welcome as detailed in the CFP below. The deadline for contributions is a bit over two months from now. best regards, João Paulo ---- The Practice of Enterprise Modeling (PoEM 2023) 16th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling (PoEM) Call For Papers https://conferences.big.tuwien.ac.at/poem2023/ November 29 -- December 1, 2023, Vienna, Austria *Conference Scope* The PoEM working conference aims to improve the understanding of the practice of Enterprise Modeling (EM) by offering a forum for sharing experiences and knowledge between the academic community and practitioners from industry and the public sector. The 16th edition of the conference will take place in Vienna, Austria, from November 29 to December 1, 2023, it will be hosted by the Business Informatics Group of the TU Wien. PoEM 2023 invites you to contribute by submitting paper(s) on topics related to Enterprise Modeling. This year, the theme of the conference is Enterprise Modeling in the Circular Economy. The theme reflects the importance of Enterprise Modeling methods, techniques and tools to enable enterprises to move to sustainable business and operating models taking into account environmental, social and economical concerns. The field of Enterprise Modeling should seek to support these challenges by providing methods and tools, as well as investigating and reporting on the current state-of-research and state-of-practice. In addition to the above main theme, PoEM 2023 welcomes submissions addressing the following (non-exhaustive) list of topics: * Enterprise Modeling Foundations: - Modeling Theory - Tool Support - Meta-Modeling - Model Life-cycle Management - Human Model Interaction - Participatory and Collaborative Modeling - Return on Modeling Effort - Quality and Validation of Enterprise Models * Enterprise Modeling Empirics: - Modeling Practices - Case Studies and Action Research * Enterprise Modeling Ontologies and Languages: - Conceptualizations, Notations, Ontologies for the Enterprise - Multi-Perspective and Multi-Level Enterprise Modeling - Organizational and Resource Modeling - Business Process Modeling - Business Rules Modeling * Enterprise Design and Engineering: - Enterprise Transformation - Enterprise Engineering - Enterprise Architecture Management - Enterprise Strategy - Enterprise Ecosystems * Enterprise Modeling for Software Development: - Information Systems Engineering - Model-Based Software Engineering (MBSE) - Agile Systems Development - Modeling for AI solutions * Enterprise Modeling for Different Concerns, Aspects and Challenges: - FAIR Principles and Data Management - Enterprise Security, Risk, and Privacy - Regulatory Compliance & Governance - Sustainability - Resilience & Antifragility - Value Modeling - Digitalization - Data-driven Enterprises - Knowledge Management *Submissions* The following types of papers are solicited: - Research papers describing original research contributions in Enterprise Modeling (max. 15 pages) - Practitioner/Experience papers presenting problems, challenges or experience related to any aspect of Enterprise Modeling encountered in practice (max. 15 pages) - Work in progress papers and/or papers on emerging enterprise modeling challenges (max. 10 pages) Accepted papers will be published in Springer Lecture Notes in Business Information Processing (LNBIP, indexed in Scopus, Web of Science, DBLP). Submissions must conform to Springer's LNBIP format: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines Papers have to be submitted in PDF using the EasyChair submission page (to open soon): https://easychair.org/conferences/?conf=poemweek2023 All submissions must be unpublished and not be under review elsewhere. Submissions will be reviewed by at least three members of the Program Committee. At least one author of an accepted paper should register for the conference and present the paper. After the conference, selected papers will be invited to submit their extended versions to a Special Section in SoSym (International Journal on Software and Systems Modeling). *Important Dates* - Abstract submission deadline: 5 July 2023 - Paper submission deadline: 12 July 2023 - Author notification: 6 September 2023 - Camera-ready version deadline: 27 September 2023 - Conference: November 29 -- December 1, 2023 (all deadlines Anywhere on Earth) -------------- next part -------------- An HTML attachment was scrubbed... URL: From maria.m.hedblom at gmail.com Mon May 8 14:17:16 2023 From: maria.m.hedblom at gmail.com (Maria Hedblom) Date: Mon, 8 May 2023 14:17:16 +0200 Subject: [iaoa-general] 2nd CfP: The 7th Image Schema Day (ISD7) @KR 2023, 2-4 September, Rhodes, Greece Message-ID: *(apologies for possible cross-posting)* Call for papers and abstracts! The Seventh Image Schema Day ISD7 at KR2023 September 2-4 Rhodos, Greece https://imageschema.net/image-schema-day After the success of last year's workshop at Jönköping University, we are happy to announce that The Image Schema Day is back for the seventh time! This time ISD7 is included in the workshop program of The 20th International Conference on Principles of Knowledge Representation and Reasoning (KR2023) in Rhodes, Greece. As in previous years, ISD7 is a networking event that invites researchers on image schemas, conceptual primitives and spatiotemporal reasoning from a broad range of scientific disciplines to present their research and discuss ideas for future projects. Unlike many other workshops focused on different topics in one discipline or using one methodology, the Image Schema Day invites researchers from all disciplines and methodologies but focuses on one main topic. The workshop offers a friendly environment for researchers of all stages who are interested in presenting and discussing work on the formal and analytical treatment of conceptual patterns, embodied cognition and the interdisciplinary exploration of human thought! The workshop accepts three kinds of submissions: - Abstracts for presentation (2 pages) (NOTE: these are not included in the proceedings.) - Extended abstracts (5 pages) of work in progress or summaries of recently published articles. - Research papers (5-10 pages) discussing novel research not published (or under review) at another venue. Topics of interest with (the broadest of interpretation of) an image-schematic focus include: - analysis of conceptual metaphors - formalisation of affordances and force dynamics - spatiotemporal reasoning - commonsense reasoning - conceptual modelling - use cases of embodied cognition - formal approaches to analogical reasoning - formal concept analysis - applications in cognitive robotics - image-schematic interface design - art and literature analysis All submissions will be peer-reviewed and accepted contributions will be included in the ISD7 proceedings and presented at the workshop! Submission instructions can be found on the event website. Important dates: - Submission deadline: June 2nd - Notification of acceptance: July 1st - Workshop dates: September 2-4 We are looking forward to seeing you at ISD7! // The ISD7 organisers, Maria M. Hedblom and Oliver Kutz *...and yes, we are back with our psychedelic posters!Love it/hate it - we don't care - but please spread it! :) * [image: ISD7atKR_POSTER.png] -------------- next part -------------- An HTML attachment was scrubbed... URL: From frank.loebe at informatik.uni-leipzig.de Tue May 9 20:43:05 2023 From: frank.loebe at informatik.uni-leipzig.de (Frank Loebe) Date: Tue, 9 May 2023 20:43:05 +0200 Subject: [iaoa-general] 7th ESAO Webinar, Wednesday, May 10, 2023 -- Call for Participation Message-ID: == ESAO webinar n.07 in May 2023 == Dear all, The Educational Series on Applied Ontology (ESAO) [1] is open for everyone and welcomes students, researchers and practitioners alike (no registration needed). The seventh of its regular webinar sessions will be held on *Wednesday, May 10, 2023* at 14:00 UTC (regional times: 10:00 EDT / 16:00 CEST / 16:00 SAST [2]) via Zoom (full connection details at the end of this message) https://univ-tlse2.zoom.us/j/92382699039?pwd=dndEMlZGNy9WbkI1LzAxb051UTZjUT09 Program ------- 10:00-11:00 EDT / 14:00-15:00 UTC / 16:00-17:00 / 16:00-17:00 SAST Title: Pros and cons of DLs for applied ontologists Enrico Franconi (Free University of Bozen-Bolzano / Libera Università di Bolzano) and Daniele Porello (University of Genoa / Università di Genova) Series Description ------------------ The IAOA [3] has created ESAO [1], an educational effort directed towards topics of Applied Ontology, primarily established basics and foundations. The series is inspired by the Interdisciplinary Schools on Applied Ontology (ISAO) [4] (for the next ISAO edition during July 10-14, 2023, please see [5]). ESAO is complementary in format and its overall approach. The goal is to provide a combination of an archive of educational material (e.g., short video lectures) and a series of webinars for presenting and discussing that material. Organization ------------ Members of the Education Technical Committee of IAOA [6] and among those primarily (in alphabetical order): * Lucía Gómez Álvarez * Frank Loebe * Sandra Lovrenčić * Cassia Trojahn (Chair) * Laure Vieu Contact E-Mail: info at iaoa.org [1] Educational Series on Applied Ontology https://wiki.iaoa.org/index.php/Edu:ESAO [2] Session time locally and in further places https://www.timeanddate.com/worldclock/fixedtime.html?iso=20230510T1400 ICS file with event data https://intranet.irit.fr/SOGo/dav/public/trojahn/Calendar/12B780-643E4B00-789-425EB780.ics [3] IAOA website http://iaoa.org/ [4] ISAO History page https://iaoa.org/index.php/isao-history/ [5] ISAO 2023 website https://fois2023.griis.ca/isao-2023/ [6] Entry page of the IAOA Education Technical Committee https://iaoa.org/index.php/faq/education-committee/ Connection Details ------------------ Topic: ESAO 7th Session Topic: 7th ESAO Time: May 10, 2023 04:00 PM Paris Join Zoom Meeting https://univ-tlse2.zoom.us/j/92382699039?pwd=dndEMlZGNy9WbkI1LzAxb051UTZjUT09 Meeting ID: 923 8269 9039 Passcode: 283893 Join by SIP 92382699039 at zoomcrc.com Join by H.323 162.255.37.11 (US West) 162.255.36.11 (US East) 221.122.88.195 (China) 115.114.131.7 (India Mumbai) 115.114.115.7 (India Hyderabad) 213.19.144.110 (Amsterdam Netherlands) 213.244.140.110 (Germany) 103.122.166.55 (Australia Sydney) 103.122.167.55 (Australia Melbourne) 209.9.211.110 (Hong Kong SAR) 149.137.40.110 (Singapore) 64.211.144.160 (Brazil) 69.174.57.160 (Canada Toronto) 65.39.152.160 (Canada Vancouver) 207.226.132.110 (Japan Tokyo) 149.137.24.110 (Japan Osaka) Meeting ID: 923 8269 9039 Passcode: 283893 Join by Skype for Business https://univ-tlse2.zoom.us/skype/92382699039 From selja.seppala.unige at gmail.com Fri May 19 22:27:22 2023 From: selja.seppala.unige at gmail.com (=?utf-8?B?U2VsamEgU2VwcMOkbMOk?=) Date: Fri, 19 May 2023 21:27:22 +0100 Subject: [iaoa-general] FOIS 2023 Call for participation Message-ID: <2268C292-EE64-460F-813B-D845B14DC4DC@gmail.com> **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 Where next? The present and future of geospatial ontologies Workshop on FAIR Ontologies and Ontologies for FAIR The Integrated Food Ontology Workshop 2023 Ontologies for Services and Society (OSS) 2nd Workshop on Knowledge Management and Process Mining for Law (KM4LAW) 2nd Modular Knowledge Workshop (MK 2023) 7th Workshop on Foundational Ontology (FOUST VII) Tutorial: The Ontology of Parts, Wholes, and Sums , 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/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From maria.m.hedblom at gmail.com Wed May 24 14:36:58 2023 From: maria.m.hedblom at gmail.com (Maria Hedblom) Date: Wed, 24 May 2023 14:36:58 +0200 Subject: [iaoa-general] deadline extension: The 7th Image Schema Day (ISD7) @KR 2023, 2-4 September, Rhodes, Greece, Message-ID: *Apologies for any potential cross-posting!* Call for papers and abstracts! The Seventh Image Schema Day ISD7 at KR2023 September 2-4 Rhodos, Greece https://imageschema.net/image-schema-day -- Due to the busy times before the start of the summer, we have chosen to extend the submission deadline for both full papers and abstracts until the 12th of June. We kindly ask that you register the title and abstract in Easychair by the original deadline of June 2nd, so we can prepare for the reviewing processes. -- *Submission link:* https://easychair.org/conferences/?conf=isd7 Last year the sixth edition of the workshop was a great success and we are excited for this seventh edition which is joining the workshop program at The 20th International Conference on Principles of Knowledge Representation and Reasoning (KR2023) in Rhodes, Greece. As in previous years, ISD7 is a networking event that invites researchers on image schemas, conceptual primitives and spatiotemporal reasoning from a broad range of scientific disciplines to present their research and discuss ideas for future projects. Unlike many other workshops focused on different topics in one discipline or using one methodology, the Image Schema Day invites researchers from all disciplines and methodologies but focuses on one main topic. The workshop offers a friendly environment for researchers of all stages who are interested in presenting and discussing work on the formal and analytical treatment of conceptual patterns, embodied cognition and the interdisciplinary exploration of human thought! The workshop accepts three kinds of submissions: - Abstracts for presentation (2 pages) (NOTE: these are not included in the proceedings.) - Extended abstracts (5 pages) of work in progress or summaries of recently published articles. - Research papers (5-10 pages) discussing novel research not published (or under review) at another venue. Topics of interest with (the broadest of interpretation of) an image-schematic focus include: - analysis of conceptual metaphors - formalisation of affordances and force dynamics - spatiotemporal reasoning - commonsense reasoning - conceptual modelling - use cases of embodied cognition - formal approaches to analogical reasoning - formal concept analysis - applications in cognitive robotics - image-schematic interface design - art and literature analysis All submissions will be peer-reviewed and accepted contributions will be included in the ISD7 proceedings and presented at the workshop! Formatting and submission instructions can be found on the event website. Important dates: - Title registration deadline: June 2nd (soft deadline) - Submission deadline: June 12th (hard deadline) - Notification of acceptance: July 1st - Workshop dates: September 2-4 Please share this invitation with colleagues and students that might be interested in the workshop and consider joining us in September! Looking forward to seeing you (again) at ISD7! The ISD7 organisers, Maria M. Hedblom and Oliver Kutz *...and yes, we are back with our psychedelic posters!Love it/hate it - we don't care - but spread it! :) * [image: ISD7atKR_POSTER.png] -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: ISD7atKR_POSTER.png Type: image/png Size: 1541790 bytes Desc: not available URL: From frank.loebe at informatik.uni-leipzig.de Mon May 29 00:02:54 2023 From: frank.loebe at informatik.uni-leipzig.de (Frank Loebe) Date: Mon, 29 May 2023 00:02:54 +0200 Subject: [iaoa-general] =?utf-8?q?ISAO_2023=2C_July_10-14_-_Call_for_Part?= =?utf-8?q?icipation_=28Interdisciplinary_School_on_Applied_Ontology_held_?= =?utf-8?q?in_Sherbrooke=2C_Qu=C3=A9bec=2C_Canada=29?= Message-ID: <05eaa5b0-0608-6551-0dc0-09588e2074d9@informatik.uni-leipzig.de> 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 at 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-technologies 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 at 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 at usherbrooke.ca [8] ISAO 2023 contact to chairs by email iaoa.isao2023 at 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/ From Oliver.Kutz at unibz.it Wed May 31 10:18:56 2023 From: Oliver.Kutz at unibz.it (Kutz Oliver) Date: Wed, 31 May 2023 08:18:56 +0000 Subject: [iaoa-general] =?utf-8?q?PhD_opportunity_in_Computer_Science=2C_?= =?utf-8?q?deadline_June_15=2E_Topic=3A_=E2=80=9CStrategy_and_Explainabili?= =?utf-8?q?ty_for_Knowledge_Bases=E2=80=9D_at_the_Free_University_of_Bozen?= =?utf-8?q?-Bolzano=2C_Italy?= Message-ID: ****** PhD opportunity on “Strategy and Explainability for Knowledge Bases” at the Faculty of Engineering of the Free University of Bozen-Bolzano in Italy Application Deadline: June 15 Link to Application: https://www.unibz.it/en/faculties/engineering/phd-computer-science ****** The Faculty of Engineering at the Free University of Bozen-Bolzano (unibz) offers a number of three-year grants for its PhD programme in Computer Science. The KRDB Research Centre for Knowledge and Data is looking specifically for candidates suitable for a PhD project titled: “Strategy and Explainability for Knowledge Bases”. Description: This research project is about advancing the reasoning with conflicting knowledge, both in the strong sense of inconsistency, and in weaker varieties that involve conceptual clashes, empty concepts, or over-commitments. It focuses on bringing together three recent strands of research, namely 1) methods to weight information, 2) methods to weaken axioms, and 3) methods to negotiate or play games with information. The general application area is knowledge engineering, in particular providing solutions to the problem of resolving inconsistent information when an agent adds new knowledge to a knowledge base. But additionally, this entails the problem of explaining why a certain combination of knowledge is inconsistent, and it requires explaining or justifying the proposed changes. Weighted logic focuses on the idea that different pieces of information have different values, or weights, reflecting a very natural idea from common sense reasoning. Axiom weakening allows for a fine-grained repair of inconsistent knowledge bases. Its main advantage is that it repairs them by making axioms less restrictive rather than by deleting them. Typical research questions are: - Strategic reasoning: How can the techniques from multiagent systems and game theory be applied to problems of collaborative ontology engineering and concept combination? E.g., how can different agents agree on the weight of a particular piece of information? - Explainability: How can we best combine the ideas of weighted logic, where different pieces of information have different weights, and refinement, where we specialize or generalize our information? How can we explain and justify the weakening of information? Required skills: In general, applicants for this project are expected to have some good acquaintance with classical logic and its syntax and semantics. More advanced knowledge of proof methods, meta-theory, and non-classical logic will be a plus. The ideal candidate will already have some background in agents or game theory as well as KR languages such as description logics. Programming skills: experience with programming would be valuable, particularly for the purpose of carrying out evaluation studies and improving research prototypes. Each grant amounts to 51,000 EUR (i.e., 17,000 EUR per year, net after taxes); for research visits abroad the grant increases by 50%. Additional substantial extra funding (including a personal budget of 2,500 EUR per year) is available for participation to international conferences, schools, workshops, and research visits. The language of the PhD programme is English. Applications: The deadline for applications will be the 15th of June 2023. (Applicants must have completed their Master’s degree at the time of enrolment by the 31st of October.) For more information, the call, and applications look at: https://www.unibz.it/en/faculties/engineering/phd-computer-science About Bolzano and unibz: The university is located in one of the most fascinating European regions, the tri-lingual South Tyrol. This young university has already established itself as an important research institution, both in Italy and abroad, and is accordingly highly evaluated in several international rankings. The KRDB Research Centre for Knowledge and Data at the Faculty of Engineering is widely recognised as one of the internationally leading groups in Artificial Intelligence and Knowledge Representation research, with a synergy between foundational and application-oriented research. The city of Bozen-Bolzano, the capital of South Tyrol, has exceptional standards of living, and is a beautiful Italian city of mixed Austrian-Italian cultural heritage, and perfectly located in the Dolomites mountains, a UNESCO world heritage site. Contact the supervisors: Oliver Kutz, oliver.kutz at unibz.it Nicolas Troquard, nicolas.troquard at unibz.it http://www.inf.unibz.it/~okutz/ https://www.inf.unibz.it/~ntroquard/ *** -------------- next part -------------- An HTML attachment was scrubbed... URL: