---------- Forwarded message --------- The Federated Logic Conference (FLoC) unites the ten leading international conferences focused on mathematical logic and its applications in computer science. Since 1996, FLoC is organized every four years and counts with over 2,000 attendees. FLoC 2026 will be held at the Institut Universitaire de Lisbonne (ISCTE) in Lisbon, Portugal, on July 20-23 & July 26-29 (Conferences), July 18-19 & July 24-25 (Workshops), July 13-17 (FoPSS Summer School).
FLoC 2026 welcomes original, high-quality contributions on all aspects of logic in computer science. # Important Dates (AoE) CAV - 38th International Conference on Computer Aided Verification https://conferences.i-cav.org/2026/ Paper Submission: January 28, 2026 Author Response Period: March 30 - April 1, 2026 Author Notification: April 17, 2026 Conference Dates: July 26-29, 2026 CP - 32nd International Conference on Principles and Practice of Constraint Programming https://cp2026.a4cp.org Abstract Submission: February 28, 2026 Paper Submission: March 7, 2026 Author Response Period: March 9-12, 2026 Author Notification: April 30, 2026 Conference Dates: July 20-23, 2026 CSF - 39th IEEE Computer Security Foundations Symposium https://csf2026.ieee-security.org Paper Submission: January 29, 2026 Author Notification: April 1, 2026 Conference Dates: July 26-29, 2026 FSCD - 11th International Conference on Formal Structures for Computation and Deduction https://fscd2026.github.io Abstract Submission: January 23, 2026 Paper Submission: January 30, 2026 Author Response Period: March 23–27, 2026 Author Notification: April 16, 2026 Conference Dates: July 20-23, 2026 ICLP - 42nd International Conference on Logic Programming https://www.semsys.aau.at/events/iclp2026/ Abstract Submission (Regular Papers): January 24, 2026 Paper Submission (Regular Papers): January 31, 2026 Author Notification (Regular Papers): March 5, 2026 Paper Submission (Short Papers): March 27, 2026 Revision Submission (Regular Papers): March 27, 2026 Final Author Notification: April 17, 2026 Conference Dates: July 20-23, 2026 IJCAR - 13th International Joint Conference on Automated Reasoning https://www.floc26.org/ijcar Abstract Submission: February 6, 2026 Paper Submission: February 13, 2026 Author Response Period: March 30-31, 2026 Author Notification: April 14, 2026 Conference Dates: July 26-29, 2026 ITP - 17th International Conference on Interactive Theorem Proving https://itp-conference-2026.github.io Abstract Submission: February 12, 2026 Paper Submission: February 19, 2026 Author Notification: April 26, 2026 Conference Dates: July 26-29, 2026 KR - 23rd International Conference on Principles of Knowledge Representation and Reasoning https://kr.org/KR2026/ Abstract Submission: February 8, 2026 (Main Track) Paper Submission: February 13, 2026 (Main Track) Author Response Period: March 24-28, 2026 (Main Track) Author Notification: April 13, 2026 (Main Track) Conference Dates: July 20-23, 2026 LICS - 41st Annual ACM/IEEE Symposium on Logic in Computer Science https://lics.siglog.org/lics26/ Abstract Submission: January 15, 2026 Paper Submission: January 22, 2026 Author Response Period: March 26–29, 2026 Author Notification: April 16, 2026 Conference Dates: July 20-23, 2026 SAT - 29th International Conference on Theory and Applications of Satisfiability Testing https://satisfiability.org/SAT26/ Abstract Submission: February 20, 2026 Paper Submission: February 27, 2026 Author Response Period: April 13-17, 2026 Author Notification: April 30, 2026 Conference Dates: July 20-23, 2026 In addition to the conferences there will be 86 workshops (including Mentoring Workshop, Olympic Games, tutorials, and doctoral consortia)! Learn more and find submission details: https://www.floc26.org/ #FLoC2026 <https://www.floc26.org/#FLoC2026> #LogicInCS #Lisbon -- 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_Lhs0L0Q6UN-0sTDOiBkU%3D%2Bqf65HaFBr5NOL063F%3DAVeSQ%40mail.gmail.com.
