Logic & Computation
WoLLIC is an annual series of workshops designed to provide a forum for the presentation of research on all aspects of logic, ranging from mathematical logic and linguistics to theoretical computer science.
A premier scientific forum for the exchange of research ideas between logicians, linguists, and computer scientists on the foundations of computation.
The Scientific Mission
WoLLIC is an annual series of workshops designed to provide a forum for the presentation of research on all aspects of logic, ranging from mathematical logic and linguistics to theoretical computer science.
Formal semantics, syntax-semantics interface, and the logical foundations of natural language processing.
Stanford University • Department of Computer Science
A pioneer in computational linguistics, Prof. Moretti's work at Stanford has redefined our understanding of neural-symbolic integration.
"This keynote will bridge the gap between discrete logical systems and continuous neural representations, proposing a unified framework that preserves the rigor of formal logic while harnessing the power of deep learning."
University of Gothenburg • Philosophy & Logic
Dr. Jonsson is a leading voice in formal epistemology, focusing on the mathematical structures of belief revision and information flow.
Exploring the evolution of computational information theory, this lecture investigates how belief revision models can be dynamically updated in complex multi-agent environments.
Authors are invited to submit papers presenting original and unpublished research in the relevant areas of the workshop.
Final Call
Strict deadline at 23:59 AoE
Acceptance letters sent via Easychair
Final manuscript submission for LNCS
Main scientific sessions and networking
Hosted by the Universidad Nacional Mayor de San Marcos, the workshop will take place in the historic central building, combining centuries of academic tradition with state-of-the-art facilities.
Preferred Hotels
Nearby hotels for attendees
Easy Access
Direct links to Jorge Chavez International Airport