[SMT-LIB] LPAR-20 in Fiji - Registration is open

Geoff Sutcliffe geoff at cs.miami.edu
Thu Oct 15 11:00:48 EDT 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 now 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