---------- Forwarded message ---------
Call for Contributions for the Workshop Tools for Educational Activities in Logic (TEAL@FLoC'26) https://teal.cs.brown.edu/floc2026/ 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://teal.cs.brown.edu/floc2026/ Best wishes, Shriram Krishnamurthi and Thomas Zeume -- Prof. Dr. Thomas Zeume Logic and formal verification Faculty of Computer Science Ruhr University Bochum Universitätsstraße 150 44801 Bochum -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lhw2qfRJ0pjthv5ubabSyweK_gMyU8H4Fx-eSO%3DDDwCSA%40mail.gmail.com.
