#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
I'm a last minute addition to the Program Committee for #WoLLIC2023 (Workshop on #Logic, Language, Information and Computation) "an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning". Accepted submissions are published. Abstract deadline is very soon - Feb 27 - so do get in soon if you'd like to attend the conference in Halifax, Nova Scotia, Canada #CallForPapers
#callforpapers #logic #wollic2023
#WoLLIC2023 (Workshop on Logic, Language, Information and Computation), which despite being called a 'workshop' do publish proceedings: "an annual international forum on inter-disciplinary research
involving formal logic, computing and programming theory, and natural
language and reasoning" #logic . Unfortunately they do not seem to have their website's certificate up to date, but link is here if you feel lucky: https://wollic.org/wollic2023/