'''acm ieee symposium logic computer science''' '''lics''' annual academic conference theory practice computer science relation mathematical logic extended versions selected papers year 's conference appear renowned international journals logical methods computer science acm transactions computational logic history lics originally sponsored solely ieee founding acm special interest group logic computation lics become flagship conference siglog joint sponsorship acm ieee since first installment
Formal science Computer science Logic in computer science