---------- Forwarded message ---------- From: Jeremy Avigad <[email protected]> Date: Thu, Oct 18, 2012 at 4:30 PM Subject: New PhD program in Pure and Applied Logic To:
Dear colleagues, The Department of Philosophy at Carnegie Mellon University is now offering a *Ph.D. in Pure and Applied Logic* as a new track in our PhD program. There isn't time to update our web pages for the current application season, so I am asking you to forward this information to students who may be interested. The new program is designed to train students for research careers in mathematical logic and computer science, in areas such as computability theory, proof theory, categorical logic, automated reasoning, formal verification, and the semantics of computation. Students in the program earn an MS from the Department of Mathematical Sciences at Carnegie Mellon, in addition to writing a dissertation in logic. The program reflects the interdisciplinary nature of our department. Our faculty have placed students in positions in mathematics, statistics, and computer science, and the new program aims to better support these career paths. Prospective students can simultaneously apply to the Department of Mathematical Sciences and, if admitted to both programs, make a decision based on their specific interests. I would be glad to answer any questions about the new program. Thanks, and best wishes, Jeremy --++**==--++**==--++**==--++**==--++**==--++**==--++**== logical-methods mailing list [email protected] https://mailman.stanford.edu/mailman/listinfo/logical-methods _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
