2025 Archives by subject

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

Starting: Thu Jan 2 09:37:16 CET 2025
Ending: Tue Jun 3 11:24:30 CEST 2025
Messages: 229

• [DL] !!!WSDM 2025 Call for papers in workshops with early bird registration!!!!!   Dr. Sanju Tiwari
• [DL] 1st cfp: ISD9 at JOWO: The 9th Image Schema Day, 8-9 2025, Catania, Italy   Maria Hedblom
• [DL] 2025 IAOA Fellowships - Call for Nominations by February 23, 2025   Frank Loebe
• [DL] 2nd Call for Nominations: KR Early Career Award (Deadline: April 30)   Nico Potyka
• [DL] 2nd Call for Nominations: KR Test of Time Award (Deadline: May 20)   Nico Potyka
• [DL] 2nd Call for Nominations: Pavlos Peppas KR Distinguished Service Award (Deadline: May 20)   Nico Potyka
• [DL] 2nd Call for Papers: TbiLLC 2025   Balder ten Cate
• [DL] 2nd Call for Papers: The 18th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'25)   Thimm, Matthias
• [DL] 2nd Call for Papers ICCC'25 – The 16th International Conference on Computational Creativity   ICCC25
• [DL] 2nd Call For Papers KR 2025   Nico Potyka
• [DL] 2nd CfP - JELIA 2025 - 19th European Conference on Logics in AI   giovanni.casini
• [DL] 2nd cfp: ISD9 at JOWO: The 9th Image Schema Day, 8-9 2025, Catania, Italy   Maria Hedblom
• [DL] 2nd CfP: ReacTS 2025 – Special Issue on Reconfigurable Transition Systems of the Journal of Applied Logics, deadline: 15 June 2025   Raul Fervari
• [DL] 2nd CfParticipation: ESSLLI 2025, July 28 - August 8, 2025, Bochum (Germany)   ESSLLI Publicity
• [DL] 3rd CfP - JELIA 2025 - 19th European Conference on Logics in AI   giovanni.casini
• [DL] 3rd European Summer School on Artificial Intelligence   ESSAI 2025
• [DL] 3rd International Conference: Constructive Mathematical Analysis (2025)   ICCMA
• [DL] 4th CFP: Reasoning Web 2025 (Deadline to Apply for Travel Grants: Tuesday, May 20)   Kai Sauerwald
• [DL] [1st CfP] SEMANTiCS 2025 - Call for Workshops and Tutorials   Kossi Amouzouvi
• [DL] [AI3 2025 - First Call for Papers] 9th Workshop on Advances in Argumentation in Artificial Intelligence   Manuel Alejandro Borroto Santana
• [DL] [AI3 2025 - Second Call for Papers] *DATES UPDATE* 9th Workshop on Advances in Argumentation in Artificial Intelligence   Manuel Alejandro Borroto Santana
• [DL] [AIxIA] Spotlight Seminar on AI - Bernardo Magnini - February 27, 2025   Luciano Serafini
• [DL] [C.A.R.L.A. 2025 - Call for Papers] 1st Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action, University of Calabria, Rende, Italy | September 12-13, 2025   Manuel Alejandro Borroto Santana
• [DL] [C.A.R.L.A. 2025 - Deadline Extended] 1st Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action, University of Calabria, Rende, Italy | September 12-13, 2025   Manuel Alejandro Borroto Santana
• [DL] [Call for Papers - LOPSTR 2025] 35th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2025), Rende, Italy | September 9-10, 2025   Manuel Alejandro Borroto Santana
• [DL] [CFP-BDTSC25]- 1st Building Digital Twin Scientific Conference (BDTSC2025) at Kaunas, Lithuania   Dr. Sanju Tiwari
• [DL] [CfP-SI] ACM TIST - Special Issue on Risks and Unintended Harms of Generative AI Systems   Stefano CIRILLO
• [DL] [CfP]- Extended Deadline! Call for Papers for the Special Issue on Large Language Models, Generative AI, and Knowledge Graphs   Blerina Spahiu
• [DL] [CfP] 1st CfP - Cognition And OntologieS at JOWO 2025, September 8-12, Catania, Italy   CAOS - Cognition and Ontologies Workshop
• [DL] [CfP] 1st CfP: GOBLIN Workshop on Knowledge Graph Technologies || June 12, 2025 || Leipzig, Germany   DBpedia
• [DL] [CFP] [Deadline Extension] HHAI 2025 - Hybrid Human-Artificial Intelligence (June 9-13, 2025, Pisa, Italy)   Chiara Natali
• [DL] [CFP] Call for Papers: SymGenAI4Sci 2025 First Workshop on Symbolic and Generative AI for Science In conjunction with the SEMANTiCS-2025 Conference   Dr. Sanju Tiwari
• [DL] [CfP] Call for Short Papers ICCC'25 – The 16th International Conference on Computational Creativity   ICCC25
• [DL] [CfP] Deadline Extension - Cognition And OntologieS at JOWO 2025, September 8-12, Catania, Italy   CAOS - Cognition and Ontologies Workshop
• [DL] [CfP] Extended deadline for JOWO paper submissions   Top, E.J. (Eric)
• [DL] [CFP] ExUM Workshop @UMAP 2025 - Call For Papers - *** DEADLINE APRIL, 11, 2025 ***   Marco Polignano
• [DL] [CFP] ExUM Workshop @UMAP 2025 - Call For Papers - *** DEADLINE APRIL, 11, 2025 ***   Marco Polignano
• [DL] [CFP] Foundations and Future of Change in Artificial Intelligence (FCAI) - Workshop @ ECAI   Kai Sauerwald
• [DL] [CFP] HHAI 2025 Doctoral Consortium (DC) - 4th International Conference on Hybrid Human-Artificial Intelligence - June 2025, Pisa, Italy   Chiara Natali
• [DL] [CfP] Last call for the Web of Data Quality Workshop at The Web Conference 2025   Maria Angela PELLEGRINO
• [DL] [CfP] Reminder FOIS 2025 conference: Strict deadlines approaching for main track submission.   Top, E.J. (Eric)
• [DL] [CfP] Sci-K @ISWC 2025 – 5th Intl. Workshop on Scientific Knowledge Representation, Discovery, and Assessment   Angelo Salatino
• [DL] [CFP] Second Call for Papers: SymGenAI4Sci 2025 First Workshop on Symbolic and Generative AI for Science In conjunction with the SEMANTiCS-2025 Conference   Dr. Sanju Tiwari
• [DL] [CFP TEXT2KG at ESWC-2025] Call for Paper 4th TEXT2KG workshop collocated with ESWC-2025   Dr. Sanju Tiwari
• [DL] [CFP TEXT2KG at ESWC-2025] First Call for Paper 4th TEXT2KG workshop collocated with ESWC-2025   Dr. Sanju Tiwari
• [DL] [CFP TEXT2KG at ESWC-2025] Second Call for Paper 4th TEXT2KG workshop collocated with ESWC-2025   Dr. Sanju Tiwari
• [DL] [COSI 2025] Deadline extension : 17th Conference on Optimization and Information Systems   Engelbert MEPHU NGUIFO
• [DL] [Deadline Approaching] HHAI2025 - Call for Papers, Workshop and Tutorial Proposals (June 9-13, 2025, Pisa, Italy)   Chiara Natali
• [DL] [DL Seminar] Next seminar on the 10th of January by Magdalena Ortiz   Bartosz Bednarczyk
• [DL] [DL Seminar] Next seminar on the 7th of February by Meghyn Bienvenu   Bartosz Bednarczyk
• [DL] [DL Seminar] Next seminar on the 7th of February by Meghyn Bienvenu   Bartosz Bednarczyk
• [DL] [FCR 2025] CFP: 11th Workshop on Formal and Cognitive Reasoning   Kai Sauerwald
• [DL] [fm-announcements] Call for Papers: 3rd TACPS Workshop @ CAV 2025   Ivan Ruchkin via fm-announcements
• [DL] [fm-announcements] Call for Participation: NFM 2025   Slagel, Tanner (LARC-D320) via fm-announcements
• [DL] [fm-announcements] LOPSTR 2025 call for papers   Laura Titolo via fm-announcements
• [DL] [fm-announcements] PVS Day at NFM 2025, June 10, 2025   Munoz, Cesar A. (LARC-D320) via fm-announcements
• [DL] [FOIS 2025] - Call for participants Early Career Symposium   Top, E.J. (Eric)
• [DL] [FOIS 2025] Call for tutorials   Top, E.J. (Eric)
• [DL] [FOIS 2025] Call for Tutorials for the 15th International Conference on Formal Ontology in Information Systems, 08-12 September 2025 (Catania, Italy)   Lucia Gomez Alvarez
• [DL] [FOIS 2025] Ontology Showcase and Demonstrations   Top, E.J. (Eric)
• [DL] [ICCC'25] Call for Workshop Proposals ICCC'25 – The 16th International Conference on Computational Creativity   ICCC25
• [DL] [ICLP 2025 - Announcement of Accepted Workshops ] 41st International Conference on Logic Programming (ICLP’25), University of Calabria, Rende, Italy | September 12-19, 2025   Manuel Alejandro Borroto Santana
• [DL] [ICLP 2025 - Call for Workshop Proposals] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025   Manuel Alejandro Borroto Santana
• [DL] [ICLP 2025 - CfP Special Tracks] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025   Manuel Alejandro Borroto Santana
• [DL] [ICLP 2025 - Deadline Approaching] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025   Manuel Alejandro Borroto Santana
• [DL] [ICLP 2025 - First Call for Papers] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025   Manuel Alejandro Borroto Santana
• [DL] [ICLP 2025 - Preliminary Call for Papers] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025   Francesco Calimeri
• [DL] [ICLP DC 2025 - Call for Papers] 21st Doctoral Consortium (DC) on Logic Programming | University of Calabria, Rende, Italy | September 12-19, 2025   Manuel Alejandro Borroto Santana
• [DL] [Jobs] PhD Position on Neuro-symbolic AI in Hybrid Intelligence (Deadline: May 15th)   Erman Acar
• [DL] [RuleML+RR 2025] 2nd Call for papers   Kai Sauerwald
• [DL] [RuleML+RR 2025] CFP: The 9th International Joint Conference on Rules and Reasoning   Kai Sauerwald
• [DL] [RuleML+RR 2025] Rule Challenge, Doctoral Consortium, Industry Track and Networking Session   Kai Sauerwald
• [DL] [RuleML+RR 2025] Rule Challenge, Doctoral Consortium, Industry Track and Networking Session   Kai Sauerwald
• [DL] [RuleML+RR 2025] Rule Challenge, Doctoral Consortium, Industry Track and Networking Session   Kai Sauerwald
• [DL] [RW 2025] 2nd Call for Participation: 21st Reasoning Web Summer School   Kai Sauerwald
• [DL] [RW 2025] 3rd CFP: Reasoning Web 2025 (New: Travel Grants Available)   Kai Sauerwald
• [DL] [RW 2025] First Call for Participation: 21st Reasoning Web Summer School   Kai Sauerwald
• [DL] [Second Call for Papers - LOPSTR 2025] 35th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2025), Rende, Italy | September 9-10, 2025   Manuel Alejandro Borroto Santana
• [DL] [Vardi-list] World Logic Day Lecture: Homo Ratiocinator (Reckoning Human)- 1/14/25   Moshe Vardi
• [DL] AAAI 2025 Tutorial on Machine Learning for Solvers   geoff at cs.miami.edu
• [DL] AI for Research Data Management, Workshop AIRDeM @ ESWC 2025   Hajira Jabeen
• [DL] Assistant/Junior Professorship Position XAI at Ulm University   Birte Glimm
• [DL] Bill McCune PhD Award in Automated Reasoning 2025 Call for Nominations   geoff at cs.miami.edu
• [DL] CADE-30 Call for Papers   geoff at cs.miami.edu
• [DL] CADE-30 Woodie Bledsoe Awards   geoff at cs.miami.edu
• [DL] Call for applications: C-FORS Summer School in Foundational Ontology, University of Oslo, 20-23 May 2025   Guendalina Righetti
• [DL] Call for Nominations: KR Distinguished Service Award (Deadline: May 20)   Nico Potyka
• [DL] Call for Nominations: KR Early Career Award (Deadline: April 30)   Nico Potyka
• [DL] Call for Nominations: KR Test of Time Award (Deadline: May 20)   Nico Potyka
• [DL] Call for Papers - 20th International Workshop on Semantic and Social Media Adaptation and Personalization (SMAP 2025)   smap
• [DL] Call for Papers - 20th International Workshop on Semantic and Social Media Adaptation and Personalization (SMAP 2025)   smap
• [DL] Call For Papers - 37th IEEE International Conference on Tools with Artificial Intelligence - Nov 3-Nov 5, 2025 - Athens, Greece   Sachin Sharma
• [DL] Call For Papers - 37th IEEE International Conference on Tools with Artificial Intelligence - Nov 3-Nov 5, 2025 - Athens, Greece   Sachin Sharma
• [DL] Call For Papers - 37th IEEE International Conference on Tools with Artificial Intelligence - Nov 3-Nov 5, 2025 - Athens, Greece   Sachin Sharma
• [DL] Call for Papers - SKGI 2025 – Scaling Knowledge Graphs for Industry: LLMs meet KGs (Half-day)   Diego Rincon
• [DL] Call for papers - SYNASC 2025   SYNASC 2025
• [DL] Call for Papers - The 28th Forum on specification and Design Languages (FDL)   Johannes Koch
• [DL] Call for Papers: 20th International Workshop on Semantic and Social Media Adaptation and Personalization (SMAP 2025)   smap
• [DL] Call for Papers: 23rd International Workshop on Satisfiability Modulo Theories   geoff at cs.miami.edu
• [DL] Call for Papers: KR in the Wild Track @KR 2025   Nico Potyka
• [DL] Call for Papers: TbiLLC 2025   Balder ten Cate
• [DL] Call for Papers: The First International Workshop on Trends in Knowledge Representation and Reasoning (TKR'25)   Thimm, Matthias
• [DL] Call for Participation: CoLiE at ICDAR'25   Hugo Sousa
• [DL] Call for Ph.D. Symposium @ ESWC 2025   Dr. Sanju Tiwari
• [DL] Call for Workshops, Conference on Intelligent Computer Mathematics (CICM), 6-11 october 2025, Brasilia   Serge Autexier
• [DL] Call to join the 3rd Federated Learning Summer School 2025! 🚀   Sadi Alawadi
• [DL] Cape-KR 2025 – Registration closing soon   Jonas Haldimann
• [DL] CfP 1st International Workshop on Explainable AI, Knowledge Representation, and Knowledge Graphs (XAI-KRKG)@ECAI2025, October 25-30, 2025   Claudia d'Amato
• [DL] CfP 1st International Workshop on Explainable AI, Knowledge Representation, and Knowledge Graphs (XAI-KRKG)@ECAI2025, October 25-30, 2025   Claudia d'Amato
• [DL] CfP 1st International Workshop on Explainable AI and Knowledge Graphs (XAI+KG)@ESWC 2024, JUNE 1-5, 2025   Claudia d'Amato
• [DL] CfP: FoIKS 2026: 14th International Symposium on Foundations of Information and Knowledge Systems: 23-26 March, 2026. Hannover, Germany   Yasir mahmood
• [DL] CfP: KR 2025 Doctoral Consortium   Nico Potyka
• [DL] CfP: NMR 2025   Anna Rapberger
• [DL] CfP: Planning & Scheduling Track at KR 2025   Nico Potyka
• [DL] CFP: The 26th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2025)   Vladana Perlić
• [DL] CFP: The 26th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2025)   Vladana Perlic
• [DL] CfParticipation: ESSLLI 2025, July 28 - August 8, 2025, Bochum (Germany)   ESSLLI Publicity
• [DL] CICM 2025 *** DEADLINES FOR FORMAL SUBMISSIONS EXTENDED BY ANOTHER WEEK ***   Serge Autexier
• [DL] CICM 2025: 3rd Announcement and Call for Papers   Serge Autexier
• [DL] CICM 2025: 4th Announcement and Call for Papers with deadline extension   Serge Autexier
• [DL] DEADLINE EXTENSION - CfP 1st International Workshop on Explainable AI, Knowledge Representation, and Knowledge Graphs (XAI-KRKG)@ECAI2025, October 25-30, 2025   Claudia d'Amato
• [DL] Deadlines extended (May 21/28): The 18th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'25)   Thimm, Matthias
• [DL] Description Logic Online Seminar, April Edition   Patrick Koopmann
• [DL] Description Logic Workshop 2025: Second Call for Papers   Bartosz Bednarczyk
• [DL] Description Logic Workshop 2025: Update and Final Call for Papers   Patrick Koopmann
• [DL] DisCoTec 2025, 2nd CfP: 20th International Federated Conference on Distributed Computing Techniques   Bas van den Heuvel
• [DL] DisCoTec 2025, Deadline Extension and Booking Heads Up: 20th International Federated Conference on Distributed Computing Techniques   Bas van den Heuvel
• [DL] DisCoTec 2025 Call for Participation   Matthew Alan Le Brun (PGR)
• [DL] DisCoTec Call for Participation - Early Registration Deadline Soon   Matthew Alan Le Brun (PGR)
• [DL] DL Seminar 21st of March by Carsten Lutz   Bartosz Bednarczyk
• [DL] DL Workshop 2025 Call for Papers   Bartosz Bednarczyk
• [DL] Due July 15- SERD 2025 Software Engineering Research & Development, Oct 1-2, USA & Online   OkIP Cfp
• [DL] ebike vs traditional bike: which one is better?   Alex
• [DL] ECSQARU 2025: 2nd Call for Workshops and Tutorials   Matthias Thimm
• [DL] EPIA 2025 - Call for Papers   EPIA 2025
• [DL] EPIA 2025 - FINAL CFP - University of Algarve, Portugal   EPIA 2025
• [DL] EPIA 2025 - FINAL CFP - University of Algarve, Portugal   EPIA 2025
• [DL] European Conference on Artificial Intelligence - ECAI 2025   Federico Chesani
• [DL] European Summer School in AI - Call for Participation   info at essai2025.eu
• [DL] Extended Deadlines: Forum on specification and Design Languages (FDL)   Klaus Schneider
• [DL] Extended Submission Deadline – Computational Design and Computer-Aided Creativity   Workshop on Computational Design and Computer-Aided Creativity
• [DL] Final Call: LLM-TEXT2KG at ESWC-2025 **March 16, 2025**, 23:59 AoE   Dr. Sanju Tiwari
• [DL] Final Call for Papers: The 18th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'25)   Thimm, Matthias
• [DL] Final Call for Papers: The First International Workshop on Trends in Knowledge Representation and Reasoning (TKR'25)   Thimm, Matthias
• [DL] Final CfP/Dedline Extension: Special Track on Uncertain Reasoning at FLAIRS-38 (May 20–23, 2025)   Jonas Haldimann
• [DL] Final cfp and deadline extension: ISD9 at JOWO: The 9th Image Schema Day, 8-9 2025, Catania, Italy   Maria Hedblom
• [DL] First CfP - JELIA 2025 - 19th European Conference on Logics in AI   giovanni.casini
• [DL] First CfP: 5th International Workshop on Semantic Web and Ontology Design for Cultural Heritage, SWODCH 2025   Marianna Nicolosi Asmundo
• [DL] FMBC25 - Second Call for Papers   Marmsoler, Diego
• [DL] FroCoS 2025 - Call for Papers   geoff at cs.miami.edu
• [DL] FroCoS 2025 - Call for Papers   geoff at cs.miami.edu
• [DL] Fully Funded PhD Position: Multimodal AI/ML Models for Early Parkinson's Disease Diagnosis   Mahdi Bohlouli
• [DL] Fully Funded PhD Position: Stratification of Clinical Disease Trajectories and Prediction of Individual Rate of Progression in Parkinson's Disease   Mahdi Bohlouli
• [DL] Fwd: CFP: 8th International Workshop on SEMANTIC WEB SOLUTIONS FOR LARGE-SCALE BIOMEDICAL DATA ANALYTICS (SeWeBMeDA-2025)   SeWeBMeDA Workshop
• [DL] ICCMA 2025 (Late registration until June 1, 2025)   ICCMA
• [DL] ICDT 2026 - Final Call for Papers   Balder ten Cate
• [DL] ICDT 2026 Call for Papers   Balder ten Cate
• [DL] Institution-independent Model Theory by R.Diaconescu, LUWebinar, March 12 - 16h CET   jean-yves beziau
• [DL] IntelliHealth 2026 - Call for abstracts   Supriya Kapoor
• [DL] International Workshop on Reconfigurable Transition Systems (ReacTS 2024) - Special Issue of the Journal of Applied Logics   Raul Fervari
• [DL] Invitation to Submit: The 10th International Conference on Fog and Mobile Edge Computing (FMEC 2025)   Sadi Alawadi
• [DL] Invitation – Vienna World Logic Day Lecture with Joao Marques-Silva, January 14, virtual event   Hackl, Andrea
• [DL] Invitation – Women in Logic Online with Francesca Poggiolesi, January 24, virtual event   Hackl, Andrea
• [DL] ISAO 2025 - Save the dates -> September 15-19 (Interdisciplinary School on Applied Ontology held in Catania, Italy)   Top, E.J. (Eric)
• [DL] ISBRA 2025 Call for Papers   ISBRA 2025 Call for Papers
• [DL] ISWC 2025 Call for Submissions - Research, Resource, In-use, Industry, Poster & demos, DC, Workshops, Dagstuhl-style workshops, Challenges, and Tutorials   Gesese, Genet-Asefa
• [DL] JELIA 2025 - EXTENDED DEADLINE   giovanni.casini
• [DL] JELIA 2025 - FINAL CfP - DEADLINE EXTENDED   giovanni.casini
• [DL] Join the 3rd Federated Learning Summer School 2025   Sadi Alawadi
• [DL] Junior Professor Chair in Computer Science or Statistics at Université of Poitiers   Chaker Larabi
• [DL] KR 2025: 1st Call for Tutorial and Workshop Proposals   Anna Rapberger
• [DL] KR 2025: Call for Videos   Nico Potyka
• [DL] KR 2025: Final Call for Nominations for the KR Early Career Award (Deadline: April 30)   Nico Potyka
• [DL] KR 2025: Final Call for Papers (Abstract Submission 7 May)   Nico Potyka
• [DL] KR 2025: SECOND CALL FOR TUTORIAL AND WORKSHOP PROPOSALS   Nico Potyka
• [DL] KR 2025: The 22nd International Conference on Principles of Knowledge Representation and Reasoning   Nico Potyka
• [DL] KRR at EPIA 2025 - Call for Papers   Matthias Knorr
• [DL] Last call to join the 3rd Federated Learning Summer School 2025   Sadi Alawadi
• [DL] Lise Meitner Excellence Programme / Lise Meitner Group Leader   MPIDR - Career
• [DL] Logic in All its Dimensions - LUA - 7th edition of the World Logic Day, January 14, 2025, 4pm CET   jean-yves beziau
• [DL] Marktoberdorf 2025 CFP   geoff at cs.miami.edu
• [DL] multiple job openings at the University of Warsaw   Filip Murlak
• [DL] Next DL Seminar by Diego Figueira   Bartosz Bednarczyk
• [DL] Open Faculty Positions in Computer Science at NOVA University Lisbon   Matthias Knorr
• [DL] Open Position: Assistant/Associate Professor in Neuro-Symbolic Natural Language Processing   Mehwish Alam
• [DL] Paraconsistent Newsletter Winter-Summer 2025   jean-yves beziau
• [DL] PhD Opportunity in Machine Learning & Healthcare   Lisowska, A.J. (Aneta)
• [DL] PhD Position: Verification of Golang using Interactive Theorem Proving (Application Deadline 2025-02-10)   Achim D. Brucker
• [DL] PhD Position at Free University of Bozen-Bolzano, Italy, in cooperation with Sony CSL, Barcelona.   Kutz Oliver
• [DL] PhD Position available   Franz Baader
• [DL] PhD position in Advancing Explainable AI for Knowledge Extraction (Collaboration with Philips & Canon)   Chen, J. (Jieying)
• [DL] PhD Position in Amsterdam available   Patrick Koopmann
• [DL] PhD Position in Formal Methods (Symbolic Reactive Synthesis on Planning Domains) - Chalmers University of Technology, Gothenburg, Sweden   Nir Piterman
• [DL] PhD positions in DFG RTG "Cybercrime and Forensic Computing", FAU Erlangen-Nürnberg   Lutz Schröder
• [DL] PhD positions in logic and sub-symbolic AI   Mantas Šimkus
• [DL] Postdoc & research engineer positions in Bordeaux (KR / databases / logic)   Meghyn Bienvenu
• [DL] Postdoc Position(s) at the Max Planck | University of Helsinki Centre for Social Inequalities in Population Health, Rostock   MPIDR - Career
• [DL] Postdoc position in formal verification of multi-agent systems   Vadim Malvone
• [DL] Postdoc position in formal verification of multi-agent systems   Vadim Malvone
• [DL] Reminder: Calls for work FOIS 2025 and JOWO 2025   c.h.bernabe at lumc.nl
• [DL] Second Announcement and CfP, Conference on Intelligent Computer Mathematics (CICM), 6-11 october 2025, Brasilia   Serge Autexier
• [DL] Second Call for Applications - Cluster of Excellence "Bilateral AI"   Hackl, Andrea
• [DL] Second Call for Papers: The First International Workshop on Trends in Knowledge Representation and Reasoning (TKR'25)   Thimm, Matthias
• [DL] Second Call for Papers Fifth Conference on Language, Data and Knowledge (LDK 2025)   Andon Tchechmedjiev
• [DL] Second Call for Papers SYNASC 2025   SYNASC 2025
• [DL] Second CfP: FoIKS 2026: 14th International Symposium on Foundations of Information and Knowledge Systems. Hannover, Germany   Yasir mahmood
• [DL] SMT 2025: Deadline extension   geoff at cs.miami.edu
• [DL] SPIN: Final Call for Papers   Rozier, Kristin-Yvonne [AER E]
• [DL] Spotlight Seminar on AI - Anthony Cohn - January 30 2025   Luciano Serafini
• [DL] SYNASC 2025 - Final Call for Papers   SYNASC 2025
• [DL] SYNASC 2025 - Final Call for Papers   SYNASC 2025
• [DL] Text2Story'25 at ECIR: Deadline Extension & Last Call for Papers   Hugo Sousa
• [DL] Text2Story'25 at ECIR Deadline Extension   Hugo 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, Tampa, Florida, USA. May 19-22, 2025   Sadi Alawadi
• [DL] Third Call for Papers: The 18th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'25)   Thimm, Matthias
• [DL] TSD 2025 - First Call for Papers   TSD 2025
• [DL] TSD 2025 - Second Call for Papers   TSD 2025
• [DL] Update FOIS 2025 conference: Exciting workshops, riveting keynotes, and an unrelenting Call for Papers [CfP].   Top, E.J. (Eric)
• [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 - Second Call for Nominations   Hackl, Andrea
• [DL] Weidenbach'60: First-Order Reasoning. Call for Papers   geoff at cs.miami.edu
• [DL] Wikidata ontology course   Peter F. Patel-Schneider
• [DL] Wikidata Ontology Course Registration   Peter F. Patel-Schneider
• [DL] Women in Logic Online with Sara Negri, June 23, virtual event   Hackl, Andrea
• [DL] Women in Logic Online with Sonja Smets, March 19, virtual event   Hackl, Andrea
• [DL] Workshop on Theorem Proving and Machine Learning in the age of LLMs   geoff at cs.miami.edu
• [DL] 🚀 Join the 3rd Federated Learning Summer School 2025!   Sadi Alawadi

Last message date: Tue Jun 3 11:24:30 CEST 2025
Archived on: Wed Jun 4 07:07:43 CEST 2025

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