Tuesday, January 22, 2013

CSL twenty years later...

It is rather nice to have been invited to the programme committee of CSL (Computer Science Logic) in Turin or Torino, Italy, almost exactly twenty years after I went to one of their first meetings.  I misremembered slightly and thought that San Miniato was in 1993, but it was in 1992. I loved the conference and made many friends, it's rather nice to be part of their programme committee this time.

Thank you for the invitation Simona Ronchi Della Rocca!

Monday, January 21, 2013

This week in Categorical Logic: a Baez celebration of sorts...

So I never get sick, mostly, but when do, I'm a total wimp. I feel like it's bad, horrible, terrible and that things will never be the same again. Pathetic, I know.  But since I got the unexpected gift of being sick for the last two days I was able to notice this proposed celebration of John Baez "This week in mathematical physics" 20-year anniversary. Cool, isn't it? So I thought I'd have a go.

I'm not a conventional mathematician and not a math blogger really, but I do blog occasionally about maths an other scientific pursuits, so why not?

I also gives me an excuse to enjoy a two hour leisurely tour of what I think it's fun, nice and new in categorical logic. Like the proposer of the celebration says I will try to describe with capsule summaries  ``a few papers I’ve recently noted with pleasure and interest", but I am very much behind of my reading on anything mathematical, so it won't be this week's finds at all. I also decided to give myself a maximum of 5 papers/programmes to describe so that the task doesn't look to big and I fail to even start it. I can always add some people/ideas later on if I want to.

1. The Univalent Foundations, Voevosky et al has to be the first big new thing in categorical logic in the last few years. I don't pretend to understand any of it, but it sure is about the equality of proofs in type theory, which is categorical logic par excellence. Apart from the IAS link above one can read about it from Thierry Coquand, Steve Awodey, Peter Lumsdaine and many other excellent category theorists. I thought I was going to do a "for-dummies" version, but haven't had the time, yet.

2. Olivia Caramello's programme of Topos Theory as a unifying force in mathematics. I don't know much about this either, I haven't even read the "for-dummies" versions that she presents in her site, so I'm looking forward to another sudden sickness to catch up on this...

3. The computational content extraction from (classical) proofs is still going strong and while it's mostly done without categorical logic (Kohlenbach's website contains many excellent examples of what has been re-branded as "proof mining" e.g. Gödel's functional interpretation and its use in current mathematics.), the hope has always been that categorical logic will play a bigger part. I was/am particularly excited by Paulo Oliva's work, but then I'm biased as his work is/was remotely related to mine. (There are lots of new publications in Paulo's webpage, need to check them out.)

4. It is only fitting that one of my interesting programmes in categorical logic has to do with John Baez and particularly Mike Stay with whom I've discussed some of these issues. I'm referring to their manifesto Physics, Topology, Logic and Computation: A Rosetta Stone . (I'm afraid I haven't read it, just skimmed it enough to know I should!) I once gave a talk to the physicists in Cambridge's DAMPT (invited by my friend Shaun Majid) which was enough to convince me that there's plenty of easy stuff to do in the frontiers between categorical logic and several kinds of theoretical physics that would be very useful to both communities.

5. Finally I want to end up with something that it's not like a programme yet, but I hope it will become one, given the right conditions... This paper is an intriguing connection between logic, distributed programming in the large and Milner-style tacticals (as in LCF, HOL, Isabelle, etc...).
I don't the differences between that  and this, so adding both links here.

As it probably isn't clear from the short descriptions above, my own work is related to 3, 4 and 5 above.  And I will not be surprised if the Dialectica and its models are also connected to 1 and 2... 
Had I not had to earn a (very comfortable) living I guess I would be working on the programmes above. Since I do have to earn one, I'm instead working on the also very exciting themes of Logic for and from Language. I guess it would also be fun to list the best big ideas (as far as I'm concerned) on that front too. After all this is about the only good thing about getting old: you get much more convinced of your ideas and that they're worth spreading...

(picture by Eric Volpe, check his flickr stream)

Wednesday, January 16, 2013

Of Time and Other Disasters

Time and temporal reasoning pose many problems in language and logic. A truism, if I have ever written one.

I don't like facing big problems head on, I much prefer to make small solid advances on the corners, if possible. Doing science is a bit like eating porridge: some people prefer to dig in, some prefer the borders. and of course there are problems with both approaches, but I much prefer the borders.

But some times you just have to make some decisions, so I'm taking a deep breath and reading the husband on ``time in language representations for beginners", a course he's given at ESSLLI in Saarbruecken in1998. Here are the notes.

Saturday, January 12, 2013

Stanford is beautiful in April...

and at most other times too. But following up with posts about what's happening, here's number two, with the same suspects.

As Annie Zaenen says:

Workshop on Modality and Veridicity Stanford April 2013

NLP is moving beyond the identification of events and their participants in texts to detecting the stance of the writer/speaker towards the events or entities mentioned. The treatment of modal expressions and indicators of veridicity (the speaker's presentation of an event as factual) are important issues in this context. Linguistic theory has had many things to say about them but how these linguistic insights translate into computational approaches is not yet clear. We hope in this workshop to contribute to the mutual understanding between linguists and practitioners of NLP in this domain. 

I believe the workshop is on the 12th April, but I'm not sure, yet. Need to discover.
ps: the picture is by my cousin Alvaro.

All your projects are belong to us...

Happy New Year!

Together with Annie Zenen and  Cleo Condoravdi  I am editing  a volume on formal and computational  semantics and logic as they pertain to textual inference. We organized three workshops that focused on some aspects of the topic (see http://semanticrepresentation.stanford.edu/  for the program of all three) but we also want to get some more reasoned content. Before I go completely crazy and forget all that I need to do, here's an attempt at creating posts that record some of the stuff on the go.