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)
• IEEE Symposium on Logic in Computer Science (LICS)
• Conference on Rewriting Techniques and Applications (RTA)
• International Conference on Theory and Applications of Satisfiability Testing (SAT)

Organizers

General Chair Moshe Y. Vardi Rice University vardi@cs.rice.edu Conference Chair Leonid Libkin University of Edinburgh, UK libkin@ed.ac.uk Gordon Plotkin University of Edinburgh, UK gdp@ed.ac.uk Publicity Chair Nicole Schweikardt Goethe University schweika@informatik.uni-frankfurt.de

Organization Moshe Y. Vardi (General Chair) Leonid Libkin (Conference Chair) Gordon Plotkin (Conference Chair) Edmund M. Clarke (CAV Representative) Graham Steel (CSF Representative) Manuel Hermenegildo (ICLP Representative) Alan Bundy (IJCAR Representative) Tobias Nipkow (ITP Representative) Martín Abadi (LICS Representative) Jürgen Giesl (RTA Representative) Enrico Guinchiglia (SAT Representative) Andrei Voronkov (EasyChair Representative)