ICLP'2007

23rd International Conference on Logic Programming
8-13 September, Porto, Portugal
Conference Scope
Call for Papers
Important Dates
Paper Submission
Program Committee
Organization
Registration
Hotel Information
Venue
The conference
   Accepted Papers
   Program
   Invited Talks
   Tutorials
   Workshops
   Doctoral Consortium
   Programming Contest
Sponsors
Contacts

Tutorials

ICLP 2007 will include the following tutorials:
  • Thomas Eiter, Vienna University of Technology, Austria
    Answer Set Programming for the Semantic Web
  • Gopal Gupta, University of Texas at Dallas, USA
    Coinductive Logic Programming
  • Michael Hanus, Christian-Albrechts-Universität zu Kiel, Germany
    Multi-Paradigm Declarative Languages
  • Mirek Truszczynski, University of Kentucky, USA
    Logic Programming for Knowledge Representation
 
last update:
Computer Science Department / University of Porto
iclp07dcc.fc.up.pt