Post #1570634

Now that people are starting to make travel plans to FLoC: if you're doing education, please consider submitting to Tools for Educational Activities in Logic! Lots of categories: you can even re-send us *existing papers* (please see CFP)! (Please reshare!) https://teal.cs.brown.edu/floc2026/