Source: wikibot/logic-conferences

= Logic conferences
{wiki=Category:Logic_conferences}

Logic conferences refer to academic gatherings focused on the study and advancement of logic, which is a fundamental area in mathematics, philosophy, computer science, and related fields. These conferences often bring together researchers, educators, and students to present their findings, share ideas, and discuss current trends in various subfields of logic, such as: 1. **Mathematical Logic**: Including model theory, set theory, proof theory, and recursion theory.