External Links

    Journal: SIGLOG News

    Volume 2, Issue 1

    5 -- 6Mikolaj Bojanczyk. McNaughton's theorem
    8 -- 21Anuj Dawar. The nature and power of fixed-point logic with counting
    23 -- 24Catalin Hritcu. The Joint EasyCrypt-F*-CryptoVerif School 2014
    25 -- 34Véronique Cortier. Formal verification of e-voting: solutions and challenges
    37 -- 44Steve Awodey, Robert Harper. Homotopy type theory: unified foundations of mathematics and computation
    46 -- 51Rajeev Alur, Thomas A. Henzinger, Moshe Y. Vardi. Theory in practice for system design and verification
    runs on