[TYPES/announce] Tools for Educational Activities in Logic (TEAL at FLoC'26)

[Luigia Petre]

Call for Contributions for the Workshop

Tools for Educational Activities in Logic (TEAL at FLoC'26)
https://urldefense.com/v3/__https://teal.cs.brown.edu/floc2026/__;!!IBzWLUs!Q86N2DixfsoGXmv7WcakHuc__bGSj4rjpvEqIPVVjaXA9A68zQ-DXXvpO1xMuI2E6esXmCDqQKtSLfJNQmMZq5xxPr9D-lxECbkF$ 
July 25, 2026, Lisbon, Portugal

***

Dear colleagues,

We invite contributions to the workshop Tools for Educational Activities
in Logic (TEAL), collocated with FLoC 2026.

TEAL welcomes work on tools for learning about logic, broadly defined.
Our goal is an interactive, community-building workshop, not just
another publication venue. Accordingly, we welcome multiple types of
contributions including plenary demos, discussion topics, research
papers, repeat papers, and experience reports.

*Important Dates*

Submission deadline: April 29, 2026 (AoE)
Author Notification: May 27, 2026
Workshop: July 25, 2026


For more information, see: https://urldefense.com/v3/__https://teal.cs.brown.edu/floc2026/__;!!IBzWLUs!Q86N2DixfsoGXmv7WcakHuc__bGSj4rjpvEqIPVVjaXA9A68zQ-DXXvpO1xMuI2E6esXmCDqQKtSLfJNQmMZq5xxPr9D-lxECbkF$ 

Best wishes,
Shriram Krishnamurthi and Thomas Zeume


__
Luigia Petre, Docent, PhD
Faculty of Science and Engineering
Åbo Akademi University, Finland
https://urldefense.com/v3/__http://www.users.abo.fi/lpetre__;!!IBzWLUs!Q86N2DixfsoGXmv7WcakHuc__bGSj4rjpvEqIPVVjaXA9A68zQ-DXXvpO1xMuI2E6esXmCDqQKtSLfJNQmMZq5xxPr9D-ufBcRcP$ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20260220/13965989/attachment-0001.htm>