[Hol-info] (CFP) Certified Programs and Proofs 2013 - Final Call for Papers

[ NOTE: We have delayed our abstract submission dates by a few days to bring ourselves into line with our co-conference, APLAS. Abstract submission: Monday, 10 June Final submission:Friday, 14 June Come to sunny Australia in December to escape the northern winter! ] CALL FOR PAPER

[Hol-info] [Deadline extended: June 15] CFP: Workshop on Knowledge Representation and Reasoning in Robotics @ ICLP2013, Istanbul, Turkey

(Apologies for cross-posting.) CALL FOR PAPERS AND POSTER ABSTRACTS Workshop on Knowledge Representation and Reasoning in Robotics at the International Conference on Logic Programming (ICLP). Location: Istanbul, Turkey. Date of Workshop: August 25, 2013. Workshop web site: http://www

[Hol-info] CICM 2013: Final Call for Work in Progress Papers, Deadline June 7th, 2013

CICM 2013 - Conferences on Intelligent Computer Mathematics July 8-12, 2013 at University of Bath, Bath, UK http://www.cicm-conference.org/2013/cicm.php Final Call for Work-in-Progress Papers --