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

2017-06-07 Thread Manuel Hermenegildo
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

[UAI] Tenure-track Faculty Positions at the IMDEA Software Institute

2023-10-11 Thread Manuel Hermenegildo
TENURE-TRACK FACULTY POSITIONS AT THE IMDEA SOFTWARE INSTITUTE The IMDEA Software Institute invites applications for tenure-track (Assistant Professor) faculty positions. We are primarily interested in recruiting excellent candidates in the areas of: Machine Learning, including Formal