Automatheo Program Committee
      The program committee of automatheo14 is shown below.
- Alan Smaill (The University of Edinburgh) - chair
 
| 
       
       | 
    
      
       VSL 2014: VIENNA SUMMER OF LOGIC 2014 
      
      
      
      Automatheo Program Committee 
      The program committee of automatheo14 is shown below. 
  | 
    
       
       |