2nd Summer School in Computational Logic

2nd Summer School in Computational Logic
University of Texas at Dallas
Richardson, TX 75083
June 14-17, 2004
Organized by: COMPULOG Americas
http://www.cs.utdallas.edu/~gupta/summerschool
colocated with 6 Int'l Symposium on Practical Aspects of Declarative Languages


The second summer school in Constraint and Logic Programming will be held on
the campus of University of Texas at Dallas, TX. The summer school is meant
for students, researchers, and programmers interested in constraints, logic
programming, computational logic and its applications. The lectures will be
given by internationally renowned researchers who have made significant
contributions to research. The summer school is a good opportunity for quickly
acquiring background knowledge on important areas of computational logic. The
summer school is especially directed to Ph.D. students who are just about to
start research. Undergraduates in their senior year are also strongly
encouraged to attend.

The summer school will consist of 1/2 to 1 day tutorials on topics such as
(topics and speakers yet to be finalized):

    * Constraint Logic Programming and its Applications
    *    The Semantic Web and Computational Logic
    *    Answer Set Programming
    *    Tabled Logic Programming and its Applications

    *  Logical Aspects of Computer Security
    *    Inductive Logic Programming and its Applications


Full scholarships will be available for students resident in the US. For
overseas students local expenses will be covered.

The 2nd summer school on computational logic builds on the highly successful
1st summer school in (C)LP held in Las Cruces, NM, in 1999.