The conferences of Theoretical Computer Science.   
More information
            More information
Related categories 1
Sites 4
            
                                    Annual conference that deals with computational complexity broadly defined.
                                    
                                  
                                
            
                                    A conference on games, automata, logics and formal verification.
                                    
                                  
                                
            
                                    Held twice a year, usually on a Saturday in December and on a Saturday in April.  Details of past and future meetings.
                                    
                                  
                                
            
                                    Conference calls for papers, conference and workshop programs, journal calls for papers.
                                    
                                  
                                
            
                                    A conference on games, automata, logics and formal verification.
                                    
                                  
                                
            
                                    Held twice a year, usually on a Saturday in December and on a Saturday in April.  Details of past and future meetings.
                                    
                                  
                                
            
                                    Annual conference that deals with computational complexity broadly defined.
                                    
                                  
                                
            
                                    Conference calls for papers, conference and workshop programs, journal calls for papers.
                                    
                                  
                                