Quantifiers in Low-Resource Quechua Dialects
M. Quispe, L. Tanaka
Lima, Peru • July 2026
Program &
Accepted Papers
Explore the intersection of logic, language, and computation. A three-day curated journey through the most significant advancements in formal reasoning.
Conference Schedule
09:00 — 10:30Logic
Keynote: Decidability in Higher-Order Theories
Dr. Elena Rodriguez • Universidad de San Marcos
Hall A (Pizarro)
11:00 — 12:30Language
Categorical Semantics of Natural Language
Arthur J. Miller
14:00 — 15:30Computation
Special Workshop: Quantum Logic Gates
Limited SeatsHands-on session using the Lima Hub Quantum Simulator. Facilitated by the WoLLIC Technical Committee.
Accepted Papers
Mathematical Logic
On the Complexity of Modal Fixpoint Logics over Finite Graphs
Zhang Wei, Chen Long
Non-well-founded Proofs for Linear Logic with Least and Greatest Fixpoints
S. Holmgren, J. Foster
A Note on the Modal Logic of Provability in Weak Arithmetic
Dimitri Volkov
Formal Linguistics
Structural Symmetries in Romance Syntax
P. Gonzalez
Type-logical Grammar for Ellipsis
R. Kumada
Theoretical CS
Concurrent Game Semantics for Probabilistic Programs
T. Laurent
Polynomial Time Monadic Datalog
K. Yamamoto
Stay Informed
Receive updates on session changes, room assignments, and evening social events in Lima.