Convegno: programma e articoli (Conference: program and papers)

Pictures are published on a "first come, first published" basis. You are still on time to send us your beautiful holidays pictures wearing the CILC t-shirt by sending them, after resizing to 800x600 pixels, to cilc2015@dibris.unige.it. Remember to write where you took them! We are looking for receiving your great pictures!

The President Agostino Dovier, Lago (or l'Ago...) di Braies (BZ).

Agostino Dovier, Cime di Lavaredo (BL).

Gianluca Pozzato with his kid Lorenzo and Peppa Pig, Leolandia, Capriate San Gervasio (BG).

Agostino Dovier, Dobbiaco (BZ).

Massimo Ancona, Deiva Marina (GE).

Agostino Dovier, Olang (BZ).

The Gulpeners! Davide Ancona, Agostino Dovier, Andrea Formisano, Viviana Mascardi (UD).

GULP! Davide Ancona, Viviana Mascardi (UD).

More GULP! Agostino Dovier, Viviana Mascardi (UD).

Davide Ancona and Viviana Mascardi, Castello di Miramare (TS).

The Ancona-Mascardi family, Piazza Unità d'Italia (TS).

The Ancona-Mascardi family again, Piazza Unità d'Italia (TS).

Daniela Briola, Passeggiata di Nervi (GE).

Loris Bozzato, Meiji Shrine entrance, Tokyo, Japan

Eugenio Omodeo's son, Rio de Janeiro, Brazil

Angelo Ferrando, Castell'Arquato (PC)

Viviana Mascardi, Todai-ji Temple, Nara, Japan

Viviana Mascardi, Kinkaku-ji Temple, Kyoto, Japan

Francesca Alessandra Lisi and CILC in the footsteps of Alexander the Great
Looking forward to see the wonders and the treasures of the Museum of the Royal Tombs of Aigai (Vergina, Greece)

The school on Computational Logic (June 29th, June 30th, July 1st)
The conference

July 3rd

CILC on holidays!!!

Si ringrazia inoltre la Scuola Politecnica dell'Università degli Studi di Genova.

L'evento è patrocinato dall'Università degli Studi di Genova.

La scuola di Logica Computazionale

viviana.mascardi@unige.it (Super User) — Sun, 26 Jul 2015 12:41:32 +0000

The school on Computational Logic, June 29th and 30th, July 1st

The school attendees on the terrace of DIBRIS@VallettaPuggia, June 29

The school on Computational Logic (June 29th, June 30th, July 1st)
The conference

July 3rd

CILC on holidays!!!

Si ringrazia inoltre la Scuola Politecnica dell'Università degli Studi di Genova.

L'evento è patrocinato dall'Università degli Studi di Genova.

L'invited talk di Georg Gottlob

viviana.mascardi@unige.it (Super User) — Sun, 26 Jul 2015 12:39:41 +0000

Georg Gottlob's invited talk, July 2nd

The talk

The audience

The school on Computational Logic (June 29th, June 30th, July 1st)
The conference

July 3rd

CILC on holidays!!!

Si ringrazia inoltre la Scuola Politecnica dell'Università degli Studi di Genova.

L'evento è patrocinato dall'Università degli Studi di Genova.

La sessione GULP 30 e lode!

viviana.mascardi@unige.it (Super User) — Sun, 26 Jul 2015 12:26:09 +0000

The "GULP 30 e lode!" session, July 2nd

From left to right, Giovanni Adorni, Eugenio Omodeo, Gianfranco Rossi, Ugo Montanari, Stefania Costantini, Maurizio Martelli, and Agostino Dovier

From left to right, Giovanni Adorni, Eugenio Omodeo, Gianfranco Rossi, and Ugo Montanari

From left to right, Stefania Costantini, Giovanni Adorni, Gianfranco Rossi, Eugenio Omodeo, Ugo Montanari, and Maurizio Martelli

The school on Computational Logic (June 29th, June 30th, July 1st)
The conference

July 3rd

CILC on holidays!!!

Si ringrazia inoltre la Scuola Politecnica dell'Università degli Studi di Genova.

L'evento è patrocinato dall'Università degli Studi di Genova.

Sponsor

viviana.mascardi@unige.it (Super User) — Thu, 12 Feb 2015 03:57:53 +0000

Si ringrazia inoltre la Scuola Politecnica dell'Università degli Studi di Genova.

L'evento è patrocinato dall'Università degli Studi di Genova.

Comitati (Committees)

viviana.mascardi@unige.it (Super User) — Sat, 03 Jan 2015 20:14:41 +0000

Comitato di programma (Program Committee)

Paolo Baldan, Università degli Studi di Padova
Matteo Baldoni, Università degli Studi di Torino
Elena Bellodi, Università degli Studi di Ferrara
Stefano Bistarelli, Università degli Studi di Perugia
Davide Bresolin, Università degli Studi di Bologna
Alberto Casagrande, Università degli Studi di Trieste
Iliano Cervesato, Carnegie Mellon University
Federico Chesani, Università degli Studi di Bologna
Simona Colucci, Politecnico di Bari
Agostino Cortesi, Università Ca' Foscari di Venezia
Stefania Costantini, Università degli Studi di L'Aquila
Emanuele De Angelis, Università degli Studi di Chieti-Pescara
Wolfgang Faber, University of Huddersfield
Moreno Falaschi, Università degli Studi di Siena
Stefano Ferilli, Università degli Studi di Bari
Fabio Fioravanti, Università degli Studi di Chieti-Pescara
Camillo Fiorentini, Università degli Studi di Milano
Andrea Formisano, Università degli Studi di Perugia
Chiara Ghidini, Fondazione Bruno Kessler
Laura Giordano, Università degli Studi del Piemonte Orientale
Valentina Gliozzi, Università degli Studi di Torino
Evelina Lamma, Università degli Studi di Ferrara
Francesca Alessandra Lisi, Università degli Studi di Bari Aldo Moro
Isabella Mastroeni, Università degli Studi di Verona
Alessandra Mileo, National University of Ireland, Galway
Marco Montali, Free University of Bozen-Bolzano
Alessandro Mosca, Free University of Bozen-Bolzano
Marianna Nicolosi-Asmundo, Università degli Studi di Catania
Nicola Olivetti, Aix-Marseille University
Fabio Patrizi, Università La Sapienza di Roma
Carla Piazza, Università degli Studi di Udine
Enrico Pontelli, New Mexico State University
Maurizio Proietti, IASI-CNR di Roma
Alessandro Provetti, Università degli Studi di Messina
Luca Pulina, Università degli Studi di Sassari
Elisa Quintarelli, Politecnico di Milano
Francesco Ricca, Università della Calabria
Gianfranco Rossi, Università degli Studi di Parma
Luigi Sauro, Università di Napoli Federico II
Umberto Straccia, ISTI-CNR di Pisa
Laura Titolo, University of Malaga

Chair

Davide Ancona, Università degli Studi di Genova
Marco Maratea, Università degli Studi di Genova
Viviana Mascardi, Università degli Studi di Genova

Organizzazione locale (Local organization)

Davide Ancona, Università degli Studi di Genova
Marco Maratea, Università degli Studi di Genova
Viviana Mascardi, Università degli Studi di Genova

Un ringraziamento speciale a Daniela Briola, Andrea Corradi e Angelo Ferrando, Università degli Studi di Genova, per il supporto all'organizzazione.
A special thank to Daniela Briola, Andrea Corradi and Angelo Ferrando, Università degli Studi di Genova, for their support to the organization.

Si ringrazia inoltre la Scuola Politecnica dell'Università degli Studi di Genova.

L'evento è patrocinato dall'Università degli Studi di Genova.