2024 Archives by subject

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

Starting: Thu Jan 4 14:44:27 CET 2024
Ending: Mon Nov 18 09:28:30 CET 2024
Messages: 388

• [DL] (deadline extension) CfP: ISD8 at AI*IA - The 8th Image Schema Day, 25-28th November, Bozen-Bolzano, Italy   Maria Hedblom
• [DL] 12 month Post-doc position at the University of Milano-Bicocca, Italy   Rafael Penaloza Nyssen
• [DL] 18th International Conference on Reachability Problems - RP'24   geoff at cs.miami.edu
• [DL] 19th International Conference on Integrated Formal Methods - iFM 2024   geoff at cs.miami.edu
• [DL] 1st CfP - FOUST VIII @ JOWO 2024, July 15-19, University of Twente, Enschede, The Netherlands   Guendalina Righetti
• [DL] 1st CfP - OM-2024: The 19th International Workshop on Ontology Matching collocated with ISWC2024   Huanyu Li
• [DL] 1st CfP: Special Track on Uncertain Reasoning at FLAIRS-38 (May 20–23, 2025)   Jonas Haldimann
• [DL] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) -2-8 November, 2024; Hanoi, Vietnam: Call for Participation   Stavros Vassos
• [DL] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - FCA-Doctoral Consortium   Stavros Vassos
• [DL] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - FIRST CALL FOR PAPERS   Stavros Vassos
• [DL] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - FIRST CALL FOR TUTORIAL AND WORKSHOP PROPOSALS   Stavros Vassos
• [DL] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - KR in the Wild (Special Track)   Stavros Vassos
• [DL] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - LCA-Doctoral Consortium-Deadline Extension   Stavros Vassos
• [DL] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - Reasoning, Learning, and Decision Making (Special Track)   Stavros Vassos
• [DL] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - TUTORIAL AND WORKSHOP PROPOSALS EXTENDED DEADLINE   Stavros Vassos
• [DL] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - Video Track First Call for Papers   Stavros Vassos
• [DL] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - Video Track First Call for Papers   Stavros Vassos
• [DL] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - Workshop Submissions   Stavros Vassos
• [DL] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024): 2-8 November, 2024; Hanoi, Vietnam: Call for Participation - Early Bird Registration Extended to 4 October   Stavros Vassos
• [DL] 2nd Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024)   Serge Autexier
• [DL] 2nd CfP - FOUST VIII @JOWO 2024, July 15-17, University of Twente, Enschede, The Netherlands   Guendalina Righetti
• [DL] 2nd CfP - HHAI 2024 - The third International Conference on Hybrid Human-Artificial Intelligence   Grootjen, Jesse
• [DL] 2nd CfP - OM-2024: The 19th International Workshop on Ontology Matching collocated with ISWC2024   Huanyu Li
• [DL] 2nd CFP: REACTS'24 - International Workshop on Reconfigurable Transition Systems, Aveiro, Nov 5, 2024   Raul Fervari
• [DL] 2nd cfp: SCAI’24 - The 14th Scandinavian Conference on AI. 10-11th June, 2024. Jönköping, Sweden   Maria Hedblom
• [DL] 2nd CFP: The 15th Int. Conf. on Computational Creativity (ICCC'24), June 17-21, 2024, Jönköping, Sweden   Maria Hedblom
• [DL] 2nd CfP COORDINATION 2024 - 26th International Conference on Coordination Models and Languages (part of DisCoTec 2024)   Saverio Giallorenzo
• [DL] 2nd CFSP: Call for Short Papers for the 15th International Conference on Computational Creativity (ICCC'24)   ICCC24
• [DL] 2nd ICDAR International workshop on Machine vision and NLP for Document Analysis (VINALDO)   rafika boutalbi
• [DL] 2nd ICDAR International workshop on Machine vision and NLP for Document Analysis (VINALDO)   rafika boutalbi
• [DL] 2nd ICDAR International workshop on Machine vision and NLP for Document Analysis (VINALDO)   rafika boutalbi
• [DL] 2nd ICDAR International workshop on Machine vision and NLP for Document Analysis (VINALDO)   rafika boutalbi
• [DL] 2nd Joint CfP: DisCoTec 2024 - 19th International Federated Conference on Distributed Computing Techniques Inbox   Bas van den Heuvel
• [DL] 37th International Workshop on Description Logics, DL 2024 - Call for Participation   Andrea Mazzullo
• [DL] 37th International Workshop on Description Logics, DL 2024 - EXTENDED DEADLINES   Andrea Mazzullo
• [DL] 37th International Workshop on Description Logics, DL 2024 - Final Call for Papers   Andrea Mazzullo
• [DL] 3rd Call for Papers: Mathematical User Interaction (MathUI'24)   Serge Autexier
• [DL] 3rd International Conference: Constructive Mathematical Analysis (2025)   ICCMA
• [DL] 3rd International Conference: Constructive Mathematical Analysis (2025) (Second Call)   ICCMA
• [DL] 5th International Workshop on Formal Methods for Blockchains (FMBC) 2024 - Call for Participation   Marmsoler, Diego
• [DL] [3rd Call for Papers] Formal Verification of Physical Systems (FVPS-2024) Extended Deadline: July 12, 2024   Serge Autexier
• [DL] [AIxIA] Spotlight Seminar on AI - Guy Van den Broeck - June 20 2024   Gabriella Cortellessa
• [DL] [AIxIA] Spotlight Seminar on AI - MARCO GORI - April 29 2024 - link   Luciano Serafini
• [DL] [Approaching Deadline] EKAPI 2024 - Call for Papers   giuseppe.mazzotta at unical.it
• [DL] [Approaching Deadline] LPNMR 2024 - Call for Workshops   giuseppe.mazzotta at unical.it
• [DL] [Call for Applications] [Postdoc Position Open at the Chilean National Center for Artificial Intelligence] 📣 deadline for application: March 30, 2024   Giovanna Campos
• [DL] [Call for Applications] Researcher Position   Giovanna Campos
• [DL] [CFP - Deadline extension] KRR at SAC2025 - Track on Knowledge Representation and Reasoning (KRR)   Carlo Taticchi
• [DL] [CFP - WSDM 2025]The 18th ACM International Conference on Web Search and Data Mining   Dr. Sanju Tiwari
• [DL] [CfP] - Call for Research & Innovation Papers at SEMANTiCS 2024   Mehwish Alam
• [DL] [CfP] 1st Call for Contributions to WISDOMS - ethics, values and knowledge graphs @ESWC24, May 26-30, Hersonissos (GR)   Maria Hedblom
• [DL] [CfP] 1st CfP - Cognition And OntologieS at JOWO 2024, July 15-19, Enschede, Netherlands   CAOS - Cognition and Ontologies Workshop
• [DL] [CfP] 1st CfP: SEMANTiCS 2024 EU || Sep 17 - 19, 2024 || Amsterdam, The Netherlands   SEMANTiCS
• [DL] [CfP] 1st International Workshop on Semantic Technologies for Data Management - Enschede, Netherlands, 15-19 July 2024   Mosca Alessandro
• [DL] [CfP] 2nd Call for Contributions to WISDOMS : Ethics, Values, and Knowledge Graphs   wisdoms.publicity at gmail.com
• [DL] [CfP] 2nd CfP - Cognition And OntologieS at JOWO 2024, July 15-19, Enschede, Netherlands   CAOS - Cognition and Ontologies Workshop
• [DL] [CfP] 2nd CfP: SEMANTiCS 2024 EU || Sep 17 - 19, 2024 || Amsterdam, The Netherlands   SEMANTiCS
• [DL] [CfP] 3rd CfP: SEMANTiCS 2024 EU || Sep 17 - 19, 2024 || Amsterdam, The Netherlands   SEMANTiCS
• [DL] [CfP] [CoKA] : "Conceptual Knowledge Acquisition: Challenges, Opportunities, and Use Cases" workshop at CONCEPTS 2024   Tom Hanika
• [DL] [CfP] [CoKA] : --- Final Call --- "Conceptual Knowledge Acquisition: Challenges, Opportunities, and Use Cases" workshop at CONCEPTS 2024   Tom Hanika
• [DL] [CfP] Call for Posters and Demos || SEMANTiCS 2024 EU || Sep 17 - 19, 2024 || Amsterdam, Netherlands   SEMANTiCS
• [DL] [CfP] Call for Workshops & Tutorials || SEMANTiCS 2024 || Sep 17 - 19, 2024 || Amsterdam, Netherlands   SEMANTiCS
• [DL] [CfP] DBpedia Day @ SEMANTiCS | KGs operated by AI   DBpedia
• [DL] [CfP] DLnLD: Deep Learning and Linked Data — LREC-COLING Workshop — 2nd CfP   Gilles Sérasset
• [DL] [CfP] DLnLD: Deep Learning and Linked Data — LREC-COLING Workshop — Last CfP   Gilles Sérasset
• [DL] [CfP] ESWC 2024 - 2nd Call for Papers: Industry Track   Web and Publicity ESWC
• [DL] [CfP] ESWC 2024 - Call for Participation   Web and Publicity ESWC
• [DL] [CfP] ESWC 2024 - Final Call for Participation   Web and Publicity ESWC
• [DL] [CfP] ESWC 2024 - Project Networking Session and Call for Participation   Web and Publicity ESWC
• [DL] [CFP] First International Workshop on Logical Foundations of Neuro-Symbolic AI (LNSAI 2024)   Marco Console
• [DL] [CFP] First International Workshop on Logical Foundations of Neuro-Symbolic AI, LNSAI 2024   Marco Console
• [DL] [CfP] ISWC 2024 Call for Applications for the SWSA Distinguished Dissertation Award: deadline July 5, 2024   Sebastián Ferrada
• [DL] [CfP] ISWC 2024 Call for Doctoral Consortium Papers: deadline May 2nd, 2024   Sebastián Ferrada
• [DL] [CfP] ISWC 2024 Call for Doctoral Consortium Papers: deadline May 2nd, 2024   Sebastián Ferrada
• [DL] [CfP] ISWC 2024 Call for Industry Track Papers: deadline **July 11th, 2024**   Sebastián Ferrada
• [DL] [CfP] ISWC 2024 Call for Industry Track Papers: extended deadline July 21st, 2024   Sebastián Ferrada
• [DL] [CfP] ISWC 2024 Call for Posters and Demos: deadline extended July 9, 2024   Sebastián Ferrada
• [DL] [CfP] ISWC 2024 Call for Posters and Demos: deadline July 4, 2024   Sebastián Ferrada
• [DL] [CfP] ISWC 2024 Call for Posters and Demos: deadline May 23, 2024   Sebastián Ferrada
• [DL] [CfP] ISWC 2024 Call for the 2nd call of Student Travel Award Applications: deadline September 10th, 2024   Sebastián Ferrada
• [DL] [CfP] ISWC 2024 Call for Tutorials: *extended* deadline May 30, 2024   Sebastián Ferrada
• [DL] [CfP] ISWC 2024 Call for Tutorials: deadline May 23, 2024   Sebastián Ferrada
• [DL] [CfP] ISWC 2024 Call for Tutorials: deadline May 23, 2024   Sebastián Ferrada
• [DL] [CfP] ISWC 2024 First Call for Research, Resources & In-Use Tracks: abstracts due Apr. 10th, 2024   Sebastián Ferrada
• [DL] [CfP] ISWC 2024 First Call for Workshop and Challenge Proposals: due Feb. 22nd, 2024   Sebastián Ferrada
• [DL] [CfP] ISWC 2024 Reminder of Workshop and Challenge Proposal Calls: due Feb. 22nd, 2024   Sebastián Ferrada
• [DL] [CFP] KRR at SAC2025 - Track on Knowledge Representation and Reasoning (KRR)   Carlo Taticchi
• [DL] [CfP] Sci-K @ISWC 2024 – 4th Int. Workshop on Scientific Knowledge Representation, Discovery, and Assessment   Angelo Salatino
• [DL] [CfP] SECOND ANNOUNCEMENT: 1st International Workshop on Semantic Technologies for Data Management - @FOIS 2024, Enschede, Netherlands, 15-19 July 2024   Mosca Alessandro
• [DL] [CFP] Second Call for Papers- ESWC 2025, 22nd European Semantic Web Conference, June 1- 5, 2025   Dr. Sanju Tiwari
• [DL] [CfP] SEMANTiCS 2024 EU || Extended Submission Deadline May 6, 2024   SEMANTiCS
• [DL] [CFP] Special issue on the Semantic Web and Ontology Design for Cultural Heritage • Semantic Web Journal (IOS Press)   Mosca Alessandro
• [DL] [CfP] Special Track on Uncertain Reasoning (UR) @ FLAIRS-37   Kai Sauerwald
• [DL] [CFP] The 20th Reasoning Web Summer School (RW 2024)   Akaichi, Ines
• [DL] [CFP] Third International ISWC Workshop on Semantic Industrial Information Modelling (SemIIM) - Deadline August 8   Ernesto Jimenez-Ruiz
• [DL] [CRISIS 2024 - Deadline Extension] The 19th International Conference on Risks and Security of Internet and Systems   Samir OUCHANI
• [DL] [CRISIS 2024 - Deadline Extension] The 19th International Conference on Risks and Security of Internet and Systems   Samir OUCHANI
• [DL] [CRISIS 2024 - Final Deadline Extension] The 19th International Conference on Risks and Security of Internet and Systems   ICFNDS 2024 CFP
• [DL] [CRISIS 2024 - Final Deadline Extension] The 19th International Conference on Risks and Security of Internet and Systems   Samir ouchani
• [DL] [DATALOG 2.0 2024] Call For Papers   giuseppe.mazzotta at unical.it
• [DL] [Datalog 2.0 2024] DEADLINE EXTENSION   giuseppe.mazzotta at unical.it
• [DL] [Deadline extension] 10th Workshop on Formal and Cognitive Reasoning (FCR-2024)   Özcep, Özgür Lütfü
• [DL] [Deadline Extension] EKAPI 2024 - Call For Papers   giuseppe.mazzotta at unical.it
• [DL] [ECAI-2024] Call for Nominations for the EurAI Dissertation Award   Luis Magdalena
• [DL] [ECAI-2024] Call for Participation: 27th European Conference on Artificial Intelligence   Luis Magdalena
• [DL] [ECAI-2024] Call for PC Members for ECAI-2024   Luis Magdalena
• [DL] [ECAI-2024] Deadline for Tutorial Proposals approaching   Luis Magdalena
• [DL] [ECAI-2024] Deadline for Workshop Proposals approaching (and more!)   Luis Magdalena
• [DL] [ECAI-2024] Submission deadline approaching   Luis Magdalena
• [DL] [First CFP] CRiSIS 2024: The 19th International Conference on Risks and Security of Internet and Systems   Samir Ouchani
• [DL] [First CFP] CRiSIS 2024: The 19th International Conference on Risks and Security of Internet and Systems   Samir Ouchani
• [DL] [First CFP] CRiSIS 2024: The 19th International Conference on Risks and Security of Internet and Systems   Samir Ouchani
• [DL] [fm-announcements] NFM 2025 CFP   Dutle, Aaron M. (LARC-D320) via fm-announcements
• [DL] [ICLP & LPNMR DC 2024] Application Submission Extension (August, 2 AOE)   giuseppe.mazzotta at unical.it
• [DL] [ICLP & LPNMR DC 2024] Approaching Deadline (July, 21 AOE)   giuseppe.mazzotta at unical.it
• [DL] [ICLP & LPNMR DC 2024] Call For Papers   giuseppe.mazzotta at unical.it
• [DL] [KaRS 2024] 1st CfP: 6th Knowledge-aware and Conversational Recommender Systems Workshop 2024 @ ACM RecSys   Vito Walter Anelli
• [DL] [KaRS 2024] 2nd CfP: 6th Knowledge-aware and Conversational Recommender Systems Workshop 2024 @ ACM RecSys   Vito Walter Anelli
• [DL] [KaRS 2024] 3rd CfP: 6th Knowledge-aware and Conversational Recommender Systems Workshop 2024 @ ACM RecSys   Vito Walter Anelli
• [DL] [KGSWC-2024 Deadline Approaching] 6th Knowledge Graph Semantic Web Conference 2024 LNCS Springer Indexed   Dr. Sanju Tiwari
• [DL] [link correction] [Call for Applications] [Postdoc Position Open at the Chilean National Center for Artificial Intelligence] 📣 deadline for application: March 30, 2024   Giovanna Campos
• [DL] [LPNMR 2024] Call For Papers   giuseppe.mazzotta at unical.it
• [DL] [LPNMR 2024] CALL FOR PARTICIPATION   giuseppe.mazzotta at unical.it
• [DL] [LPNMR 2024] Deadline in Two Days (July, 4 AOE)   giuseppe.mazzotta at unical.it
• [DL] [RecSys 2024 - KaRS DEADLINE EXTENDED] 4th CfP: 6th Knowledge-aware and Conversational Recommender Systems WS 2024 @ ACM RecSys   Vito Walter Anelli
• [DL] [Second Call for Papers] Women in Formal Methods (WiFM-2024)   Serge Autexier
• [DL] [Third Call for Papers] Women in Formal Methods (WiFM-2024) Colocated with CICM-2024   Serge Autexier
• [DL] [Vardi-list] Appeal to support SIGLOG, the LICS sponsor   Moshe Vardi
• [DL] ADBIS 2024 - Call For Workshop   Salma Sassi
• [DL] AI*IA 2024 - DEADLINE EXTENSION - 3rd CFP   Artale Alessandro
• [DL] AiML 2024 -- 2nd Call for Papers   Hackl, Andrea
• [DL] AiML 2024 -- 3rd Call for Papers and Deadline Extension   Hackl, Andrea
• [DL] AiML 2024 -- Final Call for Papers   Hackl, Andrea
• [DL] AIxIA 2024 - The 23rd International Conference of the Italian Association for Artificial Intelligence - Call for Papers   Artale Alessandro
• [DL] A PhD scholarship in Computer Science in Paris: Model Checking for Malware (Virus) Detection   Tayssir TOUILI
• [DL] A PhD scholarship in Computer Science in Paris: Model Checking for Malware (Virus) Detection   Tayssir TOUILI
• [DL] ASPOCP 2024 @ ICLP- First Call for Paper   cfp
• [DL] ASPOCP 2024 @ ICLP- Second Call for Paper   cfp
• [DL] ASPOCP 2024 at ICLP- EXTENDED DEADLINE   cfp
• [DL] Assistant Professor of Computer Science - Hybrid Modeling   Diochnos, Dimitrios
• [DL] Bill McCune PhD Award in Automated Reasoning 2024 Call for Nominations   geoff at cs.miami.edu
• [DL] CADE-30 Call for Colocated Events   geoff at cs.miami.edu
• [DL] CADE-30 Call for Colocated Events: **deadline November 11th**   geoff at cs.miami.edu
• [DL] CADE-30 Call for Papers   geoff at cs.miami.edu
• [DL] Call for Applications - Cluster of Excellence "Bilateral AI"   Hackl, Andrea
• [DL] Call for Bids to Host FroCoS-ITP-TABLEAUX 2025   Franz Baader
• [DL] Call for Nominations: Distinguished Service Award (Deadline: May 20)   Meghyn Bienvenu
• [DL] Call for Nominations: KR Early Career Award (Deadline: April 15)   Meghyn Bienvenu
• [DL] Call for Nominations: KR Test of Time Award (Deadline: May 20)   Meghyn Bienvenu
• [DL] Call for Nominations: KR Test of Time Award (deadline: May 20)   Meghyn Bienvenu
• [DL] Call for Paper Proposals: Special Issue for JOWO’s 10th Anniversary @ Applied Ontology   Guendalina Righetti
• [DL] Call For Papers - 36th IEEE International Conference on Tools with Artificial Intelligence - Oct. 28 - Oct. 30 2024 - Herndon, VA, USA   Sachin Sharma
• [DL] Call For Papers - 36th IEEE International Conference on Tools with Artificial Intelligence - Oct. 28 - Oct. 30 2024 - Herndon, VA, USA   Sachin Sharma
• [DL] Call For Papers - 36th IEEE International Conference on Tools with Artificial Intelligence - Oct. 30-Nov. 1 2024 - Herndon, VA, USA   Sachin Sharma
• [DL] Call For Papers - 36th IEEE International Conference on Tools with Artificial Intelligence - Oct. 30-Nov1, 2024 - Herndon, VA, USA   Sachin Sharma
• [DL] Call for Papers: 10th Workshop on Formal and Cognitive Reasoning (FCR-2024)   Özcep, Özgür Lütfü
• [DL] Call for Papers: 19th International Workshop on Semantic and Social Media Adaptation and Personalization (SMAP 2024)   smap
• [DL] Call for Papers: 19th International Workshop on Semantic and Social Media Adaptation and Personalization (SMAP 2024)   smap
• [DL] Call for Papers: 3rd Workshop on Formal Verification of Physical Systems (FVPS-2024), Deadline: June 9, 2024   Serge Autexier
• [DL] Call for papers: ISWC 2024 special session **Harmonising Generative AI and Semantic Web Technologies: Opportunities, challenges, and benchmarks**   Tamma, Valentina
• [DL] Call for Papers: Workshop on Data meets Applied Ontologies in Explainable AI (DAO-XAI 2024) @ ECAI 2024, October 19-20, 2024, Santiago de Compostela, Spain   Kutz Oliver
• [DL] Call for Papers: Workshop on Women in Formal Methods (WiFM-2024), Deadline: June 9, 2024   Serge Autexier
• [DL] Call for papers Springer 2nd International Conference on Frontiers of Artificial Intelligence, Ethics, and Multidisciplinary Applications   Michail Skarpetis
• [DL] CALL for Participation: FoIKS 2024, 13th Int. Symp. on Foundations of Information and Knowledge Systems (April 8-11 2024, Sheffield, UK)   Lucia Gomez Alvarez
• [DL] Call for participation: SCAI’24 - The 14th Scandinavian Conference on AI. 10-11th June, 2024. Jönköping, Sweden   Maria Hedblom
• [DL] Call for Satellite Events (Workshops / Tutorials): DisCoTec 2024   Bas van den Heuvel
• [DL] Call for Submissions to the Doctoral Program - 17th Conference on Intelligent Computer Mathematics - CICM 2024 - Deadline: June 13, 2024   Serge Autexier
• [DL] Call for Workshops at AIxIA 2024: 23rd International Conference of the Italian Association for Artificial Intelligence, Bolzano, Italy, November 25-28, 2024   Kutz Oliver
• [DL] Call for Workshops at AIxIA 2024: 23rd International Conference of the Italian Association for Artificial Intelligence, Bolzano, Italy, November 25-28, 2024   Kutz Oliver
• [DL] Cape-KR is back in 2025   Jonas Haldimann
• [DL] CDVE2024 Second Call for Papers   Cdve Org
• [DL] CfP - HHAI 2024 [Extended Deadline] - The third International Conference on Hybrid Human-Artificial Intelligence   Grootjen, Jesse
• [DL] CfP - HHAI 2024 [Extended Deadline] - The third International Conference on Hybrid Human-Artificial Intelligence   Grootjen, Jesse
• [DL] CfP - HHAI 2024 [Extended Deadline] - The third International Conference on Hybrid Human-Artificial Intelligence   Grootjen, Jesse
• [DL] CfP - Submissions for Scholarly Migration and Mobility Symposium   MPIDR - Career
• [DL] CfP 8th World Congress on the Square of Opposition - Costa Rica - September 2024   jean-yves beziau
• [DL] CfP 8th World Congress on the Square of Opposition - Costa Rica - September 2024 - Extended Deadline   jean-yves beziau
• [DL] CfP: 1st call for Workshops and Tutorials @ Fifth Conference on Language, Data and Knowledge (LDK2025)   Žitnik, Slavko
• [DL] CFP: AAAI 2025 Workshop on Knowledge Axiomatization   Vinay K Chaudhri
• [DL] CfP: DisCoTec 2024 - 19th International Federated Conference on Distributed Computing Techniques   Bas van den Heuvel
• [DL] CfP: ISD8 at AI*IA - The 8th Image Schema Day, 25-28th November, Bozen-Bolzano, Italy   Maria Hedblom
• [DL] CfP: REACTS'24 - International Workshop on Reconfigurable Transition Systems, Aveiro, Nov 4-5, 2024   Raul Fervari
• [DL] CFP: REACTS'24 - International Workshop on Reconfigurable Transition Systems, Aveiro, Nov 5, 2024   Raul Fervari
• [DL] CfP: REACTS'24 - International Workshop on Reconfigurable Transition Systems, Aveiro, Nov 5, 2024 (Updates deadlines and Invited Talks)   Raul Fervari
• [DL] CfP: The 5th Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2024)   Nico Potyka
• [DL] CfP: The 8th International Joint Conference on Rules and Reasoning (RuleML+RR 2024)   Mantas Šimkus
• [DL] CfP: The 8th International Joint Conference on Rules and Reasoning (RuleML+RR 2024)   Mantas Šimkus
• [DL] CfP: The 8th International Joint Conference on Rules and Reasoning (RuleML+RR 2024)   Mantas Šimkus
• [DL] CfP: Workshop on Generative AI and Knowledge Graphs (GenAIK) co-located with COLING 2025 (with some travel grant for 2 students)   Gesese, Genet-Asefa
• [DL] CFP [Deadline Extended] AI³ 2024: 8th Workshop on Advances in Argumentation in Artificial Intelligence (AI³ 2024), colocated with AIxIA 2024   Carlo Taticchi
• [DL] CFP [Deadline Extended] AI³ 2024: 8th Workshop on Advances in Argumentation in Artificial Intelligence (AI³ 2024), colocated with AIxIA 2024   Carlo Taticchi
• [DL] CFP AI³ 2024: 8th Workshop on Advances in Argumentation in Artificial Intelligence (AI³ 2024), colocated with AIxIA 2024   Carlo Taticchi
• [DL] CFP and Invitation to ACM Hypertext 2024   Mariusz Pisarski
• [DL] CFP for KoDis/CAKR 2024, the Joint Workshop on Knowledge Diversity and Cognitive Aspects of KR (colocated with KR 2024) - Paper deadline: 17.06.2024   Lucia Gomez Alvarez
• [DL] CFP for MEDES 2024, Naples, Italy   Salma Sassi
• [DL] CFP ISBRA 2024 - International Symposium on Bioinformatics Research and Applications   Olga Glebova
• [DL] CfProposals: ESSLLI 2025, July 28 - August 8, 2025, Bochum (Germany)   ESSLLI Publicity
• [DL] CFSP: Call for Short Papers [Deadline Extension] for the 15th International Conference on Computational Creativity (ICCC'24)   ICCC24
• [DL] CfWT- CONCEPTS2024. Deadline February 28, 2024   Dominik Dürrschnabel
• [DL] CIBD: Workshop on Craig Interpolation and Beth Definability (April 22-23, 2024, Amsterdam).   Balder ten Cate
• [DL] CICM 2024, Call for Workshop and Tutorial Proposals, Conference on Intelligent Computer Mathematics 2024   Serge Autexier
• [DL] CICM 2024 - Call for Participation (August 5-9 in Montreal, Canada   Serge Autexier
• [DL] CICM 2024 - Extended deadline - Call for Papers   geoff at cs.miami.edu
• [DL] Computer Science Faculty positions at Oxford   Ian Horrocks
• [DL] Data Analytics in Biomedicine   ijwa dline.info
• [DL] Deadline Approaching: 6th Knowledge Graph Semantic Web Conference 2024 LNCS Springer Indexed   Dr. Sanju Tiwari
• [DL] Deadline Aproaching: CFP for Workshop proposals, WSDM Doctoral Consortium, WSDM Day Presentations and Industry Day Talks at 18th ACM International Conference on Web Search and Data Mining (WSDM 2025)   Dr. Sanju Tiwari
• [DL] Deadline Extended: 3rd TEXT2KG Workshop @ ESWC-2024 Extended Deadline (March 17, 2024)   Dr. Sanju Tiwari
• [DL] Deadline Extension - Cognition And OntologieS at JOWO 2024, July 15-19, Enschede, Netherlands   CAOS - Cognition and Ontologies Workshop
• [DL] Deadline extension - FOUST VIII @JOWO 2024, July 15-17, University of Twente, Enschede, The Netherlands   Guendalina Righetti
• [DL] deadline extension: SCAI’24 - The 14th Scandinavian Conference on AI. 10-11th June, 2024. Jönköping, Sweden   Maria Hedblom
• [DL] Deadline Extension: Special Track on Uncertain Reasoning (UR) @ FLAIRS-37   Kai Sauerwald
• [DL] Deadline Extension: WISDOMS at ESWC - Hersonissos - Greece, May 28-June 1   Maria Hedblom
• [DL] Deadline Extension CfP COORDINATION 2024 - 26th International Conference on Coordination Models and Languages (part of DisCoTec 2024)   Saverio Giallorenzo
• [DL] Description Logic Online Seminar April Edition   Ana Ozaki
• [DL] Description Logic Online Seminar June Edition (this Friday, June 7)   Meghyn Bienvenu
• [DL] Description Logic Online Seminar March Edition   Jean Christoph Jung
• [DL] Description Logic Online Seminar November Edition   Bartosz Bednarczyk
• [DL] Description Logic Online Seminar November Edition   Bartosz Bednarczyk
• [DL] Description Logic Online Seminar October Edition   Patrick Koopmann
• [DL] Description Logic Online Seminar September Edition   Ana Ozaki
• [DL] Description Logic Seminar   Ana Ozaki
• [DL] DisCoTec 2024 Joint Call for Participation   Bas van den Heuvel
• [DL] Due Ext Sept 06: Intl Conf AI & Data, Oct 1-3, USA & Online   Data World
• [DL] Due July 15 - CDTE 2024 Data Technology and Engineering, Oct 1-3, USA & Online   Data World
• [DL] Due July 15- SERD 2024 Software Engineering Research & Development, Oct 1-3, USA & Online   OkIP Cfp
• [DL] EKAPI 2024 - Call for Papers   giuseppe.mazzotta at unical.it
• [DL] ESSAI&ACAI 2024 - Call for participation   Manolis Koubarakis
• [DL] ESSAI&ACAI 2024 - Preliminary call for participation   Manolis Koubarakis
• [DL] ESSAI 2024 CALL FOR COURSE PROPOSALS   Manolis Koubarakis
• [DL] ESSAI 2024 Early Registration deadline extended   Manolis Koubarakis
• [DL] ESSAI 2025 CALL FOR COURSE PROPOSALS   Manolis Koubarakis
• [DL] European Summer School on Artificial Intelligence (ESSAI&ACAI 2024) - Call for participation   Manolis Koubarakis
• [DL] Expression of interests: Postdoc in verification of business processes   Hugo Andrés Lopez
• [DL] Extended Deadline April 8, 2024 (abstracts April 1, 2024): 17th Conference on Intelligent Computer Mathematics (CICM 2024)   Serge Autexier
• [DL] Extended Deadlines, Final Call for Papers -- ESSLLI 2024 Student Session   Di Cosmo Francesco
• [DL] Extended Submission Deadline: International Conference on Novel and Intelligent Digital Systems (NiDS 2024)   Novel and Intelligent Digital Systems (NiDS)
• [DL] Extended Submission Deadline: International Conference on Novel and Intelligent Digital Systems (NiDS 2024)   Novel and Intelligent Digital Systems (NiDS)
• [DL] FACS 2024 - Third Call for Papers   Marmsoler, Diego
• [DL] FACS 24 - Second Call for Papers   Marmsoler, Diego
• [DL] Final Call for ESSAI 2024 Course Proposals: Deadline 7 February   Manolis Koubarakis
• [DL] Final Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024)   Serge Autexier
• [DL] First Call for Papers - 20th International Conference on Formal Aspects of Component Software (FACS)   Marmsoler, Diego
• [DL] First Call for Papers - Fifth Conference on Language, Data and Knowledge (LDK 2025)   Andon Tchechmedjiev
• [DL] FMBC 2024 - Third Call for Papers   Marmsoler, Diego
• [DL] FMEC 2024: Call for Workshops, Malmö, Sweden. September 2-5, 2024   Sadi Alawadi
• [DL] FMEC 202​4 CFP: The ​9th International Conference on Fog and Mobile Edge Computing, Malmö, Sweden. September 2-5, 2024   Sadi Alawadi
• [DL] Funded PhD Position in Formalizing/Verification of Golang (Application Deadline 2024-03-31)   Achim D. Brucker
• [DL] Fwd: [CfP] Sci-K @ISWC 2024 – 4th Int. Workshop on Scientific Knowledge Representation, Discovery, and Assessment   Angelo Salatino
• [DL] ICCABS 2025 - CALL FOR PAPERS   Olga Glebova
• [DL] ICCABS 2025 Call for Papers - Submission Deadline Extended   ICCABS 2025 Call for Papers - Submission Deadline Extended
• [DL] ICDT 2025 Call for Papers: First cycle submission deadline March 18, 2024   Antoine Amarilli
• [DL] iFM 2024 Call for Papers   geoff at cs.miami.edu
• [DL] IJCAR 2024: Call for Participation   Peter Lammich
• [DL] IJCAR 2024: Final Call for Papers   Peter Lammich
• [DL] IJCAR 2024 Workshops   geoff at cs.miami.edu
• [DL] IJCAR: Woody Bledsoe Award: Call for Nominations   Peter Lammich
• [DL] International Logic Olympiad   geoff at cs.miami.edu
• [DL] International Workshop on Quantification (QUANTIFY 2024)   geoff at cs.miami.edu
• [DL] Internship Opportunity in Automated Topic Modeling for Interactive Video Summaries at LIUPPA, UPPA   Salma Sassi
• [DL] Internship Opportunity in Development of a Mobile Monitoring Application at LIUPPA, UPPA   Salma Sassi
• [DL] Internship Opportunity in Development of a Service Composition Web Application at LIUPPA, UPPA   Salma Sassi
• [DL] Internship Opportunity in Development of a Service Composition Web Application at LIUPPA, UPPA   Salma Sassi
• [DL] Invitation – Vienna World Logic Day Lecture with Adnan Darwiche, January 12, virtual event   Hackl, Andrea
• [DL] Invitation – Women in Logic Online with Valeria de Paiva, March 20, virtual event   Hackl, Andrea
• [DL] Job - Senior Computer Science Professorship at Oxford   Josephine Francis
• [DL] Job opening: Post-Doctoral Research   MPIDR - Career
• [DL] Job openings: 2 PhD positions and 1 PostDoc Research position   Anni-Yasmin Turhan
• [DL] job openings at the University of Warsaw   Filip Murlak
• [DL] Job Opportunity - Graduate/Postdoc AI Researcher at Milano-Bicocca   Rafael Penaloza Nyssen
• [DL] Job Opportunity - Graduate/Postdoc AI Researcher at Milano-Bicocca   Rafael Penaloza Nyssen
• [DL] Job Opportunity: Full Stack R&D Engineer for OpenCEMS Chair at LIUPPA, UPPA University   Salma Sassi
• [DL] JOBS: 3 tenured Asst. Prof. at the Department of Computing, Jonkoping School of Enginnering (SE)   Maria Hedblom
• [DL] KR Distinguished Service Award - Deadline for nominations: May 20   Meghyn Bienvenu
• [DL] KR Early Career Award: Nominations due next Monday (April 15)   Meghyn Bienvenu
• [DL] KRR at EPIA 2024 Call for Papers   Matthias Knorr
• [DL] KRR at EPIA 2024 Extended deadline May 20   Matthias Knorr
• [DL] KRR at EPIA 2024 Final Call for Papers   Matthias Knorr
• [DL] KRR at EPIA 2024 Second Call for Papers   Matthias Knorr
• [DL] KR video track deadline extension: July 6th   Anni-Yasmin Turhan
• [DL] Last Call for Papers: 10th Workshop on Formal and Cognitive Reasoning (FCR-2024)   Özcep, Özgür Lütfü
• [DL] Last CfP (submission deadline on August 9th) - OM-2024: The 19th International Workshop on Ontology Matching collocated with ISWC2024   Huanyu Li
• [DL] LAST CFP for KoDis/CAKR 2024, the Joint Workshop on Knowledge Diversity and Cognitive Aspects of KR (colocated with KR 2024) - DEADLINE: 17.07.2024   Lucia Gomez Alvarez
• [DL] Last CFSP: Call for Short Papers for the 15th International Conference on Computational Creativity (ICCC'24)   ICCC24
• [DL] LPAR-25, Call for Short Presentation Papers   geoff at cs.miami.edu
• [DL] LPAR 2024 short presentation papers - CFP   geoff at cs.miami.edu
• [DL] LPNMR 2024 - Call for Workshops   giuseppe.mazzotta at unical.it
• [DL] LPNMR 2024 - Preliminary Call for Papers   giuseppe.mazzotta at unical.it
• [DL] McCune PhD Award, Bledsoe IJCAR Travel Awards   geoff at cs.miami.edu
• [DL] MEDES 2024: extended deadline to September 20th   Salma Sassi
• [DL] Modern vs. classical structures of opposition: A discussion - LUW April 10, 4pm CET   jean-yves beziau
• [DL] MONDAY APR 22: AI and Language Processing Innovation – What Is It Good For? Real-World Use Cases   Language Studio
• [DL] Outage of purl.org: Mirror URLs for GoodRelations   Martin Hepp
• [DL] PAAR 2024 - Call for Papers - Extended Deadlines   geoff at cs.miami.edu
• [DL] Paraconsistent Newsletter Winter-Summer 2024   jean-yves beziau
• [DL] PhD funding opportunity in database theory in Inria Lille [deadline April 29]   Antoine Amarilli
• [DL] PhD grant on Causality in AI & Deep Learning   Ghidini Chiara
• [DL] PhD position "Machine Learning for Automated Reasoning" (fully funded) @ University of Amsterdam   Balder ten Cate
• [DL] PhD Position 5y fully funded in Correct-by-Design for Cyber-Physical Systems, Gothenburg (Sweden), Deadline: 15 April   Yehia Abd Alrahman
• [DL] PhD Position 5y fully funded in Correct-by-Design for Cyber-Physical Systems, Gothenburg (Sweden), Deadline: 15 April 24   Yehia Abd Alrahman
• [DL] PhD position at TU Wien, AXAIS project   Hackl, Andrea
• [DL] Phd Position in Correct-by-Design for Cyber-Physical Systems   Yehia Abd Alrahman
• [DL] Phd Position in Correct-by-Design for Cyber-Physical Systems   Yehia Abd Alrahman
• [DL] PhD position on Knowledge Representation & Responsible Design for Inclusive Employment Matching Algorithms   Riemsdijk, Birna van (UT-EEMCS)
• [DL] PhD POSITIONS in COMPUTER SCIENCE - Free University of Bozen-Bolzano, Italy   Ghidini Chiara
• [DL] PMAI Workshop @ECAI 2024 - CALL FOR PAPERS   Valeria Fionda
• [DL] Position for 3 years PhD or PostDoc   Anni-Yasmin Turhan
• [DL] Postdoc/Research associate position in modal type theory and secure compilation at the University of Kent   Vineet Rajani
• [DL] Postdoc in Formal methods   Yehia Abd Alrahman
• [DL] Postdoc in Formal methods   Yehia Abd Alrahman
• [DL] PostDoc in using Formal Methods for finding security vulnerabilities and misconfigurations in business-process-driven systems (Deadline: 2024-04-18)   Achim D. Brucker
• [DL] PostDoc position, University of Warsaw   Paweł Parys
• [DL] Postdoc Position 2y in Formal Methods, Gothenburg (Sweden), Deadline: 02 April 24   Yehia Abd Alrahman
• [DL] Postdoc Position 2y in Formal Methods, Gothenburg (Sweden), Deadline: 23 April   Yehia Abd Alrahman
• [DL] Postdoc position at LaBRI, Bordeaux on topics related to KR & databases   Meghyn Bienvenu
• [DL] Postdoc position at LaBRI, Bordeaux on topics related to KR & databases   Meghyn Bienvenu
• [DL] Postdoc position in automata and concurrency theory at the University of Warsaw   Sławomir Lasota
• [DL] Postdoc Position in Formal Methods, Gothenburg (Sweden), (Deadline 21 May)   Yehia Abd Alrahman
• [DL] Postdoc Position in Formal Methods, Gothenburg (Sweden), Deadline: 23 April   Yehia Abd Alrahman
• [DL] Postdoc Position in Formal Methods, Gothenburg (Sweden), Deadline Extended 21 May   Yehia Abd Alrahman
• [DL] PostDoc position on Knowledge-Based Diagnostic Reasoning at VU Amsterdam with ASML   Schlobach, K.S. (KS)
• [DL] Postdoctoral position in neural-symbolic KRR in University of Manchester   Jiaoyan Chen
• [DL] Precall "Bilateral AI" (50 PhDs, 10 Postdocs), fall 2024   Hackl, Andrea
• [DL] Preliminary Call for Videos: KR 2024 Video Track   Anni-Yasmin Turhan
• [DL] Real-Time Intelligent Systems 2024   ijwa dline.info
• [DL] Real-Time Intelligent Systems 2024-   pichappan at dirf.org
• [DL] Recruiting: PhD Studentship in Social Statistics in Digital and Computational Demography   MPIDR - Career
• [DL] Research Group Leader (Associate Professor) & Summer Research Visit at the Max Planck Institute for Demographic Research   MPIDR - Career
• [DL] RTIS 2024 Extended deadline   ijwa dline.info
• [DL] SAC-SVT 2025 CFP: Software Verification and Testing Track at SAC 2025: deadline September 20, 2024   Wijs, Anton
• [DL] SALOME 1 - celebration of the 6th edition of the World Logic Day - Sunday 14 at 4pm CET   Jean-Yves Beziau
• [DL] SAT/SMT/AR 2024: International Summer School   geoff at cs.miami.edu
• [DL] SAT/SMT/AR Summer School 2024: call for applications   Sophie Tourret
• [DL] Second Call for Papers - AIxIA 2024   Artale Alessandro
• [DL] Second Call for Papers: 10th Workshop on Formal and Cognitive Reasoning (FCR-2024)   Özcep, Özgür Lütfü
• [DL] Second Call for Submissions to the Doctoral Program - 17th Conference on Intelligent Computer Mathematics - CICM 2024 - Extended Deadline: June 20, 2024   Serge Autexier
• [DL] Second CfProposals: ESSLLI 2025, July 28 - August 8, 2025, Bochum (Germany)   ESSLLI Publicity
• [DL] Second Rostock Open Science Workshop   MPIDR - Career
• [DL] Six PhD positions in AI at TU Dresden & Leipzig U, Germany   Markus Krötzsch
• [DL] SPIN 2024: second Call for Papers (deadline extension)   Thomas Neele
• [DL] SPIN 2025: Call for Papers   Rozier, Kristin-Yvonne [AER E]
• [DL] Spotlight Seminar on AI - ELENA SIMPERL - May 14 2024   Luciano Serafini
• [DL] Spotlight Seminar on AI - PAOLO TRAVERSO - January 23 2024   Ghidini Chiara
• [DL] Submission Deadline Extension - 36th IEEE International Conference on Tools with Artificial Intelligence   Sachin Sharma
• [DL] SYNASC 2024 - Final Call for Papers   SYNASC 2024
• [DL] SYNASC 2024 - Final Call for Papers   SYNASC 2024
• [DL] SYNASC 2024 - Final Call for Papers   SYNASC 2024
• [DL] SYNASC 2024 - First Call for Papers   SYNASC 2024
• [DL] SYNASC 2024 - Second Call for Papers   SYNASC 2024
• [DL] SYNASC 2024 - Second Call for Papers   SYNASC 2024
• [DL] SYNERGY 2024 **DEADLINE EXTENDED**   marcello.balduccini at gmail.com
• [DL] SYNERGY 2024 - Call for Contributions   marcello.balduccini at gmail.com
• [DL] Text2Story'24 Deadline Extension   Hugo Oliveira Sousa
• [DL] Text2Story'24 Deadline Extension   Hugo Oliveira Sousa
• [DL] Text2Story at ECIR'24 Last Call for Papers   Hugo Oliveira Sousa
• [DL] Text2Story at ECIR'24 Last Deadline Extension   Hugo Oliveira Sousa
• [DL] The 10th International Conference on Fog and Mobile Edge Computing (FMEC 2025) Tampa, Florida, USA. May 19-22, 2025   Sadi Alawadi
• [DL] The 10th International Conference on Fog and Mobile Edge Computing (FMEC 2025) Tampa, Florida, USA. May 19-22, 2025   Sadi Alawadi
• [DL] The 18th International Conference on Reachability Problems - RP 2024   geoff at cs.miami.edu
• [DL] The 9th International Conference on Fog and Mobile Edge Computing (FMEC 2024) Malmö, Sweden. September 2-5, 2024   Sadi Alawadi
• [DL] The 9 th International Conference on Fog and Mobile Edge Computing (FMEC 2024) Malmö, Sweden. September 2-5, 2024   Sadi Alawadi
• [DL] The 9 th International Conference on Fog and Mobile Edge Computing (FMEC 2024) Malmö, Sweden. September 2-5, 2024   Sadi Alawadi
• [DL] The Paper Submission deadline for the ISBRA 2024 is extended until April 8   Olga Glebova
• [DL] TR: [First CFP] CRiSIS 2024: The 19th International Conference on Risks and Security of Internet and Systems   Samir Ouchani
• [DL] TSD 2024 - 1st Call for Papers   TSD 2024
• [DL] TSD 2024 - 2n Call for Papers   TSD 2024
• [DL] TSD 2024 - Last Call for Papers   TSD 2024
• [DL] Two Internship Opportunities for Master's Students at UPPA: Data Analysis and Monitoring Mobile in Connected Environments (Deadline Approaching: January 20, 2024   Salma Sassi
• [DL] User study for explaining missing entailments in Protégé   Stefan Borgwardt
• [DL] Vacancies: Postdocs/Research Scientists in Digital and Computational Demography   MPIDR - Career
• [DL] Vacancies: Postdocs/Research Scientists in Digital and Computational Demography   MPIDR - Career
• [DL] Vacancy: Full-time Post-Doctoral Researcher or Statistical Analyst   MPIDR - Career
• [DL] Vacancy: Full-time Post-Doctoral Researcher or Statistical Analyst   MPIDR - Career
• [DL] VCLA International Student Awards - Call for Nominations   Hackl, Andrea
• [DL] VCLA International Student Awards - Deadline Extension and Last Call for Nominations   Hackl, Andrea
• [DL] VCLA International Student Awards - Deadline May 31   Hackl, Andrea
• [DL] VINALDO, 2nd ICDAR International workshop on Machine vision and NLP for Document Analysis   rafika boutalbi
• [DL] VMW at CAV 2024: Call for Scholarship Applications   Jingbo Wang
• [DL] Why the hexagon of opposition is really a triangle: logical structures as geometric shapes - Ori Milstein - LUW April 24, 2024, 4pm CET   jean-yves beziau
• [DL] WISE 2024 - Calls for Special-Tracks   Salma Sassi
• [DL] WISE 2024 - Calls for Workshops   Salma Sassi
• [DL] WISE 2024 - Main Track / PhD Symposium / Demos - Calls for Papers   Salma Sassi
• [DL] WoLLIC - CALL FOR PARTICIPATION - Early registration deadline: 10 May 2024   thomas.studer at unibe.ch
• [DL] WoLLIC 2024 - Final call for papers - Abstracts submission deadline: 22 January 2024   thomas.studer at unibe.ch
• [DL] Women in Logic Online with Laura Kovács, November 25, virtual event   Hackl, Andrea
• [DL] Women in Logic Online with Laura Kovács, November 25, virtual event - Link for Registration   Hackl, Andrea
• [DL] work on analyzing or improving the Wikidata ontology   Peter F. Patel-Schneider
• [DL] 📢📢 Call for Workshop and Tutorial @ESWC-2025 📢📢   Dr. Sanju Tiwari

Last message date: Mon Nov 18 09:28:30 CET 2024
Archived on: Tue Nov 19 07:19:48 CET 2024

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