Category Archives: Uncategorized

Solving in the penumbra of Grothendieck: Part I

Alexander Grothendieck passed away in November 2014 at the age of 86. He contributed to several areas of mathematics and most prominently, laid the modern foundations of the field of algebraic geometry. As is often the case with mathematics, one can … Continue reading

Posted in Uncategorized | Leave a comment

CAV 2012, Day 1: Thoughts on Numerical Static Analysis

Eep! I completely forgot the notes I typed out way back in 2012 about CAV and have neglected this blog for a while now. The Gauge Domain: Scalable Analysis of Linear Inequality Invariants, Arnaud Venet There is a rather curious algorithmic … Continue reading

Posted in Uncategorized | Leave a comment

CAV 2012, Day 1: Logic, Learning and Static Analysis

I missed the second day of pre-CAV workshops and the tutorial day on account of a deadline, but managed to make time to attend talks on the first day of CAV. This is the second time I was attending CAV, … Continue reading

Posted in Uncategorized | Leave a comment

Deadline Craziness.

I’ve delayed posting about the Computer Aided Verification conference (CAV) for about half a year. CAV 2012 was the second CAV I attended, with CAV 2010 having been the first. On both occasions, I did not pay much attention to … Continue reading

Posted in Uncategorized | Leave a comment

Workshop on Logics for System Analysis 2012

My former colleague Philipp Rümmer co-organised a workshop on topics broadly concerned with applying logic to determine properties of various kinds of systems. I only managed to attend the morning session of the workshop, so the report below is very incomplete. The … Continue reading

Posted in Uncategorized | Leave a comment

Proof, Progress and Programs.

William Thurston is a prominent mathematician. I know nothing about his research except that his work is held in high regard by professional mathematicians. He has received several awards for both his research and expository work.  He has also written … Continue reading

Posted in Uncategorized | Leave a comment