Logicomp logicomp.blogspot.com

Correctness by design vs. formal verification

logicomp.blogspot.com·467w·Blogger

When does Bob deserve to be a co-author?

logicomp.blogspot.com·916w·Blogger

Highland workshop on XML, Logic, and Automata

logicomp.blogspot.com·931w·Blogger

Rahul Santhanam has joined Edinburgh

logicomp.blogspot.com·931w·Blogger

Finite-variable hierarchy conjecture

logicomp.blogspot.com·933w·Blogger

Restructuring logicomp

logicomp.blogspot.com·933w·Blogger

Pushdown systems: reachability via saturations

logicomp.blogspot.com·933w·Blogger

Happy New Year 2008!

logicomp.blogspot.com·957w·Blogger

I have moved again ...

logicomp.blogspot.com·1010w·Blogger

Australia qualifies for round of 16

logicomp.blogspot.com·1038w·Blogger

Linear Temporal Logic (1)

logicomp.blogspot.com·1040w·Blogger

Australia vs. Japan: 3 - 1

logicomp.blogspot.com·1040w·Blogger

Game theoretic characterization of treewidth

logicomp.blogspot.com·1046w·Blogger

Automatic Structures: Part 2 -- Buchi-Bruyer Theorem

logicomp.blogspot.com·1047w·Blogger

Automatic Structures: Part 1

logicomp.blogspot.com·1047w·Blogger

Reading Group

logicomp.blogspot.com·1052w·Blogger

403 Forbidden

logicomp.blogspot.com·1052w·Blogger

Model-checking on infinite transition systems

logicomp.blogspot.com·1053w·Blogger

Slides from Logic and Databases Workshop at Cambridge

logicomp.blogspot.com·1054w·Blogger

Resuming to Blog

logicomp.blogspot.com·1054w·Blogger

Log in to enable infinite scrolling