2023 Archives by subject

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

Starting: Tue Jan 3 16:31:13 CET 2023
Ending: Thu Dec 21 13:53:55 CET 2023
Messages: 381

• [DL] 'Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024)   Serge Autexier
• [DL] (Deadline Extension) XLoKR at KR 2023: The 4th Workshop on Explainable Logic-Based Knowledge Representation   Potyka, Nico
• [DL] (EXTENDED DEADLINE: 12th June ) KoDis at KR 2023: Workshop on Knowledge Diversity + Special Issue   Lucia Gomez Alvarez
• [DL] 1st CfP - CognitionAndOntologies at FOIS2023, July 17-20, Sherbrooke, Québec, Canada   Righetti Guendalina (Student ENG 18)
• [DL] 1st cfp: SCAI’24 - The 14th Scandinavian Conference on AI. 10-11th June, 2024. Jönköping, Sweden   Maria Hedblom
• [DL] 1st CFP: The 15th Int. Conf. on Computational Creativity (ICCC'24), June 17-21, 2024, Jönköping, Sweden   Maria Hedblom
• [DL] 1st CfP: The 7th Image Schema Day (ISD7) @KR 2023, 2-4 September, Rhodes, Greece   Maria Hedblom
• [DL] 1st CFP Description Logic Workshop DL2024   Raoul Koudijs
• [DL] 1st CFP LORI 2023   Andreas HERZIG
• [DL] 2023 IEEE BIBM CFP deadline: Aug 15, 2023   IEEE BIBM
• [DL] 20th ACS/IEEE International Conference on Computer Systems & Applications   Rima Grati
• [DL] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Applications & Systems Track   Theofanis I. Aravanis
• [DL] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Call for Papers   Theofanis I. Aravanis
• [DL] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Call for Papers   Theofanis I. Aravanis
• [DL] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Doctoral Consortium   Theofanis I. Aravanis
• [DL] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Recently Published Research Track   Theofanis I. Aravanis
• [DL] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Recently Published Research Track   Theofanis I. Aravanis
• [DL] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Special Session on KR & ML   Theofanis I. Aravanis
• [DL] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Special Session on KR, Robotics & Planning   Theofanis I. Aravanis
• [DL] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Special Session on KR, Robotics & Planning   Theofanis I. Aravanis
• [DL] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Tutorial and Workshop Proposals   Theofanis I. Aravanis
• [DL] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Tutorial and Workshop Proposals   Theofanis I. Aravanis
• [DL] 29th WoLLIC 2023 - 2nd Call for Papers   Ruy Jose Guerra Barretto de Queiroz
• [DL] 29th WoLLIC 2023 - 3rd Call for Papers (DEADLINE APPROACHING)   Ruy Jose Guerra Barretto de Queiroz
• [DL] 29th WoLLIC 2023 - Call for Participation   Ruy Jose Guerra Barretto de Queiroz
• [DL] 29th WoLLIC 2023 - FINAL Call for Papers (>>>>DEADLINE RE-EXTENDED<<<<)   Ruy Jose Guerra Barretto de Queiroz
• [DL] 29th WoLLIC 2023 - Final Call for Papers (>>DEADLINE EXTENDED<<)   Ruy Jose Guerra Barretto de Queiroz
• [DL] 29th WoLLIC 2023 - Final Call for Participation   Ruy Jose Guerra Barretto de Queiroz
• [DL] 2nd Call for Papers, Conference on Intelligent Computer Mathematics (CICM 2023)   Serge Autexier
• [DL] 2nd Call for Papers: 19th International Workshop on Termination (WST 2023)   YAMADA, Akihisa
• [DL] 2nd Call for papers: GRID Workshop @ KR2023   Sihem Belabbes
• [DL] 2nd Call for Papers: The 4th Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2023) @KR 2023   Potyka, Nico
• [DL] 2nd CfP - CognitionAndOntologies at FOIS2023, July 17-20, Sherbrooke, Québec, Canada   Righetti Guendalina (Student ENG 18)
• [DL] 2nd CfP: 17th Intl. Conf. on Formal Concept Analysis (ICFCA 2023)   Gerd Stumme
• [DL] 2nd CfP: SAIS’23 - The 35th Swedish AI Society’s annual workshop, 12-13th of June, Karlskrona, Sweden   Maria Hedblom
• [DL] 2nd CfP: SEMANTiCS 2023 EU || Sep 20 - 22, 2023 || Leipzig, Germany   Maribel Acosta & Silvio Peroni
• [DL] 2nd CfP: The 7th Image Schema Day (ISD7) @KR 2023, 2-4 September, Rhodes, Greece   Maria Hedblom
• [DL] 2 PhD Positions on Logic-based Methods for Data Management at Umeå University (Sweden)   Mantas Šimkus
• [DL] 2 PhD positions on Verification of Deep Learning Models at Northeastern University London   Elena Botoeva
• [DL] 3-year Research Associate or Research Assistant position in formal verification, using a proof assistant (preferably Isabelle), at the University of Sheffield   Andrei Popescu
• [DL] 36th International Workshop on Description Logics, DL 2023 - EXTENDED DEADLINES   Maurice Funk
• [DL] 36th International Workshop on Description Logics, DL 2023 - Final Call for Papers   Maurice Funk
• [DL] 36th International Workshop on Description Logics, DL 2023 - Second Call for Papers   Maurice Funk
• [DL] 37th International Workshop on Description Logics, DL 2024 - First Call for Papers   Andrea Mazzullo
• [DL] 37th International Workshop on Description Logics, DL 2024 - Second Call for Papers   Andrea Mazzullo
• [DL] 3rd CFP (deadline extended) - FOIS 2023: 13th International Conference on Formal Ontology in Information Systems   Lucia Gomez Alvarez
• [DL] 4 PhD Positions on Logic-based Methods for Data Management at Umeå University (Sweden)   Mantas Šimkus
• [DL] 4 PhD Positions on Logic-based Methods for Data Management at Umeå University (Sweden)   Mantas Šimkus
• [DL] 6th ESAO Webinar, Tuesday, February 14th, 2023 -- Call for Participation   Lucia Gomez Alvarez
• [DL] 7th Vampire workshop - Call for Papers   geoff at cs.miami.edu
• [DL] [cfp-sitis] Call of Paper : The 13th IEEE International Workshop on Knowledge Acquisition Reuse & Evaluation (KARE 2023)   Davy Monticolo
• [DL] [CfP] **DEADLINE APPROACHING** WOP2023 at ISWC2023   Gunjan Singh
• [DL] [CfP] - MOSAIC 2023, Vienna (Austria)   Dik, Josephine Femke
• [DL] [CfP] - The 12th International Conference on Knowledge Capture (K-CAP 2023)   Blerina Spahiu
• [DL] [CfP] 14th Workshop on Ontology Design and Patterns (WOP 2023) at ISWC 2023   Gunjan Singh
• [DL] [CFP] 1st ICDAR International workshop on Machine vision and NLP for Document Analysis (VINALDO)   rafika boutalbi
• [DL] [CFP] 1st ICDAR International workshop on Machine vision and NLP for Document Analysis (VINALDO)   rafika boutalbi
• [DL] [CFP] 1st ICDAR International workshop on Machine vision and NLP for Document Analysis (VINALDO)   rafika boutalbi
• [DL] [CFP] 1st ICDAR International workshop on Machine vision and NLP for Document Analysis, VINALDO   rafika boutalbi
• [DL] [CfP] 28th International Conference on Conceptual Structures (ICCS 2023) @ HU Berlin   Robert Jäschke
• [DL] [CFP] 28th International Conference on Conceptual Structures (ICCS 2023) at the HU Berlin, Final Call (Deadline Extended)   Kai Sauerwald
• [DL] [CFP] 28th International Conference on Conceptual Structures (ICCS 2023) at the HU Berlin, Second Call   Kai Sauerwald
• [DL] [CfP] 2nd CfP: Workshops and Tutorials Proposals || SEMANTiCS 2023 EU || Sep 20 - 22, 2023 || Leipzig, Germany   Anisa Rula & Jennifer D'Souza
• [DL] [CfP][FCR-2023] 9th Workshop on Formal and Cognitive Reasoning   Kai Sauerwald
• [DL] [CFP] ACM Hypertext 2023 - Deadline 31 Mar 2023   Angelo Salatino
• [DL] [CFP] ACM Hypertext 2023 - Deadline 31 Mar 2023   Angelo Salatino
• [DL] [CFP] ACM Hypertext 2023 - EXTENDED DEADLINE 21 Apr 2023   Angelo Salatino
• [DL] [CFP] ACM Hypertext 2023 - LAST CALL - Deadline 31 Mar 2023   Angelo Salatino
• [DL] [CFP] ACM Hypertext 2023 - Late Breaking Papers deadline 9 June 2023   Angelo Salatino
• [DL] [CFP] Call for Contributions at HHAI2023 (Main Track, Posters & Demos, Doctoral Consortium, Workshop & Tutorials)   Meer, M.T. van der (Michiel)
• [DL] [CfP] Call for Papers: 7th International Joint Conference on Rules and Reasoning (RuleML+RR 2023)   Raoul Koudijs
• [DL] [CFP] Call for Participation, early bird registration closing soon and more!   International Semantic Web Conference
• [DL] [CfP] Call for Tutorials || SEMANTiCS 2023 EU || Sep 20 - 22, 2023 || Leipzig, Germany   Anisa Rula & Jennifer D'Souza
• [DL] [CfP] Call for Tutorials || SEMANTiCS 2023 EU || Sep 20 - 22, 2023 || Leipzig, Germany   Anisa Rula & Jennifer D'Souza
• [DL] [CfP] DBpedia Day @ SEMANTiCS on Sep 20   DBpedia
• [DL] [CfP] DBpedia Tutorial @ LDK conference on Sept 13   Milan Dojchinovski & Julia Holze
• [DL] [CfP] DLnLD: Deep Learning and Linked Data   Gilles Sérasset
• [DL] [CfP] ESWC 2024 - Industry Track Call for Papers   Web and Publicity ESWC
• [DL] [CfP] ESWC 2024 - Ph.D. Symposium   Web and Publicity ESWC
• [DL] [CfP] ESWC 2024 Call for Workshops & Tutorials   Web and Publicity ESWC
• [DL] [CfP] ESWC 2024 Posters & Demos   Web and Publicity ESWC
• [DL] [CfP] ESWC 2024 Special Track on Large Language Models for Knowledge Engineering   Web and Publicity ESWC
• [DL] [CfP] Final Call for Contributions for ESWC 2024   Web and Publicity ESWC
• [DL] [CfP] Final Call for ESWC 2024 Workshops & Tutorials proposals   Web and Publicity ESWC
• [DL] [CfP] FOIS 2024: 14th International Conference on Formal Ontology in Information Systems   Daniele Porello
• [DL] [CfP] HHAI 2024 - The third International Conference on Hybrid Human-Artificial Intelligence   Grootjen, Jesse
• [DL] [CFP] Knowledge and Language Processing Track @ 39th ACM SAC 2024 - DEADLINE Sept. 29th   klp
• [DL] [CfP] MK2023 @ FOIS2023, Workshop on Modular Knowledge - First Call for Papers   Loris Bozzato
• [DL] [CfP] MK2023 @ FOIS2023, Workshop on Modular Knowledge - Second Call for Papers   Loris Bozzato
• [DL] [CfP] MK2023 @ FOIS2023 - Call for Participation and Lighting Talks   Loris Bozzato
• [DL] [CfP] MK2023 @ FOIS2023 - Extended deadline, Last Call for Papers   Loris Bozzato
• [DL] [CfP] NeSy 2023 (abstracts on March 6): 17th Workshop on Neural-Symbolic Learning and Reasoning   Ernesto Jimenez-Ruiz
• [DL] [CfP] Sci-K @ The Web Conference 2023 – 3rd International Workshop on Scientific Knowledge Representation, Discovery, and Assessment   Angelo Salatino
• [DL] [CfP] Sci-K @ The Web Conference 2023 – 3rd International Workshop on Scientific Knowledge Representation, Discovery, and Assessment   Angelo Salatino
• [DL] [CfP] SEMANTiCS 2023 EU - Call for Workshop Papers   Anisa Rula & Jennifer D'Souza
• [DL] [CfP] SEMANTiCS 2023 EU || Extended Submission Deadline May 23, 2023   Maribel Acosta & Silvio Peroni
• [DL] [CfP] SEMANTiCS 2023 – Open Call for Workshop Papers   Anisa Rula & Jennifer D'Souza
• [DL] [CfP] SEMANTiCS 2023 – Workshop & Tutorial Track|| Extended Submission Deadline March 15, 2023   Anisa Rula & Jennifer D'Souza
• [DL] [CFP] Workshops and Tutorials at the 28th International Conference on Conceptual Structures (ICCS 2023) @ HU Berlin   Kai Sauerwald
• [DL] [CFP] Workshops and Tutorials at the 28th International Conference on Conceptual Structures (ICCS 2023) @ HU Berlin   Robert Jäschke
• [DL] [Courses] European Summer School on Artificial Intelligence - ESSAI 2023   Vida Groznik
• [DL] [Deadline Extension and Last Call for Nominations] VCLA International Student Awards 2023   Hackl, Andrea
• [DL] [EXTENDED DEADLINE] CAUSAL 2023: Workshop on Causal Reasoning and Explanation in Logic Programming -- Co-located with ICLP 2023   Emily LeBlanc
• [DL] [EXTENDED DEADLINE JULY 21ST] RuleML+ RR Rule Challenge   Raoul Koudijs
• [DL] [fm-announcements] FMICS 2023 - Call for Papers   Titolo, Laura (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via fm-announcements
• [DL] [fm-announcements] FMICS 2023 - Deadline extension   Titolo, Laura (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via fm-announcements
• [DL] [fm-announcements] FMICS 2023 - Second call for papers   Titolo, Laura (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via fm-announcements
• [DL] [JOB] PhD position in Explainable AI in Finance   Erman Acar
• [DL] [Jobs] Lecturer/Senior Lecturer positions at the University of Liverpool   Konev, Boris
• [DL] [Jobs] PhD Position Knowledge-Driven Learning for XAI in Fraud Detection at University of Amsterdam   Erman Acar
• [DL] [KaRS @ ACM RecSys 2023] Deadline Extended to August 10th: 5th Knowledge-aware and Conversational Recommender Systems Workshop   Vito Walter Anelli
• [DL] [meetings] [CFP] Call for Contributions at HHAI2023 (Main Track, Posters & Demos, Doctoral Consortium)   Meer, M.T. van der (Michiel)
• [DL] [meetings][CfP] HHAI2023 26-30 June Call for Registration & Travel funds   Meer, M.T. van der (Michiel)
• [DL] [OM-2023] 1st CFP: 18th workshop on Ontology Matching collocated with ISWC   Pavel Shvaiko
• [DL] [OM-2023] 2nd CFP: 18th workshop on Ontology Matching collocated with ISWC   Pavel Shvaiko
• [DL] [OM-2023] Final CFP: 18th wshop on Ontology Matching collocated with ISWC   Pavel Shvaiko
• [DL] [Postdoc position] Aix-Marseille University - Multi-view Topic-Modeling for Medical Report Analysis   rafika boutalbi
• [DL] [Postdoc position] Aix-Marseille University - Multi-view Topic-Modeling for Medical Report Analysis   rafika boutalbi
• [DL] [RecSys 2023] Fifth Knowledge-aware and Conversational Recommender Systems Workshop (KaRS 2023)   Vito Walter Anelli
• [DL] [RecSys 2023] Fifth Knowledge-aware and Conversational Recommender Systems Workshop (KaRS 2023)   Vito Walter Anelli
• [DL] [RecSys 2023] Fifth Knowledge-aware and Conversational Recommender Systems Workshop (KaRS 2023)   Vito Walter Anelli
• [DL] [Vardi-list] Jan 12th, 2024: Moshe Vardi - What Came First, Math or Computing?   Moshe Vardi
• [DL] Abstract Due May 23: CDTE 2023 Data Technology and Engineering, Oct 2-5, USA & Online   Data World
• [DL] Abstracts Ext August 23|| SERD 2023 Software Engineering Conf|| Oct 2-5|| USA & Online   OkIP Cfp
• [DL] AiML 2024 -- Call for Papers   Hackl, Andrea
• [DL] AIxIA 2023 - deadline extension for discussion papers   Domenico Lembo
• [DL] AIxIA 2023 - regular papers can be submitted until June 30th!   Domenico Lembo
• [DL] AIxIA 2023 – call for papers (EXTENDED DEADLINES)   Domenico Lembo
• [DL] A PhD position in Correct-By-Design of Autonomous Systems   Yehia Abd Alrahman
• [DL] A PhD position in Correct-By-Design of Autonomous Systems   Yehia Abd Alrahman
• [DL] A PhD position in Correct-By-Design of Autonomous Systems   Yehia Abd Alrahman
• [DL] ASPOCP 2023 @ ICLP- EXTENDED DEADLINE   cfp
• [DL] ASPOCP 2023 @ ICLP- First Call for Paper   cfp
• [DL] Assistant Professor in Computer Science at Chalmers University of Technology   Nir Piterman
• [DL] Assistant Professor position in "Graph Data Modelling and Analytics " at VU Amsterdam   Schlobach, K.S. (KS)
• [DL] Assistant Professor with Tenure Track of Artificial Intelligence Ethics   Mantas Šimkus
• [DL] Associate Professor in Human-Aware AI (tenure track) @ Vrije Universiteit Amsterdam   Hoogendoorn, M. (Mark)
• [DL] Bill McCune PhD Award in Automated Reasoning 2023 Call for Nominations   geoff at cs.miami.edu
• [DL] Call for Applications: Reasoning Web Summer School 2023   Boris Konev
• [DL] Call for Papers - JELIA 2023, the 18th European Conference on Logics in Artificial Intelligence   Lucia Gomez Alvarez
• [DL] Call for Papers - TbiLLC 2023   Balder ten Cate
• [DL] CALL FOR PAPERS 12th International Conference on Computational Advances in Bio and Medical Sciences (ICCABS)   Olga Glebova
• [DL] Call for Papers: 19th International Workshop on Termination (WST 2023)   YAMADA, Akihisa
• [DL] Call for Papers: DaLí - Special Issue of the J. of Logical and Algebraic Methods in Programming   Carlos Areces
• [DL] Call for papers: GRID Workshop @ KR2023   Sihem Belabbes
• [DL] Call for Papers: KODIS'23, the Workshop on Knowledge Diversity, collocated with KR'23   Lucia Gomez Alvarez
• [DL] Call for Papers: KODIS'23, the Workshop on Knowledge Diversity, collocated with KR'23   Lucia Gomez Alvarez
• [DL] Call for Papers: Special Track on Uncertain Reasoning (UR) @ FLAIRS-37   Kai Sauerwald
• [DL] Call for Papers: The 4th Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2023) @KR 2023   Potyka, Nico
• [DL] Call for Papers: The Decision Problem in First-Order Logic (DPFO2023)   Wolter, Frank
• [DL] CALL FOR PAPERS: The Tenth Workshop on Probabilistic Logic Programming (PLP2023) at ICLP2023   Kilian Rueckschloss
• [DL] Call for Papers on Dynamic Logics and related subjects [JLAMP]   Diana Costa
• [DL] Call for Participation: - JELIA 2023, the 18th European Conference on Logics in Artificial Intelligence (20-22 of September, 2023)   Lucia Gomez Alvarez
• [DL] Call for Participation: 17th Intl. Conf. on Formal Concept Analysis (ICFCA 2023)   Gerd Stumme
• [DL] Call for Participation: 28th Intl. Conf. on Conceptual Structures (ICCS 2023)   Robert Jäschke
• [DL] Call for Participation: Reasoning Web Summer School 2023. Oslo, Norway 21-24 September 2023   Konev, Boris
• [DL] Call for participation ESSAI 2023   Magdalena Ortiz
• [DL] Call for Posters: ISAIM 2024 Special Session on Deep Reinforcement Learning   Diochnos, Dimitrios
• [DL] Call for submissions - EarlyCareerSymposium at FOIS2023, July 17-20, Sherbrooke, Québec, Canada   Righetti Guendalina (Student ENG 18)
• [DL] CAUSAL 2023: Workshop on Causal Reasoning and Explanation (co-located with ICLP 2023)   Emily C LeBlanc
• [DL] CDVE2023 call for participation   Cdve Org
• [DL] CFP (extended) - WI-IAT 2023 Conference   Thanveer Shaik
• [DL] CFP (EXTENSION): 5th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY 2023)   Andrea Brunello
• [DL] CfP - ENIGMA2023 Workshop @ KR2023   giovanni.casini
• [DL] CfP - ENIGMA2023 Workshop @ KR2023 [Extended Deadline]   giovanni.casini
• [DL] CfP - Ordinal Methods for Knowledge Representation and Capture (OrMeKR @ K-CAP 2023)   Tom Hanika
• [DL] CFP: 12th International Joint Conference on Knowledge Graphs (IJCKG 2023)   Guohui Xiao
• [DL] CfP: 26th International Symposium on Practical Aspects of Declarative Languages (PADL 2024)   Martin Gebser
• [DL] CFP: 5th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY 2023)   Andrea Brunello
• [DL] CfP: Call for Participation in BiKE @ ESWC2023   Edgard Marx
• [DL] CFP: CDTE 2023 Data Technology and Engineering, Oct 2-5, Oklahoma City, USA & Online   Pierre F. Tiako
• [DL] CFP: KGSWC 2023   Fernando Bobillo
• [DL] CfP: SAIS’23 - The 35th Swedish AI Society’s annual workshop, 12-13th of June, Karlskrona, Sweden   Maria Hedblom
• [DL] CFP: SERD 2023 Software Engineering Research & Development, Oct 2-5, Oklahoma City, USA & Online   OkIP Cfp
• [DL] CFP: WoLLIC 2024   thomas.studer at unibe.ch
• [DL] CfP: Workshop at ESWC on Semantic Technologies for Scientific, Technical and Legal Data   Rima T.
• [DL] CfP COORDINATION 2024 - 26th International Conference on Coordination Models and Languages   Saverio Giallorenzo
• [DL] cfp for CogALex-VIII (Cognitive Aspects of the Lexicon), a workshop co-located with LREC-COLING 2024   Michael Zock
• [DL] CFP for ISBRA 2023 - 19th International Symposium on Bioinformatics Research and Applications   Olga Glebova
• [DL] CfP for KR4HI 2023 - Second International Workshop on Knowledge Representation for Hybrid Intelligence   Erman Acar
• [DL] CICM 2023, Extended deadlines 3.4.2023 (abstracts) / 10.4.2023 (full paper)   Serge Autexier
• [DL] CICM 2023 - Call for Participation   Serge Autexier
• [DL] Computer Science Faculty positions at Oxford   Ian Horrocks
• [DL] CPL-Lab Recent Books   Computational Philosophy Laboratory
• [DL] CTLM 2023 -- Call for participation   Hackl, Andrea
• [DL] DEADLINE EXTENDED (Abstract - May 25th; Paper - June 1st) - JELIA 2023, the 18th European Conference on Logics in Artificial Intelligence   Lucia Gomez Alvarez
• [DL] DEADLINE EXTENDED: 12th International Conference on Computational Advances in Bio and Medical Sciences (ICCABS2023)   Olga Glebova
• [DL] Deadline extension: CfP for the 17th Intl. Conf. on Formal Concept Analysis (ICFCA 2023)   Gerd Stumme
• [DL] Deadline Extension: CfP SEFM’23, 16 June   Carla Ferreira
• [DL] Deadline extension: Research and Teaching position at TU Dresden   Franz Baader
• [DL] deadline extension: The 7th Image Schema Day (ISD7) @KR 2023, 2-4 September, Rhodes, Greece,   Maria Hedblom
• [DL] Deadline Extension CfP for KR4HI 2023 - Second International Workshop on Knowledge Representation for Hybrid Intelligence (apologies for cross-posting)   Erman Acar
• [DL] Deadline Extension Doctoral Programme CICM 2023: 14 July 2023   Serge Autexier
• [DL] DL 2023 - First Call For Papers   Maurice Funk
• [DL] DL Seminar: Tommie Meyer 10-Nov at 14:00   Ortiz de la Fuente, Maria Magdalena
• [DL] DL Seminar Series   Jean Christoph Jung
• [DL] DL Seminar Series   Ana Ozaki
• [DL] DL Seminar Series   Ana Ozaki
• [DL] DL Seminar Series   Ana Ozaki
• [DL] DL Seminar Series   Jean Christoph Jung
• [DL] DL Seminar Series [Reminder]   Ana Ozaki
• [DL] DL Seminar Series Kick-Off [Reminder/Clarification]   Jean Christoph Jung
• [DL] Dov Gabbay Prize for Logic and Foundations   giovanni.casini
• [DL] Due Ext July 23: CDTE 2023 Data Technology and Engineering, Oct 2-5, USA & Online   Data World
• [DL] ECAI-2024: Call for Papers, Tutorial Proposals and Workshop Proposals   Luis Magdalena
• [DL] ECSQARU 2023 (deadlines: abstract 12 May; paper 20 May)   Srdjan Vesic
• [DL] ESAO Webinar n.08 on Monday, June 12 - Special Session with James Hampton (London, UK) -- Call for Participation   Frank Loebe
• [DL] ESAO Webinar n.10 on Tue, Dec 19 -- Call for Participation   Frank Loebe
• [DL] ESAO Webinar n.10 on Tue, Dec 19 -- Reminder   Frank Loebe
• [DL] ESSAI 2023 final call for course proposals   Magdalena Ortiz
• [DL] ESSAI 2023 Travel grants and early registration extended   Magdalena Ortiz
• [DL] ESSAI 2024 CALL FOR COURSE PROPOSALS   Manolis Koubarakis
• [DL] ESSLLI 2023 - Early Bird Registration extended to June 14   Žitnik, Slavko
• [DL] ESWC 2024 Call for Contributions   Web and Publicity ESWC
• [DL] EXTENDED CfP: FoIKS 2024, 13th Int. Symp. on Foundations of Information and Knowledge Systems. Abstract deadline: 11.12.2023; Paper deadline: 14.12.2023   Lucia Gomez Alvarez
• [DL] EXTENDED DEADLINE Jan 20: MBR023_ROME - Call for Papers   Computational Philosophy Laboratory
• [DL] FCR-2023: 9th Workshop on Formal and Cognitive Reasoning -- Final Call for Papers + Deadline Extension   Kai Sauerwald
• [DL] Final CfP: SAIS’23 - The 35th Swedish AI Society’s annual workshop, 12-13th of June, Karlskrona, Sweden [submission deadline 31st of March]   Maria Hedblom
• [DL] FMBC 2024 - First Call for Papers   Marmsoler, Diego
• [DL] FMBC 2024 - Second Call for Papers   Marmsoler, Diego
• [DL] FMCAD 2023: Final Call for Papers with *** Deadlines Extension ***   Rozier, Kristin-Yvonne [AER E]
• [DL] FMCAD 2023: First Call for Papers   Rozier, Kristin-Yvonne [AER E]
• [DL] FMCAD 2023 Student Forum: Call for Contributions   Rozier, Kristin-Yvonne [AER E]
• [DL] FoIKS 2024, 13th International Symposium on Foundations of Information and Knowledge Systems, 8 - 11 April 2024, Sheffield (UK). Abstract deadline: 24th November 2023   Lucia Gomez Alvarez
• [DL] FoIKS 2024 Call for Papers - 13th International Symposium on Foundations of Information and Knowledge Systems   Magdalena Ortiz
• [DL] FOIS 2023 -> COMING SOON!! Call for Participation (International Conference on Formal Ontology in Information Systems held in Sherbrooke, Québec, Canada)   Lucia Gomez Alvarez
• [DL] FOIS 2023 Call for participation   Lucia Gomez Alvarez
• [DL] FOIS 2023 Online: Call for Participation   Lucia Gomez Alvarez
• [DL] Four fully funded PhD positions   Harsh Beohar
• [DL] FQAS 2023 special session on "Flexible Queries over Semantic Systems"   Fernando Bobillo
• [DL] FroCoS 2023 Call for Papers   Uli Sattler
• [DL] Fully funded PhD and PostDoc positions in Knowledge Engineering for Smart Diagnostics at VU Amsterdam   Schlobach, K.S. (KS)
• [DL] Fully funded PhD thesis in argumentation theory   Srdjan Vesic
• [DL] GandALF 2023: 2nd Call For Papers   Renato Acampora
• [DL] GandALF 2023: Call For Papers   Dario Della Monica
• [DL] GandALF 2023: Deadline extension (abstract and paper submission)   Renato Acampora
• [DL] GandALF 2023: Last Call For Papers   Renato Acampora
• [DL] GandALF 2023: Registration is open – Call For Participation   Renato Acampora
• [DL] GandALF 2023: Registration is open – Call For Participation   Gabriele Puppis
• [DL] ICDT 2024 : Call for papers (first submission)   Antoine Amarilli
• [DL] ICFCA 2023 - 2nd Call for Workshops and Tutorials   Gerd Stumme
• [DL] ICLP 2023 -- Deadline Extension (30th January): London (UK), 9-15 July 2023 (CFP)   Paulino Passos, Guilherme
• [DL] ICLP 2023 -- Final Reminder (30th January): London (UK), 9-15 July 2023 (CFP)   Paulino Passos, Guilherme
• [DL] ICLP 2023: 2nd Call for Registrations - Logic Programming, London (UK), 9-15 July 2023   Paulino Passos, Guilherme
• [DL] ICLP 2023: Call for Workshops - Logic Programming, London (UK), 9-15 July 2023   Paulino Passos, Guilherme
• [DL] ICLP 2023: Doctoral Consortium - Logic Programming, London (UK), 9-15 July 2023 (CFP)   Paulino Passos, Guilherme
• [DL] ICLP 2023: FINAL call; Logic Programming, London (UK), 9-15 July 2023 (CFP)   Paulino Passos, Guilherme
• [DL] ICLP 2023: Logic Programming, London (UK), 9-15 July 2023 (FINAL CFP)   Paulino Passos, Guilherme
• [DL] ICLP 2023: Open call; Logic Programming, London (UK), 9-15 July 2023 (CFP)   Paulino Passos, Guilherme
• [DL] ICLP 2023: Registration Open - Logic Programming, London (UK), 9-15 July 2023   Paulino Passos, Guilherme
• [DL] IEEE BIBM 2023 Call for Paper Deadline: Aug 15, 2023   IEEE BIBM
• [DL] IEEE BIBM 2023 Call for Workshop Papers and Posters   IEEE BIBM
• [DL] IEEE BIBM 2023 Call for Workshop Papers and Posters   IEEE BIBM
• [DL] IEEE BIBM 2023 Call for Workshop Proposals   IEEE BIBM
• [DL] IEEE BIBM 2023 CFP   IEEE BIBM
• [DL] IEEE BIBM 2023 CFP   IEEE BIBM
• [DL] IEEE BIBM 2023 CFP   IEEE BIBM
• [DL] IEEE BIBM 2023 CFP   IEEE BIBM
• [DL] IJCAR 2024: 2nd call for co-located events   Peter Lammich
• [DL] IJCAR 2024: call for co-located events   Peter Lammich
• [DL] Invitation to Submit Papers: Modern Mathematical Methods   Tuncer Acar
• [DL] ISAIM 2024: Call for Papers   Diochnos, Dimitrios
• [DL] ISAIM 2024: Second Call for Papers   Diochnos, Dimitrios
• [DL] ISAIM 2024: Submission Deadline Extended   Diochnos, Dimitrios
• [DL] ISAO 2023, July 10-14 - Call for Participation (Interdisciplinary School on Applied Ontology held in Sherbrooke, Québec, Canada)   Daniele Porello
• [DL] ISAO 2023, July 10-14 - Call for Participation (Interdisciplinary School on Applied Ontology held in Sherbrooke, Québec, Canada)   Frank Loebe
• [DL] ISAO 2023 -> COMING SOON!! Call for Participation (Interdisciplinary School on Applied Ontology held in Sherbrooke, Québec, Canada)   Lucia Gomez Alvarez
• [DL] ISAO 2023 -> register early by June 11 (EDT/UTC-4); Call for Participation (Interdisciplinary School on Applied Ontology held in Sherbrooke, Québec, Canada)   Frank Loebe
• [DL] ISAO 2023 BarCamp sessions on July 13-14 - Call for Physical Participation in Sherbrooke, Québec, Canada (Interdisciplinary School on Applied Ontology)   Frank Loebe
• [DL] ISBRA 2023 Call for Short Papers, Late Breakthrough, and Highlight Abstracts   Olga Glebova
• [DL] ISBRA 2023 submission deadline has been extended till July 12, 2023   Olga Glebova
• [DL] ISBRA deadline is in 2 days   Olga Glebova
• [DL] Job announcement: Assistant Professor position in Database Theory at TU Wien   Pichler, Reinhard
• [DL] JOB OPENING: St Andrews–Max Planck PhD Studentship in Population, Health and Data Science   MPIDR - Career
• [DL] job openings at the University of Warsaw   Filip Murlak
• [DL] Job opportunity as Postdocs/Research Scientists in Digital and Computational Demography   MPIDR - Career
• [DL] Joint CfP: DisCoTec 2024 - 19th International Federated Conference on Distributed Computing Techniques   Bas van den Heuvel
• [DL] KR 2023 - Extension of Early Registration Deadline   Theofanis I. Aravanis
• [DL] KR 2023 - Extension of Workshops Paper Submission Deadlines up to 12 June, 2023!   Theofanis I. Aravanis
• [DL] KR 2023: Call for Student Travel Grants   Potyka, Nico
• [DL] KR 2023: Calls for Applications & Systems Track, Special Session on KR & ML, Doctoral Consortium   Theofanis I. Aravanis
• [DL] KR 2023: Diversity & Inclusion Grants (deadline: June 9)   Meghyn Bienvenu
• [DL] KRR at SAC 2023 deadline extension   Carlo Taticchi
• [DL] KRR at SAC2023 new submission deadline October 13, 2023   Carlo Taticchi
• [DL] KRR at SAC2024   Carlo Taticchi
• [DL] KRR at SAC 2024 - CFP   Carlo Taticchi
• [DL] KRR at SAC extended deadline   Carlo Taticchi
• [DL] LAST CALL CfP: FoIKS 2024, 13th Int. Symp. on Foundations of Information and Knowledge Systems. Abstract deadline: 11.12.2023; Paper deadline: 14.12.2023   Lucia Gomez Alvarez
• [DL] Last Call for Papers - JELIA 2023, the 18th European Conference on Logics in Artificial Intelligence   Lucia Gomez Alvarez
• [DL] Lectureships in Liverpool   Wolter, Frank
• [DL] Logic in Question 10 - Sorbonne, Paris - April 24-25, 2023   jean-yves beziau
• [DL] LOPSTR 2023 (Lisbon) - Final Call for Papers - Paper Deadline: May 26, 2023.   daniel.jurjo at imdea.org
• [DL] LOPSTR 2023 (Lisbon) - Second Call for Papers - Paper Deadline: May 26, 2023.   daniel.jurjo at imdea.org
• [DL] LOPSTR 2023 - Call for Papers   daniel.jurjo at imdea.org
• [DL] LOPSTR 2023 - Final Call for Participation   Daniel Jurjo
• [DL] LORI 2023 2nd CFP   Andreas HERZIG
• [DL] LPAR-24 (June 2023) - Call for Short Papers   geoff at cs.miami.edu
• [DL] LPAR-24, June 2023, Call for Papers   geoff at cs.miami.edu
• [DL] LPAR-24 in 2023, Manizales Colombia, Registration is Open   geoff at cs.miami.edu
• [DL] LPAR-25 in 2024 - Mauritius   geoff at cs.miami.edu
• [DL] LPAR 2023 Call for Workshops and Tutorials   geoff at cs.miami.edu
• [DL] LPAR 2023 Deadline extension   geoff at cs.miami.edu
• [DL] Offering PreDoc Position - TU Wien   Beatrix Buhl
• [DL] Open PhD and Postdoc positions in Formal Analysis of Autonomous Systems at Chalmers University   Hazem Torfah
• [DL] Paraconsistent Newsletter Summer-Winter 2023   jean-yves beziau
• [DL] PhD/Postdoc position, Project TAIGER: Training and Guiding AI Agents with Ethical Rules   Hackl, Andrea
• [DL] PhD / PostDoc position on Learning and Reasoning at TU Dortmund University   Jean Christoph Jung
• [DL] PhD grant on AI & Process Mining   Chiara Ghidini
• [DL] PhD in Computer Science grants @ KRDB - Univ. of Bozen-Bolzano Italy   Artale Alessandro
• [DL] PhD or Postdoc Position at LMU Munich about Verified Modal Logics   Andrei Popescu
• [DL] PhD or postdoc position in logical modelling of notarial procedures at FAU Erlangen-Nürnberg   Lutz Schröder
• [DL] PhD position in Combined Software Co-Piloting and Verification   Wolfgang Ahrendt
• [DL] PhD Position in Data Science for hierarchical data at the University of Kassel   Gerd Stumme
• [DL] PhD Position in Data Science for hierarchical data at the University of Kassel   Gerd Stumme
• [DL] PhD position in Logic and Legal Reasoning at TU Wien   Hackl, Andrea
• [DL] PhD Position on Stream Reasoning at Vrije Universiteit Amsterdam   Patrick Koopmann
• [DL] PhD proposal Univ. Grenoble Alpes : Knowledge representation and reasoning for cultural heritage : Materials, Pigments, Lights: the colors of Heritage   Danielle Ziebelin
• [DL] Post-doc Position at the Institute of Logic and Computation at TU Wien   Hackl, Andrea
• [DL] Post-doctoral position at Aix-Marseille University - Multi-view Topic-Modeling for Medical Report Analysis   rafika boutalbi
• [DL] PostDoc/Phd position at TU Dortmund   Jean Christoph Jung
• [DL] PostDoc/PhD position in Knowledge Representation and Reasoning at Ulm University (Germany)   Birte Glimm
• [DL] PostDoc position "Verifiable Graph Database Integration"   RACHID ECHAHED
• [DL] Postdoc position in automata and concurrency theory at the University of Warsaw   Sławomir Lasota
• [DL] Postdoc position in Formal Methods at University of Exeter   Marmsoler, Diego
• [DL] Postdoc positions on data integration, privacy, search, pricing   George Konstantinidis
• [DL] PostDoc Postion (Urgent): Verifiable Graph Data Integration   RACHID ECHAHED
• [DL] Postdoctoral positon at Aix-Marseille University - Multi-view Topic-Modeling for Medical Report Analysis   rafika boutalbi
• [DL] PRICAI-2023 Call for Papers   Adila Alfa Krisnadhi
• [DL] Publication in Computational Logic   Ian Pratt-hartmann
• [DL] Reasoning Web Summer School 2023. Oslo, Norway 21-24 September 2023 -- Final Call   Marco Console
• [DL] Religious Symbolism and Symbolic Logic, Sinaia, Sept 3-8, 2023 - CfP   jean-yves beziau
• [DL] Reminder: CFP for ISBRA 2023 - 19th International Symposium on Bioinformatics Research and Applications   Olga Glebova
• [DL] Research Associate at the University of Kent, Canterbury, UK   Mark Batty
• [DL] RuleML + RR CfP (EXTENDED DEADLINE)   Raoul Koudijs
• [DL] SALOME 1 - Cusco, Peru, January 12-15, 2024   jean-yves beziau
• [DL] SAPERE Book Series (Springer) - Indexed by SCOPUS   Computational Philosophy Laboratory
• [DL] Save the Date: ISAIM 2024 (Jan 8-10, 2024)   Diochnos, Dimitrios
• [DL] SECOND CALL FOR PAPERS, PLP 2023: The Tenth Workshop on Probabilistic Logic Programming   Kilian Rueckschloss
• [DL] Second Call for Papers - JELIA 2023, the 18th European Conference on Logics in Artificial Intelligence   Lucia Gomez Alvarez
• [DL] SECOND CALL FOR PAPERS: 12th International Conference on Computational Advances in Bio and Medical Sciences (ICCABS2023)   Olga Glebova
• [DL] Second CFP RuleML + RR 2023   Raoul Koudijs
• [DL] SEFM 2023: Call for Papers   Willemse, Tim
• [DL] SEFM 2023: First Call for Papers   Willemse, Tim
• [DL] Special Issue on Dynamic Logics at JLAP - Deadline Extension   Carlos Areces
• [DL] SPIN 2024: first Call for Papers   Thomas Neele
• [DL] Spotlight Seminar on AI - ALFONSO GEREVINI - JANUARY 31   Chiara Ghidini
• [DL] Spotlight Seminar on AI - MICHELA MILANO - May 19   Chiara Ghidini
• [DL] Spotlight Seminar on AI - NICOLO’ CESA-BIANCHI - June 22   Chiara Ghidini
• [DL] Spotlight Seminar on AI - YOSHUA BENGIO - April 20   Chiara Ghidini
• [DL] Summer School on Reactive Synthesis + Workshop on Synthesis, Monitoring and Learning   Gabriele Puppis
• [DL] Summer School on Reactive Synthesis + Workshop on Synthesis, Monitoring and Learning at University of Udine   Gabriele Puppis
• [DL] Symbolic Logic and Religious Symbolism, Sinaia, Sept 3-8, 2023 - CfP - Extended Deadline June 15   jean-yves beziau
• [DL] SYNASC 2023 - Final Call for Papers   SYNASC 2023
• [DL] SYNASC 2023 - Final Call for Papers   SYNASC 2023
• [DL] SYNASC 2023 - Final Call for Papers   SYNASC 2023
• [DL] SYNASC 2023 - Final Call for Papers   SYNASC 2023
• [DL] SYNASC 2023 - First Call for Papers   SYNASC 2023
• [DL] SYNASC 2023 - Second Call for Papers   SYNASC 2023
• [DL] SYNASC 2023 - Second Call for Papers   SYNASC 2023
• [DL] Text2Story'23 Deadline Extension   Hugo Oliveira Sousa
• [DL] Text2Story'23 Last Deadline Extension   Hugo Oliveira Sousa
• [DL] Text2Story'23 Workshop Call for Participation   Hugo Oliveira Sousa
• [DL] Text2Story at ECIR'24 Call for Papers   Hugo Sousa
• [DL] Text2Story at ECIR'24 Call for Papers   Hugo Oliveira Sousa
• [DL] Text2Story at ECIR’23 Call for Participation Inbox   Behrooz Mansouri
• [DL] The 13th IEEE International Workshop on Knowledge Acquisition Reuse & Evaluation   Davy Monticolo
• [DL] The 4th International Workshop on Graph-based Approaches for CyberSecurity (GRASEC 2023)   Mohamed-Lamine Messai
• [DL] The CADE-29 ATP System Competition CASC-29   geoff at tptp.org
• [DL] The Decision Problem for Effective Procedures - Celebration of the 120th anniversary of Alonzo Church   jean-yves beziau
• [DL] TPTP v8.2.0 released   geoff at tptp.org
• [DL] Travel grants for ESSAI 2023 - 1st European Summer School on Artificial Intelligence   Magdalena Ortiz
• [DL] TSD 2023 - 2nd Call for papers   TSD 2023
• [DL] TSD 2023 - Last Call for papers   TSD 2023
• [DL] Two career track assistant/associate professor positions @ VU Amsterdam   Hoogendoorn, M. (Mark)
• [DL] Two Internship Opportunities for Master's Students at UPPA: Data Analysis and Monitoring Mobile in Connected Environments   Salma Sassi
• [DL] Two research positions in Artificial Intelligence and temporal data at Fondazione Bruno Kessler   Chiara Ghidini
• [DL] UMUAI Special Issue "Conversational Recommender Systems: Theory, Models, Evaluations, and Trends"   Vito Walter Anelli
• [DL] VCLA International Student Awards - Call for Nominations   Hackl, Andrea
• [DL] VCLA International Student Awards - Call for Nominations - Deadline March 31!   Hackl, Andrea
• [DL] WI-IAT' 23 CfPs [June 15, 2023]   H.Z. Kuai
• [DL] WoLLIC 2024 - SECOND CALL FOR PAPERS   thomas.studer at unibe.ch

Last message date: Thu Dec 21 13:53:55 CET 2023
Archived on: Mon Dec 25 10:47:11 CET 2023

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