Groups

GULP-all

Contact owners and managers

1–30 of 398

0 selected

Emanuele De Angelis

Oct 15

Bando per premio tesi di dottorato GULP 2026

L'Associazione Italiana per la Programmazione Logica GULP ("Gruppo Ricercatori e Utenti di

unread,

Bando per premio tesi di dottorato GULP 2026

L'Associazione Italiana per la Programmazione Logica GULP ("Gruppo Ricercatori e Utenti di

Oct 15

Emanuele De Angelis

Sep 29

Special Issue on Horn Clauses for Verification and Synthesis in Acta Informatica

Special Issue on Horn Clauses for Verification and Synthesis Acta Informatica Call for Papers https:/

unread,

Special Issue on Horn Clauses for Verification and Synthesis in Acta Informatica

Special Issue on Horn Clauses for Verification and Synthesis Acta Informatica Call for Papers https:/

Sep 29

Alessandro Gianola

Sep 22

Call for Workshops - FLoC 2026 [DEADLINE 24 SEPTEMBER AoE] — The 2026 Federated Logic Conference

[apologies for cross posting] [DEADLINE 24 SEPTEMBER AoE] FLoC 2026 — The 2026 Federated Logic

unread,

Call for Workshops - FLoC 2026 [DEADLINE 24 SEPTEMBER AoE] — The 2026 Federated Logic Conference

[apologies for cross posting] [DEADLINE 24 SEPTEMBER AoE] FLoC 2026 — The 2026 Federated Logic

Sep 22

Francesco Calimeri

Sep 17

Convegno CRUI-GEO-UniCAL su Intelligenza Artificiale (9-10 ottobre 2025) - Proroga iscrizioni al 25/09

Gentili Colleghe e Colleghi, il Convegno "Intelligenza Artificiale all'università: Didattica

unread,

Convegno CRUI-GEO-UniCAL su Intelligenza Artificiale (9-10 ottobre 2025) - Proroga iscrizioni al 25/09

Gentili Colleghe e Colleghi, il Convegno "Intelligenza Artificiale all'università: Didattica

Sep 17

Matteo Zavatteri

Sep 15

[JAIR Special Track - 10th CFP - hurry up! deadline approaching soon] Integration of Logical Constraints in Deep Learning

(apologies for cross-posting) ======================================================================

unread,

[JAIR Special Track - 10th CFP - hurry up! deadline approaching soon] Integration of Logical Constraints in Deep Learning

(apologies for cross-posting) ======================================================================

Sep 15

Francesco Calimeri

Sep 11

Bando attività di docenza: progetto EmpowerTech

[ci scusiamo per eventuali cross-posting] Gentilissime e gentilissimi, segnaliamo la riapertura di un

unread,

Bando attività di docenza: progetto EmpowerTech

[ci scusiamo per eventuali cross-posting] Gentilissime e gentilissimi, segnaliamo la riapertura di un

Sep 11

Sep 8

[CFP] KRR@SAC2026 - Track on Knowledge Representation and Reasoning (KRR)

############################################################### The the 41th ACM/SIGAPP Symposium On

unread,

[CFP] KRR@SAC2026 - Track on Knowledge Representation and Reasoning (KRR)

############################################################### The the 41th ACM/SIGAPP Symposium On

Sep 8

Matteo Zavatteri

Sep 1

[JAIR Special Track - 9th CFP] Integration of Logical Constraints in Deep Learning - deadline approaching

(apologies for cross-posting) ======================================================================

unread,

[JAIR Special Track - 9th CFP] Integration of Logical Constraints in Deep Learning - deadline approaching

(apologies for cross-posting) ======================================================================

Sep 1

Manuel Alejandro Borroto Santana

Aug 25

[ICLP 2025 - Very Last Call for Participation] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025

[apologize for multiple postings] Call for Participation 41st International Conference on Logic

unread,

[ICLP 2025 - Very Last Call for Participation] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025

[apologize for multiple postings] Call for Participation 41st International Conference on Logic

Aug 25

Francesca Scozzari

Aug 10

ICTCS 2025 – Call for Participation (Pescara, September 10–12, 2025)

========================================== ICTCS 2025 – 26th Italian Conference on Theoretical

unread,

ICTCS 2025 – Call for Participation (Pescara, September 10–12, 2025)

========================================== ICTCS 2025 – 26th Italian Conference on Theoretical

Aug 10

Aug 8

First Call for Workshops - FLoC 2026 — The 2026 Federated Logic Conference

[apologies for cross posting] FLoC 2026 — The 2026 Federated Logic Conference July 20 - July 29, 2026

unread,

First Call for Workshops - FLoC 2026 — The 2026 Federated Logic Conference

[apologies for cross posting] FLoC 2026 — The 2026 Federated Logic Conference July 20 - July 29, 2026

Aug 8

Francesco Calimeri2

Aug 5

[NEW: awards + special track + proceedings with SPRINGER] - co-located with ECAI 2025 - Call for Papers: HC@AIxIA+HYDRA 2025

Please circulate within your networks. Apologies for multiple postings. =============================

unread,

[NEW: awards + special track + proceedings with SPRINGER] - co-located with ECAI 2025 - Call for Papers: HC@AIxIA+HYDRA 2025

Please circulate within your networks. Apologies for multiple postings. =============================

Aug 5

Matteo Zavatteri

Aug 5

[JAIR Special Track - 8th CFP] Integration of Logical Constraints in Deep Learning

(apologies for cross-posting) ======================================================================

unread,

[JAIR Special Track - 8th CFP] Integration of Logical Constraints in Deep Learning

(apologies for cross-posting) ======================================================================

Aug 5

Jul 29

CILC 2025 - Atti di Convegno Disponibili!

Carissime e Carissimi, siamo lieti di informarvi che gli atti del convegno CILC 2025 sono ora

unread,

CILC 2025 - Atti di Convegno Disponibili!

Carissime e Carissimi, siamo lieti di informarvi che gli atti del convegno CILC 2025 sono ora

Jul 29

Manuel Alejandro Borroto Santana2

Jul 28

[ICLP 2025 - Call for Participation] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025

[apologize for multiple postings] Call for Participation 41st International Conference on Logic

unread,

[ICLP 2025 - Call for Participation] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025

[apologize for multiple postings] Call for Participation 41st International Conference on Logic

Jul 28

Manuel Alejandro Borroto Santana

Jul 28

[Call for Alain Colmerauer Award] - Nominations for the 2025 edition of the Alain Colmerauer Prize

[apologize for multiple postings] Organized by the Association for Logic Programming In the summer of

unread,

[Call for Alain Colmerauer Award] - Nominations for the 2025 edition of the Alain Colmerauer Prize

[apologize for multiple postings] Organized by the Association for Logic Programming In the summer of

Jul 28

Nicola Saccomanno

Jul 11

[CFP - Deadline Extended] OVERLAY 2025 @ ECAI: 7th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis

7th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and

unread,

[CFP - Deadline Extended] OVERLAY 2025 @ ECAI: 7th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis

7th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and

Jul 11

Giovanni Ciatto

Jul 10

[CfP] Special Issue on "Emerging Techniques in Engineering Intelligent Agents and Multi-Agent Systems" (deadline: Feb 10, 2026)

Deadline: February 10, 2026 Journal: MDPI's Applied Sciences (ISSN 2076-3417) Submission link:

unread,

[CfP] Special Issue on "Emerging Techniques in Engineering Intelligent Agents and Multi-Agent Systems" (deadline: Feb 10, 2026)

Deadline: February 10, 2026 Journal: MDPI's Applied Sciences (ISSN 2076-3417) Submission link:

Jul 10

Giovanni Ciatto

Jul 10

[CFP] Workshop on Advanced Neuro-Symbolic Applications (ANSyA 2025) @ ECAI

CALL FOR PAPERS 1st International Workshop on Advanced Neuro-Symbolic Applications (ANSyA 2025)

unread,

[CFP] Workshop on Advanced Neuro-Symbolic Applications (ANSyA 2025) @ ECAI

CALL FOR PAPERS 1st International Workshop on Advanced Neuro-Symbolic Applications (ANSyA 2025)

Jul 10

Francesco Calimeri3

Jul 4

HC@AIxIA: AI&Health Seminar Series (2025) - JULY 4

Dear Madam/Sir, This is a gentle reminder that today, Friday 4 July 2025, at 15:30 CET, the July

unread,

HC@AIxIA: AI&Health Seminar Series (2025) - JULY 4

Dear Madam/Sir, This is a gentle reminder that today, Friday 4 July 2025, at 15:30 CET, the July

Jul 4

Jul 2

CILC 2025 - Best Student Paper Award e Ringraziamenti

Carissim*, a nome del comitato organizzatore desideriamo ringraziarvi di cuore per aver preso parte

unread,

CILC 2025 - Best Student Paper Award e Ringraziamenti

Carissim*, a nome del comitato organizzatore desideriamo ringraziarvi di cuore per aver preso parte

Jul 2

Daniele Francesco Santamaria

Jul 1

[CFP] - Mathematics - Special Issue "Combination and Application of Computational Logic and Artificial Intelligence"

Dear Colleague, I am pleased to invite you and your research team to contribute a paper to the

unread,

[CFP] - Mathematics - Special Issue "Combination and Application of Computational Logic and Artificial Intelligence"

Dear Colleague, I am pleased to invite you and your research team to contribute a paper to the

Jul 1

Matteo Zavatteri

Jul 1

[JAIR Special Track - 7th CFP] Integration of Logical Constraints in Deep Learning

(apologies for cross-posting) ======================================================================

unread,

[JAIR Special Track - 7th CFP] Integration of Logical Constraints in Deep Learning

(apologies for cross-posting) ======================================================================

Jul 1

Vincenzo ARCERI

Jun 27

[2nd CfP] GeCoIn workshop @ ECAI 2025, Bologna, Italy (Deadline: July, 15th)

Dear colleagues, We are pleased to invite submissions to the Generative Code Intelligence Workshop (

unread,

[2nd CfP] GeCoIn workshop @ ECAI 2025, Bologna, Italy (Deadline: July, 15th)

Dear colleagues, We are pleased to invite submissions to the Generative Code Intelligence Workshop (

Jun 27

Manuel Alejandro Borroto Santana

Jun 26

[AI3 2025 - Final Call for Papers] *DEADLINES EXTENSION* 9th Workshop on Advances in Argumentation in Artificial Intelligence

[apologize for multiple postings] -------------------------------------------------------------------

unread,

[AI3 2025 - Final Call for Papers] *DEADLINES EXTENSION* 9th Workshop on Advances in Argumentation in Artificial Intelligence

[apologize for multiple postings] -------------------------------------------------------------------

Jun 26

Manuel Alejandro Borroto Santana

Jun 25

ASPOCP 2025 Cfp - EXTENDED SUBMISSION DEADLINE

*** Apologies for multiple copies *** ===============================================================

unread,

ASPOCP 2025 Cfp - EXTENDED SUBMISSION DEADLINE

*** Apologies for multiple copies *** ===============================================================

Jun 25

Jun 24

RCRA 2025: Extended submission deadline (now June 30th)

[APOLOGIZE IN CASE OF MULTIPLE POSTING] The RCRA group (Knowledge Representation & Automated

unread,

RCRA 2025: Extended submission deadline (now June 30th)

[APOLOGIZE IN CASE OF MULTIPLE POSTING] The RCRA group (Knowledge Representation & Automated

Jun 24

Matteo Cardellini

Jun 23

2nd CFP and deadline extension - CASP:ER 2025 - Constraint And Satisfiability-based Planning: an Exploratory Research Workshop

*** We apologize for possible cross posting *** *********** CALL FOR PAPERS *********** Constraint

unread,

2nd CFP and deadline extension - CASP:ER 2025 - Constraint And Satisfiability-based Planning: an Exploratory Research Workshop

*** We apologize for possible cross posting *** *********** CALL FOR PAPERS *********** Constraint

Jun 23

Fabrizio Riguzzi

Jun 22

Call for Papers: Integrating Logical Reasoning & Large Language Models (LLMs)

🚀 Call for Papers: Integrating Logical Reasoning & Large Language Models (LLMs) 🧠 Are you

unread,

Call for Papers: Integrating Logical Reasoning & Large Language Models (LLMs)

🚀 Call for Papers: Integrating Logical Reasoning & Large Language Models (LLMs) 🧠 Are you

Jun 22

Nicola Saccomanno

Jun 17

[2nd CfP] OVERLAY 2025 @ ECAI: 7th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis

7th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and

unread,

[2nd CfP] OVERLAY 2025 @ ECAI: 7th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis

7th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and

Jun 17

Search

Clear search

Close search

Google apps

Main menu