Call for papers

Versione scaricabile (txt)

Il programma del convegno prevede la presentazione di contributi su argomenti specifici e la presentazione di prototipi software con le relative "demo".

E' possibile sottomettere 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, riassunti di tesi di dottorato, nonché 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


Modalità di sottomissione dei contributi

Si sollecita la sottomissione di contributi in formato elettronico (PDF). Il processo di sottomissione 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 5 pagine per i lavori brevi. Il formato preferito per la preparazione dei lavori è il formato standard della serie LNCS (http://www.springer.de/comp/lncs/index.html). Gli articoli accettati dovranno essere presentati al convegno.

Sottometti il tuo contributo »


Dimostrazioni (Demo)

Sono benvenute proposte per la presentazione di demo di sistemi e prototipi software, realizzati in ambito di ricerca o industriale, che utilizzino tecniche e strumenti connessi con la Logica Computazionale o che costituiscano essi stessi strumenti utili allo sviluppo di applicazioni basate sulla Logica Computazionale. Le proposte devono includere una breve descrizione, preparata seguendo le modalità previste per i lavori brevi, e la specifica dell'attrezzatura hardware e software richiesta.

Atti del convegno

Gli articoli originali presentati al convegno (completi o brevi) verranno pubblicati su CEUR-WS.org.

Si valuterà inoltre la possibilità che una selezione di articoli originali presentati al convegno possa essere pubblicata in un numero speciale di una rivista scientifica internazionale.

Il convegno è un evento organizzato dal GULP (Gruppo ricercatori e Utenti Logic Programming). I partecipanti italiani al convegno devono essere soci del GULP; l'iscrizione all'associazione può essere effettuata contestualmente all'evento.

Logo ufficiale CILC 2014

Date importanti

Sottomissione articoli: 5 aprile 2014 13 aprile 2014
Notifica agli autori: 17 maggio 2014
Camera ready: 6 giugno 2014
Conferenza: 16-18 giugno 2014

Dettagli »


Comitati

Organizzazione:

Dettagli »


Programma


Contatti

  • Laura Giordano
  • Valentina Gliozzi
  • Gian Luca Pozzato

Dettagli »


Credits immagini fotografiche:

Turismo Torino e Provincia archivio fotografico +PubblicitàItalia
Immagine della Mole Antonelliana nel titolo by cappe.dcpd, on Flickr
Creative Commons Attribution-Noncommercial-Share Alike 2.0 Generic License  by  cappe.dcpd 

Logo del Dipartimento di Informatica dell'Università degli Studi di Torino Logo dell'Università degli Studi di Torino Logo del DISIT dell'Università del Piemonte Orientale Logo dell'ALP Logo del GNCS Logo di Turismo Torino e Provincia