On this page:

• Link to Web Page
• Participating Conferences
• FLoC Organizers

Participating Conferences

• Conference on Computer-Aided Verification (CAV)
• Computer Security Foundations Symposium (CSF)
• International Conference on Logic Programming (ICLP)
• International Joint Conference on Automated Reasoning (IJCAR)
• International Conference on Interactive Theorem Proving (ITP)
• Joint meeting of the EACSL Annual Conference on Computer Science Logic (CSL) and the ACM/IEEE Symposium on Logic in Computer Science (LICS)
• Joint meeting of the International Conference on Rewriting Techniques and Applications (RTA) and the International Conference on Typed Lambda Calculi and Applications (TLCA)
• International Conference on Theory and Applications of Satisfiability Testing (SAT)

Organizers

General Chair Moshe Y. Vardi Rice University vardi@cs.rice.edu Conference Chair Helmut Veith Vienna University of Technology Matthias Baaz Vienna University of Technology

Organization Moshe Y. Vardi (General Chair) Helmut Veith (Chair) Matthias Baaz (Co-Chair) Stefan Szeider (Workshop Chair) Azadeh Farzan (Student Support Program) Thomas Krennwallner (Olympic Games / Competition Chair) Stefan Rummele@Rümmele (Workshop Co-Chair)