[FOM] LPAR-16 deadline extended  Geoff Sutcliffe by way of
Martin Davis <martin@eipye.com> geoff at cs.miami.edu Fri Jan 8
15:47:59 EST 2010                                CALL FOR PAPERS
16th International Conference on Logic for
Programming, Artificial Intelligence and Reasoning
April 25 - May 1, 2010                                 Dakar,
Senegal   The series of International Conferences on Logic for
Programming, Artificial computational logic, programming
languages and their applications come to exchange ideas in a
scientifically emerging part of the world. The 16th edition will
be held in Dakar, Senegal.  Logic is a fundamental organizing
principle in nearly all areas in Computer At one extreme, it
underlies computability and complexity theory and the formal
semantics of programming languages. At the other, it drives
billions of gates every day in the digital circuits of
processors of all kinds. Logic is in itself a powerful
programming parad