Aquileo | semantic-web Mail Archiveshttps://lists.w3.org/Archives/Public/semantic-web/feed.atom2026-08-23T06:14:28+00:00W3C Mailing List ArchiverAquileo | Call for Participation: Quechua ASR Shared Task | SIMBig 2026 - PeruJuan Antonio Lossio-Venturajuan.antonio.lossio@gmail.commid:DD06D116-0E00-40CF-94FB-70D345D1F65B@gmail.com2026-08-20T03:40:56+00:00
> [Apologies for cross-posting]
> 
> ***** Registration is now open for the Quechua ASR Shared Task @ SIMBig 2026! *****
> 
> ==========================================================================
> Call for Participation: QUECHUA ASR SHARED TASK @ SIMBig 2026
> Automatic Speech Recognition (ASR) and Language Resources for Indigenous Languages
> ==========================================================================
> 
> Where: SIMBig 2026, Universidad Católica San Pablo, Arequipa, PERU
> When: October 28 - 30, 2026
> Shared Task Registration: https://forms.gle/112jyHYPq9SVMmvs5
> Baseline & evaluation scripts: https://github.com/QuechuaBase/asr-puno-quechua
> Conference website: https://simbig.org/SIMBig2026/
> 
> ==========================================================================
> 
> OVERVIEW
> ----------------------------------
> 
> SIMBig 2026 will host a Shared Task on speech technologies and resources for Indigenous languages, with an initial emphasis on Puno Quechua. We invite researchers, students, industry practitioners, and Indigenous communities to build reproducible ASR systems and open resources that support linguistic diversity, language preservation, and the South American language research ecosystem.
> 
> 
> TASKS
> ----------------------------------
> 
> Task 1: Puno Quechua ASR Baseline — Improve WER/CER on the Common Voice Puno Quechua datasets (Scripted <https://mozilladatacollective.com/datasets/cmqio1wd400xynq079ifamac6>, Spontaneous <https://mozilladatacollective.com/datasets/cmqialqsu007bnr07e4se1rl8>); baseline and evaluation scripts provided <https://github.com/QuechuaBase/asr-puno-quechua>.
> Task 2: ASR for Any Indigenous Language of South America — Build an ASR system for a language that does not yet have one; teams provide their own train/dev/test splits (test ≥ 30 minutes).
> Task 3: Educational/Literacy Resource — Create a resource (website, tutorial, notebook, visualisation, video, learning platform, etc.) that helps people learn, explore, or reuse Indigenous language datasets.
> 
> AWARDS (and growing!)
> ----------------------------------
> 
> Task 1: $100 USD + free registration to SIMBig 2026
> Task 2: $100 USD + free registration to SIMBig 2026
> Task 3: $50 USD + free registration to SIMBig 2026
> In addition, the best submission(s) will be invited to publish their work free of charge in Springer as part of the SIMBig 2026 Proceedings. Registration fees may also be waived for selected outstanding submissions.
> 
> 
> IMPORTANT DATES (all times AoE)
> ----------------------------------
> 
> 10/08/2026: Registration opens (form <https://forms.gle/112jyHYPq9SVMmvs5>)
> 24/08/2026: Open orientation hour (Register <https://forms.gle/FnL2Xp8X5j3zCsHZ9>, add to calendar <https://calendar.google.com/calendar/event?action=TEMPLATE&tmeid=NnE0Ym4zajNscWxxZjVtMm5lcjdzNzhhcnIgZWx3aW5saHFAbQ&tmsrc=elwinlhq%40gmail.com>)
> 16/09/2026: Open orientation hour (Register <https://forms.gle/FnL2Xp8X5j3zCsHZ9>, add to calendar <https://calendar.google.com/calendar/event?action=TEMPLATE&tmeid=MWppY2dtZ203Y2Nka2M0MTF2ZWlqamtwMDcgZWx3aW5saHFAbQ&tmsrc=elwinlhq%40gmail.com>)
> 21/09/2026: Registration deadline (form <https://forms.gle/112jyHYPq9SVMmvs5>)
> 30/09/2026: Release of test dataset for Task 1
> 18/10/2026: Submission deadline for final results and system description paper
> 28–30/10/2026: Results announcement at SIMBig 2026
> 
> SUBMISSION
> ----------------------------------
> 
> Tasks 1 & 2: a zip with one TSV per language (e.g., qxp.tsv: audio file name, predicted transcription), due 1 week after the test audio is released. Top teams will be asked to share their model and inference script for reproduction.
> All tasks: a 4–8 page system description paper (Springer LNCS template <https://www.overleaf.com/latex/templates/springer-lecture-notes-in-computer-science/kzwwpvhwnvfj>) via CMT <https://cmt3.research.microsoft.com/SIMBig2026>. Papers are peer-reviewed (2+ reviewers) and plagiarism-screened; winning papers will be published in the Springer CCIS Series <https://www.springer.com/series/7899> (to be confirmed).
> 
> ORGANISERS
> ----------------------------------
> 
> Programme Chairs:
> 
> Elwin Huaman, University of Cambridge, UK - CONTACT (elh97@cam.ac.uk <mailto:elh97@cam.ac.uk>)
> Johanna Cordova, ERTIM at Inalco, France
> Hugo Alatrista, De Vinci Research Centre, France
> Juan Antonio Lossio-Ventura, National Institutes of Health, USA
> Programme Committee: (Expression of Interest for reviewers <https://forms.gle/ud5kUsToLdGUexHv9>)
> 
> Johanna Cordova, ERTIM at Inalco, France
> Elwin Huaman, University of Cambridge, UK
> Advisory Committee:
> 
> Anna Korhonen, University of Cambridge, UK
> Damien Nouvel, ERTIM at Inalco, France
> 
> ==========================================================================
> SIMBig 2026 — WHY JOIN US IN AREQUIPA
> ==========================================================================
> 
> The shared task is part of the 13th International Conference on Information Management and Big Data (SIMBig 2026), an international conference on AI, Data Science, Machine Learning, and NLP. Participants are invited to attend the full conference.
> 
> 
> KEYNOTE SPEAKERS
> ----------------------------------
> 
 Hugo AERTS, Harvard University, USA
 Omar ALONSO, Amazon Science, USA
 Gabriela CSURKA, Naver Labs, France
 Dan JURAFSKY, Stanford University, USA
 Tom M. MITCHELL, Carnegie Mellon University, USA
 Hoifung POON, Microsoft Research, USA
> 
> MORE DETAILS
> ----------------------------------
> 
> Publication: all accepted papers appear in the Springer CCIS Series <https://www.springer.com/series/7899>
> Travel grants: four student travel awards supported by NAACL <http://naacl.org/>
> Special tracks: DISE <https://simbig.org/SIMBig2026/en/dise.html> (Data-Driven Software Engineering) and RACV <https://simbig.org/SIMBig2026/en/racvimdl.html> (Recent Advances in Computer Vision)
> Co-located school: LASAI 2026 <https://simbig.org/lasai/2026/>, Latin American School of AI, October 23–26, UPC, Lima (in-person and online)
> Contact: SIMBig 2026 General Chairs — Juan Antonio Lossio-Ventura (juan.lossio@nih.gov <mailto:juan.lossio@nih.gov>), Hugo Alatrista-Salas (hugo.alatrista_salas@devinci.fr <mailto:hugo.alatrista_salas@devinci.fr>)

Attachments

Aquileo | Call for Participation: Quechua ASR Shared Task | SIMBig 2026 - PeruJuan Antonio Lossio-Venturajuan.antonio.lossio@gmail.commid:DD06D116-0E00-40CF-94FB-70D345D1F65B@gmail.com2026-08-20T03:40:56+00:00
> [Apologies for cross-posting]
> 
> ***** Registration is now open for the Quechua ASR Shared Task @ SIMBig 2026! *****
> 
> ==========================================================================
> Call for Participation: QUECHUA ASR SHARED TASK @ SIMBig 2026
> Automatic Speech Recognition (ASR) and Language Resources for Indigenous Languages
> ==========================================================================
> 
> Where: SIMBig 2026, Universidad Católica San Pablo, Arequipa, PERU
> When: October 28 - 30, 2026
> Shared Task Registration: https://forms.gle/112jyHYPq9SVMmvs5
> Baseline & evaluation scripts: https://github.com/QuechuaBase/asr-puno-quechua
> Conference website: https://simbig.org/SIMBig2026/
> 
> ==========================================================================
> 
> OVERVIEW
> ----------------------------------
> 
> SIMBig 2026 will host a Shared Task on speech technologies and resources for Indigenous languages, with an initial emphasis on Puno Quechua. We invite researchers, students, industry practitioners, and Indigenous communities to build reproducible ASR systems and open resources that support linguistic diversity, language preservation, and the South American language research ecosystem.
> 
> 
> TASKS
> ----------------------------------
> 
> Task 1: Puno Quechua ASR Baseline — Improve WER/CER on the Common Voice Puno Quechua datasets (Scripted <https://mozilladatacollective.com/datasets/cmqio1wd400xynq079ifamac6>, Spontaneous <https://mozilladatacollective.com/datasets/cmqialqsu007bnr07e4se1rl8>); baseline and evaluation scripts provided <https://github.com/QuechuaBase/asr-puno-quechua>.
> Task 2: ASR for Any Indigenous Language of South America — Build an ASR system for a language that does not yet have one; teams provide their own train/dev/test splits (test ≥ 30 minutes).
> Task 3: Educational/Literacy Resource — Create a resource (website, tutorial, notebook, visualisation, video, learning platform, etc.) that helps people learn, explore, or reuse Indigenous language datasets.
> 
> AWARDS (and growing!)
> ----------------------------------
> 
> Task 1: $100 USD + free registration to SIMBig 2026
> Task 2: $100 USD + free registration to SIMBig 2026
> Task 3: $50 USD + free registration to SIMBig 2026
> In addition, the best submission(s) will be invited to publish their work free of charge in Springer as part of the SIMBig 2026 Proceedings. Registration fees may also be waived for selected outstanding submissions.
> 
> 
> IMPORTANT DATES (all times AoE)
> ----------------------------------
> 
> 10/08/2026: Registration opens (form <https://forms.gle/112jyHYPq9SVMmvs5>)
> 24/08/2026: Open orientation hour (Register <https://forms.gle/FnL2Xp8X5j3zCsHZ9>, add to calendar <https://calendar.google.com/calendar/event?action=TEMPLATE&tmeid=NnE0Ym4zajNscWxxZjVtMm5lcjdzNzhhcnIgZWx3aW5saHFAbQ&tmsrc=elwinlhq%40gmail.com>)
> 16/09/2026: Open orientation hour (Register <https://forms.gle/FnL2Xp8X5j3zCsHZ9>, add to calendar <https://calendar.google.com/calendar/event?action=TEMPLATE&tmeid=MWppY2dtZ203Y2Nka2M0MTF2ZWlqamtwMDcgZWx3aW5saHFAbQ&tmsrc=elwinlhq%40gmail.com>)
> 21/09/2026: Registration deadline (form <https://forms.gle/112jyHYPq9SVMmvs5>)
> 30/09/2026: Release of test dataset for Task 1
> 18/10/2026: Submission deadline for final results and system description paper
> 28–30/10/2026: Results announcement at SIMBig 2026
> 
> SUBMISSION
> ----------------------------------
> 
> Tasks 1 & 2: a zip with one TSV per language (e.g., qxp.tsv: audio file name, predicted transcription), due 1 week after the test audio is released. Top teams will be asked to share their model and inference script for reproduction.
> All tasks: a 4–8 page system description paper (Springer LNCS template <https://www.overleaf.com/latex/templates/springer-lecture-notes-in-computer-science/kzwwpvhwnvfj>) via CMT <https://cmt3.research.microsoft.com/SIMBig2026>. Papers are peer-reviewed (2+ reviewers) and plagiarism-screened; winning papers will be published in the Springer CCIS Series <https://www.springer.com/series/7899> (to be confirmed).
> 
> ORGANISERS
> ----------------------------------
> 
> Programme Chairs:
> 
> Elwin Huaman, University of Cambridge, UK - CONTACT (elh97@cam.ac.uk <mailto:elh97@cam.ac.uk>)
> Johanna Cordova, ERTIM at Inalco, France
> Hugo Alatrista, De Vinci Research Centre, France
> Juan Antonio Lossio-Ventura, National Institutes of Health, USA
> Programme Committee: (Expression of Interest for reviewers <https://forms.gle/ud5kUsToLdGUexHv9>)
> 
> Johanna Cordova, ERTIM at Inalco, France
> Elwin Huaman, University of Cambridge, UK
> Advisory Committee:
> 
> Anna Korhonen, University of Cambridge, UK
> Damien Nouvel, ERTIM at Inalco, France
> 
> ==========================================================================
> SIMBig 2026 — WHY JOIN US IN AREQUIPA
> ==========================================================================
> 
> The shared task is part of the 13th International Conference on Information Management and Big Data (SIMBig 2026), an international conference on AI, Data Science, Machine Learning, and NLP. Participants are invited to attend the full conference.
> 
> 
> KEYNOTE SPEAKERS
> ----------------------------------
> 
 Hugo AERTS, Harvard University, USA
 Omar ALONSO, Amazon Science, USA
 Gabriela CSURKA, Naver Labs, France
 Dan JURAFSKY, Stanford University, USA
 Tom M. MITCHELL, Carnegie Mellon University, USA
 Hoifung POON, Microsoft Research, USA
> 
> MORE DETAILS
> ----------------------------------
> 
> Publication: all accepted papers appear in the Springer CCIS Series <https://www.springer.com/series/7899>
> Travel grants: four student travel awards supported by NAACL <http://naacl.org/>
> Special tracks: DISE <https://simbig.org/SIMBig2026/en/dise.html> (Data-Driven Software Engineering) and RACV <https://simbig.org/SIMBig2026/en/racvimdl.html> (Recent Advances in Computer Vision)
> Co-located school: LASAI 2026 <https://simbig.org/lasai/2026/>, Latin American School of AI, October 23–26, UPC, Lima (in-person and online)
> Contact: SIMBig 2026 General Chairs — Juan Antonio Lossio-Ventura (juan.lossio@nih.gov <mailto:juan.lossio@nih.gov>), Hugo Alatrista-Salas (hugo.alatrista_salas@devinci.fr <mailto:hugo.alatrista_salas@devinci.fr>)

Attachments

Aquileo | Dereferencing URLs in RDFAdam Sobieskiadamsobieski@hotmail.commid:CY8PR20MB54038B2035875B5C060CE6CCC5A42@CY8PR20MB5403.namprd20.prod.outlook.com2026-08-20T02:43:16+00:00
Semantic Web Interest Group,

I am excited to share another technical development. Drawing inspiration from pointers in computer-programming languages like C and C++, proposed for RDF is that the * symbol could be used to dereference URLs into: IRIs, literals, triples, quads, graphs, and datasets.

https://github.com/AdamSobieski/Web/discussions/7

Hopefully interesting! Thank you for any questions, comments, or other feedback either here or in the discussion thread.


Best regards,
Adam Sobieski

P.S.: I am also pleased to report that the previous idea has become the beginnings of "MIME-LD": https://github.com/AdamSobieski/Web/discussions/6 .
Aquileo | [CFP] SEMANTiCS 2026 - Practitioners Track - Call for submissionsAngelo Salatinoaas88ie@gmail.commid:CAOmG_3Wdk4wWdKt8W6J-mO-+H-81PELqU5MO6prKV_rDosP7VQ@mail.gmail.com2026-08-18T09:42:55+00:00
Dear all,

We are pleased to announce a new recently opened call at SEMANTiCS 2026,
which may be of your interest: Practitioners Track.

If you have a tool, system, application, or practical solution involving
semantic technologies, consider submitting to the Practitioners Track. This
track showcases real-world applications and the practical impact of these
technologies. The submission process is lightweight, does not require a
formal paper, and is non-archival.

You can find the call for submission details here:
https://2026-eu.semantics.cc/page/cfp_practitioners.html

Deadline: *August 29th, 23:59 AoE* (will not be extended)

Notification of acceptance: September 3rd

We hope you will consider sharing your work with the SEMANTiCS community
through this track.

Best regards,

Angelo, on behalf of the Practitioners Track Chairs:

Marco Brattinga, Kathrin Füllenbach, Genet Asefa Gesese, Eleni Ilkou, Aad
Versteden


semantics2026-practitioners@easychair.org


*Angelo Antonio Salatino [salatino.org <http://salatino.org/>]*
Aquileo | [FOIS 2026] 2nd call for participation: FOIS, JOWO and ISAOVitor Estevao Silva Souzavitor.souza@ufes.brmid:E02F983B-CDB2-4076-B01B-90E3ABDBA768@ufes.br2026-08-14T17:09:46+00:00
[Apologies for cross-posting]

Dear all,

We kindly invite you to participate in:

the 16th International Conference on Formal Ontology in Information Systems (FOIS 2026) – September 21-25, 2026;
the Joint Ontology Workshops (JOWO 2026), as part of FOIS;
[NEW!] the Interdisciplinary School on Applied Ontology (ISAO 2026), right after FOIS – September 26th - October 1st, 2026.


ISAO 2026 is an educational event for students, researchers, and professionals interested in the principled application of formal ontology in interdisciplinary contexts. Its 7th edition continues the tradition of immersive and hands-on education, combining lectures, tutorials, and interactive sessions. More information, including the event’s preliminary program can be found at https://www.foisconference.org/isao/. 

ISAO 2026 is co-located with FOIS 2026 and registration for both events can be done using the same registration link as FOIS. One can register for both FOIS and ISAO or just to one event or the other (i.e., registration to FOIS is not required for registering for ISAO).

Current registration prices are valid until August 21st. Register before the 22nd to avoid late registration prices! For more information on registration and travel, please visit https://foisconference.org/location/. To check out the FOIS preliminary program, please visit https://foisconference.org/program/. 


============================ 


FOIS is the flagship conference of the International Association for Ontology and its Applications (IAOA) <https://iaoa.org/>, a non-profit organization promoting interdisciplinary research and international collaboration in formal ontology.

FOIS 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. The conference encourages submission of high-quality, not previously published results on both theoretical issues and practical advancements. FOIS 2026 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 2026 will be held both online and in Vitória, ES, Brazil, organized by the Federal University of  Espírito Santo.

Best regards,

Vitor Souza and Giorgio Ubbiali (FOIS 2026 Publicity Chairs)
Aquileo | Knowledge Graphs and Embedding Vectors: A New MIME Type for Numeric Data Tensors?Adam Sobieskiadamsobieski@hotmail.commid:CY8PR20MB54038F1B4AAB12507697E7E5C5DA2@CY8PR20MB5403.namprd20.prod.outlook.com2026-08-14T05:00:22+00:00
Semantic Web Interest Group,

Hello. I am excited to share some ideas for storing embedding vectors alongside knowledge graphs referring to them.

Earlier, in this mailing list, we discussed multiple approaches for representing numeric data tensors within RDF, including how to go about doing so in RDF literals.

Embedding vectors can also be viewed as resources; embedding vectors, then, can be stored in message parts within multipart MIME messages.

For these and other purposes, two new MIME types are envisioned:

text/numeric-data-tensor
application/numeric-data-tensor

Drawing inspiration from the RDF Tensor project (https://neverblink-oss.github.io/rdf-tensor/), one could specify tensors' types and shapes using MIME type parameters.

text/numeric-data-tensor; data="float32"; shape="[1024]"
application/numeric-data-tensor; data="float32"; shape="[1024]"

With MIME types for numeric data tensors, one could store these resources in multipart MIME messages and utilize the "cid:" URL scheme (RFC 2392) from within knowledge graphs in these messages to refer to the other message parts.

Please feel free to check out a preliminary example, example #4, at: https://github.com/AdamSobieski/Web/discussions/5 .

Hopefully interesting. What do you think about these ideas? Thank you.


Best regards,
Adam Sobieski
Aquileo | Knowledge Graphs and Embedding Vectors: A New MIME Type for Numeric Data Tensors?Adam Sobieskiadamsobieski@hotmail.commid:CY8PR20MB54038F1B4AAB12507697E7E5C5DA2@CY8PR20MB5403.namprd20.prod.outlook.com2026-08-14T05:00:22+00:00
Semantic Web Interest Group,

Hello. I am excited to share some ideas for storing embedding vectors alongside knowledge graphs referring to them.

Earlier, in this mailing list, we discussed multiple approaches for representing numeric data tensors within RDF, including how to go about doing so in RDF literals.

Embedding vectors can also be viewed as resources; embedding vectors, then, can be stored in message parts within multipart MIME messages.

For these and other purposes, two new MIME types are envisioned:

text/numeric-data-tensor
application/numeric-data-tensor

Drawing inspiration from the RDF Tensor project (https://neverblink-oss.github.io/rdf-tensor/), one could specify tensors' types and shapes using MIME type parameters.

text/numeric-data-tensor; data="float32"; shape="[1024]"
application/numeric-data-tensor; data="float32"; shape="[1024]"

With MIME types for numeric data tensors, one could store these resources in multipart MIME messages and utilize the "cid:" URL scheme (RFC 2392) from within knowledge graphs in these messages to refer to the other message parts.

Please feel free to check out a preliminary example, example #4, at: https://github.com/AdamSobieski/Web/discussions/5 .

Hopefully interesting. What do you think about these ideas? Thank you.


Best regards,
Adam Sobieski
Aquileo | Knowledge Graphs and Embedding Vectors: A New MIME Type for Numeric Data Tensors?Adam Sobieskiadamsobieski@hotmail.commid:CY8PR20MB54038F1B4AAB12507697E7E5C5DA2@CY8PR20MB5403.namprd20.prod.outlook.com2026-08-14T05:00:22+00:00
Semantic Web Interest Group,

Hello. I am excited to share some ideas for storing embedding vectors alongside knowledge graphs referring to them.

Earlier, in this mailing list, we discussed multiple approaches for representing numeric data tensors within RDF, including how to go about doing so in RDF literals.

Embedding vectors can also be viewed as resources; embedding vectors, then, can be stored in message parts within multipart MIME messages.

For these and other purposes, two new MIME types are envisioned:

text/numeric-data-tensor
application/numeric-data-tensor

Drawing inspiration from the RDF Tensor project (https://neverblink-oss.github.io/rdf-tensor/), one could specify tensors' types and shapes using MIME type parameters.

text/numeric-data-tensor; data="float32"; shape="[1024]"
application/numeric-data-tensor; data="float32"; shape="[1024]"

With MIME types for numeric data tensors, one could store these resources in multipart MIME messages and utilize the "cid:" URL scheme (RFC 2392) from within knowledge graphs in these messages to refer to the other message parts.

Please feel free to check out a preliminary example, example #4, at: https://github.com/AdamSobieski/Web/discussions/5 .

Hopefully interesting. What do you think about these ideas? Thank you.


Best regards,
Adam Sobieski
Aquileo | [CFP] ORKG Content Track @ SEMANTiCS 2026 – Deadline: 31 AugustSören Auerauer@l3s.demid:009c01dd2b16$fcdbefd0$f693cf70$@l3s.de2026-08-13T11:29:30+00:00
Dear Semantic Web community,

 

We would like to invite submissions to the Open Research Knowledge Graph (ORKG) Content Track at SEMANTiCS 2026, taking place on 15–17 September 2026 in Ghent, Belgium.

 

The ORKG Content Track invites researchers and domain experts to contribute structured, machine-actionable scholarly knowledge to the Open Research Knowledge Graph. Rather than submitting a traditional research paper, participants create and submit ORKG content that structures and connects research findings and makes them easier to find, compare, and reuse.

 

Deadline: 31 August 2026

 

Call for submissions and further information: https://2026-eu.semantics.cc/page/cfp_orkg.html 

 

We have €400 available for awarding the best submissions.

 

Best regards,

 

Sören 

(on behalf of the SEMANTiCS 2026 ORKG Content Chairs Allard Oelen & Anna-Lena Lorenz)

 
Aquileo | CfP: Special Issue on Formal Methods and Intersymbolic AI (ACM Formal Aspects of Computing)Dubslaff, Clemensc.dubslaff@tue.nlmid:7FC0A032-9FD8-45FD-BD0E-C998DFCAE6C4@tue.nl2026-08-10T19:36:54+00:00
ACM Journal on Formal Aspects of Computing
Special Issue on "Formal Methods and Intersymbolic AI" (FMIAI)

––=== Call for Papers ===––
This special issue welcomes submissions in formal methods, symbolic AI, subsymbolic AI, and their synergies towards intersymbolic AI. The aim is to advance research at the intersection of these fields, fostering the development of dependable, explainable, and ultimately trustworthy computing systems.

––=== Topics ===––
Relevant topics include but are not limited to:
• Neurosymbolic AI
• Verification and Certification of Machine Learning and AI
• Explainable AI and Explainable Formal Methods
• Theorem Proving and AI
• Safety, Dependability, and Robustness in AI and Formal Methods
• Knowledge Representation and Formal Reasoning
• Runtime Verification and Monitoring of AI and AI-enabled Systems
• Formal Semantics and Reasoning about Generative AI
• Functional and Neurosymbolic Synthesis
• Reinforcement Learning and Probabilistic Verification
• Logics and Causal Reasoning for AI

––=== Guest Editors ===––
• Clemens Dubslaff, Eindhoven University of Technology, Eindhoven, The Netherlands
• Ina Schaefer, Karlsruhe Institute of Technology, Karlsruhe, Germany
• Martina Seidl, Johannes Kepler University, Linz, Austria

––=== Important Dates ===––
Submissions open: July 31, 2026
Submissions deadline: January 31, 2027
First-round review decisions no later than: April 30, 2027
Deadline for revision submissions: June 30, 2027
Notification of final decisions: August 31, 2027
Tentative publication: October 31, 2027

Please submit via the FMIAI track of FAC at ScholarOne:
https://mc.manuscriptcentral.com/fac


For questions and further information, please see the full call for papers:
https://dl.acm.org/pb-assets/static_journal_pages/fac/pdf/ACM-FAC-CfP-SI-Formal-Methods-Intersymbolic-AI-1783776817357.pdf


---------------------------------------

Clemens Dubslaff
Formal System Analysis Cluster
Department of Mathematics and Computer Science
Eindhoven University of Technology

office: MF 6.099
web: clemensdubslaff.de
email: c.dubslaff@tue.nl
        
Aquileo | [CfP] EVOKE 2026: Eliciting Verifiable, Operational Knowledge from ExpertsVinay K. Chaudhrivchaudhri@acm.orgmid:3985a09b-2cb2-4b22-8f93-cccc34be4790@acm.org2026-08-04T23:20:29+00:00
  EVOKE 2026: Call for Participation

Eliciting Verifiable, Operational Knowledge from Experts


    Full-day workshop at HCOMP and CI 2026September 27, 2026 · Virginia
    Tech, near Washington, DC

Submission deadline: August 15, 2026

Notification: August 22, 2026

Workshop: September 27, 2026

More information: www.evokebench.com <http://www.evokebench.com>


EVOKE invites work on eliciting knowledge into representations that a 
machine can reason over soundly. While large language models offer new 
frontiers in tackling the knowledge acquisition bottleneck, they also 
present new challenges in ensuring the validity and utility of acquired 
knowledge.   When that knowledge is encoded in a formal representation – 
for example, as a constraint set, an optimization model, a logical or 
temporal specification, a program, an ontology, or a probabilistic 
model, its utility becomes measurable. A solver can provide ground 
truth. A verifier can certify a result. A contradiction can be exposed.

The workshop focuses on three connected themes:

 1.

    Expert crowdsourcing for LLM training and post-training, including
    LLM-mediated and mixed-initiative elicitation, clarifying questions,
    tacit knowledge, and the knowledge-acquisition bottleneck.

 2.

    Verified elicitation into formal models, including integration of
    language models with solvers, SAT, SMT, MILP, constraint
    programming, and theorem provers.

 3.

    Elicitation for operations research, including ORBench, eliciting
    constraints and optimization models, and combining operations
    research with language models.

EVOKE will work toward:

  *

    a position paper on verified elicitation; and

  *

    a working group for a verified-elicitation dataset and benchmark.

We welcome technical papers, position papers, demonstrations, 
work-in-progress, and datasets. Accepted contributions will be presented 
as a combination of posters and panel discussion. To submit, email a 
title and one-page abstract to: evokebench@googlegroups.com 
<mailto:evokebench@googlegroups.com>
Aquileo | Last CFP: SIMBig 2026 | NAACL Awards | Submission Deadline (Aug 7)Juan Antonio Lossio-Venturajuan.antonio.lossio@gmail.commid:2F4A87E3-57FF-4513-BD97-0E2CC2CBD30D@gmail.com2026-08-04T04:16:34+00:00
> [Apologies for cross-posting]
> 
> SIMBig 2026: Awards & Final Deadline
> 
> Due to numerous requests and NAACL <http://naacl.org/> support, the final submission deadline is August 7.
> SIMBig-LASAI 2026 will offer financial support for students/authors from LATAM and beyond.
> No further extensions will be granted.
> 
> ==========================================================================
> CALL FOR PAPERS - SIMBig 2026 - LASAI 
> ==========================================================================
> 
> 13th International Conference on AI, Information Management and Big Data: SIMBig 2026
> Where: Universidad Católica San Pablo, Arequipa, PERU
> When: October 28 - 30, 2026
> Website: https://simbig.org/SIMBig2026/
> 
> ==========================================================================
> OVERVIEW
> ----------------------------------
> 
> SIMBig 2026 invites the submission of original research contributions in Artificial Intelligence (AI), Data Science, Machine Learning, Natural Language Processing, and related areas. The conference provides an international forum for researchers, practitioners, and industry experts to present and discuss advances in AI with an emphasis on large-scale data-driven methodologies and technologies.
> 
> 
> KEYNOTE SPEAKERS
> ----------------------------------
> 
 Hugo AERTS, Harvard University, USA
 Omar ALONSO, Amazon Science, USA
 Gabriela CSURKA, Naver Labs, France
 Dan JURAFSKY, Stanford University, USA
 Tom M. MITCHELL, Carnegie Mellon University, USA
 Hoifung POON, Microsoft Research, USA
> 
> IMPORTANT DATES
> ----------------------------------
> 
> July 15, 2026 August 7, 2026: Papers submission deadline
> August 22, 2026: Notification of acceptance
> October 28–30, 2026: Conference in Arequipa, Peru
> 
> PUBLICATION
> ----------------------------------
> 
> All accepted papers of SIMBig 2026 will be published in the Springer CCIS Series <https://www.springer.com/series/7899>.
> 
> 
> AWARDS & FUNDING
> ----------------------------------
> 
> Thanks to the support of the North American Chapter of the Association for Computational Linguistics (NAACL) <http://naacl.org/>, SIMBig 2026 offers a new set of awards and grants (ranging from $200 to $500 depending on the case):
> 
> 🏆 Best Paper Award
> 🎓 Best Student Paper Award
> 🌎 Latin America & Peru Author Grants (registration + travel)
> ✈️ Student Travel Awards
> 🎒 LASAI Student Support — also available for students participating in LASAI 2026
> Best paper award winners are announced at the closing ceremony. For the regional author registration + travel award, send us an email to evaluate your case for eligibility after submission time.
> 
> 
> TOPICS OF INTEREST
> ----------------------------------
> 
> SIMBig 2026 has a broad and inclusive scope. Topics include, but are not limited to:
> 
> Artificial Intelligence
> Big Data and Massive Data Analytics
> Data Science
> Machine Learning
> Deep Learning
> Natural Language Processing
> Semantic Web
> Data-driven Software Engineering
> Healthcare Informatics
> Biomedical Informatics
> Data Privacy and Security
> Information Retrieval
> Ontologies and Knowledge Representation
> Social Networks and Social Web
> Information Visualization
> Computer Vision
> 
> SPECIAL TRACKS
> ----------------------------------
> 
> SIMBig 2026 features special tracks in addition to the main conference:
> 
> DISE <https://simbig.org/SIMBig2026/en/dise.html>: Data-Driven Software Engineering 
> RACV <https://simbig.org/SIMBig2026/en/racvimdl.html>: Recent Advances in Computer Vision
> 
> CO-LOCATED SCHOOL: LASAI 2026
> ----------------------------------
> 
> Co-located with SIMBig 2026, the Latin American School of Artificial Intelligence (LASAI) 2026 offers intensive AI training for students, researchers, and professionals across Latin America.
> 
> When: October 23–26, 2026
> Where: UPC, Lima, Peru (in-person and online)
> Languages: Primarily Spanish (~80%), some sessions in English
> Info: https://simbig.org/lasai/2026/
> 
> CONTACT
> ----------------------------------
> 
> SIMBig 2026 General Chairs
> 
> Juan Antonio Lossio-Ventura, National Institutes of Health, USA (juan.lossio@nih.gov <mailto:juan.lossio@nih.gov>)
> Hugo Alatrista-Salas, De Vinci Research Center, France (hugo.alatrista_salas@devinci.fr <mailto:hugo.alatrista_salas@devinci.fr>)

Attachments

Aquileo | [CFP-KGSWC 2026]📢 KGSWC 2026 – Paper Submission Deadline ApproachingDr. Sanju Tiwarisanju.tiwari.2007@gmail.commid:CAOprRZJpGFv8_fZJfQ+eW_gYNE6PgOoDkwrmthgQf6WoZu1WkA@mail.gmail.com2026-08-02T08:44:09+00:00
<Apologies to cross posting>

Dear All

We hope you are doing well.

We would like to personally invite you to submit your latest research work
to the *8th International Knowledge Graph and Semantic Web Conference
(KGSWC 2026)*, which will be held on *16–18 November 2026* at the *Mihajlo
Pupin Institute, University of Belgrade, Serbia*.

KGSWC has become a vibrant international forum for researchers and
practitioners working in *Knowledge Graphs, Semantic Web, Linked Data,
Ontologies, Knowledge Representation, Large Language Models, Neuro-Symbolic
AI*, and related fields. We would be honored to receive a submission from
you and your research group.

Don't miss this opportunity to present your latest research at an
international forum bringing together researchers and practitioners from
academia and industry.

*📅 Extended Paper Submission Deadline:* *August 10, 2026 (AoE)*

For conference topics, submission guidelines, and important dates, please
visit: *https://kgsw.org* <https://kgsw.org/>

📍 *Conference Venue:* Mihajlo Pupin Institute, University of Belgrade,
Serbia
📅 *Conference Dates:* 16–18 November 2026

🔗 *Conference Website:* https://kgsw.org

📄 *Submission Portal:* https://easychair.org/conferences/?conf=kgswc2026

*Previous Edition:* https://link.springer.com/conference/kgswc

We sincerely hope you will consider contributing your excellent research to
KGSWC 2026. It would be a pleasure to welcome you to Belgrade and have your
work presented at the conference.

Please feel free to share this invitation with your colleagues and students
who may be interested.

We look forward to your submission.

With best regards,

-- 
Regards
Dr. Sanju Tiwari (CEO & Founder of Shodhguru Research Labs)
Professor, Sharda University, Greater Noida, India
Research Fellow of ORKG, TIB Hannover, Germany
Visiting Researcher, InfAI, Leipzig University, Germany
Associate Editor in Elsevier Journal of Engineering Applications of
Artificial Intelligence
External Expert, University of Lubeck, Germany
Visiting Researcher, Vienna University, Austria
DAAD Post-Doc-Net AI Fellow
General Chair *KGSWC 2020-26, AI4S 2023-26*
http://www.kgsw.org <http://www.kgswc.org/indo-american/>/
"Do what you love, Love what you do"
Aquileo | SWSA Impact Award: Call for Nominations (deadline: August 19th)Aidan Hoganaidhog@gmail.commid:669ba179-bddb-4c05-a4bf-270b9352ebe0@gmail.com2026-07-31T14:29:48+00:00
Dear all,

It is my pleasure to announce that this year The Semantic Web Science 
Association is inaugurating the *SWSA Impact Award*.

The focus of this award is to recognise and celebrate *contributions* 
made possible by the Semantic Web that have delivered an exemplary 
*positive impact on broader society*.

Contributions are any technical artifacts (e.g., software, libraries, 
languages, specifications, datasets, ontologies, applications, 
platforms, portals, best practices, among others). The contribution can 
be credited to a person or a small group of people (five suggested as 
maximum) who played a key role in its creation and adoption. The 
contribution should clearly have its roots in Semantic Web standards, 
research and/or systems.

To be considered for the award, we are soliciting *self-nominations* by 
those playing a key role in the creation and adoption of the 
contribution, to whom the award will be credited.

If you wish to promote a third-party contribution, we highly encourage 
you to rather directly contact the key people behind it and invite them 
to self-nominate. (Third-party nominations will not be considered.)

The evaluation criteria and process for nomination are detailed on the 
SWSA website:

https://swsa.semanticweb.org/awards/swsa-impact-award/

The winner for 2026 will be announced at ISWC 2026. The award includes 
certificates, a free registration to ISWC 2026, and an opportunity to 
give a talk on the contribution at the conference.

Best regards,
Aidan Hogan (SWSA Member)
        
Aquileo | [Job] PhD/PostDoc - Ontologies & Neurosymbolic AI - FIZ Karlsruhe, GermanySack, Harald (AIFB)harald.sack@kit.edumid:774A46EB-4D39-44F2-A6AC-306CF9ED07BA@kit.edu2026-07-28T10:47:35+00:00


================================================================
PhD/Junior Researcher OR PostDoc/Senior Researcher (f/m/x)
Knowledge Graphs - Ontological Engineering - Neurosymbolic AI
FIZ Karlsruhe - Leibniz Institute for Information Infrastructure
================================================================

Semantic search, question answering, and recommender systems all hit
the same wall eventually: retrieval is only as good as the knowledge it
can reason over. We build that knowledge layer - and we're hiring.

The Information Service Engineering (ISE) division, led by Prof. Dr.
Harald Sack, is hiring for its Knowledge Graph department (ISE-KG) - a
dynamic, intellectually stimulating team working at the intersection of
symbolic knowledge representation, NLP, and machine learning
(Neurosymbolic AI). We investigate models and methods for semantic
indexing, aggregation, linking, and retrieval across heterogeneous,
distributed data sources.

The position sits within the BMFTR project Plattform MaterialDigital III
(PMD III, 2025-2028), focused on - but not limited to - ontological
engineering in materials science engineering. It's an excellent
launchpad for a scientific career in knowledge-driven AI, with a strong
emphasis on ontologies and knowledge graphs.
 -> https://www.materialdigital.de/



WHAT YOU'LL DO
--------------
- Conduct innovative research on ontologies, ontology design, and
 ontological engineering in the materials science domain, with
 scientific publications and academic activities.
- Take on PMD III project work in coordination with your supervisor /
 project coordinator, handle project reporting and documentation, and
 represent ISE-KG in project meetings.
- Collaborate on national, European, and international third-party
 funding applications.
- Co-supervise Bachelor's and Master's theses (for PostDocs, also PhD
 theses) alongside Prof. Dr. Harald Sack.


WHAT YOU BRING
--------------
- A very good Master's degree (PhD for PostDocs) in computer science or
 a comparable discipline.
- Very good software engineering skills.
- Excellent written and spoken English; German is a plus but not
 required.
- Genuine excitement for hard research problems and building convincing
 solutions as a team.

For PostDocs:
- A publication record in renowned peer-reviewed venues.
- Funding-acquisition experience is highly beneficial but not mandatory.

Ideally, you have expertise in two or more of:
- Ontologies, Ontology Design & Ontological Engineering
- Knowledge Graphs & Semantic Technologies
- Large Language Models & Machine Learning

We're looking for someone self-motivated, well-organized, open-minded,
and with scientific leadership potential.


WHY FIZ KARLSRUHE
-----------------
- PhD/habilitation supervision by Prof. Dr. Harald Sack (FIZ Karlsruhe
 & KIT Karlsruhe).
- Up to 80% remote - only 20% of monthly working time on site. (Though
 the coffee here is excellent, and we love having the team around.)
- A diverse team that welcomes new members of all backgrounds, genders,
 and ages.
- A foot in KIT too: teaching experience and discourse with students,
 in person or via our online formats.
- A productive, continuously evolving research environment that actively
 supports your scientific growth.
- Pay grade 13 TVoeD (VKA) plus VBL company pension.
- Certified by the berufundfamilie audit for work-family compatibility.
 -> https://berufundfamilie.de/english-info

- Company bike leasing (JobBike BW) and a EUR 25 Deutschland-Ticket
 subsidy.


THE DETAILS
-----------
Full-time (part-time possible), fixed-term until 30 September 2028.
Applications from persons with severe disabilities given preference if
equally qualified.


APPLY WITH
----------
 1) detailed CV
 2) copies of degree certificates & transcripts
 3) publication record or thesis writing samples
 4) letters of recommendation (preferably at least two)
 5) a letter of motivation covering your research goals

Reference No. 08/2026     Deadline: 20 August 2026

Apply / full details:
https://www.fiz-karlsruhe.de/en/stellenanzeigen/phdjunior-researcher-oder-postdocsenior-researcher-mwd


Questions?
 Prof. Dr. Harald Sack   - harald.sack@fiz-karlsruhe.de
 Dr. Joerg Waitelonis    - joerg.waitelonis@fiz-karlsruhe.de


LEARN MORE
----------
ISE @ FIZ Karlsruhe:
 https://www.fiz-karlsruhe.de/en/bereiche/information-service-engineering

ISE @ KIT (AIFB):        https://ise.aifb.kit.edu/index.php

Prof. Dr. Harald Sack:   https://sigmoid.social/@lysander07

KIT:                     https://www.kit.edu/english/index.php

ISE on YouTube:          https://www.youtube.com/c/ISEFIZKarlsruhe


FIZ Karlsruhe - Leibniz Institute for Information Infrastructure is a
leading provider of scientific information and a member of the Leibniz
Association - one of the largest non-university institutions of its
kind.
================================================================





Prof. Dr. Harald Sack
Information Service Engineering
Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Karlsruhe Institut für Technologie
harald.sack@kit.edu         
Aquileo | [CFP-KGSWC26] Invitation to Submit a Paper to KGSWC 2026 LNCS SpringerDr. Sanju Tiwarisanju.tiwari.2007@gmail.commid:CAOprRZJ1ydwH=4fykX-Z6-VshaLOqFZumRut1GDndbksX3rwnQ@mail.gmail.com2026-07-27T10:54:39+00:00
Dear Colleagues,

Greetings!

This is a gentle reminder regarding the invitation to contribute your
latest research work to the *8th International Knowledge Graph and Semantic
Web Conference (KGSWC 2026)*, which will be held on *16–18 November 2026* at
the *Mihajlo Pupin Institute, University of Belgrade, Serbia*.

KGSWC has become a vibrant international forum for researchers and
practitioners working in *Knowledge Graphs, Semantic Web, Linked Data,
Ontologies, Knowledge Representation, Large Language Models, Neuro-Symbolic
AI*, and related fields. We would be honored to receive a submission from
you and your research group.

Don't miss this opportunity to present your latest research at an
international forum bringing together researchers and practitioners from
academia and industry.

*📅 Extended Paper Submission Deadline:* *August 10, 2026 (AoE)*

For conference topics, submission guidelines, and important dates, please
visit: *https://kgsw.org* <https://kgsw.org/>

📍 *Conference Venue:* Mihajlo Pupin Institute, University of Belgrade,
Serbia
📅 *Conference Dates:* 16–18 November 2026

🔗 *Conference Website:* https://kgsw.org

📄 *Submission Portal:* https://easychair.org/conferences/?conf=kgswc2026

*Previous Edition:* https://link.springer.com/conference/kgswc

We sincerely hope you will consider contributing your excellent research to
KGSWC 2026. It would be a pleasure to welcome you to Belgrade and have your
work presented at the conference.

Please feel free to share this invitation with your colleagues and students
who may be interested.

We look forward to your submission.

With best regards,





-- 
Regards
Dr. Sanju Tiwari (CEO & Founder of Shodhguru Research Labs)
Professor, Sharda University, Greater Noida, India
Research Fellow of ORKG, TIB Hannover, Germany
Visiting Researcher, InfAI, Leipzig University, Germany
Associate Editor in Elsevier Journal of Engineering Applications of
Artificial Intelligence
External Expert, University of Lubeck, Germany
Visiting Researcher, Vienna University, Austria
DAAD Post-Doc-Net AI Fellow
General Chair *KGSWC 2020-26, AI4S 2023-26*
http://www.kgsw.org <http://www.kgswc.org/indo-american/>/
"Do what you love, Love what you do"
Aquileo | [GOBLIN] Panel: Low Resource LanguagesAngelo Salatinoaas88ie@gmail.commid:CAOmG_3VkC6TaZvcYtUzuE63jgyHnm-dSHce6ncut5sxKMhWHJw@mail.gmail.com2026-07-24T18:54:34+00:00
Dear all,

Save the date for our upcoming Webinar Panel in *Low Resource Languages *that
will be held on *Monday, July 27th at 14:00 CEST* in Webex
https://tib-eu.webex.com/tib-eu-en/j.php?MTID=mc2d9e81aed6a2941e4628c91d2d34dad
(Webinar number 2788 852 8003 , password 9MaXEaij366 ).

We are excited to have a distinguished group of experts joining us,
representing a wide range of perspectives and expertise across multilingual
NLP, knowledge graphs, deep learning, and multimodal AI.
___________________________________________________________________________
*Panel in Low Resource Languages*

Date: July 27, 14:00 CEST

Moderator: John McCrae — Research Group Leader, University of Galway (Google
Scholar <https://scholar.google.com/citations?user=6naYN28AAAAJ>)

Panellists (alphabetical order):

   - Dagmar Gromann — Associate Professor, University of Vienna (Google
   Scholar <https://scholar.google.com/citations?user=0GoPTqsAAAAJ>)
   - Vassilis Katsouros — Director of Research Institute, Athena RC (Google
   Scholar <https://scholar.google.com/citations?user=MCna7YcAAAAJ>)
   - Miryam de Lhoneux — Assistant Professor, KU Leuven (Google Scholar
   <https://scholar.google.com/citations?user=Z2VK5nIAAAAJ>)
   - Axel Ngonga — Full Professor, Paderborn University (Google Scholar
   <https://scholar.google.com/citations?user=ccQhjwkAAAAJ>)


Organisation: GOBLIN COST Action Task 1.3
___________________________________________________________________________

Feel free to share the invitation with your network!

Best wishes,
Angelo - On behalf of GOBLIN Task 1.3 "Integration and interlinking of KGs"


[image: Panel #1 - all (1).png]



*Angelo Antonio Salatino [salatino.org <http://salatino.org/>]*