ACM/IEEE Symposium on Logic in Computer Science

ACM/IEEE Symposium on Logic in Computer Science

Scroll down for details. Click the orange button to register.

By Boston University Events & Conferences

Location

Center for Computing and Data Sciences (CCDS) at Boston University

631-665 Commonwealth Avenue Boston, MA 02215

Refund Policy

Contact the organizer to request a refund.

About this event

Welcome to the 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) hosted at Boston University from June 26 - 29, 2023. The LICS is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed.

Affiliated workshops will be held on June 24th and June 25th prior to the conference.

LICS 2023 Workshops (Add Ons)

June 24 – 25:

  • Combinatorial games in finite model theory
  • The decision problem in first order logic (DPFO 2023)

June 25:

  • International Workshop on Quantitative Logical Methods (Qualog)
  • Structure meets power
  • Logic mentoring workshop (LMW)

ACM/IEEE Symposium on Logic and Computer Science (LICS)

Registration dates (discounts apply to registrations prior to the conference):

Early registration: until May 12th

Regular registration: May 13th - June 9th

Late Registration: June 10th-25th

On-site registration: Begins June 26th

Refund policy:

Cancellations and refunds available until June 9, 2023. A cancellation fee of $30 will apply.

Organized by

Boston University Events & Conferences

Events & Conferences was established in the spring of 2009 to provide comprehensive, professional event coordination services to the University community, guests to the BU Campus and external clients. 

Sales Ended