Logical Structures in Computation Boot Camp
–
Logical Structures in Computation Boot Camp
Details of Logical Structures in Computation Boot Camp
Uncertainty in Computation
–
Uncertainty in Computation
Dan Roy
(University of Toronto)
Details of Uncertainty in Computation
{Symmetry, Logic, Computation}
–
{Symmetry, Logic, Computation}
Anuj Dawar
(University of Cambridge; chair)
Details of {Symmetry, Logic, Computation}
Compositionality
–
Compositionality
Details of Compositionality
Logical Structures in Computation Reunion Workshop
–
Logical Structures in Computation Reunion Workshop
Details of Logical Structures in Computation Reunion Workshop