Call for papers

  • ICLP 2011, 27th International Conference on Logic Programming, Lexington, Kentucky, USA, July 6-10, 2011  http://www.cs.uky.edu/iclp2011/ (Deadline: Jan 10/17, 2011)
  • LPNMR-11, 11th International Conference on Logic Programming and Nonmonotonic Reasoning, Vancouver, BC, Canada, May 16-19, 2011 http://sites.google.com/site/lpnmr11 (Deadline: december 1)
  • RTA 2011   Rewriting Techniques and Applications   22nd International Conference. May 30-June 1, 2011,  Novi Sad, Serbia   http://www.rdp2011.uns.ac.rs/ (Deadline January 7-14, 2011)
  • DAMP 2011, Declarative Aspects of Multicore Programming Austin, Texas
    (colocated with POPL 2011) January 23, 2011 http://damp2011.cs.uchicago.edu/ (Deadline: OCTOBER 11, 2010)
  • WoLLIC 2011, 18th Workshop on Logic, Language, Information and Computation. Univ. of Pennsylvania, Philadelphia, USA, May 18-21, 2011. http://wollic.org/wollic2011/ (Deadline: January 1, 2011)