2026 Archives by thread

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

Starting: Fri Jan 2 11:44:58 CET 2026
Ending: Fri Mar 13 11:37:01 CET 2026
Messages: 89

• [DL] Call for Papers - NiDS2026: 6th Int. Conf. on Novel and Intelligent Digital Systems   Novel and Intelligent Digital Systems (NiDS)
• [DL] Call for contributions for the 5th International Conference on Hybrid Human-Artificial Intelligence (HHAI 2026) in Brussels   LENAERTS Tom
• [DL] AIces 2026: early registration January 17   David Silva - IRDTA
• [DL] [CfP] FLoC 2026   Nico Potyka
• [DL] Research positions in Theorem Proving in AI and Math   geoff at cs.miami.edu
• [DL] [Vardi-list] World Logic Day Lecture - Are AI minds genuine minds?   Moshe Vardi
• [DL] DL Workshop 2026: First Call for Papers   Sertkaya, Baris
• [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 - 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] Second CfP: SPIN 2026 - Deadline: January 22 (Torino, Italy, Colocated with ETAPS)   Vincenzo Ciancia
• [DL] [JOWO 2026] Reminder - Call for Workshop Proposals   Vitor Estevao Silva Souza
• [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] all for Bids to Host TABLEAUX-FroCoS 2027   Franz Baader
• [DL] KR 2026: Call for Nominations   Nico Potyka
• [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] [2nd CFP] 1st International Workshop on Quality in Large Language Models and Knowledge Graphs   Nathalie Aussenac-Gilles
• [DL] Text2Story at ECIR'26 – Delft, the Netherlands   Luís Filipe Cunha
• [DL] CFP: ISWC 2026 — Abstracts due 2 May (AoE), Papers due 7 May (AoE)   Fatima Zahra AMARA
• [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] JOB Posting: 2 year postdoc position in "AI: LLM, Ontologies and KGs" at Jönköping University, Sweden   Maria Hedblom
• [DL] 2026 IAOA Fellowships - Call for Nominations by March 31, 2026   Guendalina Righetti
• [DL] [PlanetKR] [CfP] RuleML+RR 2026 - The 10th International Joint Conference on Rules and Reasoning   Mantas Šimkus
• [DL] 2nd CfP: REVERSIBLE COMPUTATION 2026 –18th International Conference on Reversible Computation, July 9–10, 2026, Torino, Italy   Clément Aubert
• [DL] Vampire 2026 workshop at FLoC 2026   geoff at cs.miami.edu
• [DL] [CfP] ESWC 2026: Calls for Posters & Demos   Web and Publicity ESWC
• [DL] Call for Contributions: [CP at PLDI 2026] 2nd Workshop on Choreographic Programming   Dan Plyukhin
• [DL] Call for Workshop/Tutorial Proposals : 3rd Intl. Joint Conf. on Conceptual Knowledge Structures (CONCEPTS 2026)   Gerd Stumme
• [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] LSFA 2026 Announcement and First Call for Papers   Alexandre Madeira
• [DL] AIces 2026: early registration February 3   David Silva - IRDTA
• [DL] CFP "Petri Nets 2026"   Köhler-Bußmeier, Michael
• [DL] IJCAI-ECAI 2026 - Demonstrations Track: Call for Submissions   Thimm, Matthias
• [DL] FoIKS-2026 Call for Participation   Yasir mahmood
• [DL] NEU: Festschrift and Workshop in Honor of David Basin (Deadline: 21st May 2026)   Achim D. Brucker
• [DL] Call for Hosting KR 2027 or KR 2028   Nico Potyka
• [DL] Invitation to Submit Manuscript: Constr. Math. Analysis (ESCI Q1, IF 1.8)   Tuncer Acar
• [DL] multiple tenure-track positions at the University of Warsaw   Filip Murlak
• [DL] KG–LLM @ LREC 2026 - Knowledge Graphs and Large Language Models - Second Call for Paper   Gilles Sérasset
• [DL] KR 2026 Submission Open   Nico Potyka
• [DL] [CfP][FOIS 2026] Call for Contributions – Journal-first track and main track reminder   Vitor Estevao Silva Souza
• [DL] Second call for contributions for the 5th International Conference on Hybrid Human-Artificial Intelligence (HHAI 2026) in Brussels   LENAERTS Tom
• [DL] [CfP] ESWC 2026 - Call for Papers: Industry Track   Web and Publicity ESWC
• [DL] FICS 2026 - Call for Participation   Florian Bruse
• [DL] CFP - 12th Intelligent Systems Conference (IntelliSys) 2026 - 3&4 September in Amsterdam   Supriya Kapoor
• [DL] CFP: The 2nd International Conference on Human-AI Interaction and Experience Design (HAXD 2026)   FLICS
• [DL] Next Description Logic Seminar: Jean Christoph Jung, on February 20   Maurice Funk
• [DL] ScaDS.AI School on Neuro+Symbolic AI - June 22-26, 2026 in Leipzig, Germany   Filippo De Bortoli
• [DL] AIces 2026: early registration February 21st   David Silva - IRDTA
• [DL] Final CfP: REVERSIBLE COMPUTATION 2026 –18th International Conference on Reversible Computation, July 9–10, 2026, Torino, Italy (extended deadlines)   Clément Aubert
• [DL] 2nd CfP: 3rd Intl. Joint Conf. on Conceptual Knowledge Structures (CONCEPTS 2026)   Gerd Stumme
• [DL] ISWC 2026 - Deadline Call for Workshops   Fatima Zahra AMARA
• [DL] Call for Late-Breaking Papers - 14th Computing Conference 2026 - 9&10 July in London   Supriya Kapoor
• [DL] CfP: LAMAS & SR 2026 (@FLoC 2026) - International Workshop on Logical Aspects of Multi-Agent Systems and Strategic Reasoning   Rustam Galimullin
• [DL] [CFP] First International Workshop on Extraction from Triplet Text-Table-Knowledge Graph and associated Challenge @ ESWC 2026   Nathalie Aussenac-Gilles
  • [DL] CFP MultiClinAI (SMM4H-HeaRD/ACL2026): Multilingual Clinical Entity Annotation Projection and Extraction Shared task   Martin Krallinger
• [DL] CfP: 19th Conference on Intelligent Computer Mathematics (CICM 2026)   Martina Seidl
• [DL] Call for Applications: ISWC 2026 Doctoral Consortium   Fatima Zahra AMARA
• [DL] ISBRA 2026 Call for Papers   ICCABS 2025 Call for Papers
• [DL] [CFP] Workshop on Quality of Knowledge Graphs - ESWC2026   Anisa Rula
• [DL] FLoC Workshops - All the Calls   geoff at cs.miami.edu
• [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] Symbolic Computation and Machine Learning - SCML 2026   geoff at cs.miami.edu
• [DL] CfP: CI-BD-SOQE 2026: Workshop on Craig Interpolation, Beth Definability, and Second-Order Quantifier Elimination   Christoph Wernhard
• [DL] Second Call for Hosting KR 2027 or KR 2028   Nico Potyka
  • [DL] Final Call for Hosting KR 2027 or KR 2028 (Deadline March 15)   Nico Potyka
• [DL] Second Call for Nominations for KR 2026 Awards (Deadline February 28 AoE)   Nico Potyka
• [DL] [cfp] (LPNMR 2026) 18th International Conference on Logic Programming and Non-monotonic Reasoning   Antonio Ielo
• [DL] CfP: FLoC 2026 Joint Workshop on Explainable Logic-Based Knowledge Representation (XLoKR) and Explanations with Constraints and Satisfiability (ExCoS)   Nico Potyka
• [DL] [CfP + DEADLINE extension] Knowledge Graphs and Large Language Models (KG–LLM 2026) @ LREC 2026   Gilles Sérasset
• [DL] Call for Participation: 4th European Summer School on Artificial Intelligence (ESSAI 2026)   Mantas Šimkus
• [DL] 2nd Workshop on Machine Learning for Solvers and Provers   geoff at cs.miami.edu
• [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] Festschrift in Honor of Christoph Weidenbach's 60th Birthday: [Deadline Extension]   geoff at cs.miami.edu
• [DL] AIces 2026: early registration March 10   David Silva - IRDTA
• [DL] Nominations for Bill McCune PhD Award in Automated Reasoning 2026   geoff at cs.miami.edu
• [DL] SYNASC 2026 - First Call for Papers   SYNASC 2026
• [DL] 2nd Call for Workshop/Tutorial Proposals : 3rd Intl. Joint Conf. on Conceptual Knowledge Structures (CONCEPTS 2026)   Gerd Stumme
• [DL] ICTCS'26 (Udine, Italy) - Call For Papers   Angelo Matteo
• [DL] Invitation to 3rd International Conference: Constructive Mathematical Analysis (ONLINE)   Tuncer Acar
• [DL] Reminder: ISWC 2026 — Abstracts due 2 May (AoE), Papers due 7 May (AoE)   Fatima Zahra AMARA
• [DL] [CFP] First International Workshop on Extraction from Triplet Text-Table-Knowledge Graph and associated Challenge @ ESWC 2026 - deadline extended   Nathalie Aussenac-Gilles
• [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] Call for Participation: Workshop on AI and Theorem Provers in Mathematics (AITPM)   Achim D. Brucker
• [DL] Second CfP: Festschrift and Workshop in Honor of David Basin (Deadline: 21st May 2026)   Achim D. Brucker
• [DL] Next Description Logic Seminar: Stefan Borgwardt, on March 27   Maurice Funk

Last message date: Fri Mar 13 11:37:01 CET 2026
Archived on: Fri Mar 13 11:37:06 CET 2026

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