2026 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Fri Jan 2 11:44:58 CET 2026
Ending: Sun Jul 12 09:25:54 CEST 2026
Messages: 223

• [DL] (LPNMR 2026) [Deadline Extension: Doctoral Consortium] 18th International Conference on Logic Programming and Non-monotonic Reasoning   Antonio Ielo
• [DL] 17th ESAO Webinar - Call for Participation Tuesday June 16 2025 16:00 CEST   Lucia Gomez Alvarez
• [DL] 2026 IAOA Fellowships - Call for Nominations by March 31, 2026   Guendalina Righetti
• [DL] 2nd Call for Papers - 33rd International Symposium on Temporal Representation and Reasoning (TIME 2026) 1-3 September 2026, Cork, Ireland.   AndreA Orlandini
• [DL] 2nd Call for Workshop/Tutorial Proposals : 3rd Intl. Joint Conf. on Conceptual Knowledge Structures (CONCEPTS 2026)   Gerd Stumme
• [DL] 2nd CfP: 19th Conference on Intelligent Computer Mathematics (CICM 2026)   Martina Seidl
• [DL] 2nd CfP: 3rd Intl. Joint Conf. on Conceptual Knowledge Structures (CONCEPTS 2026)   Gerd Stumme
• [DL] 2nd CfP: CI-BD-SOQE 2026: Workshop on Craig Interpolation, Beth Definability, and Second-Order Quantifier Elimination   Christoph Wernhard
• [DL] 2nd CfP: FLoC 2026 Joint Workshop on Explainable Logic-Based Knowledge Representation (XLoKR) and Explanations with Constraints and Satisfiability (ExCoS)   Nico Potyka
• [DL] 2nd CfP: LAMAS & SR 2026 (@FLoC 2026) - International Workshop on Logical Aspects of Multi-Agent Systems and Strategic Reasoning   Rustam Galimullin
• [DL] 2nd CfP: REVERSIBLE COMPUTATION 2026 –18th International Conference on Reversible Computation, July 9–10, 2026, Torino, Italy   Clément Aubert
• [DL] 2nd Workshop on Machine Learning for Solvers and Provers   geoff at cs.miami.edu
• [DL] [2nd CFP] 1st International Workshop on Quality in Large Language Models and Knowledge Graphs   Nathalie Aussenac-Gilles
• [DL] [AIxIA] Seminars: Prof. Diego Calvanese - Free University of Bozen-Bolzano. - June, 30 2026 – 5:00 PM (CEST)   Luciano Serafini
• [DL] [C.A.R.L.A. 2026 - Call for Papers] 2nd Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action, Lisbon, Portugal | July 18, 2025   Manuel Alejandro Borroto Santana
• [DL] [C.A.R.L.A. 2026 - Second Call for Papers] 2nd Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action, Lisbon, Portugal | July 26   Manuel Alejandro Borroto Santana
• [DL] [Call for Papers: Deadline Extension] (LPNMR 2026) 18th International Conference on Logic Programming and Non-monotonic Reasoning   Antonio Ielo
• [DL] [Call for Papers: Doctoral Consortium] (LPNMR 2026) 18th International Conference on Logic Programming and Non-monotonic Reasoning   Antonio Ielo
• [DL] [Call for Papers: Doctoral Consortium] (LPNMR 2026) 18th International Conference on Logic Programming and Non-monotonic Reasoning   Antonio Ielo
• [DL] [Call for Papers: Doctoral Consortium] (LPNMR 2026) 18th International Conference on Logic Programming and Non-monotonic Reasoning   Antonio Ielo
• [DL] [Call for Participation] 47th International Conference on Applications and Theory of Petri Nets and Concurrency [Petri Nets 2026], Hamburg, Germany, June 22-26, 2026   Köhler-Bußmeier, Michael
• [DL] [Call for Workshops] (LPNMR 2026) 18th International Conference on Logic Programming and Non-monotonic Reasoning   Antonio Ielo
• [DL] [CfP + DEADLINE extension] Knowledge Graphs and Large Language Models (KG–LLM 2026) @ LREC 2026   Gilles Sérasset
• [DL] [CFP-KGSWC 2026]📢 KGSWC 2026 – Paper Submission Deadline Extended!   Dr. Sanju Tiwari
• [DL] [cfp] (LPNMR 2026) 18th International Conference on Logic Programming and Non-monotonic Reasoning   Antonio Ielo
• [DL] [cfp] (LPNMR 2026) 18th International Conference on Logic Programming and Non-monotonic Reasoning   Antonio Ielo
• [DL] [CfP]: DBpedia Day 2026 || SEMANTiCS Conference || Sept 15   DBpedia
• [DL] [CFP][Deadline Extension] VINALDO: 3rd edition of International workshop on Machine vision and NLP for Document Analysis   rafika boutalbi
• [DL] [CfP][FOIS 2026] Call for Contributions – Journal-first track and main track reminder   Vitor Estevao Silva Souza
• [DL] [CfP][FOIS 2026] Call for Contributions – main track reminder and first call for Demonstrations, Ontology Showcase, Research and Industrial Project Exhibitions   Vitor Estevao Silva Souza
• [DL] [CfP][FOIS 2026] LAST MILE: main track abstracts due March 16th / other tracks with deadline June 3rd   Vitor Estevao Silva Souza
• [DL] [CfP][FOIS 2026] Tutorials: proposals due April 24th 2026   Vitor Estevao Silva Souza
• [DL] [CFP] AI³ 2026 - 10th Workshop on Advances in Argumentation in Artificial Intelligence   Carlo Taticchi
• [DL] [CfP] Doctoral Consortium @ RuleML+RR 2026   Di Stefano, Federica
• [DL] [CfP] ESWC 2026 - Call for Papers: Industry Track   Web and Publicity ESWC
• [DL] [CfP] ESWC 2026 - Call for Participation   Web and Publicity ESWC
• [DL] [CfP] ESWC 2026 - Call for Project Networking Track   Web and Publicity ESWC
• [DL] [CfP] ESWC 2026: Calls for Posters & Demos   Web and Publicity ESWC
• [DL] [CFP] First International Workshop on Extraction from Triplet Text-Table-Knowledge Graph and associated Challenge @ ESWC 2026   Nathalie Aussenac-Gilles
• [DL] [CFP] First International Workshop on Extraction from Triplet Text-Table-Knowledge Graph and associated Challenge @ ESWC 2026 - deadline extended   Nathalie Aussenac-Gilles
• [DL] [CfP] FLoC 2026   Nico Potyka
• [DL] [CFP] GenAIK-NORA Joint Workshop @ IJCAI-ECAI 2026   Btissam Er-Rahmadi
• [DL] [CfP] Industry Track @ RuleML+RR 2026   Di Stefano, Federica
• [DL] [CfP] International Conference of the Italian Association for Artificial Intelligence 2026   Francesco Santini
• [DL] [CfP] KR-2026 Tutorial: Definite Descriptions in KR Languages   Artale Alessandro
• [DL] [CfP] Rule Challenge @ RuleML+RR 2026   Di Stefano, Federica
• [DL] [CfP] RuleML+RR 2026 - The 10th International Joint Conference on Rules and Reasoning   Di Stefano, Federica
• [DL] [CfP] Sci-K @ISWC 2026 – 6th Intl. Workshop on Scientific Knowledge Representation, Discovery, and Assessment   Angelo Salatino
• [DL] [CfP] Sci-K @ISWC 2026 – 6th Intl. Workshop on Scientific Knowledge Representation, Discovery, and Assessment   Angelo Salatino
• [DL] [CfP] SEMANTiCS 2026: Deadline Approaching   daniil.dobriy at wu.ac.at
• [DL] [CfP] SEMANTiCS 2026: Research and Innovation Track Submission - Deadline Extension   daniil.dobriy at wu.ac.at
• [DL] [CfP] SEMANTiCS 2026 Last Call for Submissions   Office Dobriy AI
• [DL] [CFP] The 3rd International Workshop on Semantic Materials Science collocated with ISWC 2026   Huanyu Li
• [DL] [CFP] The 3rd International Workshop on Semantic Materials Science colocated with ISWC 2026   Huanyu Li
• [DL] [CFP] Theory and Methods for Abstraction (THEMA 2026) - Deadline Extension   Kai Sauerwald
• [DL] [CfP] The Sixth International Workshop on Logics and Argumentation for New-Generation Artificial Intelligence (LNGAI 2026)   Nico Potyka
• [DL] [CFP] VINALDO: 3rd edition of International workshop on Machine vision and NLP for Document Analysis   rafika boutalbi
• [DL] [CFP] Workshop on Logical approaches to handling INconsistent DAta (LINDA), July 24, Lisbon (affiliated with KR and FLoC)   Camille Bourgaux
• [DL] [CFP] Workshop on Logical approaches to handling INconsistent DAta (LINDA), July 24, Lisbon (affiliated with KR and FLoC)   Camille Bourgaux
• [DL] [CFP] Workshop on Logical approaches to handling INconsistent DAta (LINDA), July 24, Lisbon (affiliated with KR and FLoC)   Camille Bourgaux
• [DL] [CFP] Workshop on Quality of Knowledge Graphs - ESWC2026   Anisa Rula
• [DL] [CFP] Workshop on Theory and Methods for Abstraction (THEMA 2026)   Kai Sauerwald
• [DL] [CFP] Workshop on Theory and Methods for Abstraction (THEMA 2026)   Kai Sauerwald
• [DL] [CFP] Workshop on Theory and Methods for Abstraction (THEMA 2026)   Kai Sauerwald
• [DL] [CfP Deadline Extension] RuleML+RR 2026 - The 10th International Joint Conference on Rules and Reasoning (RuleML+RR 2026)   Mantas Šimkus
• [DL] [Early bird ends in < 26h] ScaDS.AI School on Neuro+Symbolic AI - June 22-26, 2026 in Leipzig, Germany - 4th Call for Participation   Frank Loebe
• [DL] [Early fees ext. to May 20] ScaDS.AI School on Neuro+Symbolic AI - June 22-26, 2026 in Leipzig, Germany - 3rd Call for Participation   Frank Loebe
• [DL] [Early fees until April 22] ScaDS.AI School on Neuro+Symbolic AI - June 22-26, 2026 in Leipzig, Germany - 2nd Call for Participation   Frank Loebe
• [DL] [EULP 2026 - Call for Papers] 1st Workshop on End-User Logic Programming, Lisbon, Portugal | July 26   Manuel Alejandro Borroto Santana
• [DL] [fm-announcements] CfP: STARS - STAtic+Runtime verification Synergies @ SEFM 2026   Alceste Scalas via fm-announcements
• [DL] [FOIS - JOWO 2026] announcement - Extended deadlines   Vitor Estevao Silva Souza
• [DL] [FOIS 2026] announcement - Extended deadline for Early Career Symposium   Vitor Estevao Silva Souza
• [DL] [FOIS 2026] FOIS and JOWO registrations open   Vitor Estevao Silva Souza
• [DL] [FOIS 2026] Reminder - Call for JOWO submissions and Extended deadline for the Tutorials track   Vitor Estevao Silva Souza
• [DL] [JOWO 2026] Reminder - Call for Workshop Proposals   Vitor Estevao Silva Souza
• [DL] [LPNMR 2026] [Call for Papers: Recently Published Research Track] 18th International Conference on Logic Programming and Non-monotonic Reasoning   Antonio Ielo
• [DL] [PlanetKR] [CfP] RuleML+RR 2026 - The 10th International Joint Conference on Rules and Reasoning   Mantas Šimkus
• [DL] [Second CFP]: LLM-TEXT2KG 2026 5th International Workshop on LLM-Integrated Knowledge Graph Generation from Text (Text2KG) Co-located with the Extended Semantic Web Conference (ESWC 2026)   Dr. Sanju Tiwari
• [DL] [Vardi-list] Ask the Candidates for ACM President   Moshe Vardi
• [DL] [Vardi-list] World Logic Day Lecture - Are AI minds genuine minds?   Moshe Vardi
• [DL] Abstact Submission Deadline is Closing: 4th Iccma (Online)   Tuncer Acar
• [DL] AIces 2026: early registration February 21st   David Silva - IRDTA
• [DL] AIces 2026: early registration February 3   David Silva - IRDTA
• [DL] AIces 2026: early registration January 17   David Silva - IRDTA
• [DL] AIces 2026: early registration March 10   David Silva - IRDTA
• [DL] AIces 2026: regular registration March 27   David Silva - IRDTA
• [DL] AIxIA 2026, Call for workshop proposals   Valentina Franzoni
• [DL] AIxIA 2026, deadline extension   Valentina Franzoni
• [DL] AIxIA 2026 - Call for Discussion Papers   Valentina Franzoni
• [DL] AIxIA 2026 – Call for Student Travel Grants   Valentina Franzoni
• [DL] AIxIA Call for papers and workshop proposals   Valentina Franzoni
• [DL] AIxIA Conference 2026 - Call for Papers   Valentina Franzoni
• [DL] AIxIA Doctoral Consortium, deadline extension to 12 July 2926   Valentina Franzoni
• [DL] all for Bids to Host TABLEAUX-FroCoS 2027   Franz Baader
• [DL] Call for Applications: ISWC 2026 Doctoral Consortium   Fatima Zahra AMARA
• [DL] Call for Applications – SWSA Distinguished Dissertation Award 2026   Fatima Zahra AMARA
• [DL] Call for Contributions: [CP at PLDI 2026] 2nd Workshop on Choreographic Programming   Dan Plyukhin
• [DL] Call for contributions for the 5th International Conference on Hybrid Human-Artificial Intelligence (HHAI 2026) in Brussels   LENAERTS Tom
• [DL] Call for Hosting KR 2027 or KR 2028   Nico Potyka
• [DL] Call for Late-Breaking Papers - 14th Computing Conference 2026 - 9&10 July in London   Supriya Kapoor
• [DL] Call for Nectar Track submissions at 3rd Intl. Joint Conf. on Conceptual Knowledge Structures (CONCEPTS 2026)   Gerd Stumme
• [DL] Call for Papers - 33rd International Symposium on Temporal Representation and Reasoning (TIME 2026) 1-3 September 2026, Dublin, Ireland.   AndreA Orlandini
• [DL] Call for Papers - Description Logics Workshop 2026   Sertkaya, Baris
• [DL] Call for Papers - NiDS2026: 6th Int. Conf. on Novel and Intelligent Digital Systems   Novel and Intelligent Digital Systems (NiDS)
• [DL] Call for papers: PRInCePS 2026 @ IEEE SWC 2026   Ivano Bilenchi
• [DL] Call for papers:Special Issue of The Knowledge Engineering Review on Memory-Augmented LLM Agents   ker at maxapress.com
• [DL] Call for Participation (CONCEPTS 2026)   Alexandre Bazin
• [DL] Call for Participation: 4th European Summer School on Artificial Intelligence (ESSAI 2026)   Mantas Šimkus
• [DL] Call for Participation: Workshop on AI and Theorem Provers in Mathematics (AITPM)   Achim D. Brucker
• [DL] Call for Tutorials – 25th International Semantic Web Conference (ISWC 2026)   Fatima Zahra AMARA
• [DL] Call for Workshop/Tutorial Proposals : 3rd Intl. Joint Conf. on Conceptual Knowledge Structures (CONCEPTS 2026)   Gerd Stumme
• [DL] Call for Workshop Papers – FLICS 2026 Workshops (IEEE Xplore Proceedings)   Sadi Alawadi
• [DL] Call for Workshop Proposals at the IEEE Co- sponsored 2nd International Conference on Human-AI Interaction and Experience Design (HAXD 2026)   FLICS
• [DL] CFP "Petri Nets 2026"   Köhler-Bußmeier, Michael
• [DL] CFP - 12th Intelligent Systems Conference (IntelliSys) 2026 - 3&4 September in Amsterdam   Supriya Kapoor
• [DL] CfP - Elsevier COMCOM - Special Issue on Intelligence and Service Orchestration in Next-Generation Mobile Networks   GIOVANNI STANCO
• [DL] CfP - Elsevier COMCOM - Special Issue on Intelligence and Service Orchestration in Next-Generation Mobile Networks   GIOVANNI STANCO
• [DL] CFP - Semantic Shields 3: The 3rd International Workshop on Modeling for Cybersecurity   Ítalo Oliveira
• [DL] CfP: 19th Conference on Intelligent Computer Mathematics (CICM 2026)   Martina Seidl
• [DL] CfP: 4th Workshop on Artificial Intelligence for Cultural Heritage — IAICH26 @AIxIA 2026   Maria Angela PELLEGRINO
• [DL] CfP: CI-BD-SOQE 2026: Workshop on Craig Interpolation, Beth Definability, and Second-Order Quantifier Elimination   Christoph Wernhard
• [DL] CfP: First Workshop on Agentic AI Systems, Welfare, Social Mechanisms, and Multi-Agent Ecosystems (AWESOME-2026)   Özcep, Özgür Lütfü
• [DL] CfP: First Workshop on Agentic AI Systems, Welfare, Social Mechanisms, and Multi-Agent Ecosystems (AWESOME-2026)   Özcep, Özgür Lütfü
• [DL] CfP: FLoC 2026 Joint Workshop on Explainable Logic-Based Knowledge Representation (XLoKR) and Explanations with Constraints and Satisfiability (ExCoS)   Nico Potyka
• [DL] CFP: ISWC 2026 — Abstracts due 2 May (AoE), Papers due 7 May (AoE)   Fatima Zahra AMARA
• [DL] CfP: LAMAS & SR 2026 (@FLoC 2026) - International Workshop on Logical Aspects of Multi-Agent Systems and Strategic Reasoning   Rustam Galimullin
• [DL] CFP: The 2nd International Conference on Human-AI Interaction and Experience Design (HAXD 2026)   FLICS
• [DL] CFP MultiClinAI (SMM4H-HeaRD/ACL2026): Multilingual Clinical Entity Annotation Projection and Extraction Shared task   Martin Krallinger
• [DL] CfP – Datalog 2.0 2026   Matthias Lanzinger
• [DL] CfP – SQUARE 9 (Montréal, June 22–26, 2026)   Jean-Yves Beziau
• [DL] CfP – SQUARE 9 (Montréal, June 22–26, 2026) - Final deadline May 21st   jyb.unine
• [DL] COMMA 2026: Early Bird Registration and Student Grant Deadlines Approaching   Vanina Martinez
• [DL] Deadline extension DL 2026   Sertkaya, Baris
• [DL] Deadline extension DL 2026   Baris Sertkaya
• [DL] Deadline Extension XLoKR & ExCoS 2026 to May 7   Nico Potyka
• [DL] Deadline Extenstion: 19th Conference on Intelligent Computer Mathematics (CICM 2026)   Martina Seidl
• [DL] Deadline May 22 2026 - 33rd International Symposium on Temporal Representation and Reasoning (TIME 2026) 1-3 September 2026, Cork, Ireland.   AndreA Orlandini
• [DL] DL 2026 student grants   Sertkaya, Baris
• [DL] DL Workshop 2026: First Call for Papers   Sertkaya, Baris
• [DL] EARLY REGISTRATION DEADLINE EXTENDED: 4th ICCMA (ONLINE)   Tuncer Acar
• [DL] Enjoy Latest Research from The Knowledge Engineering Review   ker at maxapress.com
• [DL] ESSLLI 2026 - First Call for Participation   Dusan Varis
• [DL] ESSLLI 2026 - First Call for Participation (early-bird deadline reminder)   Dušan Variš
• [DL] ESSLLI 2026 - Second Call for Participation (Early-bird extension)   Dusan Varis
• [DL] European Summer School on Artificial Intelligence (ESSAI 2026)   Mantas Šimkus
• [DL] Extended deadline - CI-BD-SOQE 2026: Workshop on Craig Interpolation, Beth Definability, and Second-Order Quantifier Elimination   Christoph Wernhard
• [DL] Festschrift in Honor of Christoph Weidenbach's 60th Birthday: [Deadline Extension]   geoff at cs.miami.edu
• [DL] FICS 2026 - Call for Participation   Florian Bruse
• [DL] Final Call for Hosting KR 2027 or KR 2028 (Deadline March 15)   Nico Potyka
• [DL] Final Call for Student Grant Applications: European Summer School on Artificial Intelligence (ESSAI 2026)   Mantas Šimkus
• [DL] Final CfP: REVERSIBLE COMPUTATION 2026 –18th International Conference on Reversible Computation, July 9–10, 2026, Torino, Italy (extended deadlines)   Clément Aubert
• [DL] First CfP: 6th International Workshop on Semantic Web and Ontology Design for Cultural Heritage, SWODCH 2026 at ISWC2026   Marianna Nicolosi Asmundo
• [DL] Fixed ARQNL 2026 - Call for Papers   geoff at cs.miami.edu
• [DL] FLoC Workshops - All the Calls   geoff at cs.miami.edu
• [DL] FMICS 2026: Last Call for Papers!   Rozier, Kristin-Yvonne [AER E]
• [DL] FoIKS-2026 Call for Participation   Yasir mahmood
• [DL] FSCD workshops at FLoC   geoff at cs.miami.edu
• [DL] Grants for The European Summer School on AI (ESSAI 2026) in Vienna (Deadline: April 17)   Motnikar, Lenart
• [DL] ICTCS'26 (Udine, Italy) - Call For Papers   Angelo Matteo
• [DL] IJCAI-ECAI 2026 - Demonstrations Track: Call for Submissions   Thimm, Matthias
• [DL] Invitation to 3rd International Conference: Constructive Mathematical Analysis (ONLINE)   Tuncer Acar
• [DL] Invitation to Submit Manuscript: Constr. Math. Analysis (ESCI Q1, IF 1.8)   Tuncer Acar
• [DL] ISBRA 2026 Call for Papers   ICCABS 2025 Call for Papers
• [DL] ISWC 2026 - Deadline Call for Workshops   Fatima Zahra AMARA
• [DL] ISWC 2026 Industry Track – Call for Papers   Fatima Zahra AMARA
• [DL] JOB Posting: 2 year postdoc position in "AI: LLM, Ontologies and KGs" at Jönköping University, Sweden   Maria Hedblom
• [DL] KG–LLM @ LREC 2026 - Knowledge Graphs and Large Language Models - Second Call for Paper   Gilles Sérasset
• [DL] KR 2026: Call for Nominations   Nico Potyka
• [DL] KR 2026 Call for Videos Deadline Extension   Nico Potyka
• [DL] KR 2026 Doctoral Consortium – Submission Reminder   David Carral Inria
• [DL] KR 2026 Submission Open   Nico Potyka
• [DL] KR and FLoC Early Registration open until May 15   Nico Potyka
• [DL] LAST CALL: EARLY REGISTRATION ENDs SOON: 4th ICCMA (ONLINE)   Tuncer Acar
• [DL] Last Call for Paper Submission – NiDS 2026 (6th Int. Conf. on Novel & Intelligent Digital Systems)   Novel and Intelligent Digital Systems (NiDS)
• [DL] LPAR-26 Call for Papers - The 26th Conference on Logic for Programming, Artificial Intelligence and Reasoning   geoff at cs.miami.edu
• [DL] LSFA 2026 Announcement and First Call for Papers   Alexandre Madeira
• [DL] LUW June 10, 4pm CET - Modal Logic in Europe (1930-1959) - Max Cresswell and Jacques Riche (eds)   jean-yves beziau
• [DL] multiple tenure-track positions at the University of Warsaw   Filip Murlak
• [DL] NEU: Festschrift and Workshop in Honor of David Basin (Deadline: 21st May 2026)   Achim D. Brucker
• [DL] Next Description Logic Seminar: Jean Christoph Jung, on February 20   Maurice Funk
• [DL] Next Description Logic Seminar: Roman Kontchakov, on May 22   Maurice Funk
• [DL] Next Description Logic Seminar: Stefan Borgwardt, on March 27   Maurice Funk
• [DL] Next Description Logic Seminar by Vladislav Ryzhikov   Bartosz Bednarczyk
• [DL] NiDS 2026 – Extended Deadline for Paper Submission: 6th Int. Conf. on Novel and Intelligent Digital Systems (NiDS)   Novel and Intelligent Digital Systems (NiDS)
• [DL] Nominations for Bill McCune PhD Award in Automated Reasoning 2026   geoff at cs.miami.edu
• [DL] OSETAI 2026: Two weeks left for submissions   Martin Thomas Horsch
• [DL] OSETAI 2026: Two weeks left for submissions   Martin Thomas Horsch
• [DL] PAAR-2026: Deadline Extension   geoff at cs.miami.edu
• [DL] PhD Position at VU Amsterdam on Privacy-Preserving AI and Knowledge Graphs for Energy Digital Twins   Chen, J. (Jieying)
• [DL] Postdoctoral Research Fellow in Ontology Generation with Large Language Models (LLMs) at Griffith University, Australia   Zhe Wang
• [DL] ProoVer-2026: First Proof Verifier Competition   geoff at cs.miami.edu
• [DL] RC 2026: Call for Participation   Clément Aubert
• [DL] RCRA workshop at FLOC 2026 - call for paper   Luciano Serafini
• [DL] Reasoning Web Summer School 2026 - part of Declarative AI 2026   Mantas Šimkus
• [DL] Reminder: AIxIA 2026 Travel Grant   Valentina Franzoni
• [DL] Reminder: ISWC 2026 Abstract Deadline Approaching   Fatima Zahra AMARA
• [DL] Reminder: ISWC 2026 — Abstracts due 2 May (AoE), Papers due 7 May (AoE)   Fatima Zahra AMARA
• [DL] Research positions in Theorem Proving in AI and Math   geoff at cs.miami.edu
• [DL] RuleML+RR 2026 - The 10th International Joint Conference on Rules and Reasoning   Mantas Šimkus
• [DL] SAT/SMT/AR summer school: registration and financial support   geoff at cs.miami.edu
• [DL] ScaDS.AI School on Neuro+Symbolic AI - June 22-26, 2026 in Leipzig, Germany   Filippo De Bortoli
• [DL] ScaDS.AI School on Neuro+Symbolic AI - June 22-26, 2026 in Leipzig, Germany - Call for Participation - Early fees until April 22   Filippo De Bortoli
• [DL] Second call for contributions for the 5th International Conference on Hybrid Human-Artificial Intelligence (HHAI 2026) in Brussels   LENAERTS Tom
• [DL] Second Call for Hosting KR 2027 or KR 2028   Nico Potyka
• [DL] Second Call for Nominations for KR 2026 Awards (Deadline February 28 AoE)   Nico Potyka
• [DL] Second CfP: Festschrift and Workshop in Honor of David Basin (Deadline: 21st May 2026)   Achim D. Brucker
• [DL] Second CfP: SPIN 2026 - Deadline: January 22 (Torino, Italy, Colocated with ETAPS)   Vincenzo Ciancia
• [DL] ST4DM 2026 Workshop: Submission Deadline Extended   Davide Lanti
• [DL] Summer School on Verification Technology, Systems & Applications   geoff at cs.miami.edu
• [DL] Symbolic Computation and Machine Learning - SCML 2026   geoff at cs.miami.edu
• [DL] SYNASC 2026 - Call for Papers   SYNASC 2026
• [DL] SYNASC 2026 - Final Call for Papers   SYNASC 2026
• [DL] SYNASC 2026 - Final Call for Papers   SYNASC 2026
• [DL] SYNASC 2026 - First Call for Papers   SYNASC 2026
• [DL] Tenure-track faculty position in Embedded and Distributed AI at Télécom Paris   Vadim Malvone
• [DL] Text2Story at ECIR'26 – Delft, the Netherlands   Luís Filipe Cunha
• [DL] Text2Story at ECIR'26 – Submission Deadline Extended   Luís Filipe Cunha
• [DL] Text2Story at ECIR'26 – Submission Deadline Extended   Luís Filipe Cunha
• [DL] Third CfP: Festschrift and Workshop in Honor of David Basin (Deadline extended to 11 June 2026)   Achim D. Brucker
• [DL] TSD 2026 - 1st Call for Papers   TSD 2026
• [DL] TSD 2026 - 2nd Call for Papers   TSD 2026
• [DL] TSD 2026 - Last Call for Papers, Deadline Extension   TSD 2026
• [DL] Vampire 2026 workshop at FLoC 2026   geoff at cs.miami.edu

Last message date: Sun Jul 12 09:25:54 CEST 2026
Archived on: Mon Jul 13 07:37:09 CEST 2026

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...