πŸ€–πŸš— AI is moving into the physical world – but how do we verify it?
Prof. Daniel Neider from the Department of Computer Science at TU Dortmund University joined a Shonan Meeting πŸ‡―πŸ‡΅, a selective research seminar bringing together experts in AI, formal methods, and robotics.
The focus:
πŸ”¬ LLM-guided synthesis
πŸ§ͺ testing
πŸ“ verification of learning-enabled cyber-physical systems.
Key research for building trustworthy AI.
#TrustworthyAI #ReliableAI #CyberPhysicalSystems #AIresearch
πŸš€ PhD position in Reliable AI
The Reliable AI Group at TU Dortmund & RC Trust is looking for a PhD researcher to work on the DFG project Temporal Logic Sketching for AI πŸ€–πŸ“
πŸ”¬ Research: logic + machine learning
πŸ’° Fully funded (3 years)
🌍 International research environment
πŸ’» GPU cluster & conference support
πŸ“© Apply: [email protected]
⏳ Deadline: March 31, 2026
#PhDPosition #ReliableAI #TrustworthyAI #MachineLearning #AcademicJobs

In her keynote at #ISWC2025, Yuko Harayama, Secretary General of Global Partnership on AI Tokyo Expert Support Center, is discussing the challenges of #AI on Human Society, suggesting a shift from originally tech-driven to human-centered paradigm, addressing key questions related to #ethics, #law, #economy, #society, #education, and R&D

#semanticweb #generativeAI #AIethics #AIpolicy #knowledgegraphs #llms #reliableAI

Join us today, 02.10.2025 11:00–12:00, for a presentation by Allard Oelen, from TIB - Leibniz Information Centre for Science and Technology and University Library, Leibniz University Hannover, on "AI-Supported Scholarly Research with ORKG Ask and TIB AIssistant" in the #DiTraRe Colloquium

free registration: https://www.ditrare.de/colloquium/registration?title=AI-Supported%20Scholarly%20Research%20with%20ORKG%20Ask%20and%20TIB%20AIssistant&date=02.10.2025%2011:00%E2%80%9312:00

zoom link: https://urlr.me/!ditrare-colloquium

#AI #agenticAI #reliableAI #LLMs #ORKG #knowledgegraphs #semanticweb @KIT_Karlsruhe @fiz_karlsruhe @AnnaJacyszyn @Feelix @ITAS

Two weeks left to submit your poster paper to our Symposium!
Call for Posters: DiTraRe Symposium on Digitalisation of Research 2025
Submission deadline: Oct 17, 2025
Submission link: https://easychair.org/my/conference?conf=ditraresymposium2025
Conference website: https://www.ditrare.de/en/symposium-2025

#AI #generativeAI #explainableAI #agenticAI #reliableAI #digitalisation #research #cfp @fiz_karlsruhe @fizise @KIT_Karlsruhe @ITAS @AnnaJacyszyn @Feelix #knowledgegraphs #semanticweb #datascience #science #legal #ethics #innovation #cfp

Three weeks left to submit your poster paper to our Symposium!
Call for Posters: DiTraRe Symposium on Digitalisation of Research 2025
Submission deadline: Oct 17, 2025
Submission link: https://easychair.org/my/conference?conf=ditraresymposium2025
Conference website: https://www.ditrare.de/en/symposium-2025

#AI #generativeAI #explainableAI #reliableAI #digitalisation #research #cfp @fiz_karlsruhe @fizise @KIT_Karlsruhe @ITAS @AnnaJacyszyn @Feelix #knowledgegraphs #semanticweb #datascience

Thinking Machines Lab tackles AI inconsistency for more reliable models! πŸ€–

Their work focuses on training, evaluation, & debugging.

Softsasi can help your business leverage consistent AI through consulting, development, & support. 🀝

Let's build a trustworthy AI future!

#AI #Consistency #ReliableAI #Softsasi

The SEMANTiCS 2025 agenda is packed: keynotes, workshops, paper sessions, posters, and networking opportunities every day. You can still register for on site or online participation
πŸ‘‰ https://2025-eu.semantics.cc

#SemanticsConf #AI #SemanticWeb #knowledgegraphs #explainableAI #reliableAI #llms

LLMs are starving for knowledge graphs. Raphael Troncy was pointing out that many LLM company crawlers are constantly visiting their KGs. Some crawlers even perform explicit SPARQL queries on the KGs.

#knowledgegraphs #eswc2025 #semweb #semanticweb #reliableAI #AI #responsibleAI #llms #webcrawler #slovenia #conference

ESWC 2025 has just started with the presentation of the submission numbers to the individual tracks:
research track: 98 papers
resource track: 36 papers
in-use track: 22 papers

Looking forward to great presentations and discussions!

#eswc2025 #semweb #semanticweb #knowledgegraphs #responsibleAI #reliableAI #neurosymbolicAI #AI #llms #conference #slovenia #portoroz