Wednesday, December 2, 2009

FLoC 2010: Call for Papers

2010 FEDERATED LOGIC CONFERENCE (FLoC'10)

 Edinburgh, Scotland, U.K.
 July 9-21, 2010
 http://www.floc-conference.org

 CALL FOR PAPERS

* The fifth Federated Logic Conference (FLoC'10) will be held in
 Edinburgh, Scotland, U.K. (www.edinburgh.org), in July 2010, at the
 School of Informatics at University of Edinburgh (www.inf.ed.ac.uk).

* The following conferences will participate in FLoC:
 - CAV 2010:   Int'l Conference on Computer-Aided Verification
 - CSF 2010:   IEEE Computer Security Foundations Symposium
 - ICLP 2010:  Int'l Conference on Logic Programming
 - IJCAR 2010: Int'l Joint Conference on Automated Reasoning
 - ITP 2010:   Int'l Conference on Interactive Theorem Proving
 - LICS 2010:  IEEE Symposium on Logic in Computer Science
 - RTA 2010:   Int'l Conference on Rewriting Techniques and Applications
 - SAT 2010:   Int'l Conference on Theory and Applications of
               Satisfiability Testing

* Plenary events involving all the conferences are planned. In addition
 to the participating conferences, FLoC'10 will host a number of
 pre- and post-conference workshops. There will be receptions in the
 Edinburgh Castle and at the National Galleries of Scotland.

* Travel support for US student participants is expected.

* Detailed calls for papers (as well as submission instructions) for each
 of the participating conferences can be found at the FLoC'10 website at
 http://www.floc-conference.org

* Important dates:
 - CAV 2010:
      PC chairs: Byron Cook, Paul Jackson, Tayssir Touili
      Jan 11: abstract submission deadline
      Jan 15: paper submission deadline
 - CSF 2010:
      PC chairs: Michael Backes, Andrew Myers
      Feb 04: abstract submission deadline
      Feb 08: paper submission deadline
 - ICLP 2010:
      PC chairs: Manuel Hermenegildo, Torsten Schaub
      Jan 26: paper registration deadline
      Feb 02: paper submission deadline
 - IJCAR 2010:
      PC chairs: Jürgen Giesl, Reiner Hähnle
      Jan 15: abstract submission deadline
      Jan 22: paper submission deadline
 - ITP 2010:
      PC chairs: Matt Kaufmann, Lawrence C. Paulson
      Jan 15: abstract submission deadline
      Jan 22: paper submission deadline
 - LICS 2010:
      PC chair: Jean-Pierre Jouannaud
      Jan 10: abstract submission deadline
      Jan 17: paper submission deadline
 - RTA 2010:
      PC chair: Christopher Lynch
      Jan 15: abstract submission deadline
      Jan 22: paper submission deadline
 - SAT 2010:
      PC chairs: Ofer Strichman, Stefan Szeider
      Feb 01: abstract submission deadline
      Feb 08: paper submission deadline

* FLoC'10 Steering Committee:
  - General Chair: Moshe Y. Vardi
  - Conference Co-chairs: Leonid Libkin, Gordon Plotkin
  - CAV Representative: Edmund Clarke
  - ICLP Representative: Manuel Hermenegildo
  - IJCAR Representative: Alan Bundy
  - ITP Representative: Tobias Nipkow
  - LICS Representative: Martin Abadi
  - RTA Representative: Juergen Giesl
  - SAT Representative: Enrico Giunchiglia
  - EasyChair Representative: Andrei Voronkov