---

[ARA](http://ara.di.uniba.it) research group • [Dipartimento di Informatica](http://www.di.uniba.it)
& [CILA](https://www.uniba.it/ricerca/dipartimenti/informatica/ricerca/cila-1/cila): Centro Interdipartimentale di Ricerca su "Logica e Applicazioni"
[Università degli studi di Bari "Aldo Moro"](http://www.uniba.it)
[Via E. Orabona 4, 70125 Bari](http://maps.google.com/maps?f=d&source=s_d&saddr=Via+Giuseppe+Capruzzi&daddr=Strada+sconosciuta&geocode=FXBlcwIdQmsBAQ%3BFVJHcwId2pYBAQ&hl=it&mra=pr&dirflg=w&sll=41.109595,16.880901&sspn=0.002837,0.006003&ie=UTF8&ll=41.112335,16.87579&spn=0.011349,0.024011&t=h&z=16) + [Homepage @ UniBA](http://www.uniba.it/docenti/fanizzi-nicola) 🇮🇹 + [Homepage @ LACAM](http://lacam.di.uniba.it/people/nicola.html) 🇬🇧 + [Homepage](http://lacam.di.uniba.it/~nico/) 🇮🇹 - ☎: +39 080 5442246 - 📠: +39 080 5442031 - 📧: [nicola.fanizziⓐuniba.it](mailto:nicola.fanizziⓐuniba.it)

---