[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Call for participation ICLP 2012 - updates



Apologies for cross posting.

Regards,
Gergely


=========================================================================
			 CALL FOR PARTICIPATION

     28th International Conference on Logic Programming (ICLP 2012)
		Theory and Practice of Logic Programming

		 Budapest, Hungary, September 4-8, 2012

		     http://www.cs.bme.hu/iclp2012/

=========================================================================

REGISTRATION

Registration Site is open at:
http://www.cs.bme.hu/iclp2012/Registration.html
Regular registration fees are applicable until August 17, 2012.

ACCOMMODATION

Information on hotels is available on the homepage: 
http://www.cs.bme.hu/iclp2012/HotelInfo.html

CONFERENCE SCOPE

Since the first conference held in Marseille in 1982, ICLP has been
the premier international conference for presenting research in logic
programming. This year conference will offer invited talks and
tutorials, as well as technical presentations on the broad spectrum of
most recent research topics in the field. The conference will also
host Doctoral Consortium, several workshops, and a Prolog programming
contest.


WORKSHOPS

   * Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 
     September 4
   * 9th International Workshop on Constraint Handling Rules (CHR 2012), 
     September 4
   * 12th International Colloquium on Implementation of Constraint and
     LOgic Programming Systems (CICLOPS 2012), September 4
   * WG17, September 4-5
   * 22nd Workshop on Logic-based methods in Programming Environments 
     (WLPE 2012), September 8
   * Constraint Based Methods for Bioinformatics (WCB'12), September 8
   * Coinductive Logic Programming (Co-LP), September 8

Workshops are perhaps the best places for the presentation of
preliminary work, undeveloped novel ideas, and new open problems to a
wide and interested audience with opportunities for intensive
discussions and project collaboration.


DOCTORAL CONSORTIUM

The 8th Doctoral Consortium (DC) on Logic Programming provides
research students with the opportunity to present and discuss their
research directions, and to obtain feedback from both peers and
world-renown experts in the field. Accepted participants receives
partial financial support to attend the event and the main
conference. The best paper and presentation from the DC is given
the opportunity to present in a special session of the main ICLP
conference.


INVITED TALKS

Abstracts are available from here:
http://www.cs.bme.hu/iclp2012/Invited.html 

   * Ferenc Darvas, CompuDrug International, Inc. Sedona, Arizona, 
     ComGrid Kft, Budapest (http://www.thalesnano.com/board_of_directors)
     "Prolog for chemistry and drug discovery - a retrospective summary"
    
   * Jan Wielemaker, SWI (http://www.cs.vu.nl/~janw/)
     "25 years of SWI Prolog"

   * Mike Elston, Scientific Software and Systems, Wellington
     (http://www.securitease.com/)  
     "Prolog and CHR in Finance - An easier way to occupy Wall Street?"

   * Invited author(s) of the most influential paper of ICLP/ILPS 1992

   * Invited author(s) of the most influential paper of ICLP 2002


TUTORIAL

Abstract is available from here:
http://www.cs.bme.hu/iclp2012/Invited.html 

   * Viviana Mascardi (http://www.disi.unige.it/person/MascardiV/) 
     "Logic-based Agents and the Semantic Web"


FINANCIAL ASSISTANCE

The Association for Logic Programming has funds to assist financially
disadvantaged participants and, specially, students in order to be
able to attend the conference. For information, please contact the
organizers of the Doctoral Consortium and the General Chair.


HOTELS

See http://www.cs.bme.hu/iclp2012/HotelInfo.html.


CONFERENCE VENUE

The Conference will be located in Tulip Inn Budapest Millennium. Budapest
is in the center of Hungary, in the heart of Central Europe. Hungary is
member of the European Union and belongs to the Schengen area.

Hungary is well-served by transport links from abroad. The main
international airport is Budapest Ferihegy. Budapest is linked to 15
European capitals by train, directly or indirectly; e.g. a
Wien-Budapest trip is less than 3 hours.


SPONSORS

The conference is sponsored by the Association for Logic Programming (ALP),the Artificial Intelligence Section of the John von Neumann Computer
Society, by AIT-Budapest (Aquincum Institute of Technology), by Alerant
Inc, and by Google, through its Conference Grant for female computer
scientists, see http://www.cs.bme.hu/iclp2012/DiversityGrant.html.


ICLP 2012 ORGANIZATION

General Chair: Péter Szeredi (Budapest Univ. of Technology and Economics)

Program Comittee Chairs: 
	Agostino Dovier (Univ. of Udine), 
	Vítor Santos Costa (Univ. of Porto) 

Workshop Chair: Mats Carlsson (SICS, Sweden)

Doctoral Consortium Chairs: 
        Marco Gavanelli (Univ. of Ferrara), 
	Stefan Woltran (Vienna University of Technology)

Prolog Programming Contest Chair: Tom Schrijvers (Universiteit Gent)

Publicity Chair: Gergely Lukácsy (Cisco Systems Inc.)

Web Manager: János Csorba (Budapest Univ. of Technology and Economics)