New: Conference pictures
tutorial Vitor Santos Costa
[Conference Scope] [Papers] [Industrial Papers] [Posters] [Accepted Papers/Posters] [Invited Talks] [Tutorial] [Workshops] [Prolog Contest] [Conference Program] [Doctoral Program] [Publication] [ALP Sponsoring and Prizes] [Important Dates] [Conference Site] [Co-location] [Solar Eclipse] [Registration] [Accommodation] [Travel] [Organization] [Previous Conferences][Sponsors]
Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions (papers and posters) are sought in all areas of logic programming. Specific attention will be given to work providing novel integrations of these different areas, and to new applications of logic programming in general. Contributions on applications will be assessed with an emphasis on their impact and synergy with other areas, as opposed to technical maturity. Applications of logic programming to the Semantic Web are especially encouraged. The technical program will include several invited talks and advanced tutorials, in addition to the presentations of the accepted papers and posters. A special session on industrial applications of logic programming is also planned and several workshops will be held in parallel with the conference. For the first time, a doctoral student consortium will be organized as part of ICLP. The complete call for papers can be found here (.txt).
Papers must describe original, previously unpublished research, and must not be simultaneously submitted for publication elsewhere. They must be written in English and not exceed 15 pages in Springer LNCS format. The authors are encouraged, although not obliged, to submit their papers already in Springer LNCS format. General information about the Springer LNCS series and the LNCS authors' instructions are available at the Springer LNCS/LNAI home page. Papers should express their contribution clearly, both in general and technical terms. It is essential to identify what was accomplished, describe its significance, and explain how the paper compares with and advances previous work. Authors should make every effort to make the technical content understandable to a broad audience. The primary means of submission will be electronic, in pdf format. If electronic submission is not possible, five hard copies should be sent to one of the program co-chairs. More information on the submission procedure will be available here.
A special session on industrial applications of logic programming is also planned during the conference. Papers accepted in this session will describe innovative applications of logic programming to industrial problems. The application's innovativeness and industrial impact will be the main criteria used for judging the paper. Papers accepted for this session will be published in the proceedings as shorter,(up to) 10 pages papers.
Posters provide a forum for presenting work in an informal and interactive setting. They are ideal for discussing current work not yet ready for publication, for PhD thesis summaries and research project overviews. Accepted posters will also get a 10 minute slot for presentation during the conference. Extended abstract (2 pages) of each accepted poster will be published in the proceedings. Posters must be submitted electronically. More information on t ../cp2005/index.htmlhe submission procedure will be available here.
Accepted submissions, either as full papers or posters, are the following:
List of accepted papers
List of accepted posters
ICLP 2005 will include the following three invited talks:
a Description Logic Based Ontology Language
The G12 Project: Mapping Solver Independent Models to Efficient Solutions
that will be shared with the CP 2005 conference.
ICLP 2005 will include the following tutorial:
in Learning Logic Programs: From Inductive Logic Programming (ILP) to Statistical
Relational Learning (SRL) (handouts)
Vitor Santos Costa
List of accepted workshops:
Colloquium on Implementation of Constraint and Logic Programming Systems(afternoon)
CSLP'05: Constraint Solving and Language Processing (morning)
WCB'05: Constraint Based Methods for Bioinformatics (afternoon)
WLPE'05: Logic-based Methods in Programming Environments (morning)
MoVeLog'05: Mobile Code Safety and Program Verification Using Computational Logic Tools(full-day)
CHR'05: Constraint Handling Rules (full-day)
All ICLP workshops will occur on October 5th.
Prolog Programming Contest
The 11th Prolog Programming Contest will take place on October 2nd, from 18h till 20h and is open to everyone. Bring your laptop and register during the opening reception. More information on the contest can be found here.
The complete conference program can be found here (.pdf).
Doctoral Student Consortium
The Doctoral Consortium will provide an opportunity for students pursuing their doctoral thesis in logic programming and related areas to explore their research interests under the guidance of a panel of distinguished experts in the field. The Doctoral Consortium will also offer invited speakers and discussion groups. The Consortium will allow participants to interact with established researchers and with other students, through presentations, question-answer sessions, panel discussions, and invited presentations. A separate call-for-participation will be issued for the doctoral consortium. About 6 to 8 students will be selected for the consortium. Selected students will also present their research in the poster session. The abstract of the poster will be published in the conference proceedings. Financial support for selected students may be available. The call for doctoral program submissions can be found here (.txt).
The proceedings of the conference will be published by Springer-Verlag in the LNCS series. The proceedings will include the accepted papers and the abstracts of accepted posters.
ALP Sponsoring and Prizes
The conference is sponsored by the Association for Logic Programming. The ALP has funds to assist financially disadvantaged participants. The ALP is planning to sponsor two prizes for ICLP'05: for the best technical paper and for the best application paper.
|Abstracts submission deadline:||May 8th|
|Submission deadline:||June 20th||May 11th|
|Notification to authors:||July 5th||June 24th|
|Camera-ready copy due:||July 25th||July 25th|
|Early registration deadline:||August 8th|
|ICLP 2005 conference||October 2nd-5th|
ICLP 2005 will be held at Melia Sitges Hotel, located in Sitges, Barcelona, Spain. Sitges is a town 15 minutes away from the Barcelona international airport and 30 minutes from the center of Barcelona. The town of Sitges is situated in the Catalan region of Spain, and it is a well-established tourist resort and residential area thanks to its warm climate and fantastic natural panoramic views. Melia Sitges Hotel Congress Center is located on the sea-front facing the Mediterranean and is within five-minute walking distance from the city center.
A map of Sitges can be found here. The Melia Sitges Hotel is on the right-bottom corner, marked with the numbers 6 in red and 18 in blue.
ICLP 2005 conference is co-located with the International Conference on Principles and Practice of Constraint Programming (CP 2005). This means that both conferences will occur in the same place at the same time. Specifically, CP runs from October 1st to October 5th (the CP workshop day is October 1st), while ICLP runs from October 2nd to October 5th (the workshop day is October 5th). Both conferences will be held at Melia Sitges Hotel.
One common registration fee for both conferences. In the registration, delegates select one conference (CP or ICLP) to register. They will receive the proceedings of that conference, but they are allowed to attend any session of both conferences.Solar Eclipse
One common workshop fee for workshops of both conferences. In the registration, delegates attending workshops have to register for that. This allows them to attend any workshop of both conferences, with the only limitation of room capacity (around 50 people per workshop) and workshop schedule (many workshops run in parallel).
Shared invited talks. The invited talks of Ian Horrocks, Francesca Rossi and Peter Stuckey will be common to both conferences.
Shared social events. The social events (reception, excursion, banquet) will be common to both conferences.
Shared doctoral program. The different activities of the doctoral program will be common for both conferences.
An almost annular Solar Eclipse will occur on Monday October 3rd, during the morning, covering around 85% of the solar surface. Conference sessions will be interrupted to allow delegates to observe this astronomical event. Delegates are warned not to look directly to the Sun without the adequate protection because this may cause serious injuries in the eyes. Further information can be found here.
Registration fees are as
|Acommpanying Person (reception, excursion, banquet)||
Workshop proceedings have to be purchased separatedly, at the cost of 12 euro each.
Delegates applying for a student registration have to send a proof of their student status to the conference secretariat, before July 31st. Students accepted to the Doctoral Program have a free registration to the conference, but they have to pay the workshop registration fee if attending to workshops.
Conference registration includes:
Conference proceedingsWorkshop registration includes:
Attendance to all conference sessions
Attendance to any workshop sessionsConference secretariat:
Workshop proceedings have to be purchased separatedly, at the cost of 12 euro each.
ULTRAMAR EXPRESS Event Management
Diputacion, 238, 3rd floor. 08007 Barcelona, Spain
Fax. +34.93.482.71.58 E-mail. firstname.lastname@example.org
Registrarion in now open. Click here!
If you have problems with on-line registration,contact Cinzia Marini at email@example.com
A limited number of rooms, at special rates, are reserved at Melia Sitges Hotel. Rooms in this hotel can be booked using the on-line registration. Other hotels can be found contacting the Sitges Tourist Office (as zone, select Aiguadolc, Centre or Sant Sebastia for the closest distance to the conference venue). It can also be contacted by phone (tel. +34 938 945 004, English spoken).
The nearest airport is Barcelona International Airport, which is 28 km far from Sitges. To travel from Barcelona airport to the conference hotel, you have several options:
Ryanair has a few destinations to Reus Airport, which is 70 km far from Sitges. The cost by taxi is about 85 euros. Another possibility is to go by bus to Reus train station and take a train from Reus train station to Sitges.
If you arrive by train or you are in Barcelona city and you would like to go to Sitges by public transportation, the best option is to go to Barcelona Sants train statation and take the train line C2. There are trains every 25 minutes from 5:40am until 12:00pm. The journey time is about 30 minutes and the ticket costs 2,30 euros. You can access to Barcelona-Sitges train timetables (selecting BARCELONA SANTS (Barcelona Sants Station) as "Origen" (Origin) and SITGES as "Destino" (Destination) and clicking in "Horario" (Timetable)). From Sitges train station to the conference hotel you have two options: you can take a taxi (it costs approximately 6 euros) or you can take a bus. The bus connecting the train station with the conference hotel is L3 (line 3, stop in Artur Carbonell street, next to the train station). From Monday to Friday, the bus costs 0,85 euros and there are buses every 30 minutes from 7am until 8pm. On Saturday and Sunday, the bus costs 0,95 euros and there are buses every 30 minutes from 9am to 8pm.
If you go to the Doctoral Program Hotel (Sitges Park Hotel) and you arrive by train, the simplest way is to go is by foot. Take the Francesc Gumˆ street (just in front of the train station) and go until the end. Then you find the Jess street. The hotel is on that street, on the right.
For more information
about buses inside Sitges, click here.
ICLP 2005 is organized
by the Association for Logic Programming (ALP),
in collaboration with the Artificial Intelligence Research Institute of
the Spanish Council for Scientific Research (IIIA-CSIC)
and the Technical University of Catalonia (UPC).
The different Chairs and the Program Committee are listed below.
Artificial Intelligence Research Institute (IIIA-CSIC), Spain
Technical University of Catalonia (UPC), Spain
|Program Co-Chairs (emailhere)
University of Bologna, Italy
University of Texas at Dallas, USA
Doctoral Consortium Chair
University of Parma, Italy
Information about previous editions of ICLP conferences can be found here.
de Inteligencia Artificial