Semantic Domain
Thursday, June 19, 2014
Gödel's Ontological Argument
›
\[\newcommand{\Good}{\mathrm{Good}} \newcommand{\Godlike}{\mathrm{Godlike}} \newcommand{\EssenceOf}{\mathrm{EssenceOf}} \newcommand{\Essen...
3 comments:
Wednesday, June 11, 2014
From DPLL(T) to Sequent Calculus
›
While I was at MPI-SWS , I overlapped there with Ruzica Piskac , who has done a lot of work on decision procedures and other kinds of mod...
1 comment:
Monday, March 24, 2014
Papers I'm reading
›
Here is an incomplete selection of some good papers I'm currently reading: Constructing Type Systems over an Operational Semantics , R...
Friday, March 7, 2014
2014 Midlands Graduate School
›
The 2014 Midlands Graduate School is coming up. Please attend, or send your students! University of Nottingham, 22-26 April 2014 The M...
Monday, February 3, 2014
Retiring a joke
›
I just saw that Andy Pitts has a new draft out, An Equivalent Presentation of the Bezem-Coquand-Huber Category of Cubical Sets , with the ...
Saturday, January 25, 2014
OBT 2014
›
I just attended the Off the Beaten Track workshop, which is a POPL workshop where people gather to offer their new, untested, and (ideally)...
1 comment:
Friday, December 20, 2013
PhD Opportunities at the University of Birmingham
›
My university, the University of Birmingham , is looking for applicants to the CS PhD program. I'm putting our advertisement on my blog,...
1 comment:
‹
›
Home
View web version