Dagstuhl 2021? I wish

 

Looking at my Google Scholar Profile last week, I discovered that I had a new publication in 2021 together with Josef van Genabith, Eike Ritter and Dick Crouch. This was a big surprise, as I haven't even talked to Josef or Eike in a long while! Our Dagstuhl seminar, Linear Logic and Applications, happened in 1999. But yes, Dagstuhl must have decided to put all the older reports online, after a long while, which is nice.

I am very proud of this Dagstuhl meeting and wish I could organize another, as Dagstuhl is a great place to do science of high quality. Looking at the abstracts 22 years later, it is very interesting to see the trends that turned out to be very productive. In particular, David Pym and Peter O'Hearn's "Bunched Logic" made its' first appearance in the seminar and it did go places!

History of Ideas?

 (This was a FB post from 31st October 2013. I still want to solve this problem, I still like Banksy. But now I want to leave FB as soon as I can. So it makes sense to copy previous old posts in this blog.)

I have a problem that would be nice to see someone helping to solve... 

Look at this paper: Studying the History of Ideas Using Topic Models 

http://aclweb.org/anthology//D/D08/D08-1038.pdf

The guys study the development of ideas in a scientific field (computational linguistics) over time (25 years) using the abstracts of the papers published in the field. Now, wouldn't it be great to see the same  for category theory? 

 

I'm particularly interested because I just wrote a paper with Andrei Rodin, `Elements of Categorical Logic: Fifty Years Later' celebrating the 50th anniversary of Bill Lawvere's PhD thesis.

I think a study of topics in category theory would show `n-category theory' rising sharply in importance, recently.

 

There is, of course, the first issue of getting the papers. Apparently some 15 hundred abstracts is enough though...  From TAC we have some 800 or thereabouts. Maybe some of our friends will get interested? 

It would be nice.

(31st October 2013)