logicomp.blogspot.com
Logicomp: January 2007
http://logicomp.blogspot.com/2007_01_01_archive.html
Wednesday, January 10, 2007. I have moved again . Anyway, apologies to my avid readers that I was silent for so long. Provided there is time and interest, I will blog again on a weekly basis. Links to this post. Subscribe to: Posts (Atom). I have moved again . View my complete profile. Gillian Russell (Logic and Language). Hal Daume III (NLPers). Kurt Van Etten (LearningComputation). Lance Fortnow (Computational Complexity). Simple template. Powered by Blogger.
logicomp.blogspot.com
Logicomp: November 2005
http://logicomp.blogspot.com/2005_11_01_archive.html
Sunday, November 27, 2005. Australia qualified for the World Cup 2006 in Germany. After 30 years of bad luck, Australia has finally qualified for next year's World Cup in Germany after beating Uruguay in a dramatic penalty shoot-out at Sydney's Telstra Stadium, Australia. Links to this post. Sunday, November 20, 2005. XML = Automata Logic Database. What do you get when you mix automata theory, mathematical logic, and database theory in a big bowl, and stir it vigorously? Author Leonid Libkin /author.
logicomp.blogspot.com
Logicomp: May 2006
http://logicomp.blogspot.com/2006_05_01_archive.html
Tuesday, May 02, 2006. Game theoretic characterization of treewidth. There is no doubt that the notion of treewidth. Introduced by Robertson and Seymour is one of the most important concepts in math and computer science introduced in the past thirty years. Roughly speaking, treewidth of a graph G measures how much G looks like a tree. For example, the treewidths of a tree, of a cycle, and of a clique (with n vertices) are respectively 1, 2, and n. The game goes as follows:. Which does not pass through X.
logicomp.blogspot.com
Logicomp: February 2006
http://logicomp.blogspot.com/2006_02_01_archive.html
Saturday, February 11, 2006. New Book on Parameterized Complexity. Jorg Flum and Martin Grohe just published their new book. Titled Parameterized Complexity Theory. Flum and Grohe are two giants in finite model theory who have contributed so much towards the development of parameterized complexity theory, especially logical characterizations of parameterized complexity classes. At this moment, one can only purchase the book from Springer as they just appeared some time this week. Links to this post.
logicomp.blogspot.com
Logicomp: January 2008
http://logicomp.blogspot.com/2008_01_01_archive.html
Monday, January 14, 2008. Happy New Year 2008! Without further ado, here are some plans for my posts for the next two to three weeks:. Some extensions of pushdown systems and how to do model checking on these structures. I covered the definitions of pushdown systems already in here. But not how to do model checking on these structures. So, I'll start there. Extensions that I will consider including prefix-recognizable systems, ground tree rewrite systems, and some probabilistic extensions.
logicomp.blogspot.com
Logicomp: September 2005
http://logicomp.blogspot.com/2005_09_01_archive.html
Saturday, September 24, 2005. P vs NP: let's think out loud. We all know this question. It is listed as one of the seven millenium problem by Clay Mathematic Institute. We also know that most people believe that P is different from NP. For example, in the P vs. NP Poll. Two most common reasons for believing that P is different from NP are the following:. There are (literally) tons of problems which are NP-complete (i.e. if one is in P, and all will be in P), and nobody has been able to devise any...A pro...
logicomp.blogspot.com
Logicomp: October 2008
http://logicomp.blogspot.com/2008_10_01_archive.html
Monday, October 27, 2008. When does Bob deserve to be a co-author? I have recently been reading Bill Gasarch's post. About when Alice deserves to be a co-author. This is definitely a sensitive issue; just check the number of ANONYMOUS comments. I have recently found some advice. That is more oriented towards faculty-student type of collaborations, but is perhaps also suitable in general. Check this link. Links to this post. Subscribe to: Posts (Atom). When does Bob deserve to be a co-author?
logicomp.blogspot.com
Logicomp: June 2008
http://logicomp.blogspot.com/2008_06_01_archive.html
Monday, June 30, 2008. I'm thinking of restructuring my blogs. I've recently found that things have changed a lot since I started my break a year or so ago: Lance has retired from blogging, Andy D has started his new cool blog. And Luca Aceto has his blog. Ah also I'm having a lot of difficulty deciphering blogger's word verification mechanism. Links to this post. Thursday, June 26, 2008. Pushdown systems: reachability via saturations. For pushdown systems, which are the simplest well-behaved class of in...
logicomp.blogspot.com
Logicomp: March 2006
http://logicomp.blogspot.com/2006_03_01_archive.html
Wednesday, March 22, 2006. I am at present organizing a reading group on "Model Checking on Nice Infinite Structures". Its purpose is to help the participants get a big picture of the area, know which problems are presently open, and understand proof ideas without having to read every paper. In sum, if you want to get up to speed with the state of the art, attend the meetings! Two upcoming meetings are as follows:. Feel free to stop by if you are in Toronto. I've tried to give a flavor of the area. It tu...
logicomp.blogspot.com
Logicomp: December 2005
http://logicomp.blogspot.com/2005_12_01_archive.html
Monday, December 19, 2005. Immerman's descriptive complexity survey. The most recent issue of SIGACT Newsletter. Vol 36, number 4) contains a guest column concerning progress in descriptive complexity by Neil Immerman. [Thanks to Kurt. Let me say a little bit about the content of the article (no spoiler! Capture PTIME over the class of all structures. In fact, a long-standing open problem in finite model theory is whether there exists a logic capturing order-independent PTIME problems. The articl...A fai...