#WoLLIC2023 (Workshop on Logic, Language, Information and Computation), which I worked on the PC of, has released its list of #AcceptedPapers https://www.mathstat.dal.ca/wollic2023/accepted.html . Conference is in #Halifax Canada in July. #logic
#logic #halifax #acceptedpapers #wollic2023
The #CPP2023 (Certified Programs and Proofs) #AcceptedPapers list is out! https://popl23.sigplan.org/home/CPP-2023#event-overview I had the privilege of being on the Program Committee this year :). #ITP #Verification #Logic
#logic #verification #ITP #acceptedpapers #cpp2023