| Mathematical Structures in Computer Science ~ http://journals.cambridge.org/action/displayJournal?jid=MSC Journal of theoretical computer science centered on the application of ideas from the structural side of math and the application of mathematical logic to computer science. Read more... |
| Bell Labs Computing Sciences Research Center ~ http://cm.bell-labs.com/cm/cs/ Initiates research in chosen areas of computer science through the study of computational problems. Read more... |