Workshop on Computer Science Logic (1st 1987 Karlsruhe, Germany)
Don't miss the opportunity to share your thoughts!