Symposium on Theoretical Aspects of Computer Science (STACS)
                            
                                                
                    
                                                    International Colloquium on Automata Languages and Programming (ICALP)
                            
                                                
                    
                                                    IEEE Symposium on Foundations of Computer Science (FOCS)