Second International Summer School in Computational Logic

home

announcement

lecturers & topics

course details

schedule

programme

registration form

site and directions

organizers

contributors