Explore / Beyond Tabs
Events
Conferences and meetups around the languages covered here.
4 events · Page 1 of 1
-
FLOPS 2026
Through
A programming-languages symposium uniting functional, logic, and functional-logic researchers to share advances in theory, semantics, implementation, and applications. It aims to promote cross-fertilization across all styles of…
-
PADL 2026
Through
PADL is an annual symposium for researchers and practitioners to explore declarative languages, including functional, logic, and constraint programming, with a focus on practical applications and implementation techniques.
-
ICLP is the premier international event for presenting research in logic programming, including Prolog. The conference will feature workshops, a doctoral consortium, and an autumn school in computational logic.
-
XXI Brazilian Logic Conference
Through
The main event of the Brazilian Logic Society, EBL brings together researchers in logic across philosophy, mathematics, computer science, linguistics, and AI. Preceded by the Logic School, May 9–11, in São Paulo City