[Hol-info] 2nd CFP, 4th WS on Horn Clauses for Verification & Synthesis HCVS (Deadline: June 11)

one of them will be present at the workshop. Papers must be submitted through the EasyChair system using the web page: https://easychair.org/conferences/?conf=hcvs2017. -- - Manuel Hermenegildo

[Hol-info] LOPSTR 2016 Call for Papers

Santos Costa, Universidade do Porto, Portugal Hirohisa Seki, Nagoya Institute of Technology, Japan Peter Schneider-Kamp, University of Southern Denmark, Denmark Program Chairs Manuel Hermenegildo, IMDEA Software Institute and T.U. Madrid (UPM) Pedro Lopez-Garcia, IMDEA Software