[sponsored by] Special Interest Group for Automata and Computability Theory (SIGACT), Special Interest Group for the Management of Data (SIGMOD). Special Interest Group for Automata and Computability Theory (SIGACT), Special Interest Group for the Management of Data (SIGMOD). sponsored by the ACM, Special Interest Group on Automata and Computability Theory, Special Interest Group on Programming languages. sponsored by the ACM Special Interest Group for Automata and Computing Theory [and] the ACM Special Interest Group for Operating Systems. sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN) Special Interest Group for Automata and Computability Theory (SIGACT), Special Interest Group for the Management of Data (SIGMOD), Special Interest Group for Artificial Intelligence (SIGART). Special Interest Group for Automata and Computability Theory (SIGACT), Special Interest Group for the Management of Data (SIGMOD), Special Interest Group for Artificial Intelligence (SIGART) Special Interest Group for Autumata and Computability Theory (SIGACT), Special Interest Group for the Management of Data (SIGMOD), Special Interest Group for Artificial Intelligence (SIGART) sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory [and] Special Interest Group on Programming Languages. sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory, Special Interest Group on Programming Languages.