2025 Archives by author

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

Starting: Thu Jan 2 09:37:16 CET 2025
Ending: Mon Nov 24 18:45:10 CET 2025
Messages: 367

• [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] 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] 3rd European Summer School on Artificial Intelligence   ESSAI 2025
• [DL] Call for papers - SYNASC 2025   SYNASC 2025
• [DL] Second Call for Papers SYNASC 2025   SYNASC 2025
• [DL] SYNASC 2025 - Final Call for Papers   SYNASC 2025
• [DL] SYNASC 2025 - Final Call for Papers   SYNASC 2025
• [DL] SYNASC 2025 - Final Call for Papers   SYNASC 2025
• [DL] SYNASC 2025 - Final Call for Papers   SYNASC 2025
• [DL] TSD 2025 - First Call for Papers   TSD 2025
• [DL] TSD 2025 - Second Call for Papers   TSD 2025
• [DL] [CfP] US2TS 2025 - Deadline Extended: 5th U.S. Semantic Technologies Symposium   Soheil Abadifard
• [DL] [CfP] US2TS 2025 - Deadline Extended for Poster/Lightning Talk : 5th U.S. Semantic Technologies Symposium   Soheil Abadifard
• [DL] [CfP] Call for  Registration: 5th U.S. Semantic Technologies Symposium (US2TS 2025)   Soheil Abadifard
• [DL] [Jobs] PhD Position on Neuro-symbolic AI in Hybrid Intelligence (Deadline: May 15th)   Erman Acar
• [DL] Open Position: Assistant/Associate Professor in Neuro-Symbolic Natural Language Processing   Mehwish Alam
• [DL] Master 2 Internship on “Framework for Evaluating Reasoning Verification in Large Language Models” at Télécom Paris and BNP Paribas   Mehwish Alam
• [DL] The 10th International Conference on Fog and Mobile Edge Computing (FMEC 2025) Tampa, Florida, USA. May 19-22, 2025   Sadi Alawadi
• [DL] Invitation to Submit: The 10th International Conference on Fog and Mobile Edge Computing (FMEC 2025)   Sadi Alawadi
• [DL] The 10th International Conference on Fog and Mobile Edge Computing, Tampa, Florida, USA. May 19-22, 2025   Sadi Alawadi
• [DL] Join the 3rd Federated Learning Summer School 2025   Sadi Alawadi
• [DL] 🚀 Join the 3rd Federated Learning Summer School 2025!   Sadi Alawadi
• [DL] Call to join the 3rd Federated Learning Summer School 2025! 🚀   Sadi Alawadi
• [DL] Last call to join the 3rd Federated Learning Summer School 2025   Sadi Alawadi
• [DL] CFP: (IEEE technically co-sponsored) The 2025 International Symposium on Human-AI Interaction and Experience Design (HAXD 2025) | Hybrid Event | Vienna Austria   Sadi Alawadi
• [DL] CFP: (IEEE technically co-sponsored) The 2025 International Symposium on Human-AI Interaction and Experience Design (HAXD 2025) | Hybrid Event | Vienna Austria   Sadi Alawadi
• [DL] CFP: The 2nd International Conference on Human-AI Interaction and Experience Design (HAXD 2026)   Sadi Alawadi
• [DL] ebike vs traditional bike: which one is better?   Alex
• [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] [1st CfP] SEMANTiCS 2025 - Call for Workshops and Tutorials   Kossi Amouzouvi
• [DL] First Call for Workshops - FLoC 2026 — The 2026 Federated Logic Conference   Miguel Areias
• [DL] First CfP: 5th International Workshop on Semantic Web and Ontology Design for Cultural Heritage, SWODCH 2025   Marianna Nicolosi Asmundo
• [DL] CfP: REVERSIBLE COMPUTATION 2026 –18th International Conference on Reversible Computation, July 9–10, 2026, Torino, Italy   Clément Aubert
• [DL] Second Announcement and CfP, Conference on Intelligent Computer Mathematics (CICM), 6-11 october 2025, Brasilia   Serge Autexier
• [DL] Call for Workshops, Conference on Intelligent Computer Mathematics (CICM), 6-11 october 2025, Brasilia   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] CICM 2025 *** DEADLINES FOR FORMAL SUBMISSIONS EXTENDED BY ANOTHER WEEK ***   Serge Autexier
• [DL] Call for Abstracts: Workshop on Natural Formal Mathematics (NatFoM 2025) in Brasilia   Serge Autexier
• [DL] PhD Position available   Franz Baader
• [DL] Track on Knowledge Representation and Reasoning (KRR) at SAC 2026   Franz Baader
• [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] DL Workshop 2025 Call for Papers   Bartosz Bednarczyk
• [DL] DL Seminar 21st of March by Carsten Lutz   Bartosz Bednarczyk
• [DL] Description Logic Workshop 2025: Second Call for Papers   Bartosz Bednarczyk
• [DL] Next DL Seminar by Diego Figueira   Bartosz Bednarczyk
• [DL] Next Description Logic Seminar by Axel-Cyrille Ngonga Ngomo   Bartosz Bednarczyk
• [DL] Postdoc position in computational logics with Antti Kuusisto in Tampere   Bartosz Bednarczyk
• [DL] Postdoc & research engineer positions in Bordeaux (KR / databases / logic)   Meghyn Bienvenu
• [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] Job announcement   Torben Braüner
• [DL] PhD Position: Verification of Golang using Interactive Theorem Proving (Application Deadline 2025-02-10)   Achim D. Brucker
• [DL] Call for Papers: Tests and Proofs (TAP) (Now a Track at FM 2026)   Achim D. Brucker
• [DL] Final Call for Papers: Tests and Proofs (TAP) -- Now a Track at FM 2026   Achim D. Brucker
• [DL] [CfP-SI] ACM TIST - Special Issue on Risks and Unintended Harms of Generative AI Systems   Stefano CIRILLO
• [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] Lise Meitner Excellence Programme / Lise Meitner Group Leader   MPIDR - Career
• [DL] Postdoc Position(s) at the Max Planck | University of Helsinki Centre for Social Inequalities in Population Health, Rostock   MPIDR - Career
• [DL] Postdoc/Research Scientist Positions at the Max Planck Institute for Demographic Research, Germany   MPIDR - Career
• [DL] Postdoc Position(s) at the Max Planck – University of Helsinki Centre for Social Inequalities in Population Health   MPIDR - Career
• [DL] Postdoc/Research Scientist in the Reproductive Ageing Research Group   MPIDR - Career
• [DL] Call for Papers: TbiLLC 2025   Balder ten Cate
• [DL] ICDT 2026 Call for Papers   Balder ten Cate
• [DL] ICDT 2026 - Final Call for Papers   Balder ten Cate
• [DL] 2nd Call for Papers: TbiLLC 2025   Balder ten Cate
• [DL] ICDT 2026 - Second Round - Call for Papers   Balder ten Cate
• [DL] ICDT 2026 - Second Round - Final Call for Papers   Balder ten Cate
• [DL] Due July 15- SERD 2025 Software Engineering Research & Development, Oct 1-2, USA & Online   OkIP Cfp
• [DL] PhD position in Advancing Explainable AI for Knowledge Extraction (Collaboration with Philips & Canon)   Chen, J. (Jieying)
• [DL] European Conference on Artificial Intelligence - ECAI 2025   Federico Chesani
• [DL] Call for Papers: SPIN 2026: The 32nd International Symposium on Model Checking Software   Vincenzo Ciancia
• [DL] [EUROLAN-2025] - Third Call for Participation   EUROLAN Organizing Committee
• [DL] Extended Submission Deadline – Computational Design and Computer-Aided Creativity   Workshop on Computational Design and Computer-Aided Creativity
• [DL] [CFP] Text2Story at ECIR'26 – Delft, the Netherlands   Luís Filipe Cunha
• [DL] [CfP] 1st CfP: GOBLIN Workshop on Knowledge Graph Technologies || June 12, 2025 || Leipzig, Germany   DBpedia
• [DL] [CfP] DBpedia Day 2025 || SEMANTiCS conference || Sept 3   DBpedia
• [DL] [CfP] DBpedia Day 2025 || SEMANTiCS conference || Sept 3   DBpedia
• [DL] [CfP] ESWC 2026 – Call for Workshops and Tutorials   Web and Publicity ESWC
• [DL] [CfP] ESWC 2026 – Call for Contributions: Research, Resources, and In-Use Tracks   Web and Publicity ESWC
• [DL] FedCSIS 2026 Call for Thematic Sessions   FedCSIS
• [DL] International Workshop on Reconfigurable Transition Systems (ReacTS 2024) - Special Issue of the Journal of Applied Logics   Raul Fervari
• [DL] 2nd CfP: ReacTS 2025 – Special Issue on Reconfigurable Transition Systems of the Journal of Applied Logics, deadline: 15 June 2025   Raul Fervari
• [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] Assistant/Junior Professorship Position XAI at Ulm University   Birte Glimm
• [DL] 25 years of CEGAR (FMSD Special Issue)   Orna Grumberg
• [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] VCLA International Student Awards - Call for Nominations   Hackl, Andrea
• [DL] Women in Logic Online with Sonja Smets, March 19, virtual event   Hackl, Andrea
• [DL] Second Call for Applications - Cluster of Excellence "Bilateral AI"   Hackl, Andrea
• [DL] VCLA International Student Awards - Second Call for Nominations   Hackl, Andrea
• [DL] VCLA International Student Awards - Deadline Extension and Last Call for Nominations   Hackl, Andrea
• [DL] Women in Logic Online with Sara Negri, June 23, virtual event   Hackl, Andrea
• [DL] Women in Logic Online with Nina Gierasimczuk, September 16, virtual event   Hackl, Andrea
• [DL] Call for Course Proposals - 4th European Summer School on Artificial Intelligence (ESSAI 2026)   Hackl, Andrea
• [DL] Women in Logic Online with Elaine Pimentel, November 26, virtual event   Hackl, Andrea
• [DL] Cape-KR 2025 – Registration closing soon   Jonas Haldimann
• [DL] Final CfP/Dedline Extension: Special Track on Uncertain Reasoning at FLAIRS-38 (May 20–23, 2025)   Jonas Haldimann
• [DL] [fm-announcements] NASA Formal Methods (NFM) 2026 - Call for Papers   Havelund, Klaus (US 348B) via fm-announcements
• [DL] 1st cfp: ISD9 at JOWO: The 9th Image Schema Day, 8-9 2025, Catania, Italy   Maria Hedblom
• [DL] 2nd cfp: ISD9 at JOWO: The 9th Image Schema Day, 8-9 2025, Catania, Italy   Maria Hedblom
• [DL] Final cfp and deadline extension: ISD9 at JOWO: The 9th Image Schema Day, 8-9 2025, Catania, Italy   Maria Hedblom
• [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] PhD student in Machine Learning @ Vrije Universiteit Amsterdam   Hoogendoorn, M. (Mark)
• [DL] CFP: Call for papers for the 17th International Conference on Computational Creativity (ICCC'26)   ICCC'26
• [DL] 2nd Call for Papers ICCC'25 – The 16th International Conference on Computational Creativity   ICCC25
• [DL] [ICCC'25] Call for Workshop Proposals ICCC'25 – The 16th International Conference on Computational Creativity   ICCC25
• [DL] [CfP] Call for Short Papers ICCC'25 – The 16th International Conference on Computational Creativity   ICCC25
• [DL] 3rd International Conference: Constructive Mathematical Analysis (2025)   ICCMA
• [DL] ICCMA 2025 (Late registration until June 1, 2025)   ICCMA
• [DL] AIces 2026: early registration November 8   David Silva - IRDTA
• [DL] AIces 2026: early registration November 25   David Silva - IRDTA
• [DL] IRIS-AI 25 Symposium on AI   IRIS-AI
• [DL] CFP ISIC 2025 - Springer - Deadline 31 July 2025   SARIKA JAIN
• [DL] AI for Research Data Management, Workshop AIRDeM @ ESWC 2025   Hajira Jabeen
• [DL] Open Position in Logic & Learning @ TU Dortmund University   Jean Christoph Jung
• [DL] IntelliHealth 2026 - Call for abstracts   Supriya Kapoor
• [DL] 14th Computing Conference 2026 - 9&10 July in London   Supriya Kapoor
• [DL] 14th Computing Conference 2026 - 9&10 July in London   Supriya Kapoor
• [DL] KRR at EPIA 2025 - Call for Papers   Matthias Knorr
• [DL] Open Faculty Positions in Computer Science at NOVA University Lisbon   Matthias Knorr
• [DL] Call for Papers - The 28th Forum on specification and Design Languages (FDL)   Johannes Koch
• [DL] Description Logic Online Seminar, April Edition   Patrick Koopmann
• [DL] PhD Position in Amsterdam available   Patrick Koopmann
• [DL] Description Logic Workshop 2025: Update and Final Call for Papers   Patrick Koopmann
• [DL] International PhD School on Automata Networks and Cellular Automata   MANZONI LUCA
• [DL] Junior Professor Chair in Computer Science or Statistics at Université of Poitiers   Chaker Larabi
• [DL] PhD Opportunity in Machine Learning & Healthcare   Lisowska, A.J. (Aneta)
• [DL] 2025 IAOA Fellowships - Call for Nominations by February 23, 2025   Frank Loebe
• [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] Next Description Logic Seminar: Anouk Michelle Oudshoorn and Federica Di Stefano   Quentin Manière
• [DL] FMBC25 - Second Call for Papers   Marmsoler, Diego
• [DL] FMBC 2026 - First Call for Papers   Marmsoler, Diego
• [DL] [CFP] Foundations and Future of Change in Artificial Intelligence (FCAI) - Final Call for Papers (Deadline Extended) - Workshop @ ECAI 2025   Vanina Martinez
• [DL] Call of Paper : Workshop on AI-Driven Knowledge Management: bridging explicit and tacit knowledge Knowledge Acquisition Reuse & Evaluation (AIDKM 2025)   Davy Monticolo
• [DL] [fm-announcements] PVS Day at NFM 2025, June 10, 2025   Munoz, Cesar A. (LARC-D320) via fm-announcements
• [DL] [fm-announcements] CFP: 16th International Workshop on Rewriting Logic and its Applications (WRLA 2026)   Munoz, Cesar A. (LARC-D320) via fm-announcements
• [DL] multiple job openings at the University of Warsaw   Filip Murlak
• [DL] [COSI 2025] Deadline extension : 17th Conference on Optimization and Information Systems   Engelbert MEPHU NGUIFO
• [DL] [CFP] HHAI 2025 Doctoral Consortium (DC) - 4th International Conference on Hybrid Human-Artificial Intelligence - June 2025, Pisa, Italy   Chiara Natali
• [DL] [CFP] [Deadline Extension] HHAI 2025 - Hybrid Human-Artificial Intelligence (June 9-13, 2025, Pisa, Italy)   Chiara Natali
• [DL] [Deadline Approaching] HHAI2025 - Call for Papers, Workshop and Tutorial Proposals (June 9-13, 2025, Pisa, Italy)   Chiara Natali
• [DL] PhD Position at Free University of Bozen-Bolzano, Italy, in cooperation with Sony CSL, Barcelona.   Kutz Oliver
• [DL] [CfP] Last call for the Web of Data Quality Workshop at The Web Conference 2025   Maria Angela PELLEGRINO
• [DL] [Meetings][CFP] KR-2025 Workshop in Honour of Pavlos Peppas   Maurice Pagnucco
• [DL] [Jobs] Postdoctoral Position in Artificial Intelligence at the University of New South Wales (UNSW), Sydney, Australia   Maurice Pagnucco
• [DL] [CFP] Call for Participation: KR-2025 Workshop in Honour of Pavlos Peppas   Maurice Pagnucco
• [DL] ISBRA 2025 Call for Papers   ISBRA 2025 Call for Papers
• [DL] Wikidata ontology course   Peter F. Patel-Schneider
• [DL] Wikidata Ontology Course Registration   Peter F. Patel-Schneider
• [DL] CFP: The 26th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2025)   Vladana Perlic
• [DL] CFP: The 26th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2025)   Vladana Perlic
• [DL] DEADLINE EXTENDED: The 26th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2025)   Vladana Perlic
• [DL] PRIMA 2025 – PhD Day: Call for Submissions – Extended Abstracts   Vladana Perlic
• [DL] CFP: The 26th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2025)   Vladana Perlić
• [DL] PRIMA 2025 – PhD Day: Call for Submissions – FINAL CALL   Vladana Perlić
• [DL] PhD Position in Formal Methods (Symbolic Reactive Synthesis on Planning Domains) - Chalmers University of Technology, Gothenburg, Sweden   Nir Piterman
• [DL] Up to two PhD Positions in combinations of Formal Verification and Planning - Chalmers University of Technology, Gothenburg, Sweden   Nir Piterman
• [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] 12th Joint Workshop on Interfaces and Human Decision Making for Recommender Systems   Marco Polignano
• [DL] Vacancies | Postdoctoral Fellowships in Cape Town   Tharien Potgieter
• [DL] KR 2025: The 22nd International Conference on Principles of Knowledge Representation and Reasoning   Nico Potyka
• [DL] KR 2025: SECOND CALL FOR TUTORIAL AND WORKSHOP PROPOSALS   Nico Potyka
• [DL] Call for Nominations: KR Early Career Award (Deadline: April 30)   Nico Potyka
• [DL] Call for Nominations: KR Distinguished Service Award (Deadline: May 20)   Nico Potyka
• [DL] Call for Nominations: KR Test of Time Award (Deadline: May 20)   Nico Potyka
• [DL] Call for Papers: KR in the Wild Track @KR 2025   Nico Potyka
• [DL] 2nd Call For Papers KR 2025   Nico Potyka
• [DL] 2nd Call for Nominations: KR Early Career Award (Deadline: April 30)   Nico Potyka
• [DL] CfP: KR 2025 Doctoral Consortium   Nico Potyka
• [DL] KR 2025: Final Call for Nominations for the KR Early Career Award (Deadline: April 30)   Nico Potyka
• [DL] CfP: Planning & Scheduling Track at KR 2025   Nico Potyka
• [DL] KR 2025: Final Call for Papers (Abstract Submission 7 May)   Nico Potyka
• [DL] 2nd Call for Nominations: Pavlos Peppas KR Distinguished Service Award (Deadline: May 20)   Nico Potyka
• [DL] 2nd Call for Nominations: KR Test of Time Award (Deadline: May 20)   Nico Potyka
• [DL] KR 2025: Call for Videos   Nico Potyka
• [DL] CfP: KR 2025 Recently Published Research Track   Nico Potyka
• [DL] KR 2025: 2nd Call for Videos   Nico Potyka
• [DL] 2nd Call for Papers: KR 2025 Recently Published Research Track   Nico Potyka
• [DL] 2nd CfP: KR 2025 Doctoral Consortium   Nico Potyka
• [DL] KR 2025 Registration is open   Nico Potyka
• [DL] KR 2025 Early Registration Deadline Approaching (8 September)   Nico Potyka
• [DL] KR 2026: Call for Tutorial and Workshop Proposals (until September 24, 2025)   Nico Potyka
• [DL] KR 2026: Call for Tutorial and Workshop Proposals   Nico Potyka
• [DL] KR 2026: Preliminary Call for Papers   Nico Potyka
• [DL] [CfP]: KR 2026 Second Call for Papers   Nico Potyka
• [DL] CfParticipation: ESSLLI 2025, July 28 - August 8, 2025, Bochum (Germany)   ESSLLI Publicity
• [DL] 2nd CfParticipation: ESSLLI 2025, July 28 - August 8, 2025, Bochum (Germany)   ESSLLI Publicity
• [DL] KR 2025: 1st Call for Tutorial and Workshop Proposals   Anna Rapberger
• [DL] CfP: NMR 2025   Anna Rapberger
• [DL] CfP: NMR 2025 --- 3rd call & correction of submission instructions   Anna Rapberger
• [DL] CfP: NMR 2025 --- Deadline extension   Anna Rapberger
• [DL] Call for applications: C-FORS Summer School in Foundational Ontology, University of Oslo, 20-23 May 2025   Guendalina Righetti
• [DL] Call for Papers - SKGI 2025 – Scaling Knowledge Graphs for Industry: LLMs meet KGs (Half-day)   Diego Rincon
• [DL] IRIS-AI 25 symposium on AI in Montefiascone (Italy) – Invitation and Call for Papers   Alessandro Ronca
• [DL] ISAIM 2026: Call for Papers   Rothenberger, Jay C.
• [DL] ISAIM 2026: Second Call for Papers   Rothenberger, Jay C.
• [DL] ISAIM 2026: Submission Deadline Extended   Rothenberger, Jay C.
• [DL] SPIN: Final Call for Papers   Rozier, Kristin-Yvonne [AER E]
• [DL] KR 2025 -- early registration is open until September 8   Sasha Rubin
• [DL] CfP – Elsevier COMCOM – Special Issue on Intelligence and Service Orchestration in Next-Generation Mobile Networks   GIOVANNI STANCO
• [DL] [CfP] Sci-K @ISWC 2025 – 5th Intl. Workshop on Scientific Knowledge Representation, Discovery, and Assessment   Angelo Salatino
• [DL] [CfP] Dead. Extended. Sci-K @ISWC 2025 – Scientific Knowledge Representation, Discovery, and Assessment   Angelo Salatino
• [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] [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 - 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 - 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 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] [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] [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] [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] [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] [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] [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] [ICLP 2025 - Call for Student Grants] 41st International Conference on Logic Programming (ICLP’25), University of Calabria, Rende, Italy | September 12-19, 2025   Manuel Alejandro Borroto Santana
• [DL] [ICLP DC 2025 - Deadline Extended] 21st Doctoral Consortium (DC) on Logic Programming | University of Calabria, Rende, Italy | September 12-19, 2025   Manuel Alejandro Borroto Santana
• [DL] ASPOCP 2025 Cfp - EXTENDED SUBMISSION DEADLINE   Manuel Alejandro Borroto Santana
• [DL] [AI3 2025 - Final Call for Papers] *DEADLINES EXTENSION* 9th Workshop on Advances in Argumentation in Artificial Intelligence   Manuel Alejandro Borroto Santana
• [DL] [ICLP 2025 - Call for Participation] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025   Manuel Alejandro Borroto Santana
• [DL] [Call for Alain Colmerauer Award] - Nominations for the 2025 edition of the Alain Colmerauer Prize   Manuel Alejandro Borroto Santana
• [DL] [ICLP 2025 - Last Call for Participation] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025   Manuel Alejandro Borroto Santana
• [DL] [CFP] KRR at SAC2026 - Track on Knowledge Representation and Reasoning (KRR)   Francesco Santini
• [DL] Reminder: AICCSA 2025 CFP – Only a Few Days Left to Submit!   Salma Sassi
• [DL] [RuleML+RR 2025] Rule Challenge, Doctoral Consortium, Industry Track and Networking Session   Kai Sauerwald
• [DL] [RW 2025] First Call for Participation: 21st Reasoning Web Summer School   Kai Sauerwald
• [DL] [RuleML+RR 2025] 2nd Call for papers   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] [CFP] Foundations and Future of Change in Artificial Intelligence (FCAI) - Workshop @ ECAI   Kai Sauerwald
• [DL] [FCR 2025] CFP: 11th Workshop on Formal and Cognitive Reasoning   Kai Sauerwald
• [DL] [RW 2025] 3rd CFP: Reasoning Web 2025 (New: Travel Grants Available)   Kai Sauerwald
• [DL] [RuleML+RR 2025] Rule Challenge, Doctoral Consortium, Industry Track and Networking Session   Kai Sauerwald
• [DL] [RuleML+RR 2025] CFP: The 9th International Joint Conference on Rules and Reasoning   Kai Sauerwald
• [DL] 4th CFP: Reasoning Web 2025 (Deadline to Apply for Travel Grants: Tuesday, May 20)   Kai Sauerwald
• [DL] [CFP][RuleML+RR 2025] International Joint Conference on Rules and Reasoning (Deadline Extended)   Kai Sauerwald
• [DL] [CFP] Foundations and Future of Change in Artificial Intelligence (FCAI) - Workshop @ ECAI   Kai Sauerwald
• [DL] Fourth CFP: Reasoning Web 2025   Kai Sauerwald
• [DL] [FCR 2025] 2nd CFP: 11th Workshop on Formal and Cognitive Reasoning   Kai Sauerwald
• [DL] [CFP][FCR 2025] Deadline extended: 11th Workshop on Formal and Cognitive Reasoning   Kai Sauerwald
• [DL] [CFP][RuleML+RR 2025] Rule Challenge, Doctoral Consortium, Industry Track and Networking Session   Kai Sauerwald
• [DL] [CFP] Foundations and Future of Change in Artificial Intelligence (FCAI) - Deadline Extended - Workshop @ ECAI   Kai Sauerwald
• [DL] [CFP] Final CFA: 21st Reasoning Web Summer School (Deadline: August 31)   Kai Sauerwald
• [DL] Extended Deadlines: Forum on specification and Design Languages (FDL)   Klaus Schneider
• [DL] PhD positions in DFG RTG "Cybercrime and Forensic Computing", FAU Erlangen-Nürnberg   Lutz Schröder
• [DL] Spotlight Seminar on AI - Anthony Cohn - January 30 2025   Luciano Serafini
• [DL] [AIxIA] Spotlight Seminar on AI - Bernardo Magnini - February 27, 2025   Luciano Serafini
• [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] Deadline Extension: Call For Papers - 37th IEEE International Conference on Tools with Artificial Intelligence - Nov 3-Nov 5, 2025 - Athens, Greece   Sachin Sharma
• [DL] [fm-announcements] Call for Participation: NFM 2025   Slagel, Tanner (LARC-D320) via fm-announcements
• [DL] [Meetings] [CFP] First International Workshop on LLMs and KRR for Trustworthy AI (LMKR-TrustAI 2025)   Yang Song
• [DL] Call for Participation: CoLiE at ICDAR'25   Hugo Sousa
• [DL] Text2Story'25 at ECIR Deadline Extension   Hugo Sousa
• [DL] Text2Story'25 at ECIR: Deadline Extension & Last Call for Papers   Hugo Sousa
• [DL] [CfP]- Extended Deadline! Call for Papers for the Special Issue on Large Language Models, Generative AI, and Knowledge Graphs   Blerina Spahiu
• [DL] PhD position: Data Science for Hierarchical Data   Gerd Stumme
• [DL] PhD Position in Data Science for hierarchical data at the University of Kassel   Gerd Stumme
• [DL] Call for participation: ReAGENT-SW Workshop: Realising Autonomous Generative Agents for the Semantic Web @ ISWC 2025.   Tamma, Valentina
• [DL] [CFP] KRR at SAC2026 - Track on Knowledge Representation and Reasoning (KRR)   Carlo Taticchi
• [DL] [CFP] KRR at SAC2026 - deadline extension   Carlo Taticchi
• [DL] [CFP] KRR at SAC2026 - deadline extension october 17   Carlo Taticchi
• [DL] [CFP] KRR at SAC2026 - deadline extension october 17   Carlo Taticchi
• [DL] Second Call for Papers Fifth Conference on Language, Data and Knowledge (LDK 2025)   Andon Tchechmedjiev
• [DL] ECSQARU 2025: 2nd Call for Workshops and Tutorials   Matthias Thimm
• [DL] 2nd Call for Papers: The 18th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'25)   Thimm, Matthias
• [DL] Call for Papers: The First International Workshop on Trends in Knowledge Representation and Reasoning (TKR'25)   Thimm, Matthias
• [DL] Third Call for Papers: The 18th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'25)   Thimm, Matthias
• [DL] Second Call for Papers: The First International Workshop on Trends in Knowledge Representation and Reasoning (TKR'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 Call for Papers: The 18th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'25)   Thimm, Matthias
• [DL] Deadlines extended (May 21/28): The 18th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'25)   Thimm, Matthias
• [DL] [CFP TEXT2KG at ESWC-2025] First Call for Paper 4th TEXT2KG workshop collocated with ESWC-2025   Dr. Sanju Tiwari
• [DL] Call for Ph.D. Symposium @ ESWC 2025   Dr. Sanju Tiwari
• [DL] !!!WSDM 2025 Call for papers in workshops with early bird registration!!!!!   Dr. Sanju Tiwari
• [DL] [CFP-BDTSC25]- 1st Building Digital Twin Scientific Conference (BDTSC2025) at Kaunas, Lithuania   Dr. Sanju Tiwari
• [DL] [CFP TEXT2KG at ESWC-2025] Second Call for Paper 4th TEXT2KG workshop collocated with ESWC-2025   Dr. Sanju Tiwari
• [DL] [CFP TEXT2KG at ESWC-2025] Call for Paper 4th TEXT2KG workshop collocated with ESWC-2025   Dr. Sanju Tiwari
• [DL] Final Call: LLM-TEXT2KG at ESWC-2025 **March 16, 2025**, 23:59 AoE   Dr. Sanju Tiwari
• [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] 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] Call for Papers and Workshop Participation SymGenAI4Sci 2025: 1st International Workshop on Symbolic and Generative AI for Science and Sustainability   Dr. Sanju Tiwari
• [DL] [SymGenAI4Sci 2025: Deadline Approaching]: 1st International Workshop on Symbolic and Generative AI for Science   Dr. Sanju Tiwari
• [DL] [KGSWC 2025 CFP]: 7th Knowledge Graph Semantic Web Conference 2024 LNCS Springer Indexed   Dr. Sanju Tiwari
• [DL] [Deadline Approaching: KGSWC-2025] 7th Knowledge Graph Semantic Web Conference 2024 LNCS Springer Indexed   Dr. Sanju Tiwari
• [DL] [Deadline Extended-KGSWC 2025]: 7th Knowledge Graph Semantic Web Conference 2024 LNCS Springer Indexed   Dr. Sanju Tiwari
• [DL] [Deadline Extended-KGSWC 2025]: 7th Knowledge Graph Semantic Web Conference 2025 LNCS Springer Indexed   Dr. Sanju Tiwari
• [DL] [KGSWC-2025: Deadline Approaching]: 7th Knowledge Graph Semantic Web Conference 2025 LNCS Springer Indexed   Dr. Sanju Tiwari
• [DL] [FOIS 2025] Call for tutorials   Top, E.J. (Eric)
• [DL] Update FOIS 2025 conference: Exciting workshops, riveting keynotes, and an unrelenting Call for Papers [CfP].   Top, E.J. (Eric)
• [DL] ISAO 2025 - Save the dates -> September 15-19 (Interdisciplinary School on Applied Ontology held in Catania, Italy)   Top, E.J. (Eric)
• [DL] [FOIS 2025] - Call for participants Early Career Symposium   Top, E.J. (Eric)
• [DL] [CfP] Reminder FOIS 2025 conference: Strict deadlines approaching for main track submission.   Top, E.J. (Eric)
• [DL] [FOIS 2025] Ontology Showcase and Demonstrations   Top, E.J. (Eric)
• [DL] [CfP] Extended deadline for JOWO paper submissions   Top, E.J. (Eric)
• [DL] Calls for participation: FOIS 2025, Sep 8-12 and ISAO 2025, Sep 15-19 (both held in Catania, Sicily, Italy).   Top, E.J. (Eric)
• [DL] Register now for FOIS, JOWO, ISAO: Reminder for early bird registrations   Top, E.J. (Eric)
• [DL] Final reminder: Register for FOIS 2025 before the 31st of August   Top, E.J. (Eric)
• [DL] CFP: IJCKG 2025: 14th International Joint Conference , , on Knowledge Graphs (@Crete, Oct 2025)   Yannis Tzitzikas
• [DL] [Vardi-list] World Logic Day Lecture: Homo Ratiocinator (Reckoning Human)- 1/14/25   Moshe Vardi
• [DL] First call for papers: Louis Couturat Logic Prize 2025   Ivan Varzinczak
• [DL] Second call for papers: Louis Couturat Logic Prize 2025   Ivan Varzinczak
• [DL] Third call for papers: Louis Couturat Logic Prize 2025   Ivan Varzinczak
• [DL] Last call for papers: Louis Couturat Logic Prize 2025   Ivan Varzinczak
• [DL] SAC-SVT 2026 CfP: Software Verification and Testing Track at SAC 2026: deadline September 26, 2025   Wijs, Anton
• [DL] SAC-SVT 2026 CfP: Software Verification and Testing Track at SAC 2026: extended deadline October 10, 2025   Wijs, Anton
• [DL] SAC-SVT 2026 CfP: final extended deadline October 17, 2025   Wijs, Anton
• [DL] [CfP] 1st CfP - Cognition And OntologieS at JOWO 2025, September 8-12, Catania, Italy   CAOS - Cognition and Ontologies Workshop
• [DL] [CfP] Deadline Extension - Cognition And OntologieS at JOWO 2025, September 8-12, Catania, Italy   CAOS - Cognition and Ontologies Workshop
• [DL] Fwd: CFP: 8th International Workshop on SEMANTIC WEB SOLUTIONS FOR LARGE-SCALE BIOMEDICAL DATA ANALYTICS (SeWeBMeDA-2025)   SeWeBMeDA Workshop
• [DL] Logic in All its Dimensions - LUA - 7th edition of the World Logic Day, January 14, 2025, 4pm CET   jean-yves beziau
• [DL] Institution-independent Model Theory by R.Diaconescu, LUWebinar, March 12 - 16h CET   jean-yves beziau
• [DL] Paraconsistent Newsletter Winter-Summer 2025   jean-yves beziau
• [DL] Paraconsistent Newsletter Spring-Fall 2025   jean-yves beziau
• [DL] 3rd World Logic Prizes Contest, Cusco, Peru - 8th UNILOG - Dec 2025   jean-yves beziau
• [DL] Workshop on Theorem Proving and Machine Learning in the age of LLMs   geoff at cs.miami.edu
• [DL] CADE-30 Call for Papers   geoff at cs.miami.edu
• [DL] AAAI 2025 Tutorial on Machine Learning for Solvers   geoff at cs.miami.edu
• [DL] Bill McCune PhD Award in Automated Reasoning 2025 Call for Nominations   geoff at cs.miami.edu
• [DL] FroCoS 2025 - Call for Papers   geoff at cs.miami.edu
• [DL] Marktoberdorf 2025 CFP   geoff at cs.miami.edu
• [DL] Call for Papers: 23rd International Workshop on Satisfiability Modulo Theories   geoff at cs.miami.edu
• [DL] FroCoS 2025 - Call for Papers   geoff at cs.miami.edu
• [DL] Weidenbach'60: First-Order Reasoning. Call for Papers   geoff at cs.miami.edu
• [DL] SMT 2025: Deadline extension   geoff at cs.miami.edu
• [DL] CADE-30 Woodie Bledsoe Awards   geoff at cs.miami.edu
• [DL] CADE-30 Call for Participation   geoff at cs.miami.edu
• [DL] CADE-30 Call for Participation - Early Registration Deadline June 23rd, 2025   geoff at cs.miami.edu
• [DL] [CFP]: Festschrift in Honor of Christoph Weidenbach's 60th Birthday   geoff at cs.miami.edu
• [DL] CfP 1st International Workshop on Explainable AI and Knowledge Graphs (XAI+KG)@ESWC 2024, JUNE 1-5, 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, Knowledge Representation, and Knowledge Graphs (XAI-KRKG)@ECAI2025, October 25-30, 2025   Claudia d'Amato
• [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] European Summer School in AI - Call for Participation   info at essai2025.eu
• [DL] Call for ESSLLI 2026 Lectures and Workshops   esslli2026
• [DL] [fm-announcements] Call for Papers: 3rd TACPS Workshop @ CAV 2025   Ivan Ruchkin via fm-announcements
• [DL] [fm-announcements] Call for Papers: AAAI’26 Bridge Program “Making Embodied AI Reliable with Testing and Formal Verification”   Ivan Ruchkin via fm-announcements
• [DL] [fm-announcements] LOPSTR 2025 call for papers   Laura Titolo via fm-announcements
• [DL] First CfP - JELIA 2025 - 19th European Conference on Logics in AI   giovanni.casini
• [DL] 2nd CfP - JELIA 2025 - 19th European Conference on Logics in AI   giovanni.casini
• [DL] 3rd CfP - JELIA 2025 - 19th European Conference on Logics in AI   giovanni.casini
• [DL] JELIA 2025 - EXTENDED DEADLINE   giovanni.casini
• [DL] JELIA 2025 - FINAL CfP - DEADLINE EXTENDED   giovanni.casini
• [DL] Reminder: Calls for work FOIS 2025 and JOWO 2025   c.h.bernabe at lumc.nl
• [DL] CfP: FoIKS 2026: 14th International Symposium on Foundations of Information and Knowledge Systems: 23-26 March, 2026. Hannover, Germany   Yasir mahmood
• [DL] Second CfP: FoIKS 2026: 14th International Symposium on Foundations of Information and Knowledge Systems. Hannover, Germany   Yasir mahmood
• [DL] Third CfP: FoIKS 2026: 14th International Symposium on Foundations of Information and Knowledge Systems. Hannover, Germany   Yasir mahmood
• [DL] Fourth CfP: FoIKS 2026: 14th International Symposium on Foundations of Information and Knowledge Systems. Hannover, Germany   Yasir mahmood
• [DL] Call for Posters – FoIKS 2026 (Hannover, Germany, March 23–26, 2026)   Yasir mahmood
• [DL] Call For Papers - 14th IEEE International Conference on Tools with Artificial Intelligence - Nov 3-Nov 5, 2025 - Athens, Greece   scyllabs
• [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 - 20th International Workshop on Semantic and Social Media Adaptation and Personalization (SMAP 2025)   smap
• [DL] PhD positions in logic and sub-symbolic AI   Mantas Šimkus
• [DL] Call for Course Proposals - 4th European Summer School on Artificial Intelligence (ESSAI 2026)   Mantas Šimkus
• [DL] Call for Course Proposals - 4th European Summer School on Artificial Intelligence (ESSAI 2026)   Mantas Šimkus
• [DL] Call for Course Proposals - 4th European Summer School on Artificial Intelligence (ESSAI 2026)   Mantas Šimkus

Last message date: Mon Nov 24 18:45:10 CET 2025
Archived on: Tue Nov 25 06:58:17 CET 2025

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