Submission instructionsSubmissions in the form of extended abstracts must be at most 4 pages long (plus at most two for bibliography and possible appendixes) and adhere to the IEEE Proceedings 2-column 10pt format used by LICS; LaTeX style files are available here. We do accept submissions of work recently published or currently under review (just inform us of it while submitting). Submissions do not need to be anonymized.