We are looking for a Research Fellow (12-month position; AUS $111,603 – $132,529 per year plus 17% superannuation) to work on the project “HARNESS: Hierarchical Abstractions and Reasoning for Neuro-Symbolic Systems”. Ideally, the candidate will have knowledge in symbolic knowledge…
Month: September 2023
CFP: 26th International Symposium on Practical Aspects of Declarative Languages (PADL)
Call for Papers 26th International Symposium on Practical Aspects of Declarative Languages(PADL 2024) https://popl24.sigplan.org/home/PADL-2024 London, United Kingdom, January 15-16, 2024 Co-located with ACM POPL 2024 Conference Description Declarative languages comprise several well-established classes of formalisms, namely, functional, logic, and constraint programming.…
PPDP/LOPSTR 2023 invited speakers
We are glad to report here the names of the speakers and contents of the joint invited speaker of PPDP 2023 and LOPSTR 2023, to be held as part of SPLASH 2023 in October at Cascais, Lisbon, Portugal. Maribel Fernández…