Focusing is a proof search strategy that alternates two phases: an inversion phase where invertible sequent rules are applied exhaustively and a chaining phase where it selects a formula and decomposes it maximally using non-invertible rules. Focusing is one of the most exciting recent developments in computational logic: it is complete for many logics of interest and provides a foundation for their use as programming languages and rewriting calculi.

This workshop has the purposes of bringing together researchers who work on or with focusing, to foster discussion and to report on recent advances. Topics of interest include:

Invited Speaker

For information about title and abstract, see Invited Talks.


See Program for the accepted papers and a preliminary schedule.


Registration for WoF is open and early registration ends on October 23rd, 2015. Please see the LPAR-20 registration page for details.

Important Dates


In addition to regular papers, we also solicit "work in progress" reports, in a broad sense. Those do not need to report fully polished research results, but should be interesting for the community at large.

Submitted papers should be in PDF, formatted using the EPTCS style guidelines. The length is restricted to 12 pages for regular papers and 6 pages for "Work in Progress" papers.

Submission is via EasyChair. Submit to WoF'15 now!


Accepted regular papers will be included in the proceedings of WoF'15, which will be published in the Electronic Proceedings in Theoretical Computer Science series (EPTCS).

The proceedings of WoF'15 appeared as volume 197 of EPTCS.

Program Committee