[Logica-l] PhD scholarships at ANU

Repassando The Logic and Computation Group at the Research School of Computer Science, The Australian National University in Canberra has a number of PhD scholarship available for bright, enthusiastic doctoral students in the following areas: - Logic in Computer Science (Ranald Clouston, Ra

[Logica-l] book on Proof Complexity

Proof Complexity, by Jan Krajicek “Let no one ignorant of logic enter.” https://www.karlin.mff.cuni.cz/~krajicek/prf2.pdf Acabou de ser publicado pela Cambridge University Press. JM -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar

[Logica-l] Final CFP WPTE 2019

(Apologies for multiple copies) Sixth International Workshop on Rewriting Techniques for Program Transformations and Evaluation WPTE 2019