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

Slides:



Advertisements
Similar presentations
XXIII International FIG Congress & German INTER GEO October Munich, Germany.
Advertisements

Ethical Hacking Introduction. EC-Council Introductions Name Company Affiliation Title / Function Job Responsibility System security related experience.
:- gulp! History and Organization GULP is the Italian Association for Logic Programming (Gruppo Utenti e ricercatori di.
UEMS Advisory Council on Continuing Medical Education Brussels, 1st December 2012.
Neofunctionalism Ernst Haas. Assumptions (i) Regional basis (ii) Central institutions crucial (iii) Advanced industrial societies (iv) International/domestic.
Neofunctionalism Ernst Haas Initial critical encounter Schmitter & Lindberg Obsolescent?
Hamlet /Media Outline. I. Thesis Statement: (Director)s To be or not to be and (director)s Alas poor Yorick best exemplify William Shakespeares original.
FINE ARTS IN BRUSSELS: PUNISHMENT AND SETTLEMENT OF CARTEL CASES UNDER EC COMPETITION LAW LUIS ORTIZ BLANCO VIII Conference “Antitrust Between EC Law and.
How the Constitution Has Been Changed…27 Times!
Rome 12th – 13th June ECPRD on the Net Seminars and discussion groups Carlo Simonelli ECPRD on the Net seminars.
1 Series RLC Resonant Circuit V s = 10 Vrms, R = 10 , L = 100 mH, C = 10  F VsVs R L C I + V R - + V L - +VC-+VC-   (varied) Assignment #1: Part.
Mathematics Shape and Space: Polygon Angles Science and Mathematics Education Research Group Supported by UBC Teaching and Learning Enhancement Fund
Roman Numerals. Roman Numerals - Past and Present  Romans used them for trading and commerce.  When Romans learned to write they needed a way to write.
Chapter Rules Checklist. Article I.Name (Chapter name assigned by State Organization) Article II.Object/Purpose Chapter objectives include promotion of.
PTA Officer Training May RESTRICTIVE RULES Who Needs Them?
G © Math As A Second Language All Rights Reserved Roman Numerals next and The Super Bowl.
THE INTER-AMERICAN UNION OF ELECTORAL AUTHORITIES.
Roman Numerals Learning objective: To learn how to count using Roman numerals.
The History of the Olympic Games by. I - Athens April 6-15, 1896.
Bellringer – Name the 7 Articles to the Constitution and a brief description of the purpose of each Article.
R.K.CHOUBISA B.A.(Hons), M.A., M.Phil. Associate Professor [Public Administration] HCM Rajasthan State Institute of Public Administration, Jaipur-3020.
Bellringer - Name the 7 Articles to the Constitution and a brief description of the purpose of each Article.
DATA REPRESENTATION, DATA STRUCTURES AND DATA MANIPULATION TOPIC 4 CONTENT: 4.1. Number systems 4.2. Floating point binary 4.3. Normalization of floating.
Understanding the Chapter Organization beginning November 1, 2016.
Practicing Citizenship
CHEMISTRY 102 TENTATIVE SCHEDULE FOR FALL WEEK I (Aug 20 th – Aug 24 th ) LAB: Intro to Lab, Lab Check-In, Angel Introduction M: Introduction to.
Reconstruction – North and South Chapter 18. Remembering the Civil War.
The Perfect Economic Storm. Figure I AVERAGE WEEKLY EARNINGS GROWTH BY OCCUPATION,
Big Business and Organized Labor Chapter 20. I. The Rise of Big Business.
Roman Numeral Multiplication Quiz
The Contract Academic Employees Master Agreement,
Reference & Research Writing 103 Uniformed Writing for Trinity Theological Seminary of South Florida T. Carter C.Ed Ph D.
Amendment I Freedom of Religion, Speech, Press Rights to Assembly and Petition.
What is History? Presentation #3 Mr. Bridgeo. How do we measure or retrace the evolution of societies? The unit of time that historians use to measure.
The Bill of Rights Activating Strategy- United Streaming Video Segment.
Ancient Rome Journey Across Time Ch8: The Rise of Rome Ch9: Roman Civilization.
Welcome to HE 510 Seminar 1! We’ll be starting our conference shortly…
Eteri Matureli GTUC vice-president, GTUC women committee president, member of PERC women committee Brussels 2015.
John Marshall John Marshall is considered one of the most influential Supreme Court Justices in American History.
CHEMISTRY 102 TENTATIVE SCHEDULE FOR Fall WEEK I (Aug 24 – Aug 28) LAB: Intro to Lab, Lab Check-In, Angel Introduction M: Introduction to course.
Chapter 40 The Resurgence of Conservatism, 1980–1992.
Studies in Narratology, Summer 2011 Vladimir Propp ( ) Major Figures in Narratology.
27 AMENDMENTS How the Constitution Has Been Changed…27 Times!
Amendments to the Constitution GLE’s Addressed C.2.2 Describe the structure and functions of the federal government as listed in the United States Constitution.
希臘字源與閱讀 (A) 課程名稱希臘字源與閱讀 (A) 課程編碼 C0D52701 系所代碼 / 名稱 0C / 英語系 開課班級二技英語四甲 四技英語四甲 四技英語四乙... 開課教師石耀西 學分 2.0 時數 2 必選修選修 南台科技大學 課程資訊.
Companies Act, 2013 By Dr P V S Jagan Mohan Rao M Com, LL B, FCS, FCMA, Ph D, MCJ, MA (Sanskrit) and M A (Astrology) Past President – The Institute of.
Amendments Review FINAL.
Unit 4 Day 19: Flexible Constitution. Articles Quiz! Article I: Article II: Article III: Article IV: Article V: Article VI: Article VII:
County and District Clerk’s Association 101
Amendments Review.
The Bill of Rights: Amendments I - X
Judicial Procedures Review
Nominations Needed for the Ballot
U.S. Constitution Articles I – VII.
Chemistry II Objectives Unit II - Chapter 2-4
Amendments to the United States Constitution
27 Amendments XV (15) rights not to be denied because of race XVI (16)
Flow diagrams (i) (ii) (iii) x – Example
State of Florida “Preferred” Lease Approval Process
International Union for Vacuum Science, Technique and Applications
Roman Numerals Adding value to letters I, V, X, L, C, D, M 11/30/2018.
The United Nations.
County and District Clerk’s Association 101
Advanced Placement Psychology Back to School Night
International Union for Vacuum Science, Technique and Applications
Roman Numerals.
Roman numerals -Rules for writing.
Proposed Constitution Amendment
Roman Numerals.
I II III IV V VI VII VIII IX X XI XII XIII XIV XV XVI
Presentation transcript:

:- gulp! http://lia.deis.unibo.it/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/

Current Executive Board GULP Executive Board Current Executive Board Past Presidents 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 Giorgio Levi Roberto Barbuti Maurizio Martelli Maurizio Gabbrielli http://lia.deis.unibo.it/gulp/

Major activities Italian Conference on Computational Logic (CILC) Doctoral Schools One-day Workshops (with tutorials) Best Italian PhD Dissertation Award in Computational Logic http://lia.deis.unibo.it/gulp/

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

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 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 http://lia.deis.unibo.it/gulp/

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) http://lia.deis.unibo.it/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/

LP in Italy 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 http://lia.deis.unibo.it/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/