Logo
 

Logic in Computer Science (LICS 2024)

56 56 people viewed this event.

The 39th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2024) will be held in Tallinn, Estonia, from 8 – 12 July. It will be colocated with ICALP 2024 and FSCD 2024.
The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. We invite submissions on topics that fit under that rubric.

The symposium is sponsored by ACM SIGLOG and the IEEE Technical Committee on Mathematical Foundations of Computing.

 

Date

08 Jul. 2024
12 Jul. 2024
 

City

Tallinn
 

Country

 

Topic Area

Share With Colleagues