Wednesday, September 8, 2010

News and events

We have had two short papers accepted to the 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Yogyakarta, Indonesia, October 10-15, 2010: Both Jesse and I will be giving talks on our recent work at the Workshop on Dialogues, Inference, and Proof - Logical and Empirical Perspectives, Vienna, Austria, November 26-28, 2010. There are also plans in the work for a follow-up workshop in Tübingen, tentatively scheduled for February 25-27, 2011. When details are finalized, they will be announced here among other places.

No comments:

Post a Comment