:- gulp!

10
:- gulp http://lia.deis.unibo.it/gul

Upload: zudora

Post on 25-Feb-2016

17 views

Category:

Documents


0 download

DESCRIPTION

:- gulp!. http://lia.deis.unibo.it/gulp/. History and Organization. GULP is the Italian Association for Logic Programming ( G ruppo U tenti e ricercatori di L ogic P rogramming). It is a non-profit organization founded in 1985 in Pisa. GULP is affiliated to ALP. - PowerPoint PPT Presentation

TRANSCRIPT

Page 1: :-  gulp!

:- gulp!http://lia.deis.unibo.it/gulp/

Page 2: :-  gulp!

History and Organization

GULP is the Italian Association for Logic Programming(Gruppo Utenti e ricercatori di Logic Programming)

It is a non-profit organization founded in 1985 in Pisa

GULP is affiliated to ALP

The activities of GULP are coordinated by an elected Executive Board, composed by a President, a Vice-President, a Secretary and up to ten Members. The EB is in charge for three years

http://lia.deis.unibo.it/gulp/

Page 3: :-  gulp!

GULP Executive Board

President: Gianfranco RossiVice: Alberto PettorossiSecretary: Paolo TorroniMembers:

Stefania CostantiniGiorgio Delzanno Agostino DovierAndrea Formisano Marco Gavanelli Laura GiordanoNicola LeoneEnrico Pontelli Francesca RossiGiovanni Semeraro

Past PresidentsCurrent Executive Board

Giorgio LeviRoberto BarbutiMaurizio MartelliMaurizio Gabbrielli

http://lia.deis.unibo.it/gulp/

Page 4: :-  gulp!

Major activities

Italian Conference on Computational Logic (CILC)

Best Italian PhD Dissertation Award in Computational Logic

One-day Workshops (with tutorials)

Doctoral Schools

http://lia.deis.unibo.it/gulp/

Page 5: :-  gulp!

Past ConferencesI. GULP (1986), Genova (Italy) II. GULP (1987), Torino (Italy) III. GULP (1988), Rome (Italy)IV. GULP (1989), Bologna (Italy)V. GULP (1990), Padova (Italy)VI. GULP (1991), Pisa (Italy)VII. GULP (1992), Tremezzo (Italy)VIII. GULP (1993), Gizzeria (Italy)

IX. I GULP-PRODE (1994), Peñiscola (Spain) X. II GULP-PRODE (1995), Vietri (Italy)XI. III APPIA-GULP-PRODE (1996), San Sebastian (Spain)XII. IV APPIA-GULP-PRODE (1997), Grado (Italy)XIII. V APPIA-GULP-PRODE (1998), La Coruña (Spain)XIV. VI APPIA-GULP-PRODE (1999), L'Aquila (Italy)XV. VII APPIA-GULP-PRODE (2000), La Habana (Cuba)XVI. VIII APPIA-GULP-PRODE (2001), Évora (Portugal)XVII. IX APPIA-GULP-PRODE (2002), Madrid (Spain)XVIII. X APPIA-GULP-PRODE (2003), Rende (Italy)

AGP, Joint Conference on Declarative Programming

http://lia.deis.unibo.it/gulp/

Page 6: :-  gulp!

Past Conferences – cont'd

XIX. I CILC (2004), Parma (Italy) XX. II CILC (2005), Rome (Italy) XXI. III CILC (2006), Bari (Italy)XXII. IV CILC (2007), Messina (Italy)XXIII. V CILC (2008), Perugia (Italy)XXIV. V CILC (2009), Ferrara (Italy)

Average figures:20-40 presentations30-70 participants

Last edition: CILC08 in Perugia: 2-and-a-half-day event 3 invited speakers (Faber, Piazza, Pontelli) 45 participants 22 long presentations 6 short presentations

http://lia.deis.unibo.it/gulp/

Page 7: :-  gulp!

Doctoral Schools1988 Advanced School on Foundations of Logic Programming (Alghero,

Sardinia, org: Maurizio Martelli)

1990 Advanced School on Foundations of Logic Programming. (Alghero, Sardinia)

1996 Int'l Summer School on Advances in Logic Programming (Alghero, Sardinia, org: Nicoletta Cocco & Gianfranco Rossi)

1998 Int'l Summer School on Logic Programming Perspectives in Hot Research Areas (Maratea, Basilicata, org: Patrizia Asirelli & Piero Bonatti)

2000 First Int'l Summer School in Computational Logic ISCL 2000 (Maratea, Basilicata, org: Sandro Etalle & Maurizio Gabbrielli)

2002 Second Int'l Summer School in Computational Logic ISCL 2002 (Maratea, Basilicata, org: Roberto Bagnara & Patricia Hill)

http://lia.deis.unibo.it/gulp/

Page 8: :-  gulp!

GULP Members

GULP currently has about 60 members

Membership annual fees: 40 euro - 10 euro students

Members can: vote for the election of the GULP EB attend events organized by GULP, like conferences, workshops, ... receive GULP news and use the GULP mailing list participate to GULP best PhD thesis award

All GULP members are affiliated to ALP

Spread over the whole country and abroad

http://lia.deis.unibo.it/gulp/

Page 9: :-  gulp!

RESEARCH GULP: ca. 30

universities and research centers

TEACHING 20 universities 13 regions 50 courses 1500 students 30,000 student-hour Main areas: IA,

KR&R, Languages, TCS, Logics

LP in Italy

http://lia.deis.unibo.it/gulp/

Page 10: :-  gulp!

Forthcoming activities CILC 2009 in Ferrara

Organized by Marco Gavanelli & Fabrizio Riguzzi CILC 2010 in Rende

Organized by Nicola Leone Book: 25 years of LP in Italy

Edited by Agostino Dovier & Enrico Pontelli GULP 2008 Best PhD Dissertation Award

2006 edition: 2 awards (600 euro each) International committee (26 researchers from Italy, Belgium, Portugal,

UK, Sweden, France, Austria, Switzerland, US, Japan) 2008 edition: open call (candidates & reviewers)

http://lia.deis.unibo.it/gulp/