[SMT-LIB] LPAR-20 in Fiji - Register now

Geoff Sutcliffe geoff at cs.miami.edu
Fri Nov 6 08:06:03 EST 2015


===============================================================================

                   The 20th International Conference on
        Logic for Programming, Artificial Intelligence and Reasoning
                   Suva, Fiji, 23rd-28th November 2015
                             www.LPAR-20.info

                          CALL FOR PARTICIPATION

Registration for LPAR-20 is still open ... follow the link from the conference
web page. Information about travel to Fiji, and accomodation in Suva, is also
available on the web page. Come join us for the focussed workshops, the high
quality conference, and the renowned LPAR social events.

===============================================================================


More information about the SMT-LIB mailing list