GULP
Gruppo Ricercatori e Utenti Logic Programming

Italian Association for Logic Programming
affiliated to Association for Logic Programming (ALP)
 About GULP
GULP is the Italian Association for Logic Programming. It is a non-profit organization. The constituent assembly of GULP was held in Pisa on June 18th, 1985.
Among the activity of GULP are the organisation of the Italian Convention on Computational Logic (CILC), and of summer schools.
GULP is affiliated to ALP. ALP manages European members by means of local organizations (whenever they exist). Thus to become members of ALP you can subscribe to GULP and you will become a member of both.
IN ITALIAN

Il GULP č l'Associazione italiana di Programmazione Logica: un'associazione senza fini di lucro, costituita il 18 Giugno 1985 a Pisa.
Il GULP svolge la sua attivitā solo a favore dei propri soci, organizzando una conferenza annuale e scuole estive per studenti, dottorandi e ricercatori pių esperti.
Il GULP č associato all'ALP. L'ALP gestisce i soci europei tramite le associazioni nazionali dove queste esistano, quindi per iscriversi all'ALP si puō farlo tramite l'iscrizione al GULP.
Quando il bilancio del GULP lo permette vengono anche istituite Borse di Studio, normalmente per permettere a giovani laureandi o dottorandi di partecipare al convegno annuale.
 Members News
ICLP 2013 29th International Conference on Logic Programming to be held in Istanbul, Turkey, on August 24-29, 2013. Abstract registration deadline April 3, 2013
CILC 2013 The XXVIII annual GULP meeting will take place at the University of Catania, Department of Mathematics and Informatics, on September 25th-27th, 2013, together with the X Italian Convention on Computational Logic (CILC).
Elezioni 2012
As of 19/12/2012, GULP has a new president, vice, secretary, and executive board. They will stay in charge for three years, until 18/12/2015.
Premi Tesi 2011
GULP 2010-2011 Distinguished Dissertation Awards obtained by Annamaria Bria, Dario Della Monica, and Jacopo Mauro.
GULP Book receives 6223+ download requests in 2010/2011 News from the publisher: A 25-Year Perspective on Logic Programming. Achievements of the Italian Association for Logic Programming, GULP, edited by A. Dovier ed E. Pontelli (LNCS 6125, Springer 2010) received 6223+ chapter download requests (2307 in 2010, 3916 in 2011, and counting...)
ICLP Doctoral Consortium Last days to apply to the ICLP 2012 Doctoral Consortium.
Free passes to KR 2012 tutorials (limited) 10 CILC 2012 registered attendees will benefit from free passes to KR 2012 tutorials. Register to CILC 2012 here.
CILC 2011 Proceedings The CILC 2011 Proceedings are now published as CEUR Vol. 810 (free access)
ICLP 2012 28th International Conference on Logic Programming to be held in Budapest, Hungary, on September 4-8, 2012. Abstract registration deadline March 11, 2012
CILC 2012 The XXVII annual GULP meeting will take place at the Dipartimento di Sistemi ed Informatica (DIS) of Universitā di Roma "La Sapienza" from June 6th to June 7th, 2012, together with the IX Italian Convention on Computational Logic (CILC).
Bank coordinates GULP's IBAN has changed, as of June 20, 2011. All payments should be addressed to IT48D0200802457000010572378
ALP Newsletter The ALP Newsletter recently moved to a content management system that will enable faster deployment, continuous introduction of news items, and active participation of the community (e.g., through discussion boards). Contributions are encouraged from all members of LP communities. If you wish to contribute, please contact the area editors.
Publications after GULP PhD Award The winning dissertations of the "Marco Cadoli" GULP 2007-2009 Distinguished Dissertation Award are now published by Springer (Montali) and by IOS Press (Pozzato).
GULP Book: 25 Years of LP in Italy A 25-Year Perspective on Logic Programming. Achievements of the Italian Association for Logic Programming, GULP. Edited by A. Dovier ed E. Pontelli. Published by Spriger as LNCS State-of-the-Art Survey. It will be available at CILC 2010. (cover) (contents) (electronic edition)
ISCL 2011 GULP supports the Third International Spring School on Computational Logic (Bertinoro, Italy, April 10-15, 2011). Send your manifestation of interest by November 30, 2010. Scholarships available.
Presentazione del GULP a ICLP 2008 Presentazione dell'associazione al meeting dell'ALP, nell'ambito di ICLP 2008 a Udine (lucidi in ppt).
 Mailing Lists
  • A GULP members mailing list is now being populated. The name of the list is gulp-all. It is a yahoo group and it is a non moderated list, with subscription subject to approval. Which means, if you wish to send/receive messages, you should join in, and in order to join in you should request membership. To do so, go to the gulp-all home page on yahoo groups.
IN ITALIAN
  • La mailing list del GULP č su yahoo groups. Per ricevere/inviare messaggi č necessario iscriversi. L'iscrizione č soggetta ad approvazione del moderatore. Per iscriversi bisogna accedere al sito web della mailing list su yahoo groups. Il nome della mailing list č gulp-all.
Events
XXVII. IX CILC (2012), Roma La Sapienza (Italy)  
XXVI. VIII CILC (2011), Pescara (Italy)  
XXV. VII CILC (2010), Rende (Italy)  
XXIV. VI CILC (2009), Ferrara (Italy)  
XXIII. V CILC (2008), Perugia (Italy)  
XXII. IV CILC (2007), Messina (Italy)  
XXI. III CILC (2006), Bari (Italy)  
XX. II CILC (2005), Rome (Italy)  
XIX. I CILC (2004), Parma (Italy)  
GULP Workshop 2003 , Venice (Italy)  
XVIII. X APPIA-GULP-PRODE (2003), Reggio Calabria (Italy)  
GULP Workshop 2002, Bologna (Italy)  
XVII. IX APPIA-GULP-PRODE (2002), Madrid (Spain)  
XVI. VIII APPIA-GULP-PRODE (2001), Évora (Portugal)  
XV. VII APPIA-GULP-PRODE (2000), La Habana (Cuba)  
XIV. VI APPIA-GULP-PRODE (1999), L'Aquila (Italy)  
XIII. V APPIA-GULP-PRODE (1998), La Coruņa (Spain)  
XII. IV APPIA-GULP-PRODE (1997) [OPAC], Grado (Italy)  
XI. III APPIA-GULP-PRODE (1996), San Sebastian (Spain)  
X. II GULP-PRODE (1995) [OPAC], Vietri (Italy)  
IX. I GULP-PRODE (1994) I II, Peņiscola (Spain)  
VIII. GULP (1993), Gizzeria (Italy)  
VII. GULP (1992) [OPAC], Tremezzo (Italy)  
VI. GULP (1991), Pisa (Italy)  
V. GULP (1990) [OPAC], Padova (Italy)  
IV. GULP (1989) [OPAC], Bologna (Italy)  
III. GULP (1988) [OPAC], Rome (Italy)  
II. GULP (1987) [OPAC], Torino (Italy)  
I. GULP (1986), Genova (Italy)  

The first GULP annual meeting took place in Genoa in 1986.

In 1994 and 1995, the meeting was organized together with our Spanish colleagues (GULP-PRODE). From 1996 to 2003, the meeting also included our Portuguese colleagues and was called AGP (APPIA-GULP-PRODE).

Since 2004, GULP organizes the Italian Convention on Computational Logic (CILC).

IN ITALIAN

Il primo incontro annuale del GULP ebbe luogo nel 1986, a Genova. A partire dal 1994 la conferenza annuale č stata denominata GULP-PRODE ed č stata organizzata in collaborazione con i colleghi spagnoli. Dal l'edizione 1996 il convegno č stato organizzato assieme ai colleghi portoghesi ed il convegno annuale ha cosė assunto il nome APPIA-GULP-PRODE (AGP, Joint Conference on Declarative Programming).

Dal 2003, il GULP organizza il Convegno Italiano di Logica Computazionale (CILC).
 Summer Schools
Int'l Spring School 2011 Third International Spring School on Computational Logic ISCL 2011 (org: Paolo Torroni and Maurizio Gabbrielli)
Int'l Summer School 2002 Second International Summer School in Computational Logic ISCL 2002 (org: Roberto Bagnara and Patricia Hill)
Int'l Summer School 2000 First International Summer School in Computational Logic ISCL 2000 (org: Sandro Etalle and Maurizio Gabbrielli) [BNVKI newsletter 17 (6), Dec. 2000, p. 14]
Int'l Summer School 1998 International Summer School on Logic Programming Perspectives in Hot Research Areas (org: Patrizia Asirelli and Piero Bonatti)
Int'l Summer School 1996 International Summer School on Advances in Logic Programming (org: Nicoletta Cocco and Gianfranco Rossi)
Int'l Summer School 1990 Advanced School on Foundations of Logic Programming (org: Paolo Mancarella and Giuseppe Sardu)
Int'l Summer School 1988 Advanced School on Foundations of Logic Programming (org: Maurizio Martelli and Roberto Barbuti)
 Become a member/renew your membership

You can become member or renew your membership by paying the annual fee.
In the subscription form you can find fees and subscription information.
IN ITALIAN

La fonte primaria di sostentamento della nostra associazione č la quota ordinaria che i soci versano annualmente al momento della loro iscrizione. Tale quota include l'iscrizione alla Associazione Internazionale di Logic Programming (ALP).
La quota associativa ha durata annuale, normalmente da Giugno a Giugno (tipicamente, il mese di organizzazione del convegno). Le iscrizioni fatte nell'anno solare hanno come scadenza il giugno dell'anno successivo.
Nella scheda di iscrizione sono riportate anche le quote e le modalitā di iscrizione (o rinnovo).

 Bank Transfers to GULP

You can wire your donations to GULP using the following bank account number and the justification "Contributo straordinario". Before wiring any money, please contact the GULP secretariat.
IBAN IT46S0501802400000000159594 [NOTE: CHANGED ONCE AGAIN AS OF MAY 2013 - THE PREVIOUS BANK ACCOUNT WILL BE CLOSED SOON]
Holder GRUPPO RICERCATORI ED UTENTI DI LOGIC PROGRAMMING - GULP
Account 159594
Bank Banca Popolare Etica
Address Viale Masini 4,2C
ABI 05018
CAB 02400
CIN S

 Members

Here you can find the list of the(current and previous) members

 Committees
 Statute and Other info