Convegno Italiano di Logica Computazionale

cilc'16, 20-22 giugno 2016

Call For Paper e modalità invio contributi

Contributi
È possibile sottoporre due tipologie di contributo: articoli completi (o
“full papers”), eventualmente già inviati ad altre conferenze o riviste, oppure
lavori brevi (“short papers”). Questi ultimi sono particolarmente indicati per
presentare lavori in corso (anche se non ancora pronti per la pubblicazione),
prototipi software,  “demo” di sistemi, riassunti di tesi di dottorato,  presentazioni
generali (“overview”) di progetti di ricerca.

I temi di interesse per il convegno riguardano, ma non sono necessariamente
limitati, ai seguenti argomenti:

  • Programmazione logica, a vincoli e altri paradigmi di programmazione dichiarativa
    Estensioni ed integrazioni di paradigmi di programmazione dichiarativa
    Analisi, trasformazione, validazione e verifica di programmi
    Strumenti ed ambienti per lo sviluppo di programmi
    Implementazioni e benchmarking
    Model Checking
    Automated Theorem Proving
    Non-Monotonic Reasoning
    Answer Set Programming
    Rappresentazione ed estrazione della conoscenza
    Trattamento della conoscenza incerta o incompleta
    Approximate Reasoning
    Abductive Logic Programming
    Model-based Reasoning
    Inductive Logic Programming
    Database deduttivi
    Data mining e Data integration
    Sistemi multi-agente
    Semantic Web
    Linguaggio naturale
    Logica computazionale per concorrenza, coordination, mobilità e oggetti
    Pianificazione e scheduling
    Programmazione Logica Probabilistica
    Applicazioni della Logica Computazionale
    Didattica della Logica Computazionale

 

Modalità di invio
Si sollecita l’invio di contributi in formato elettronico (PDF). Il processo di invio e valutazione di articoli sarà gestito tramite EasyChair.

Gli articoli potranno essere scritti in inglese o in italiano e non dovranno eccedere le 15 pagine per i lavori completi o le 8 pagine per i lavori brevi. Il formato  per la preparazione dei lavori è il formato standard della serie LNCS. Gli articoli accettati dovranno essere presentati al convegno.

Nota: Nel caso si invii un lavoro  già inviato o accettato a conferenza o rivista, ciò deve essere chiaramente segnalato con una nota in prima pagina. In questo caso verrà esclusivamente  verificate la pertinenza del contributo alle tematiche del convegno.

Atti del convegno
Gli articoli originali presentati al convegno verranno pubblicati su CEUR-WS.org. Si prevede la pubblicazione di una selezione dei lavori su uno special issue di una rivista internazionale. Agli articoli non originali verrà comunque data visibilità sul sito della conferenza con l’aggiunta dei link alla pubblicazione orginale; qualora non già su rivista, anche gli articoli non originali potranno essere selezionati ed estesi per lo special issue.

Organizzazione e registrazione
Il convegno è un evento organizzato dal GULP. I partecipanti italiani al convegno devono essere soci del GULP; l’iscrizione all’associazione potrà essere effettuata contestualmente all’evento.

Rispondi

Inserisci i tuoi dati qui sotto o clicca su un'icona per effettuare l'accesso:

Logo WordPress.com

Stai commentando usando il tuo account WordPress.com. Chiudi sessione / Modifica )

Foto Twitter

Stai commentando usando il tuo account Twitter. Chiudi sessione / Modifica )

Foto di Facebook

Stai commentando usando il tuo account Facebook. Chiudi sessione / Modifica )

Google+ photo

Stai commentando usando il tuo account Google+. Chiudi sessione / Modifica )

Connessione a %s...