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:

• Jesse Alama & Sara L. Uckelman, "Playing Lorenzen dialogue games on the Web".
• Jesse Alama & Sara L. Uckelman, "Proof rules for the dialogical logic N".

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.