User loginNavigation 
2nd CfP: Structures and DeductionsThe domain is proof theory, the theme is "Eliminate Bureaucracy", the LtU angle is that if we can eliminate bureaucracy from proof theory, then we open the floodgates to applications of proof theory to computer science. That's the theory anyway... Check out:
By Charles A Stewart at 20050317 00:32  LtU Forum  previous forum topic  next forum topic  other blogs  6760 reads

Browse archivesActive forum topics 
Recent comments
2 days 1 hour ago
4 days 9 hours ago
4 days 12 hours ago
5 days 7 hours ago
5 days 14 hours ago
5 days 18 hours ago
5 days 18 hours ago
5 days 20 hours ago
6 days 12 hours ago
6 days 16 hours ago