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

  • 19ª Conferenza Internazionale sulla Risoluzione Parallela dei Problemi ispirata alla Natura (PPSN 2026)
  • ECOOP Doctoral Symposium – Call for papers
  • 31ª Bertinoro International School – edizione 2026
  • Call for papers for 6th IEEE International Conference on ICT Solutions for eHealth
  • Two Post-doctoral positions in cybersecurity

Recent Comments

  1. allopurinol 100 mg tablet generic su CfP [extended deadline]: 2nd International Workshop on Blockchain for Information Systems Engineering @CAiSE26
  2. antibiotics for uti su ITADINFO 2026 – Invito alla 4ª edizione del convegno ITAliano sulla Didattica dell’INFOrmatica
  3. antibiotics for dogs su 7th Scientific School on Blockchain & Distributed Ledger Technologies
  4. combodart su Elenco Riviste GRIN – 2026
  5. tetracycline hcl 500 mg capsule su 1st EAI International Conference on Technology and Supply Chain Management

Archives

  • 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}