descrizione.... http://cilc2015.dibris.unige.it/index.php/comitati-committees/2-non-categorizzato 2026-02-10T09:59:24+00:00 CILC2015 viviana.mascardi@unige.it Joomla! - Open Source Content Management 2015-08-13T13:36:53+00:00 2015-08-13T13:36:53+00:00 http://cilc2015.dibris.unige.it/index.php/comitati-committees/2-non-categorizzato/23-july-2nd-technical-sessions Super User viviana.mascardi@unige.it

<ul> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=18&amp;catid=2&amp;Itemid=101">The school on Computational Logic (June 29th, June 30th, July 1st)</a></span></li> <li><span style="font-size: 12pt;">The conference</span></li> <ul> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=21&amp;catid=2&amp;Itemid=101">July 1st</a></span></li> <li><span style="font-size: 12pt;">July 2nd</span></li> <ul> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=23&amp;catid=2&amp;Itemid=101">Technical sessions</a></span></li> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=17&amp;catid=2&amp;Itemid=101">Georg Gottlob's invited talk</a></span></li> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=16&amp;catid=2&amp;Itemid=101">The "GULP 30 e lode!" session</a></span></li> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=22&amp;catid=2&amp;Itemid=101">Conference social dinner</a></span></li> </ul> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=20&amp;catid=2&amp;Itemid=101">July 3rd</a></span></li> </ul> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=19&amp;catid=2&amp;Itemid=101">CILC on holidays!!!</a></span></li> </ul> <p> </p> <table> <tbody> <tr> <td><a title="AI*IA" href="http://www.aixia.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/aiialogo1.png" alt="" width="100" /></a></td> <td><a title="ALP" href="http://www.cs.nmsu.edu/ALP/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/ALP_logo_small.jpg" alt="" width="120" /></a></td> <td><a title="ARTIFICIAL INTELLIGENCE" href="http://aij.ijcai.org/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/ARTINT_Logo2_c_web_more.jpg" alt="" width="120" /></a></td> <td><a href="http://www.comune.genova.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/GenovaStemma.png" alt="" width="120" /></a></td> </tr> <tr> <td><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/Dibris2.jpg" alt="" width="140" /></td> <td><a title="INDAM GNCS" href="http://www.altamatematica.it/gncs/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/gncs.png" alt="" width="200" /></a></td> <td><a title="GULP" href="http://www.programmazionelogica.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/gulp-scimmia.png" alt="" width="100" /></a></td> <td><a href="http://www.unige.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/Logo_unige_08_intestato.jpeg" alt="" width="200" /></a></td> </tr> </tbody> </table> <p> </p> <p><strong><span style="font-size: 12pt;">Si ringrazia inoltre la <a href="http://www.ingegneria.unige.it/" rel="alternate">Scuola Politecnica dell'Università degli Studi di Genova</a>.</span></strong></p> <p><span style="font-size: 12pt;">L'evento è patrocinato dall'Università degli Studi di Genova.</span></p> <p> </p> <p> </p> <p><a href="http://www.visitgenoa.it/" rel="alternate"><img style="float: right;" src="http://cilc2015.dibris.unige.it/images/genova.jpg" alt="" width="300" /></a></p> <p> </p>

<ul> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=18&amp;catid=2&amp;Itemid=101">The school on Computational Logic (June 29th, June 30th, July 1st)</a></span></li> <li><span style="font-size: 12pt;">The conference</span></li> <ul> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=21&amp;catid=2&amp;Itemid=101">July 1st</a></span></li> <li><span style="font-size: 12pt;">July 2nd</span></li> <ul> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=23&amp;catid=2&amp;Itemid=101">Technical sessions</a></span></li> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=17&amp;catid=2&amp;Itemid=101">Georg Gottlob's invited talk</a></span></li> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=16&amp;catid=2&amp;Itemid=101">The "GULP 30 e lode!" session</a></span></li> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=22&amp;catid=2&amp;Itemid=101">Conference social dinner</a></span></li> </ul> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=20&amp;catid=2&amp;Itemid=101">July 3rd</a></span></li> </ul> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=19&amp;catid=2&amp;Itemid=101">CILC on holidays!!!</a></span></li> </ul> <p> </p> <table> <tbody> <tr> <td><a title="AI*IA" href="http://www.aixia.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="images/aiialogo1.png" alt="" width="100" /></a></td> <td><a title="ALP" href="http://www.cs.nmsu.edu/ALP/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="images/ALP_logo_small.jpg" alt="" width="120" /></a></td> <td><a title="ARTIFICIAL INTELLIGENCE" href="http://aij.ijcai.org/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="images/ARTINT_Logo2_c_web_more.jpg" alt="" width="120" /></a></td> <td><a href="http://www.comune.genova.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="images/GenovaStemma.png" alt="" width="120" /></a></td> </tr> <tr> <td><img style="display: block; margin-left: auto; margin-right: auto;" src="images/Dibris2.jpg" alt="" width="140" /></td> <td><a title="INDAM GNCS" href="http://www.altamatematica.it/gncs/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="images/gncs.png" alt="" width="200" /></a></td> <td><a title="GULP" href="http://www.programmazionelogica.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="images/gulp-scimmia.png" alt="" width="100" /></a></td> <td><a href="http://www.unige.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="images/Logo_unige_08_intestato.jpeg" alt="" width="200" /></a></td> </tr> </tbody> </table> <p> </p> <p><strong><span style="font-size: 12pt;">Si ringrazia inoltre la <a href="http://www.ingegneria.unige.it/" rel="alternate">Scuola Politecnica dell'Università degli Studi di Genova</a>.</span></strong></p> <p><span style="font-size: 12pt;">L'evento è patrocinato dall'Università degli Studi di Genova.</span></p> <p> </p> <p> </p> <p><a href="http://www.visitgenoa.it/" rel="alternate"><img style="float: right;" src="images/genova.jpg" alt="" width="300" /></a></p> <p> </p> 2015-08-13T13:36:26+00:00 2015-08-13T13:36:26+00:00 http://cilc2015.dibris.unige.it/index.php/comitati-committees/2-non-categorizzato/22-conference-social-dinner Super User viviana.mascardi@unige.it

<h3>The social dinner at Castello Bruzzo</h3> <p><img src="http://cilc2015.dibris.unige.it/images/socialdinner3.jpg" alt="" /></p> <p> </p> <p><img src="http://cilc2015.dibris.unige.it/images/socialdinner10.jpg" alt="" /></p> <p> </p> <p><img src="http://cilc2015.dibris.unige.it/images/socialdinner11.jpg" alt="" /></p> <p> </p> <p><img src="http://cilc2015.dibris.unige.it/images/socialdinner5.jpg" alt="" /></p> <p> </p> <p><img src="http://cilc2015.dibris.unige.it/images/socialdinner4.jpg" alt="" /></p> <p> </p> <p><img src="http://cilc2015.dibris.unige.it/images/socialdinner6.jpg" alt="" /></p> <p> </p> <p><img src="http://cilc2015.dibris.unige.it/images/socialdinner7.jpg" alt="" /></p> <p> </p> <p><img src="http://cilc2015.dibris.unige.it/images/socialdinner8.jpg" alt="" /></p> <p> </p> <p><img src="http://cilc2015.dibris.unige.it/images/socialdinner9.jpg" alt="" /></p> <p> </p> <p><img src="http://cilc2015.dibris.unige.it/images/socialdinner1.jpg" alt="" /></p> <p> </p> <p><img src="http://cilc2015.dibris.unige.it/images/socialdinner2.jpg" alt="" /></p> <p> </p> <ul> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=18&amp;catid=2&amp;Itemid=101">The school on Computational Logic (June 29th, June 30th, July 1st)</a></span></li> <li><span style="font-size: 12pt;">The conference</span></li> <ul> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=21&amp;catid=2&amp;Itemid=101">July 1st</a></span></li> <li><span style="font-size: 12pt;">July 2nd</span></li> <ul> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=23&amp;catid=2&amp;Itemid=101">Technical sessions</a></span></li> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=17&amp;catid=2&amp;Itemid=101">Georg Gottlob's invited talk</a></span></li> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=16&amp;catid=2&amp;Itemid=101">The "GULP 30 e lode!" session</a></span></li> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=22&amp;catid=2&amp;Itemid=101">Conference social dinner</a></span></li> </ul> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=20&amp;catid=2&amp;Itemid=101">July 3rd</a></span></li> </ul> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=19&amp;catid=2&amp;Itemid=101">CILC on holidays!!!</a></span></li> </ul> <p> </p> <table> <tbody> <tr> <td><a title="AI*IA" href="http://www.aixia.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/aiialogo1.png" alt="" width="100" /></a></td> <td><a title="ALP" href="http://www.cs.nmsu.edu/ALP/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/ALP_logo_small.jpg" alt="" width="120" /></a></td> <td><a title="ARTIFICIAL INTELLIGENCE" href="http://aij.ijcai.org/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/ARTINT_Logo2_c_web_more.jpg" alt="" width="120" /></a></td> <td><a href="http://www.comune.genova.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/GenovaStemma.png" alt="" width="120" /></a></td> </tr> <tr> <td><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/Dibris2.jpg" alt="" width="140" /></td> <td><a title="INDAM GNCS" href="http://www.altamatematica.it/gncs/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/gncs.png" alt="" width="200" /></a></td> <td><a title="GULP" href="http://www.programmazionelogica.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/gulp-scimmia.png" alt="" width="100" /></a></td> <td><a href="http://www.unige.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/Logo_unige_08_intestato.jpeg" alt="" width="200" /></a></td> </tr> </tbody> </table> <p> </p> <p><strong><span style="font-size: 12pt;">Si ringrazia inoltre la <a href="http://www.ingegneria.unige.it/" rel="alternate">Scuola Politecnica dell'Università degli Studi di Genova</a>.</span></strong></p> <p><span style="font-size: 12pt;">L'evento è patrocinato dall'Università degli Studi di Genova.</span></p> <p> </p> <p> </p> <p><a href="http://www.visitgenoa.it/" rel="alternate"><img style="float: right;" src="http://cilc2015.dibris.unige.it/images/genova.jpg" alt="" width="300" /></a></p> <p> </p>

<h3>The social dinner at Castello Bruzzo</h3> <p><img src="images/socialdinner3.jpg" alt="" /></p> <p> </p> <p><img src="images/socialdinner10.jpg" alt="" /></p> <p> </p> <p><img src="images/socialdinner11.jpg" alt="" /></p> <p> </p> <p><img src="images/socialdinner5.jpg" alt="" /></p> <p> </p> <p><img src="images/socialdinner4.jpg" alt="" /></p> <p> </p> <p><img src="images/socialdinner6.jpg" alt="" /></p> <p> </p> <p><img src="images/socialdinner7.jpg" alt="" /></p> <p> </p> <p><img src="images/socialdinner8.jpg" alt="" /></p> <p> </p> <p><img src="images/socialdinner9.jpg" alt="" /></p> <p> </p> <p><img src="images/socialdinner1.jpg" alt="" /></p> <p> </p> <p><img src="images/socialdinner2.jpg" alt="" /></p> <p> </p> <ul> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=18&amp;catid=2&amp;Itemid=101">The school on Computational Logic (June 29th, June 30th, July 1st)</a></span></li> <li><span style="font-size: 12pt;">The conference</span></li> <ul> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=21&amp;catid=2&amp;Itemid=101">July 1st</a></span></li> <li><span style="font-size: 12pt;">July 2nd</span></li> <ul> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=23&amp;catid=2&amp;Itemid=101">Technical sessions</a></span></li> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=17&amp;catid=2&amp;Itemid=101">Georg Gottlob's invited talk</a></span></li> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=16&amp;catid=2&amp;Itemid=101">The "GULP 30 e lode!" session</a></span></li> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=22&amp;catid=2&amp;Itemid=101">Conference social dinner</a></span></li> </ul> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=20&amp;catid=2&amp;Itemid=101">July 3rd</a></span></li> </ul> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=19&amp;catid=2&amp;Itemid=101">CILC on holidays!!!</a></span></li> </ul> <p> </p> <table> <tbody> <tr> <td><a title="AI*IA" href="http://www.aixia.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="images/aiialogo1.png" alt="" width="100" /></a></td> <td><a title="ALP" href="http://www.cs.nmsu.edu/ALP/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="images/ALP_logo_small.jpg" alt="" width="120" /></a></td> <td><a title="ARTIFICIAL INTELLIGENCE" href="http://aij.ijcai.org/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="images/ARTINT_Logo2_c_web_more.jpg" alt="" width="120" /></a></td> <td><a href="http://www.comune.genova.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="images/GenovaStemma.png" alt="" width="120" /></a></td> </tr> <tr> <td><img style="display: block; margin-left: auto; margin-right: auto;" src="images/Dibris2.jpg" alt="" width="140" /></td> <td><a title="INDAM GNCS" href="http://www.altamatematica.it/gncs/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="images/gncs.png" alt="" width="200" /></a></td> <td><a title="GULP" href="http://www.programmazionelogica.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="images/gulp-scimmia.png" alt="" width="100" /></a></td> <td><a href="http://www.unige.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="images/Logo_unige_08_intestato.jpeg" alt="" width="200" /></a></td> </tr> </tbody> </table> <p> </p> <p><strong><span style="font-size: 12pt;">Si ringrazia inoltre la <a href="http://www.ingegneria.unige.it/" rel="alternate">Scuola Politecnica dell'Università degli Studi di Genova</a>.</span></strong></p> <p><span style="font-size: 12pt;">L'evento è patrocinato dall'Università degli Studi di Genova.</span></p> <p> </p> <p> </p> <p><a href="http://www.visitgenoa.it/" rel="alternate"><img style="float: right;" src="images/genova.jpg" alt="" width="300" /></a></p> <p> </p> 2015-08-13T13:35:59+00:00 2015-08-13T13:35:59+00:00 http://cilc2015.dibris.unige.it/index.php/comitati-committees/2-non-categorizzato/21-july-1st Super User viviana.mascardi@unige.it

<ul> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=18&amp;catid=2&amp;Itemid=101">The school on Computational Logic (June 29th, June 30th, July 1st)</a></span></li> <li><span style="font-size: 12pt;">The conference</span></li> <ul> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=21&amp;catid=2&amp;Itemid=101">July 1st</a></span></li> <li><span style="font-size: 12pt;">July 2nd</span></li> <ul> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=23&amp;catid=2&amp;Itemid=101">Technical sessions</a></span></li> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=17&amp;catid=2&amp;Itemid=101">Georg Gottlob's invited talk</a></span></li> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=16&amp;catid=2&amp;Itemid=101">The "GULP 30 e lode!" session</a></span></li> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=22&amp;catid=2&amp;Itemid=101">Conference social dinner</a></span></li> </ul> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=20&amp;catid=2&amp;Itemid=101">July 3rd</a></span></li> </ul> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=19&amp;catid=2&amp;Itemid=101">CILC on holidays!!!</a></span></li> </ul> <p> </p> <table> <tbody> <tr> <td><a title="AI*IA" href="http://www.aixia.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/aiialogo1.png" alt="" width="100" /></a></td> <td><a title="ALP" href="http://www.cs.nmsu.edu/ALP/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/ALP_logo_small.jpg" alt="" width="120" /></a></td> <td><a title="ARTIFICIAL INTELLIGENCE" href="http://aij.ijcai.org/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/ARTINT_Logo2_c_web_more.jpg" alt="" width="120" /></a></td> <td><a href="http://www.comune.genova.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/GenovaStemma.png" alt="" width="120" /></a></td> </tr> <tr> <td><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/Dibris2.jpg" alt="" width="140" /></td> <td><a title="INDAM GNCS" href="http://www.altamatematica.it/gncs/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/gncs.png" alt="" width="200" /></a></td> <td><a title="GULP" href="http://www.programmazionelogica.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/gulp-scimmia.png" alt="" width="100" /></a></td> <td><a href="http://www.unige.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/Logo_unige_08_intestato.jpeg" alt="" width="200" /></a></td> </tr> </tbody> </table> <p> </p> <p><strong><span style="font-size: 12pt;">Si ringrazia inoltre la <a href="http://www.ingegneria.unige.it/" rel="alternate">Scuola Politecnica dell'Università degli Studi di Genova</a>.</span></strong></p> <p><span style="font-size: 12pt;">L'evento è patrocinato dall'Università degli Studi di Genova.</span></p> <p> </p> <p> </p> <p><a href="http://www.visitgenoa.it/" rel="alternate"><img style="float: right;" src="http://cilc2015.dibris.unige.it/images/genova.jpg" alt="" width="300" /></a></p> <p> </p>

<ul> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=18&amp;catid=2&amp;Itemid=101">The school on Computational Logic (June 29th, June 30th, July 1st)</a></span></li> <li><span style="font-size: 12pt;">The conference</span></li> <ul> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=21&amp;catid=2&amp;Itemid=101">July 1st</a></span></li> <li><span style="font-size: 12pt;">July 2nd</span></li> <ul> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=23&amp;catid=2&amp;Itemid=101">Technical sessions</a></span></li> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=17&amp;catid=2&amp;Itemid=101">Georg Gottlob's invited talk</a></span></li> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=16&amp;catid=2&amp;Itemid=101">The "GULP 30 e lode!" session</a></span></li> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=22&amp;catid=2&amp;Itemid=101">Conference social dinner</a></span></li> </ul> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=20&amp;catid=2&amp;Itemid=101">July 3rd</a></span></li> </ul> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=19&amp;catid=2&amp;Itemid=101">CILC on holidays!!!</a></span></li> </ul> <p> </p> <table> <tbody> <tr> <td><a title="AI*IA" href="http://www.aixia.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="images/aiialogo1.png" alt="" width="100" /></a></td> <td><a title="ALP" href="http://www.cs.nmsu.edu/ALP/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="images/ALP_logo_small.jpg" alt="" width="120" /></a></td> <td><a title="ARTIFICIAL INTELLIGENCE" href="http://aij.ijcai.org/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="images/ARTINT_Logo2_c_web_more.jpg" alt="" width="120" /></a></td> <td><a href="http://www.comune.genova.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="images/GenovaStemma.png" alt="" width="120" /></a></td> </tr> <tr> <td><img style="display: block; margin-left: auto; margin-right: auto;" src="images/Dibris2.jpg" alt="" width="140" /></td> <td><a title="INDAM GNCS" href="http://www.altamatematica.it/gncs/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="images/gncs.png" alt="" width="200" /></a></td> <td><a title="GULP" href="http://www.programmazionelogica.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="images/gulp-scimmia.png" alt="" width="100" /></a></td> <td><a href="http://www.unige.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="images/Logo_unige_08_intestato.jpeg" alt="" width="200" /></a></td> </tr> </tbody> </table> <p> </p> <p><strong><span style="font-size: 12pt;">Si ringrazia inoltre la <a href="http://www.ingegneria.unige.it/" rel="alternate">Scuola Politecnica dell'Università degli Studi di Genova</a>.</span></strong></p> <p><span style="font-size: 12pt;">L'evento è patrocinato dall'Università degli Studi di Genova.</span></p> <p> </p> <p> </p> <p><a href="http://www.visitgenoa.it/" rel="alternate"><img style="float: right;" src="images/genova.jpg" alt="" width="300" /></a></p> <p> </p> 2015-07-30T14:46:20+00:00 2015-07-30T14:46:20+00:00 http://cilc2015.dibris.unige.it/index.php/comitati-committees/2-non-categorizzato/20-july-3rd Super User viviana.mascardi@unige.it

<h3>The technical sessions, July 3rd</h3> <p><img src="http://cilc2015.dibris.unige.it/images/P1200365.JPG" alt="Gianluca Pozzato" width="800" /></p> <p>Gian Luca Pozzato</p> <p> </p> <p><img src="http://cilc2015.dibris.unige.it/images/P1200366.JPG" alt="Loris Bozzato" width="800" /></p> <p>Loris Bozzato</p> <p> </p> <ul> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=18&amp;catid=2&amp;Itemid=101">The school on Computational Logic (June 29th, June 30th, July 1st)</a></span></li> <li><span style="font-size: 12pt;">The conference</span></li> <ul> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=21&amp;catid=2&amp;Itemid=101">July 1st</a></span></li> <li><span style="font-size: 12pt;">July 2nd</span></li> <ul> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=23&amp;catid=2&amp;Itemid=101">Technical sessions</a></span></li> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=17&amp;catid=2&amp;Itemid=101">Georg Gottlob's invited talk</a></span></li> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=16&amp;catid=2&amp;Itemid=101">The "GULP 30 e lode!" session</a></span></li> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=22&amp;catid=2&amp;Itemid=101">Conference social dinner</a></span></li> </ul> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=20&amp;catid=2&amp;Itemid=101">July 3rd</a></span></li> </ul> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=19&amp;catid=2&amp;Itemid=101">CILC on holidays!!!</a></span></li> </ul> <p> </p> <table> <tbody> <tr> <td><a title="AI*IA" href="http://www.aixia.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/aiialogo1.png" alt="" width="100" /></a></td> <td><a title="ALP" href="http://www.cs.nmsu.edu/ALP/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/ALP_logo_small.jpg" alt="" width="120" /></a></td> <td><a title="ARTIFICIAL INTELLIGENCE" href="http://aij.ijcai.org/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/ARTINT_Logo2_c_web_more.jpg" alt="" width="120" /></a></td> <td><a href="http://www.comune.genova.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/GenovaStemma.png" alt="" width="120" /></a></td> </tr> <tr> <td><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/Dibris2.jpg" alt="" width="140" /></td> <td><a title="INDAM GNCS" href="http://www.altamatematica.it/gncs/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/gncs.png" alt="" width="200" /></a></td> <td><a title="GULP" href="http://www.programmazionelogica.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/gulp-scimmia.png" alt="" width="100" /></a></td> <td><a href="http://www.unige.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/Logo_unige_08_intestato.jpeg" alt="" width="200" /></a></td> </tr> </tbody> </table> <p> </p> <p><strong><span style="font-size: 12pt;">Si ringrazia inoltre la <a href="http://www.ingegneria.unige.it/" rel="alternate">Scuola Politecnica dell'Università degli Studi di Genova</a>.</span></strong></p> <p><span style="font-size: 12pt;">L'evento è patrocinato dall'Università degli Studi di Genova.</span></p> <p> </p> <p> </p> <p><a href="http://www.visitgenoa.it/" rel="alternate"><img style="float: right;" src="http://cilc2015.dibris.unige.it/images/genova.jpg" alt="" width="300" /></a></p> <p> </p>

<h3>The technical sessions, July 3rd</h3> <p><img src="images/P1200365.JPG" alt="Gianluca Pozzato" width="800" /></p> <p>Gian Luca Pozzato</p> <p> </p> <p><img src="images/P1200366.JPG" alt="Loris Bozzato" width="800" /></p> <p>Loris Bozzato</p> <p> </p> <ul> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=18&amp;catid=2&amp;Itemid=101">The school on Computational Logic (June 29th, June 30th, July 1st)</a></span></li> <li><span style="font-size: 12pt;">The conference</span></li> <ul> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=21&amp;catid=2&amp;Itemid=101">July 1st</a></span></li> <li><span style="font-size: 12pt;">July 2nd</span></li> <ul> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=23&amp;catid=2&amp;Itemid=101">Technical sessions</a></span></li> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=17&amp;catid=2&amp;Itemid=101">Georg Gottlob's invited talk</a></span></li> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=16&amp;catid=2&amp;Itemid=101">The "GULP 30 e lode!" session</a></span></li> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=22&amp;catid=2&amp;Itemid=101">Conference social dinner</a></span></li> </ul> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=20&amp;catid=2&amp;Itemid=101">July 3rd</a></span></li> </ul> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=19&amp;catid=2&amp;Itemid=101">CILC on holidays!!!</a></span></li> </ul> <p> </p> <table> <tbody> <tr> <td><a title="AI*IA" href="http://www.aixia.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="images/aiialogo1.png" alt="" width="100" /></a></td> <td><a title="ALP" href="http://www.cs.nmsu.edu/ALP/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="images/ALP_logo_small.jpg" alt="" width="120" /></a></td> <td><a title="ARTIFICIAL INTELLIGENCE" href="http://aij.ijcai.org/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="images/ARTINT_Logo2_c_web_more.jpg" alt="" width="120" /></a></td> <td><a href="http://www.comune.genova.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="images/GenovaStemma.png" alt="" width="120" /></a></td> </tr> <tr> <td><img style="display: block; margin-left: auto; margin-right: auto;" src="images/Dibris2.jpg" alt="" width="140" /></td> <td><a title="INDAM GNCS" href="http://www.altamatematica.it/gncs/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="images/gncs.png" alt="" width="200" /></a></td> <td><a title="GULP" href="http://www.programmazionelogica.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="images/gulp-scimmia.png" alt="" width="100" /></a></td> <td><a href="http://www.unige.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="images/Logo_unige_08_intestato.jpeg" alt="" width="200" /></a></td> </tr> </tbody> </table> <p> </p> <p><strong><span style="font-size: 12pt;">Si ringrazia inoltre la <a href="http://www.ingegneria.unige.it/" rel="alternate">Scuola Politecnica dell'Università degli Studi di Genova</a>.</span></strong></p> <p><span style="font-size: 12pt;">L'evento è patrocinato dall'Università degli Studi di Genova.</span></p> <p> </p> <p> </p> <p><a href="http://www.visitgenoa.it/" rel="alternate"><img style="float: right;" src="images/genova.jpg" alt="" width="300" /></a></p> <p> </p> 2015-07-30T14:35:30+00:00 2015-07-30T14:35:30+00:00 http://cilc2015.dibris.unige.it/index.php/comitati-committees/2-non-categorizzato/19-cilc-on-holidays Super User viviana.mascardi@unige.it

<p>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 <a href="mailto:cilc2015@dibris.unige.it">cilc2015@dibris.unige.it. </a>Remember to write where you took them! We are looking for receiving your great pictures!</p> <p> </p> <p><img src="http://cilc2015.dibris.unige.it/images/ago1-web.jpg" alt="" /></p> <p>The President Agostino Dovier, Lago (or l'Ago...) di Braies (BZ).</p> <p> </p> <p><img src="http://cilc2015.dibris.unige.it/images/ago2.jpg" alt="" /></p> <p>Agostino Dovier, Cime di Lavaredo (BL).</p> <p> </p> <p><img src="http://cilc2015.dibris.unige.it/images/gianlucaPozzato.jpg" alt="" /></p> <p>Gianluca Pozzato with his kid Lorenzo and Peppa Pig, Leolandia, Capriate San Gervasio (BG).</p> <p> </p> <p><img src="http://cilc2015.dibris.unige.it/images/ago3.jpg" alt="" /></p> <p>Agostino Dovier, Dobbiaco (BZ).</p> <p> </p> <p><img src="http://cilc2015.dibris.unige.it/images/AnconaMassimo.jpg" alt="" /></p> <p>Massimo Ancona, Deiva Marina (GE).</p> <p> </p> <p><img src="http://cilc2015.dibris.unige.it/images/AGO_4.jpg" alt="" /></p> <p>Agostino Dovier, Olang (BZ).</p> <p> </p> <p><img src="http://cilc2015.dibris.unige.it/images/gulpeners.jpg" alt="" /></p> <p>The Gulpeners! Davide Ancona, Agostino Dovier, Andrea Formisano, Viviana Mascardi (UD).</p> <p> </p> <p><img src="http://cilc2015.dibris.unige.it/images/udineAnconaMascardi.jpg" alt="" /></p> <p>GULP! Davide Ancona, Viviana Mascardi (UD).</p> <p> </p> <p><img src="http://cilc2015.dibris.unige.it/images/udineDovierMascardi.jpg" alt="" /></p> <p>More GULP! Agostino Dovier, Viviana Mascardi (UD).</p> <p> </p> <p><img src="http://cilc2015.dibris.unige.it/images/miramareAnconaMascardi.jpg" alt="" /></p> <p>Davide Ancona and Viviana Mascardi, Castello di Miramare (TS).</p> <p> </p> <p><img src="http://cilc2015.dibris.unige.it/images/triesteAnconas.jpg" alt="" /></p> <p>The Ancona-Mascardi family, Piazza Unità d'Italia (TS).</p> <p> </p> <p><img src="http://cilc2015.dibris.unige.it/images/triesteAnconas3.jpg" alt="" /></p> <p>The Ancona-Mascardi family again, Piazza Unità d'Italia (TS).</p> <p> </p> <p><img src="http://cilc2015.dibris.unige.it/images/DanielaBriola.jpg" alt="" /></p> <p>Daniela Briola, Passeggiata di Nervi (GE).</p> <p> </p> <p><img src="http://cilc2015.dibris.unige.it/images/lorisBozzato.jpg" alt="" /></p> <p>Loris Bozzato, Meiji Shrine entrance, Tokyo, Japan</p> <p> </p> <p><img src="http://cilc2015.dibris.unige.it/images/omodeo.jpg" alt="" /></p> <p>Eugenio Omodeo's son, Rio de Janeiro, Brazil</p> <p> </p> <p><img src="http://cilc2015.dibris.unige.it/images/ferrando1.jpg" alt="" /></p> <p>Angelo Ferrando, Castell'Arquato (PC)</p> <p> </p> <p><img src="http://cilc2015.dibris.unige.it/images/ferrando2.jpg" alt="" /></p> <p>Angelo Ferrando, Castell'Arquato (PC)</p> <p> </p> <p><img src="http://cilc2015.dibris.unige.it/images/nara.jpg" alt="" /></p> <p>Viviana Mascardi, Todai-ji Temple, Nara, Japan</p> <p> </p> <p><img src="http://cilc2015.dibris.unige.it/images/kinkaku-ji.jpg" alt="" /></p> <p>Viviana Mascardi, Kinkaku-ji Temple, Kyoto, Japan</p> <p> </p> <p><img src="http://cilc2015.dibris.unige.it/images/francescaAlessandraLisiS.jpg" alt="" /></p> <p>Francesca Alessandra Lisi and CILC in the footsteps of Alexander the Great<br /> Looking forward to see the wonders and the treasures of the Museum of the Royal Tombs of Aigai (Vergina, Greece)</p> <p> </p> <p> </p> <ul> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=18&amp;catid=2&amp;Itemid=101">The school on Computational Logic (June 29th, June 30th, July 1st)</a></span></li> <li><span style="font-size: 12pt;">The conference</span></li> <ul> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=21&amp;catid=2&amp;Itemid=101">July 1st</a></span></li> <li><span style="font-size: 12pt;">July 2nd</span></li> <ul> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=23&amp;catid=2&amp;Itemid=101">Technical sessions</a></span></li> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=17&amp;catid=2&amp;Itemid=101">Georg Gottlob's invited talk</a></span></li> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=16&amp;catid=2&amp;Itemid=101">The "GULP 30 e lode!" session</a></span></li> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=22&amp;catid=2&amp;Itemid=101">Conference social dinner</a></span></li> </ul> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=20&amp;catid=2&amp;Itemid=101">July 3rd</a></span></li> </ul> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=19&amp;catid=2&amp;Itemid=101">CILC on holidays!!!</a></span></li> </ul> <p> </p> <table> <tbody> <tr> <td><a title="AI*IA" href="http://www.aixia.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/aiialogo1.png" alt="" width="100" /></a></td> <td><a title="ALP" href="http://www.cs.nmsu.edu/ALP/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/ALP_logo_small.jpg" alt="" width="120" /></a></td> <td><a title="ARTIFICIAL INTELLIGENCE" href="http://aij.ijcai.org/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/ARTINT_Logo2_c_web_more.jpg" alt="" width="120" /></a></td> <td><a href="http://www.comune.genova.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/GenovaStemma.png" alt="" width="120" /></a></td> </tr> <tr> <td><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/Dibris2.jpg" alt="" width="140" /></td> <td><a title="INDAM GNCS" href="http://www.altamatematica.it/gncs/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/gncs.png" alt="" width="200" /></a></td> <td><a title="GULP" href="http://www.programmazionelogica.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/gulp-scimmia.png" alt="" width="100" /></a></td> <td><a href="http://www.unige.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/Logo_unige_08_intestato.jpeg" alt="" width="200" /></a></td> </tr> </tbody> </table> <p> </p> <p><strong><span style="font-size: 12pt;">Si ringrazia inoltre la <a href="http://www.ingegneria.unige.it/" rel="alternate">Scuola Politecnica dell'Università degli Studi di Genova</a>.</span></strong></p> <p><span style="font-size: 12pt;">L'evento è patrocinato dall'Università degli Studi di Genova.</span></p> <p> </p> <p> </p> <p><a href="http://www.visitgenoa.it/" rel="alternate"><img style="float: right;" src="http://cilc2015.dibris.unige.it/images/genova.jpg" alt="" width="300" /></a></p> <p> </p>

<p>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 <a href="mailto:cilc2015@dibris.unige.it">cilc2015@dibris.unige.it. </a>Remember to write where you took them! We are looking for receiving your great pictures!</p> <p> </p> <p><img src="images/ago1-web.jpg" alt="" /></p> <p>The President Agostino Dovier, Lago (or l'Ago...) di Braies (BZ).</p> <p> </p> <p><img src="images/ago2.jpg" alt="" /></p> <p>Agostino Dovier, Cime di Lavaredo (BL).</p> <p> </p> <p><img src="images/gianlucaPozzato.jpg" alt="" /></p> <p>Gianluca Pozzato with his kid Lorenzo and Peppa Pig, Leolandia, Capriate San Gervasio (BG).</p> <p> </p> <p><img src="images/ago3.jpg" alt="" /></p> <p>Agostino Dovier, Dobbiaco (BZ).</p> <p> </p> <p><img src="images/AnconaMassimo.jpg" alt="" /></p> <p>Massimo Ancona, Deiva Marina (GE).</p> <p> </p> <p><img src="images/AGO_4.jpg" alt="" /></p> <p>Agostino Dovier, Olang (BZ).</p> <p> </p> <p><img src="images/gulpeners.jpg" alt="" /></p> <p>The Gulpeners! Davide Ancona, Agostino Dovier, Andrea Formisano, Viviana Mascardi (UD).</p> <p> </p> <p><img src="images/udineAnconaMascardi.jpg" alt="" /></p> <p>GULP! Davide Ancona, Viviana Mascardi (UD).</p> <p> </p> <p><img src="images/udineDovierMascardi.jpg" alt="" /></p> <p>More GULP! Agostino Dovier, Viviana Mascardi (UD).</p> <p> </p> <p><img src="images/miramareAnconaMascardi.jpg" alt="" /></p> <p>Davide Ancona and Viviana Mascardi, Castello di Miramare (TS).</p> <p> </p> <p><img src="images/triesteAnconas.jpg" alt="" /></p> <p>The Ancona-Mascardi family, Piazza Unità d'Italia (TS).</p> <p> </p> <p><img src="images/triesteAnconas3.jpg" alt="" /></p> <p>The Ancona-Mascardi family again, Piazza Unità d'Italia (TS).</p> <p> </p> <p><img src="images/DanielaBriola.jpg" alt="" /></p> <p>Daniela Briola, Passeggiata di Nervi (GE).</p> <p> </p> <p><img src="images/lorisBozzato.jpg" alt="" /></p> <p>Loris Bozzato, Meiji Shrine entrance, Tokyo, Japan</p> <p> </p> <p><img src="images/omodeo.jpg" alt="" /></p> <p>Eugenio Omodeo's son, Rio de Janeiro, Brazil</p> <p> </p> <p><img src="images/ferrando1.jpg" alt="" /></p> <p>Angelo Ferrando, Castell'Arquato (PC)</p> <p> </p> <p><img src="images/ferrando2.jpg" alt="" /></p> <p>Angelo Ferrando, Castell'Arquato (PC)</p> <p> </p> <p><img src="images/nara.jpg" alt="" /></p> <p>Viviana Mascardi, Todai-ji Temple, Nara, Japan</p> <p> </p> <p><img src="images/kinkaku-ji.jpg" alt="" /></p> <p>Viviana Mascardi, Kinkaku-ji Temple, Kyoto, Japan</p> <p> </p> <p><img src="images/francescaAlessandraLisiS.jpg" alt="" /></p> <p>Francesca Alessandra Lisi and CILC in the footsteps of Alexander the Great<br /> Looking forward to see the wonders and the treasures of the Museum of the Royal Tombs of Aigai (Vergina, Greece)</p> <p> </p> <p> </p> <ul> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=18&amp;catid=2&amp;Itemid=101">The school on Computational Logic (June 29th, June 30th, July 1st)</a></span></li> <li><span style="font-size: 12pt;">The conference</span></li> <ul> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=21&amp;catid=2&amp;Itemid=101">July 1st</a></span></li> <li><span style="font-size: 12pt;">July 2nd</span></li> <ul> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=23&amp;catid=2&amp;Itemid=101">Technical sessions</a></span></li> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=17&amp;catid=2&amp;Itemid=101">Georg Gottlob's invited talk</a></span></li> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=16&amp;catid=2&amp;Itemid=101">The "GULP 30 e lode!" session</a></span></li> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=22&amp;catid=2&amp;Itemid=101">Conference social dinner</a></span></li> </ul> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=20&amp;catid=2&amp;Itemid=101">July 3rd</a></span></li> </ul> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=19&amp;catid=2&amp;Itemid=101">CILC on holidays!!!</a></span></li> </ul> <p> </p> <table> <tbody> <tr> <td><a title="AI*IA" href="http://www.aixia.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="images/aiialogo1.png" alt="" width="100" /></a></td> <td><a title="ALP" href="http://www.cs.nmsu.edu/ALP/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="images/ALP_logo_small.jpg" alt="" width="120" /></a></td> <td><a title="ARTIFICIAL INTELLIGENCE" href="http://aij.ijcai.org/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="images/ARTINT_Logo2_c_web_more.jpg" alt="" width="120" /></a></td> <td><a href="http://www.comune.genova.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="images/GenovaStemma.png" alt="" width="120" /></a></td> </tr> <tr> <td><img style="display: block; margin-left: auto; margin-right: auto;" src="images/Dibris2.jpg" alt="" width="140" /></td> <td><a title="INDAM GNCS" href="http://www.altamatematica.it/gncs/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="images/gncs.png" alt="" width="200" /></a></td> <td><a title="GULP" href="http://www.programmazionelogica.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="images/gulp-scimmia.png" alt="" width="100" /></a></td> <td><a href="http://www.unige.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="images/Logo_unige_08_intestato.jpeg" alt="" width="200" /></a></td> </tr> </tbody> </table> <p> </p> <p><strong><span style="font-size: 12pt;">Si ringrazia inoltre la <a href="http://www.ingegneria.unige.it/" rel="alternate">Scuola Politecnica dell'Università degli Studi di Genova</a>.</span></strong></p> <p><span style="font-size: 12pt;">L'evento è patrocinato dall'Università degli Studi di Genova.</span></p> <p> </p> <p> </p> <p><a href="http://www.visitgenoa.it/" rel="alternate"><img style="float: right;" src="images/genova.jpg" alt="" width="300" /></a></p> <p> </p> 2015-07-26T12:41:32+00:00 2015-07-26T12:41:32+00:00 http://cilc2015.dibris.unige.it/index.php/comitati-committees/2-non-categorizzato/18-la-scuola-di-logica-computazionale Super User viviana.mascardi@unige.it

<h3>The school on Computational Logic, June 29th and 30th, July 1st</h3> <p><img src="http://cilc2015.dibris.unige.it/images/gruppoScuola1-web.jpg" alt="" /></p> <p>The school attendees on the terrace of DIBRIS@VallettaPuggia, June 29 </p> <p> </p> <p><img src="http://cilc2015.dibris.unige.it/images/gruppoScuola2-web.jpg" alt="" /></p> <p>The school attendees on the terrace of DIBRIS@VallettaPuggia, June 29</p> <p> </p> <ul> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=18&amp;catid=2&amp;Itemid=101">The school on Computational Logic (June 29th, June 30th, July 1st)</a></span></li> <li><span style="font-size: 12pt;">The conference</span></li> <ul> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=21&amp;catid=2&amp;Itemid=101">July 1st</a></span></li> <li><span style="font-size: 12pt;">July 2nd</span></li> <ul> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=23&amp;catid=2&amp;Itemid=101">Technical sessions</a></span></li> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=17&amp;catid=2&amp;Itemid=101">Georg Gottlob's invited talk</a></span></li> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=16&amp;catid=2&amp;Itemid=101">The "GULP 30 e lode!" session</a></span></li> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=22&amp;catid=2&amp;Itemid=101">Conference social dinner</a></span></li> </ul> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=20&amp;catid=2&amp;Itemid=101">July 3rd</a></span></li> </ul> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=19&amp;catid=2&amp;Itemid=101">CILC on holidays!!!</a></span></li> </ul> <p> </p> <table> <tbody> <tr> <td><a title="AI*IA" href="http://www.aixia.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/aiialogo1.png" alt="" width="100" /></a></td> <td><a title="ALP" href="http://www.cs.nmsu.edu/ALP/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/ALP_logo_small.jpg" alt="" width="120" /></a></td> <td><a title="ARTIFICIAL INTELLIGENCE" href="http://aij.ijcai.org/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/ARTINT_Logo2_c_web_more.jpg" alt="" width="120" /></a></td> <td><a href="http://www.comune.genova.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/GenovaStemma.png" alt="" width="120" /></a></td> </tr> <tr> <td><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/Dibris2.jpg" alt="" width="140" /></td> <td><a title="INDAM GNCS" href="http://www.altamatematica.it/gncs/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/gncs.png" alt="" width="200" /></a></td> <td><a title="GULP" href="http://www.programmazionelogica.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/gulp-scimmia.png" alt="" width="100" /></a></td> <td><a href="http://www.unige.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/Logo_unige_08_intestato.jpeg" alt="" width="200" /></a></td> </tr> </tbody> </table> <p> </p> <p><strong><span style="font-size: 12pt;">Si ringrazia inoltre la <a href="http://www.ingegneria.unige.it/" rel="alternate">Scuola Politecnica dell'Università degli Studi di Genova</a>.</span></strong></p> <p><span style="font-size: 12pt;">L'evento è patrocinato dall'Università degli Studi di Genova.</span></p> <p> </p> <p> </p> <p><a href="http://www.visitgenoa.it/" rel="alternate"><img style="float: right;" src="http://cilc2015.dibris.unige.it/images/genova.jpg" alt="" width="300" /></a></p> <p> </p>

<h3>The school on Computational Logic, June 29th and 30th, July 1st</h3> <p><img src="images/gruppoScuola1-web.jpg" alt="" /></p> <p>The school attendees on the terrace of DIBRIS@VallettaPuggia, June 29 </p> <p> </p> <p><img src="images/gruppoScuola2-web.jpg" alt="" /></p> <p>The school attendees on the terrace of DIBRIS@VallettaPuggia, June 29</p> <p> </p> <ul> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=18&amp;catid=2&amp;Itemid=101">The school on Computational Logic (June 29th, June 30th, July 1st)</a></span></li> <li><span style="font-size: 12pt;">The conference</span></li> <ul> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=21&amp;catid=2&amp;Itemid=101">July 1st</a></span></li> <li><span style="font-size: 12pt;">July 2nd</span></li> <ul> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=23&amp;catid=2&amp;Itemid=101">Technical sessions</a></span></li> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=17&amp;catid=2&amp;Itemid=101">Georg Gottlob's invited talk</a></span></li> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=16&amp;catid=2&amp;Itemid=101">The "GULP 30 e lode!" session</a></span></li> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=22&amp;catid=2&amp;Itemid=101">Conference social dinner</a></span></li> </ul> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=20&amp;catid=2&amp;Itemid=101">July 3rd</a></span></li> </ul> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=19&amp;catid=2&amp;Itemid=101">CILC on holidays!!!</a></span></li> </ul> <p> </p> <table> <tbody> <tr> <td><a title="AI*IA" href="http://www.aixia.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="images/aiialogo1.png" alt="" width="100" /></a></td> <td><a title="ALP" href="http://www.cs.nmsu.edu/ALP/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="images/ALP_logo_small.jpg" alt="" width="120" /></a></td> <td><a title="ARTIFICIAL INTELLIGENCE" href="http://aij.ijcai.org/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="images/ARTINT_Logo2_c_web_more.jpg" alt="" width="120" /></a></td> <td><a href="http://www.comune.genova.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="images/GenovaStemma.png" alt="" width="120" /></a></td> </tr> <tr> <td><img style="display: block; margin-left: auto; margin-right: auto;" src="images/Dibris2.jpg" alt="" width="140" /></td> <td><a title="INDAM GNCS" href="http://www.altamatematica.it/gncs/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="images/gncs.png" alt="" width="200" /></a></td> <td><a title="GULP" href="http://www.programmazionelogica.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="images/gulp-scimmia.png" alt="" width="100" /></a></td> <td><a href="http://www.unige.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="images/Logo_unige_08_intestato.jpeg" alt="" width="200" /></a></td> </tr> </tbody> </table> <p> </p> <p><strong><span style="font-size: 12pt;">Si ringrazia inoltre la <a href="http://www.ingegneria.unige.it/" rel="alternate">Scuola Politecnica dell'Università degli Studi di Genova</a>.</span></strong></p> <p><span style="font-size: 12pt;">L'evento è patrocinato dall'Università degli Studi di Genova.</span></p> <p> </p> <p> </p> <p><a href="http://www.visitgenoa.it/" rel="alternate"><img style="float: right;" src="images/genova.jpg" alt="" width="300" /></a></p> <p> </p> 2015-07-26T12:39:41+00:00 2015-07-26T12:39:41+00:00 http://cilc2015.dibris.unige.it/index.php/comitati-committees/2-non-categorizzato/17-foto-talk-gottlob Super User viviana.mascardi@unige.it

<h3>Georg Gottlob's invited talk, July 2nd</h3> <p><img src="http://cilc2015.dibris.unige.it/images/gotllob3-web.jpg" alt="" /></p> <p>The talk</p> <p> </p> <p><img src="http://cilc2015.dibris.unige.it/images/gottlob2-web.jpg" alt="" /></p> <p>The talk</p> <p> </p> <p><img src="http://cilc2015.dibris.unige.it/images/gottlob4-web.jpg" alt="" /></p> <p>The audience</p> <ul> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=18&amp;catid=2&amp;Itemid=101">The school on Computational Logic (June 29th, June 30th, July 1st)</a></span></li> <li><span style="font-size: 12pt;">The conference</span></li> <ul> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=21&amp;catid=2&amp;Itemid=101">July 1st</a></span></li> <li><span style="font-size: 12pt;">July 2nd</span></li> <ul> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=23&amp;catid=2&amp;Itemid=101">Technical sessions</a></span></li> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=17&amp;catid=2&amp;Itemid=101">Georg Gottlob's invited talk</a></span></li> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=16&amp;catid=2&amp;Itemid=101">The "GULP 30 e lode!" session</a></span></li> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=22&amp;catid=2&amp;Itemid=101">Conference social dinner</a></span></li> </ul> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=20&amp;catid=2&amp;Itemid=101">July 3rd</a></span></li> </ul> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=19&amp;catid=2&amp;Itemid=101">CILC on holidays!!!</a></span></li> </ul> <p> </p> <table> <tbody> <tr> <td><a title="AI*IA" href="http://www.aixia.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/aiialogo1.png" alt="" width="100" /></a></td> <td><a title="ALP" href="http://www.cs.nmsu.edu/ALP/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/ALP_logo_small.jpg" alt="" width="120" /></a></td> <td><a title="ARTIFICIAL INTELLIGENCE" href="http://aij.ijcai.org/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/ARTINT_Logo2_c_web_more.jpg" alt="" width="120" /></a></td> <td><a href="http://www.comune.genova.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/GenovaStemma.png" alt="" width="120" /></a></td> </tr> <tr> <td><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/Dibris2.jpg" alt="" width="140" /></td> <td><a title="INDAM GNCS" href="http://www.altamatematica.it/gncs/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/gncs.png" alt="" width="200" /></a></td> <td><a title="GULP" href="http://www.programmazionelogica.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/gulp-scimmia.png" alt="" width="100" /></a></td> <td><a href="http://www.unige.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/Logo_unige_08_intestato.jpeg" alt="" width="200" /></a></td> </tr> </tbody> </table> <p> </p> <p><strong><span style="font-size: 12pt;">Si ringrazia inoltre la <a href="http://www.ingegneria.unige.it/" rel="alternate">Scuola Politecnica dell'Università degli Studi di Genova</a>.</span></strong></p> <p><span style="font-size: 12pt;">L'evento è patrocinato dall'Università degli Studi di Genova.</span></p> <p> </p> <p> </p> <p><a href="http://www.visitgenoa.it/" rel="alternate"><img style="float: right;" src="http://cilc2015.dibris.unige.it/images/genova.jpg" alt="" width="300" /></a></p> <p> </p>

<h3>Georg Gottlob's invited talk, July 2nd</h3> <p><img src="images/gotllob3-web.jpg" alt="" /></p> <p>The talk</p> <p> </p> <p><img src="images/gottlob2-web.jpg" alt="" /></p> <p>The talk</p> <p> </p> <p><img src="images/gottlob4-web.jpg" alt="" /></p> <p>The audience</p> <ul> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=18&amp;catid=2&amp;Itemid=101">The school on Computational Logic (June 29th, June 30th, July 1st)</a></span></li> <li><span style="font-size: 12pt;">The conference</span></li> <ul> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=21&amp;catid=2&amp;Itemid=101">July 1st</a></span></li> <li><span style="font-size: 12pt;">July 2nd</span></li> <ul> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=23&amp;catid=2&amp;Itemid=101">Technical sessions</a></span></li> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=17&amp;catid=2&amp;Itemid=101">Georg Gottlob's invited talk</a></span></li> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=16&amp;catid=2&amp;Itemid=101">The "GULP 30 e lode!" session</a></span></li> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=22&amp;catid=2&amp;Itemid=101">Conference social dinner</a></span></li> </ul> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=20&amp;catid=2&amp;Itemid=101">July 3rd</a></span></li> </ul> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=19&amp;catid=2&amp;Itemid=101">CILC on holidays!!!</a></span></li> </ul> <p> </p> <table> <tbody> <tr> <td><a title="AI*IA" href="http://www.aixia.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="images/aiialogo1.png" alt="" width="100" /></a></td> <td><a title="ALP" href="http://www.cs.nmsu.edu/ALP/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="images/ALP_logo_small.jpg" alt="" width="120" /></a></td> <td><a title="ARTIFICIAL INTELLIGENCE" href="http://aij.ijcai.org/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="images/ARTINT_Logo2_c_web_more.jpg" alt="" width="120" /></a></td> <td><a href="http://www.comune.genova.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="images/GenovaStemma.png" alt="" width="120" /></a></td> </tr> <tr> <td><img style="display: block; margin-left: auto; margin-right: auto;" src="images/Dibris2.jpg" alt="" width="140" /></td> <td><a title="INDAM GNCS" href="http://www.altamatematica.it/gncs/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="images/gncs.png" alt="" width="200" /></a></td> <td><a title="GULP" href="http://www.programmazionelogica.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="images/gulp-scimmia.png" alt="" width="100" /></a></td> <td><a href="http://www.unige.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="images/Logo_unige_08_intestato.jpeg" alt="" width="200" /></a></td> </tr> </tbody> </table> <p> </p> <p><strong><span style="font-size: 12pt;">Si ringrazia inoltre la <a href="http://www.ingegneria.unige.it/" rel="alternate">Scuola Politecnica dell'Università degli Studi di Genova</a>.</span></strong></p> <p><span style="font-size: 12pt;">L'evento è patrocinato dall'Università degli Studi di Genova.</span></p> <p> </p> <p> </p> <p><a href="http://www.visitgenoa.it/" rel="alternate"><img style="float: right;" src="images/genova.jpg" alt="" width="300" /></a></p> <p> </p> 2015-07-26T12:26:09+00:00 2015-07-26T12:26:09+00:00 http://cilc2015.dibris.unige.it/index.php/comitati-committees/2-non-categorizzato/16-foto-gulp-30-e-lode Super User viviana.mascardi@unige.it

<h3>The "GULP 30 e lode!" session, July 2nd</h3> <p><img src="http://cilc2015.dibris.unige.it/images/trentaelode_news-web.jpg" alt="" /></p> <p>From left to right, Giovanni Adorni, Eugenio Omodeo, Gianfranco Rossi, Ugo Montanari, Stefania Costantini, Maurizio Martelli, and Agostino Dovier</p> <p> </p> <p><img src="http://cilc2015.dibris.unige.it/images/dieciLode3-web.jpg" alt="" /></p> <p>From left to right, Giovanni Adorni, Eugenio Omodeo, Gianfranco Rossi, Ugo Montanari, Stefania Costantini, Maurizio Martelli, and Agostino Dovier</p> <p> </p> <p><img src="http://cilc2015.dibris.unige.it/images/dieciLode5-web.jpg" alt="" /></p> <p>From left to right, Giovanni Adorni, Eugenio Omodeo, Gianfranco Rossi, and Ugo Montanari</p> <p> </p> <p><img src="http://cilc2015.dibris.unige.it/images/dieciLode2-web.jpg" alt="" /></p> <p>From left to right, Stefania Costantini, Giovanni Adorni, Gianfranco Rossi, Eugenio Omodeo, Ugo Montanari, and Maurizio Martelli</p> <ul> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=18&amp;catid=2&amp;Itemid=101">The school on Computational Logic (June 29th, June 30th, July 1st)</a></span></li> <li><span style="font-size: 12pt;">The conference</span></li> <ul> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=21&amp;catid=2&amp;Itemid=101">July 1st</a></span></li> <li><span style="font-size: 12pt;">July 2nd</span></li> <ul> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=23&amp;catid=2&amp;Itemid=101">Technical sessions</a></span></li> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=17&amp;catid=2&amp;Itemid=101">Georg Gottlob's invited talk</a></span></li> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=16&amp;catid=2&amp;Itemid=101">The "GULP 30 e lode!" session</a></span></li> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=22&amp;catid=2&amp;Itemid=101">Conference social dinner</a></span></li> </ul> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=20&amp;catid=2&amp;Itemid=101">July 3rd</a></span></li> </ul> <li><span style="font-size: 12pt;"><a href="http://cilc2015.dibris.unige.it/index.php?option=com_content&amp;view=article&amp;id=19&amp;catid=2&amp;Itemid=101">CILC on holidays!!!</a></span></li> </ul> <p> </p> <table> <tbody> <tr> <td><a title="AI*IA" href="http://www.aixia.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/aiialogo1.png" alt="" width="100" /></a></td> <td><a title="ALP" href="http://www.cs.nmsu.edu/ALP/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/ALP_logo_small.jpg" alt="" width="120" /></a></td> <td><a title="ARTIFICIAL INTELLIGENCE" href="http://aij.ijcai.org/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/ARTINT_Logo2_c_web_more.jpg" alt="" width="120" /></a></td> <td><a href="http://www.comune.genova.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/GenovaStemma.png" alt="" width="120" /></a></td> </tr> <tr> <td><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/Dibris2.jpg" alt="" width="140" /></td> <td><a title="INDAM GNCS" href="http://www.altamatematica.it/gncs/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/gncs.png" alt="" width="200" /></a></td> <td><a title="GULP" href="http://www.programmazionelogica.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/gulp-scimmia.png" alt="" width="100" /></a></td> <td><a href="http://www.unige.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/Logo_unige_08_intestato.jpeg" alt="" width="200" /></a></td> </tr> </tbody> </table> <p> </p> <p><strong><span style="font-size: 12pt;">Si ringrazia inoltre la <a href="http://www.ingegneria.unige.it/" rel="alternate">Scuola Politecnica dell'Università degli Studi di Genova</a>.</span></strong></p> <p><span style="font-size: 12pt;">L'evento è patrocinato dall'Università degli Studi di Genova.</span></p> <p> </p> <p> </p> <p><a href="http://www.visitgenoa.it/" rel="alternate"><img style="float: right;" src="http://cilc2015.dibris.unige.it/images/genova.jpg" alt="" width="300" /></a></p> <p> </p>

<h3>The "GULP 30 e lode!" session, July 2nd</h3> <p><img src="images/trentaelode_news-web.jpg" alt="" /></p> <p>From left to right, Giovanni Adorni, Eugenio Omodeo, Gianfranco Rossi, Ugo Montanari, Stefania Costantini, Maurizio Martelli, and Agostino Dovier</p> <p> </p> <p><img src="images/dieciLode3-web.jpg" alt="" /></p> <p>From left to right, Giovanni Adorni, Eugenio Omodeo, Gianfranco Rossi, Ugo Montanari, Stefania Costantini, Maurizio Martelli, and Agostino Dovier</p> <p> </p> <p><img src="images/dieciLode5-web.jpg" alt="" /></p> <p>From left to right, Giovanni Adorni, Eugenio Omodeo, Gianfranco Rossi, and Ugo Montanari</p> <p> </p> <p><img src="images/dieciLode2-web.jpg" alt="" /></p> <p>From left to right, Stefania Costantini, Giovanni Adorni, Gianfranco Rossi, Eugenio Omodeo, Ugo Montanari, and Maurizio Martelli</p> <ul> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=18&amp;catid=2&amp;Itemid=101">The school on Computational Logic (June 29th, June 30th, July 1st)</a></span></li> <li><span style="font-size: 12pt;">The conference</span></li> <ul> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=21&amp;catid=2&amp;Itemid=101">July 1st</a></span></li> <li><span style="font-size: 12pt;">July 2nd</span></li> <ul> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=23&amp;catid=2&amp;Itemid=101">Technical sessions</a></span></li> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=17&amp;catid=2&amp;Itemid=101">Georg Gottlob's invited talk</a></span></li> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=16&amp;catid=2&amp;Itemid=101">The "GULP 30 e lode!" session</a></span></li> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=22&amp;catid=2&amp;Itemid=101">Conference social dinner</a></span></li> </ul> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=20&amp;catid=2&amp;Itemid=101">July 3rd</a></span></li> </ul> <li><span style="font-size: 12pt;"><a href="index.php?option=com_content&amp;view=article&amp;id=19&amp;catid=2&amp;Itemid=101">CILC on holidays!!!</a></span></li> </ul> <p> </p> <table> <tbody> <tr> <td><a title="AI*IA" href="http://www.aixia.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="images/aiialogo1.png" alt="" width="100" /></a></td> <td><a title="ALP" href="http://www.cs.nmsu.edu/ALP/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="images/ALP_logo_small.jpg" alt="" width="120" /></a></td> <td><a title="ARTIFICIAL INTELLIGENCE" href="http://aij.ijcai.org/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="images/ARTINT_Logo2_c_web_more.jpg" alt="" width="120" /></a></td> <td><a href="http://www.comune.genova.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="images/GenovaStemma.png" alt="" width="120" /></a></td> </tr> <tr> <td><img style="display: block; margin-left: auto; margin-right: auto;" src="images/Dibris2.jpg" alt="" width="140" /></td> <td><a title="INDAM GNCS" href="http://www.altamatematica.it/gncs/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="images/gncs.png" alt="" width="200" /></a></td> <td><a title="GULP" href="http://www.programmazionelogica.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="images/gulp-scimmia.png" alt="" width="100" /></a></td> <td><a href="http://www.unige.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="images/Logo_unige_08_intestato.jpeg" alt="" width="200" /></a></td> </tr> </tbody> </table> <p> </p> <p><strong><span style="font-size: 12pt;">Si ringrazia inoltre la <a href="http://www.ingegneria.unige.it/" rel="alternate">Scuola Politecnica dell'Università degli Studi di Genova</a>.</span></strong></p> <p><span style="font-size: 12pt;">L'evento è patrocinato dall'Università degli Studi di Genova.</span></p> <p> </p> <p> </p> <p><a href="http://www.visitgenoa.it/" rel="alternate"><img style="float: right;" src="images/genova.jpg" alt="" width="300" /></a></p> <p> </p> 2015-02-12T03:57:53+00:00 2015-02-12T03:57:53+00:00 http://cilc2015.dibris.unige.it/index.php/sponsor Super User viviana.mascardi@unige.it

<p> </p> <table> <tbody> <tr> <td><a title="AI*IA" href="http://www.aixia.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/aiialogo1.png" alt="" width="100" /></a></td> <td><a title="ALP" href="http://www.cs.nmsu.edu/ALP/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/ALP_logo_small.jpg" alt="" width="120" /></a></td> <td><a title="ARTIFICIAL INTELLIGENCE" href="http://aij.ijcai.org/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/ARTINT_Logo2_c_web_more.jpg" alt="" width="120" /></a></td> <td><a href="http://www.comune.genova.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/GenovaStemma.png" alt="" width="120" /></a></td> </tr> <tr> <td><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/Dibris2.jpg" alt="" width="140" /></td> <td><a title="INDAM GNCS" href="http://www.altamatematica.it/gncs/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/gncs.png" alt="" width="200" /></a></td> <td><a title="GULP" href="http://www.programmazionelogica.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/gulp-scimmia.png" alt="" width="100" /></a></td> <td><a href="http://www.unige.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/Logo_unige_08_intestato.jpeg" alt="" width="200" /></a></td> </tr> </tbody> </table> <p> </p> <p><strong><span style="font-size: 12pt;">Si ringrazia inoltre la <a href="http://www.ingegneria.unige.it/" rel="alternate">Scuola Politecnica dell'Università degli Studi di Genova</a>.</span></strong></p> <p><span style="font-size: 12pt;">L'evento è patrocinato dall'Università degli Studi di Genova.</span></p> <p> </p> <p> </p> <p><a href="http://www.visitgenoa.it/" rel="alternate"><img style="float: right;" src="http://cilc2015.dibris.unige.it/images/genova.jpg" alt="" width="300" /></a></p> <p> </p>

<p> </p> <table> <tbody> <tr> <td><a title="AI*IA" href="http://www.aixia.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="images/aiialogo1.png" alt="" width="100" /></a></td> <td><a title="ALP" href="http://www.cs.nmsu.edu/ALP/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="images/ALP_logo_small.jpg" alt="" width="120" /></a></td> <td><a title="ARTIFICIAL INTELLIGENCE" href="http://aij.ijcai.org/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="images/ARTINT_Logo2_c_web_more.jpg" alt="" width="120" /></a></td> <td><a href="http://www.comune.genova.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="images/GenovaStemma.png" alt="" width="120" /></a></td> </tr> <tr> <td><img style="display: block; margin-left: auto; margin-right: auto;" src="images/Dibris2.jpg" alt="" width="140" /></td> <td><a title="INDAM GNCS" href="http://www.altamatematica.it/gncs/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="images/gncs.png" alt="" width="200" /></a></td> <td><a title="GULP" href="http://www.programmazionelogica.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="images/gulp-scimmia.png" alt="" width="100" /></a></td> <td><a href="http://www.unige.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="images/Logo_unige_08_intestato.jpeg" alt="" width="200" /></a></td> </tr> </tbody> </table> <p> </p> <p><strong><span style="font-size: 12pt;">Si ringrazia inoltre la <a href="http://www.ingegneria.unige.it/" rel="alternate">Scuola Politecnica dell'Università degli Studi di Genova</a>.</span></strong></p> <p><span style="font-size: 12pt;">L'evento è patrocinato dall'Università degli Studi di Genova.</span></p> <p> </p> <p> </p> <p><a href="http://www.visitgenoa.it/" rel="alternate"><img style="float: right;" src="images/genova.jpg" alt="" width="300" /></a></p> <p> </p> 2015-01-03T20:14:41+00:00 2015-01-03T20:14:41+00:00 http://cilc2015.dibris.unige.it/index.php/comitati-committees Super User viviana.mascardi@unige.it

<p><span style="font-size: 12pt; font-family: arial,helvetica,sans-serif;"><strong><img src="http://cilc2015.dibris.unige.it/images/portoAntico.jpg" alt="" width="900" height="308" /></strong></span></p> <p> </p> <p><span style="font-size: 12pt; font-family: arial,helvetica,sans-serif;"><strong>Comitato di programma (Program Committee)</strong></span></p> <p><span style="font-size: 12pt; font-family: arial,helvetica,sans-serif;"><a href="http://www.math.unipd.it/~baldan" rel="alternate">Paolo Baldan</a>, Università <span class="st">degli Studi</span> di Padova<br /><a href="http://www.di.unito.it/~baldoni/" rel="alternate">Matteo Baldoni</a>, Università <span class="st">degli Studi</span> di Torino<br /><a href="http://docente.unife.it/elena.bellodi/" rel="alternate">Elena Bellodi</a>, Università <span class="st">degli Studi</span> di Ferrara<br /><a href="http://www.dmi.unipg.it/~bista/" rel="alternate">Stefano Bistarelli</a>, Università <span class="st">degli Studi</span> di Perugia<br /><a href="http://www.unibo.it/docenti/davide.bresolin" rel="alternate">Davide Bresolin</a>, Università <span class="st">degli Studi</span> di Bologna<br /><a href="http://www.dmi.units.it/~casagran/" rel="alternate">Alberto Casagrande</a>, Università <span class="st">degli Studi</span> di Trieste<br /><a href="http://www.qatar.cmu.edu/~iliano" rel="alternate">Iliano Cervesato</a>, Carnegie Mellon University<br /><a href="http://www.unibo.it/docenti/federico.chesani" rel="alternate">Federico Chesani</a>, Università <span class="st">degli Studi</span> di Bologna<br /><a href="http://sisinflab.poliba.it/colucci/" rel="alternate">Simona Colucci</a>, Politecnico di Bari<br /><a href="http://www.dsi.unive.it/~cortesi/" rel="alternate">Agostino Cortesi</a>, Università Ca' Foscari di Venezia<br /><a href="http://www.di.univaq.it/stefcost" rel="alternate">Stefania Costantini</a>, Università <span class="st">degli Studi</span> di L'Aquila<br /><a href="http://www.sci.unich.it/~deangelis/" rel="alternate">Emanuele De Angelis</a>, Università <span class="st">degli Studi</span> di Chieti-Pescara<br /><a href="http://www.hud.ac.uk/ourstaff/profile/index.php?staffuid=scomwf" rel="alternate">Wolfgang Faber</a>, University of Huddersfield<br /><a href="http://www3.diism.unisi.it/~falaschi/" rel="alternate">Moreno Falaschi</a>, Università <span class="st">degli Studi</span> di Siena<br /><a href="http://lacam.di.uniba.it:8000/~ferilli/ufficiale/ferilli.html" rel="alternate">Stefano Ferilli</a>, Università <span class="st">degli Studi</span> di Bari<br /><a href="http://www.sci.unich.it/~fioravan/" rel="alternate">Fabio Fioravanti</a>, Università <span class="st">degli Studi</span> di Chieti-Pescara<br /><a href="http://homes.di.unimi.it/~fiorentini/" rel="alternate">Camillo Fiorentini</a>, Università degli Studi di Milano<br /><a href="http://www.dmi.unipg.it/formis" rel="alternate">Andrea Formisano</a>, Università <span class="st">degli Studi</span> di Perugia<br /><a href="https://shell.fbk.eu/people/profile/ghidini" rel="alternate">Chiara Ghidini</a>, Fondazione Bruno Kessler<br /><a href="http://www.mfn.unipmn.it/~laura/" rel="alternate">Laura Giordano</a>, Università <span class="st">degli Studi</span> del Piemonte Orientale<br /><a href="http://www.di.unito.it/~gliozzi" rel="alternate">Valentina Gliozzi</a>, Università <span class="st">degli Studi</span> di Torino<br /><a href="http://docente.unife.it/evelina.lamma-en" rel="alternate">Evelina Lamma</a>, Università <span class="st">degli Studi</span> di Ferrara<br /><a href="http://www.di.uniba.it/~lisi/" rel="alternate">Francesca Alessandra Lisi</a>, Università degli Studi di Bari Aldo Moro<br /><a href="http://profs.scienze.univr.it/~mastroen/" rel="alternate">Isabella Mastroeni</a>, Università <span class="st">degli Studi</span> di Verona<br /><a href="http://www.insight-centre.org/users/alessandra-mileo" rel="alternate">Alessandra Mileo</a>, National University of Ireland, Galway<br /><a href="http://www.inf.unibz.it/~montali/" rel="alternate">Marco Montali</a>, Free University of Bozen-Bolzano<br /><a href="http://www.inf.unibz.it/~mosca/" rel="alternate">Alessandro Mosca</a>, Free University of Bozen-Bolzano<br /><a href="http://www.dmi.unict.it/~nicolosi" rel="alternate">Marianna Nicolosi-Asmundo</a>, Università <span class="st">degli Studi</span> di Catania<br /><a href="http://www.lsis.org/olivetti/" rel="alternate">Nicola Olivetti</a>, Aix-Marseille University<br /><a href="http://www.dis.uniroma1.it/~patrizi" rel="alternate">Fabio Patrizi</a>, Università La Sapienza di Roma<br /><a href="http://www.dimi.uniud.it/piazza" rel="alternate">Carla Piazza</a>, Università <span class="st">degli Studi</span> di Udine<br /><a href="http://www.cs.nmsu.edu/~epontell" rel="alternate">Enrico Pontelli</a>, New Mexico State University<br /><a href="http://www.iasi.cnr.it/~proietti/" rel="alternate">Maurizio Proietti</a>, IASI-CNR di Roma<br /><a href="http://informatica.unime.it/provetti-alessandro/" rel="alternate">Alessandro Provetti</a>, Università <span class="st">degli Studi</span> di Messina<br /><a href="http://scipol.uniss.it/user/45" rel="alternate">Luca Pulina</a>, Università <span class="st">degli Studi</span> di Sassari<br /><a href="http://home.deib.polimi.it/quintare/" rel="alternate">Elisa Quintarelli</a>, Politecnico di Milano<br /><a href="http://www.mat.unical.it/ricca" rel="alternate">Francesco Ricca</a>, Università della Calabria<br /><a href="http://www.math.unipr.it/~gianfr" rel="alternate">Gianfranco Rossi</a>, Università <span class="st">degli Studi</span> di Parma<br /><a href="http://people.fisica.unina.it/~sauro/" rel="alternate">Luigi Sauro</a>, Università di Napoli Federico II<br /><a href="http://gaia.isti.cnr.it/~straccia" rel="alternate">Umberto Straccia</a>, ISTI-CNR di Pisa<br /><a href="http://users.dimi.uniud.it/~laura.titolo/Laura/Home_Page.html" rel="alternate">Laura Titolo</a>, University of Malaga<br /></span></p> <p> </p> <p><span style="font-size: 12pt; font-family: arial,helvetica,sans-serif;"><strong>Chair</strong></span></p> <p><span style="font-size: 12pt; font-family: arial,helvetica,sans-serif;"><a href="http://www.dibris.unige.it/ancona-davide" rel="alternate">Davide Ancona</a>, Università degli Studi di Genova</span><br /><span style="font-size: 12pt; font-family: arial,helvetica,sans-serif;"><a href="http://www.dibris.unige.it/maratea-marco" rel="alternate">Marco Maratea</a>, Università degli Studi di Genova</span><br /><span style="font-size: 12pt; font-family: arial,helvetica,sans-serif;"><a href="http://www.dibris.unige.it/mascardi-viviana" rel="alternate">Viviana Mascardi</a>, Università degli Studi di Genova</span></p> <p> </p> <p><span style="font-family: arial,helvetica,sans-serif; font-size: 12pt;"><strong>Organizzazione locale (Local organization)</strong></span></p> <p><span style="font-size: 12pt; font-family: arial,helvetica,sans-serif;"><a href="http://www.dibris.unige.it/ancona-davide" rel="alternate">Davide Ancona</a>, Università degli Studi di Genova<br /><a href="http://www.dibris.unige.it/maratea-marco" rel="alternate">Marco Maratea</a>, Università degli Studi di Genova<br /><a href="http://www.dibris.unige.it/mascardi-viviana" rel="alternate">Viviana Mascardi</a>, Università degli Studi di Genova</span></p> <p><span style="font-size: 12pt; font-family: arial,helvetica,sans-serif;">Un <span style="text-decoration: underline;">ringraziamento speciale</span> a Daniela Briola, Andrea Corradi e Angelo Ferrando, Università degli Studi di Genova, per il supporto all'organizzazione. <br />A <span style="text-decoration: underline;">special thank</span> to Daniela Briola, Andrea Corradi and Angelo Ferrando, Università degli Studi di Genova, for their support to the organization.</span></p> <p> </p> <table> <tbody> <tr> <td><a title="AI*IA" href="http://www.aixia.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/aiialogo1.png" alt="" width="100" /></a></td> <td><a title="ALP" href="http://www.cs.nmsu.edu/ALP/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/ALP_logo_small.jpg" alt="" width="120" /></a></td> <td><a title="ARTIFICIAL INTELLIGENCE" href="http://aij.ijcai.org/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/ARTINT_Logo2_c_web_more.jpg" alt="" width="120" /></a></td> <td><a href="http://www.comune.genova.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/GenovaStemma.png" alt="" width="120" /></a></td> </tr> <tr> <td><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/Dibris2.jpg" alt="" width="140" /></td> <td><a title="INDAM GNCS" href="http://www.altamatematica.it/gncs/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/gncs.png" alt="" width="200" /></a></td> <td><a title="GULP" href="http://www.programmazionelogica.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/gulp-scimmia.png" alt="" width="100" /></a></td> <td><a href="http://www.unige.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="http://cilc2015.dibris.unige.it/images/Logo_unige_08_intestato.jpeg" alt="" width="200" /></a></td> </tr> </tbody> </table> <p> </p> <p><strong><span style="font-size: 12pt;">Si ringrazia inoltre la <a href="http://www.ingegneria.unige.it/" rel="alternate">Scuola Politecnica dell'Università degli Studi di Genova</a>.</span></strong></p> <p><span style="font-size: 12pt;">L'evento è patrocinato dall'Università degli Studi di Genova.</span></p> <p> </p> <p> </p> <p><a href="http://www.visitgenoa.it/" rel="alternate"><img style="float: right;" src="http://cilc2015.dibris.unige.it/images/genova.jpg" alt="" width="300" /></a></p> <p> </p>

<p><span style="font-size: 12pt; font-family: arial,helvetica,sans-serif;"><strong><img src="images/portoAntico.jpg" alt="" width="900" height="308" /></strong></span></p> <p> </p> <p><span style="font-size: 12pt; font-family: arial,helvetica,sans-serif;"><strong>Comitato di programma (Program Committee)</strong></span></p> <p><span style="font-size: 12pt; font-family: arial,helvetica,sans-serif;"><a href="http://www.math.unipd.it/~baldan" rel="alternate">Paolo Baldan</a>, Università <span class="st">degli Studi</span> di Padova<br /><a href="http://www.di.unito.it/~baldoni/" rel="alternate">Matteo Baldoni</a>, Università <span class="st">degli Studi</span> di Torino<br /><a href="http://docente.unife.it/elena.bellodi/" rel="alternate">Elena Bellodi</a>, Università <span class="st">degli Studi</span> di Ferrara<br /><a href="http://www.dmi.unipg.it/~bista/" rel="alternate">Stefano Bistarelli</a>, Università <span class="st">degli Studi</span> di Perugia<br /><a href="http://www.unibo.it/docenti/davide.bresolin" rel="alternate">Davide Bresolin</a>, Università <span class="st">degli Studi</span> di Bologna<br /><a href="http://www.dmi.units.it/~casagran/" rel="alternate">Alberto Casagrande</a>, Università <span class="st">degli Studi</span> di Trieste<br /><a href="http://www.qatar.cmu.edu/~iliano" rel="alternate">Iliano Cervesato</a>, Carnegie Mellon University<br /><a href="http://www.unibo.it/docenti/federico.chesani" rel="alternate">Federico Chesani</a>, Università <span class="st">degli Studi</span> di Bologna<br /><a href="http://sisinflab.poliba.it/colucci/" rel="alternate">Simona Colucci</a>, Politecnico di Bari<br /><a href="http://www.dsi.unive.it/~cortesi/" rel="alternate">Agostino Cortesi</a>, Università Ca' Foscari di Venezia<br /><a href="http://www.di.univaq.it/stefcost" rel="alternate">Stefania Costantini</a>, Università <span class="st">degli Studi</span> di L'Aquila<br /><a href="http://www.sci.unich.it/~deangelis/" rel="alternate">Emanuele De Angelis</a>, Università <span class="st">degli Studi</span> di Chieti-Pescara<br /><a href="http://www.hud.ac.uk/ourstaff/profile/index.php?staffuid=scomwf" rel="alternate">Wolfgang Faber</a>, University of Huddersfield<br /><a href="http://www3.diism.unisi.it/~falaschi/" rel="alternate">Moreno Falaschi</a>, Università <span class="st">degli Studi</span> di Siena<br /><a href="http://lacam.di.uniba.it:8000/~ferilli/ufficiale/ferilli.html" rel="alternate">Stefano Ferilli</a>, Università <span class="st">degli Studi</span> di Bari<br /><a href="http://www.sci.unich.it/~fioravan/" rel="alternate">Fabio Fioravanti</a>, Università <span class="st">degli Studi</span> di Chieti-Pescara<br /><a href="http://homes.di.unimi.it/~fiorentini/" rel="alternate">Camillo Fiorentini</a>, Università degli Studi di Milano<br /><a href="http://www.dmi.unipg.it/formis" rel="alternate">Andrea Formisano</a>, Università <span class="st">degli Studi</span> di Perugia<br /><a href="https://shell.fbk.eu/people/profile/ghidini" rel="alternate">Chiara Ghidini</a>, Fondazione Bruno Kessler<br /><a href="http://www.mfn.unipmn.it/~laura/" rel="alternate">Laura Giordano</a>, Università <span class="st">degli Studi</span> del Piemonte Orientale<br /><a href="http://www.di.unito.it/~gliozzi" rel="alternate">Valentina Gliozzi</a>, Università <span class="st">degli Studi</span> di Torino<br /><a href="http://docente.unife.it/evelina.lamma-en" rel="alternate">Evelina Lamma</a>, Università <span class="st">degli Studi</span> di Ferrara<br /><a href="http://www.di.uniba.it/~lisi/" rel="alternate">Francesca Alessandra Lisi</a>, Università degli Studi di Bari Aldo Moro<br /><a href="http://profs.scienze.univr.it/~mastroen/" rel="alternate">Isabella Mastroeni</a>, Università <span class="st">degli Studi</span> di Verona<br /><a href="http://www.insight-centre.org/users/alessandra-mileo" rel="alternate">Alessandra Mileo</a>, National University of Ireland, Galway<br /><a href="http://www.inf.unibz.it/~montali/" rel="alternate">Marco Montali</a>, Free University of Bozen-Bolzano<br /><a href="http://www.inf.unibz.it/~mosca/" rel="alternate">Alessandro Mosca</a>, Free University of Bozen-Bolzano<br /><a href="http://www.dmi.unict.it/~nicolosi" rel="alternate">Marianna Nicolosi-Asmundo</a>, Università <span class="st">degli Studi</span> di Catania<br /><a href="http://www.lsis.org/olivetti/" rel="alternate">Nicola Olivetti</a>, Aix-Marseille University<br /><a href="http://www.dis.uniroma1.it/~patrizi" rel="alternate">Fabio Patrizi</a>, Università La Sapienza di Roma<br /><a href="http://www.dimi.uniud.it/piazza" rel="alternate">Carla Piazza</a>, Università <span class="st">degli Studi</span> di Udine<br /><a href="http://www.cs.nmsu.edu/~epontell" rel="alternate">Enrico Pontelli</a>, New Mexico State University<br /><a href="http://www.iasi.cnr.it/~proietti/" rel="alternate">Maurizio Proietti</a>, IASI-CNR di Roma<br /><a href="http://informatica.unime.it/provetti-alessandro/" rel="alternate">Alessandro Provetti</a>, Università <span class="st">degli Studi</span> di Messina<br /><a href="http://scipol.uniss.it/user/45" rel="alternate">Luca Pulina</a>, Università <span class="st">degli Studi</span> di Sassari<br /><a href="http://home.deib.polimi.it/quintare/" rel="alternate">Elisa Quintarelli</a>, Politecnico di Milano<br /><a href="http://www.mat.unical.it/ricca" rel="alternate">Francesco Ricca</a>, Università della Calabria<br /><a href="http://www.math.unipr.it/~gianfr" rel="alternate">Gianfranco Rossi</a>, Università <span class="st">degli Studi</span> di Parma<br /><a href="http://people.fisica.unina.it/~sauro/" rel="alternate">Luigi Sauro</a>, Università di Napoli Federico II<br /><a href="http://gaia.isti.cnr.it/~straccia" rel="alternate">Umberto Straccia</a>, ISTI-CNR di Pisa<br /><a href="http://users.dimi.uniud.it/~laura.titolo/Laura/Home_Page.html" rel="alternate">Laura Titolo</a>, University of Malaga<br /></span></p> <p> </p> <p><span style="font-size: 12pt; font-family: arial,helvetica,sans-serif;"><strong>Chair</strong></span></p> <p><span style="font-size: 12pt; font-family: arial,helvetica,sans-serif;"><a href="http://www.dibris.unige.it/ancona-davide" rel="alternate">Davide Ancona</a>, Università degli Studi di Genova</span><br /><span style="font-size: 12pt; font-family: arial,helvetica,sans-serif;"><a href="http://www.dibris.unige.it/maratea-marco" rel="alternate">Marco Maratea</a>, Università degli Studi di Genova</span><br /><span style="font-size: 12pt; font-family: arial,helvetica,sans-serif;"><a href="http://www.dibris.unige.it/mascardi-viviana" rel="alternate">Viviana Mascardi</a>, Università degli Studi di Genova</span></p> <p> </p> <p><span style="font-family: arial,helvetica,sans-serif; font-size: 12pt;"><strong>Organizzazione locale (Local organization)</strong></span></p> <p><span style="font-size: 12pt; font-family: arial,helvetica,sans-serif;"><a href="http://www.dibris.unige.it/ancona-davide" rel="alternate">Davide Ancona</a>, Università degli Studi di Genova<br /><a href="http://www.dibris.unige.it/maratea-marco" rel="alternate">Marco Maratea</a>, Università degli Studi di Genova<br /><a href="http://www.dibris.unige.it/mascardi-viviana" rel="alternate">Viviana Mascardi</a>, Università degli Studi di Genova</span></p> <p><span style="font-size: 12pt; font-family: arial,helvetica,sans-serif;">Un <span style="text-decoration: underline;">ringraziamento speciale</span> a Daniela Briola, Andrea Corradi e Angelo Ferrando, Università degli Studi di Genova, per il supporto all'organizzazione. <br />A <span style="text-decoration: underline;">special thank</span> to Daniela Briola, Andrea Corradi and Angelo Ferrando, Università degli Studi di Genova, for their support to the organization.</span></p> <p> </p> <table> <tbody> <tr> <td><a title="AI*IA" href="http://www.aixia.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="images/aiialogo1.png" alt="" width="100" /></a></td> <td><a title="ALP" href="http://www.cs.nmsu.edu/ALP/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="images/ALP_logo_small.jpg" alt="" width="120" /></a></td> <td><a title="ARTIFICIAL INTELLIGENCE" href="http://aij.ijcai.org/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="images/ARTINT_Logo2_c_web_more.jpg" alt="" width="120" /></a></td> <td><a href="http://www.comune.genova.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="images/GenovaStemma.png" alt="" width="120" /></a></td> </tr> <tr> <td><img style="display: block; margin-left: auto; margin-right: auto;" src="images/Dibris2.jpg" alt="" width="140" /></td> <td><a title="INDAM GNCS" href="http://www.altamatematica.it/gncs/" rel="alternate"> <img style="display: block; margin-left: auto; margin-right: auto;" src="images/gncs.png" alt="" width="200" /></a></td> <td><a title="GULP" href="http://www.programmazionelogica.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="images/gulp-scimmia.png" alt="" width="100" /></a></td> <td><a href="http://www.unige.it/" rel="alternate"><img style="display: block; margin-left: auto; margin-right: auto;" src="images/Logo_unige_08_intestato.jpeg" alt="" width="200" /></a></td> </tr> </tbody> </table> <p> </p> <p><strong><span style="font-size: 12pt;">Si ringrazia inoltre la <a href="http://www.ingegneria.unige.it/" rel="alternate">Scuola Politecnica dell'Università degli Studi di Genova</a>.</span></strong></p> <p><span style="font-size: 12pt;">L'evento è patrocinato dall'Università degli Studi di Genova.</span></p> <p> </p> <p> </p> <p><a href="http://www.visitgenoa.it/" rel="alternate"><img style="float: right;" src="images/genova.jpg" alt="" width="300" /></a></p> <p> </p>