Home
Topics
Program and Proceedings *new*
Committees
Invited Speakers
Student Grants
Important dates
Submissions
Call for papers
Registration
Getting to SLS *updated*
Inaugural meeting of SLS *updated*
Women in logic
CADILLAC
Important dates
_
Deadline for submissions: 1 May, 2012