Presentation is loading. Please wait.

Presentation is loading. Please wait.

:- gulp! History and Organization GULP is the Italian Association for Logic Programming (Gruppo Utenti e ricercatori di.

Published byBrooke Gomez Modified over 10 years ago

Similar presentations

Presentation on theme: ":- gulp! History and Organization GULP is the Italian Association for Logic Programming (Gruppo Utenti e ricercatori di."— Presentation transcript:

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

2 History and Organization GULP is the Italian Association for Logic Programming (Gruppo Utenti e ricercatori di Logic Programming) 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/

3 GULP Executive Board President: Gianfranco Rossi Vice: Alberto Pettorossi Secretary: Paolo Torroni Members: Stefania Costantini Giorgio Delzanno Agostino Dovier Andrea Formisano Marco Gavanelli Laura Giordano Nicola Leone Enrico Pontelli Francesca Rossi Giovanni Semeraro President: Gianfranco Rossi Vice: Alberto Pettorossi Secretary: Paolo Torroni Members: Stefania Costantini Giorgio Delzanno Agostino Dovier Andrea Formisano Marco Gavanelli Laura Giordano Nicola Leone Enrico Pontelli Francesca Rossi Giovanni Semeraro Past Presidents Current Executive Board Giorgio Levi Roberto Barbuti Maurizio Martelli Maurizio Gabbrielli Giorgio Levi Roberto Barbuti Maurizio Martelli Maurizio Gabbrielli http://lia.deis.unibo.it/gulp/

4 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/

5 Past Conferences I. 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) I. 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) 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/

6 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) 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 presentations 30-70 participants Average figures: 20-40 presentations 30-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 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/

7 Doctoral Schools 1988 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) 1988 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/

8 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 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/

9 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 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/

10 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) 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/

Download ppt ":- gulp! History and Organization GULP is the Italian Association for Logic Programming (Gruppo Utenti e ricercatori di."

Similar presentations

EUROPEAN FOOT AND ANKLE SOCIETY

EUROPEAN FOOT AND ANKLE SOCIETY
XXIII International FIG Congress & German INTER GEO 8 - 13 October 2006. Munich, Germany.

XXIII International FIG Congress & German INTER GEO October Munich, Germany.
TAX CREDIT AND TAX SHELTER UNDER ITALIAN LAW MARIO LA TORRE (La Sapienza University of Rome) GIAN MARCO COMMITTERI (High School of Economics and Finance)

TAX CREDIT AND TAX SHELTER UNDER ITALIAN LAW MARIO LA TORRE (La Sapienza University of Rome) GIAN MARCO COMMITTERI (High School of Economics and Finance)
World LP Gas Forum 2009 Brazil Launch 17th December 2008 São Paulo.

World LP Gas Forum 2009 Brazil Launch 17th December 2008 São Paulo.
UEMS Advisory Council on Continuing Medical Education Brussels, 1st December 2012.

UEMS Advisory Council on Continuing Medical Education Brussels, 1st December 2012.
The 2009 IEEE Educational Activities Board Introduction Teófilo Ramos Vice President Educational Activities 14 February 2009 San Juan, Puerto Rico.

The 2009 IEEE Educational Activities Board Introduction Teófilo Ramos Vice President Educational Activities 14 February 2009 San Juan, Puerto Rico.
1 -The Second in a Special Series- A Brief History of National and Community Service Originally Developed by: Fred Sanguiliano, Executive Director, Florida.

1 -The Second in a Special Series- A Brief History of National and Community Service Originally Developed by: Fred Sanguiliano, Executive Director, Florida.
The Way of KNSO MicroData Provision KNSO Ji Eun Lee.

The Way of KNSO MicroData Provision KNSO Ji Eun Lee.
ACCESS TO GENETIC RESOURCES AND BENEFIT-SHARING UNDER THE CONVENTION ON BIOLOGICAL DIVERSITY RECENT DEVELOPMENTS ON ACCESS TO GENETIC RESOURCES AND BENEFIT-SHARING.

ACCESS TO GENETIC RESOURCES AND BENEFIT-SHARING UNDER THE CONVENTION ON BIOLOGICAL DIVERSITY RECENT DEVELOPMENTS ON ACCESS TO GENETIC RESOURCES AND BENEFIT-SHARING.
TABLE OF CONTENTS CHAPTER 1.0: Trends in the Overall Health Care Market Chart 1.1: Total National Health Expenditures, 1980 – 2005 Chart 1.2: Percent Change.

TABLE OF CONTENTS CHAPTER 1.0: Trends in the Overall Health Care Market Chart 1.1: Total National Health Expenditures, 1980 – 2005 Chart 1.2: Percent Change.
TABLE OF CONTENTS CHAPTER 5.0: Workforce

TABLE OF CONTENTS CHAPTER 5.0: Workforce
TABLE OF CONTENTS CHAPTER 5.0: Workforce Chart 5.1: Total Number of Active Physicians per 1,000 Persons, 1980 – 2008 Chart 5.2: Total Number of Active.

TABLE OF CONTENTS CHAPTER 5.0: Workforce Chart 5.1: Total Number of Active Physicians per 1,000 Persons, 1980 – 2008 Chart 5.2: Total Number of Active.
TABLE OF CONTENTS CHAPTER 5.0: Workforce Chart 5.1: Total Number of Active Physicians per 1,000 Persons, 1980 – 2004 Chart 5.2: Total Number of Active.

TABLE OF CONTENTS CHAPTER 5.0: Workforce Chart 5.1: Total Number of Active Physicians per 1,000 Persons, 1980 – 2004 Chart 5.2: Total Number of Active.
The big picture A tough decade has come to an end and there now is an opportunity to strengthen the quality of education.

The big picture A tough decade has come to an end and there now is an opportunity to strengthen the quality of education.
States and U.S. territories submitting data to the NTDB. Percentages are based on the number of centers submitting data in each state, divided by the number.

States and U.S. territories submitting data to the NTDB. Percentages are based on the number of centers submitting data in each state, divided by the number.
ACCESS TO GENETIC RESOURCES AND BENEFIT-SHARING UNDER THE CONVENTION ON BIOLOGICAL DIVERSITY by Valérie Normand Secretariat of the Convention on Biological.

ACCESS TO GENETIC RESOURCES AND BENEFIT-SHARING UNDER THE CONVENTION ON BIOLOGICAL DIVERSITY by Valérie Normand Secretariat of the Convention on Biological.
Toulouse, May 2011, Slide 1 20 x 20. Toulouse, May 2011, Slide 2 20 x 20.

Toulouse, May 2011, Slide 1 20 x 20. Toulouse, May 2011, Slide 2 20 x 20.
1 National Center for the Training of Bank Personnel of Ukraine.

1 National Center for the Training of Bank Personnel of Ukraine.
Destination Europe Testimonial : « An American in Paris » San Francisco, 6-7 December 2012 CHOICE : geographical mobility as a (belated, and successful.

Destination Europe Testimonial : « An American in Paris » San Francisco, 6-7 December 2012 CHOICE : geographical mobility as a (belated, and successful.
Presenter Name(s) 1990 1991 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 Issue date National Student.

Presenter Name(s) Issue date National Student.

Similar presentations

Ads by Google