Bringing Computer Science
Logic to all parts
of the world


Important Dates


  • Abstract submission: June 4
  • Paper submission: June 11
  • Notification: July 23
  • Final version: August 6
  • Short paper submission: August 10
  • Short paper notification: August 17
  • Short paper final version: August 31
  • Early registration: September 25
  • Conference: October 16-19
  • Workshops: October 15