GRIN
  • Il GRIN
    • Chi siamo
    • Presidente e organi
    • Sedi
    • Soci GRIN
    • Gruppi di Lavoro
    • Collaborazioni e accordi
    • Assemblee
  • Formazione
  • Ricerca
  • Territorio e società
  • Il Bollino
  • Contatti
  • Aree di discussione
  • Accedi/Registrati
Seleziona una pagina

[JAIR Special Track] Integration of Logical Constraints in Deep Learning

da Matteo Zavatteri | Gen 7, 2025 | Ricerca

Second call for papers Special Track Integration of Logical Constraints in Deep Learning Journal Journal of Artificial Intelligence Research (JAIR) Deadline May 31, 2025 Track Editors Alessandro Abate, University of Oxford, U.K.Eleonora Giunchiglia, Imperial College...
2nd Call for Participation and Posters – DTW 2025: International Workshop on Digital Twins – February 19-21, 2025 – Padova, Italy

2nd Call for Participation and Posters – DTW 2025: International Workshop on Digital Twins – February 19-21, 2025 – Padova, Italy

da Matteo Zavatteri | Nov 21, 2024 | Ricerca, Uncategorized

Dear Colleagues We are organizing a workshop on Digital Twins in Padova, Italy, on February 19-21, 2025.The workshop will be interdisciplinary: mathematics and computer science. Important information: the website of the event is here:...
CALL FOR PARTICIPATION – OVERLAY 2024 – 6th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis

CALL FOR PARTICIPATION – OVERLAY 2024 – 6th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis

da Matteo Zavatteri | Nov 15, 2024 | Ricerca, Uncategorized

Dear all This is a call for participation for the OVERLAY 2024 workshop.The workshop will take place in Bolzano, Italy on November 28-29, 2024. There is no registration fee but registration is...

LAST CALL FOR PAPERS: Special Issue on “Verification, Control, and Repair in Business Process Management” – Journal: Information Systems, Elsevier (Q1)

da Matteo Zavatteri | Set 22, 2024 | Ricerca

*** We apologize for possible cross posting *** ========================================Third Call for Papers, Special Issue Verification, Control, and Repair in Business Process Management * Information Systems – Elsevier (IF 3.7 @ 2024)...
CALL FOR PARTICIPATION – OVERLAY 2024 – 6th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis

LAST CALL FOR PAPERS – OVERLAY 2024 – 6th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis

da Matteo Zavatteri | Set 21, 2024 | Ricerca, Uncategorized

*** We apologize for possible cross posting *** *** CALL FOR PAPERS *** OVERLAY 202428th – 29th November, 2024Bolzano, Italyhttps://overlay.uniud.it/workshop/2024 The increasing adoption of Artificial Intelligence techniques in safety-critical systems, employed...
Post successivi »

Recent Posts

  • Wivace 2026 Call For Paper
  • ITADINFO 2026 – Apertura iscrizioni alla 4ª edizione del convegno ITAliano sulla Didattica dell’INFOrmatica
  • Call for contribution CMSC 2026 – last round for paper submissions
  • Call for papers CMSC 2026 – last round for paper submissions
  • [CFP] Inclusive Intelligence Workshop @ICANN 2026 (Padua, Italy) – AI & Assistive Technologies

Recent Comments

  1. legit viagra su ITADINFO 2026 – Invito alla 4ª edizione del convegno ITAliano sulla Didattica dell’INFOrmatica
  2. propecia or minoxidil su 7th Scientific School on Blockchain & Distributed Ledger Technologies
  3. xenical medication cost su 7th Scientific School on Blockchain & Distributed Ledger Technologies
  4. semaglutid tabletten novo nordisk su Call for papers for 6th IEEE International Conference on ICT Solutions for eHealth
  5. semaglutid pris su 7th Scientific School on Blockchain & Distributed Ledger Technologies

Archives

  • Maggio 2026
  • Aprile 2026
  • Marzo 2026
  • Febbraio 2026
  • Gennaio 2026
  • Dicembre 2025
  • Novembre 2025
  • Ottobre 2025
  • Settembre 2025
  • Agosto 2025
  • Luglio 2025
  • Giugno 2025
  • Maggio 2025
  • Aprile 2025
  • Marzo 2025
  • Febbraio 2025
  • Gennaio 2025
  • Dicembre 2024
  • Novembre 2024
  • Ottobre 2024
  • Settembre 2024
  • Agosto 2024
  • Luglio 2024
  • Giugno 2024
  • Maggio 2024
  • Aprile 2024
  • Marzo 2024
  • Febbraio 2024
  • Dicembre 2023

Categories

  • Eventi
  • Formazione
  • News
  • Ricerca
  • Territorio
  • Uncategorized
  • Facebook
  • X
  • Instagram
  • RSS

Progettato da Elegant Themes | Sviluppato da WordPress

Scroll Up
GRIN
Gestisci Consenso Cookie
Per fornire le migliori esperienze, utilizziamo tecnologie come i cookie per memorizzare e/o accedere alle informazioni del dispositivo. Il consenso a queste tecnologie ci permetterà di elaborare dati come il comportamento di navigazione o ID unici su questo sito. Non acconsentire o ritirare il consenso può influire negativamente su alcune caratteristiche e funzioni.
Funzionale Sempre attivo
L'archiviazione tecnica o l'accesso sono strettamente necessari al fine legittimo di consentire l'uso di un servizio specifico esplicitamente richiesto dall'abbonato o dall'utente, o al solo scopo di effettuare la trasmissione di una comunicazione su una rete di comunicazione elettronica.
Preferenze
L'archiviazione tecnica o l'accesso sono necessari per lo scopo legittimo di memorizzare le preferenze che non sono richieste dall'abbonato o dall'utente.
Statistiche
L'archiviazione tecnica o l'accesso che viene utilizzato esclusivamente per scopi statistici. L'archiviazione tecnica o l'accesso che viene utilizzato esclusivamente per scopi statistici anonimi. Senza un mandato di comparizione, una conformità volontaria da parte del vostro Fornitore di Servizi Internet, o ulteriori registrazioni da parte di terzi, le informazioni memorizzate o recuperate per questo scopo da sole non possono di solito essere utilizzate per l'identificazione.
Marketing
L'archiviazione tecnica o l'accesso sono necessari per creare profili di utenti per inviare pubblicità, o per tracciare l'utente su un sito web o su diversi siti web per scopi di marketing simili.
  • Gestisci opzioni
  • Gestisci servizi
  • Gestisci {vendor_count} fornitori
  • Per saperne di più su questi scopi
Visualizza preferenze
  • {title}
  • {title}
  • {title}