FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Important Dates
  • Submission deadline: May 25, 2018
  • Notification of acceptance: May 28, 2018
  • Final paper submission: September 1, 2018 (tentative)
  • Workshop: July 13, 2018
  • Post-proceedings publication of the workshop: October 31, 2018