New Computational Paradigms New Computational Paradigms
٢٠٠٧
Cultures of Mathematics and Logic Cultures of Mathematics and Logic
٢٠١٦
Logic and the Foundations of Game and Decision Theory - LOFT 8 Logic and the Foundations of Game and Decision Theory - LOFT 8
٢٠١٠
Models of Computation in Context Models of Computation in Context
٢٠١١
Computation and Logic in the Real World Computation and Logic in the Real World
٢٠٠٧
Programs, Proofs, Processes Programs, Proofs, Processes
٢٠١٠