Loading Events

« All Events

29th Workshop on Logic, Language, Information and Computation

July 11, 2023 - July 14, 2023

WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The 29th WoLLIC will be held at Dalhousie University in Halifax, Nova Scotia, Canada, July 11–14, 2023. The conference typically covers the following topics: foundations of computing, programming and Artificial Intelligence (AI); novel computation models and paradigms; broad notions of proof and belief; proof mining, type theory, effective learnability and explainable AI; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection; foundations of mathematics; philosophical logic; philosophy of language.

Details

Start:
July 11, 2023
End:
July 14, 2023
Event Category:

Venue

Dalhousie University
Halifax, Nova Scotia Canada + Google Map

Organizer

Peter Selinger
Phone:
902-494-3311
Email:
Peter.Selinger@Dal.Ca