Annual ACM/IEEE Symposium on Logic in Computer Science (40. : 2025 : Singapur) Bezüge im Wissensnetz Sponsor oder Mäzen (2) GND Association for Computing Machinery. Special Interest Group on Logic and Computation IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing Veranstaltungsort (1) GND Singapur Homepage (1) GND lics25