[TYPES/announce] WoF'15: call for papers

Iliano Cervesato iliano at andrew.cmu.edu
Wed Jul 29 10:52:01 EDT 2015


[Apologies if you have received multiple copies of this announcement]
=======================================================================
                          Call for papers

             First International Workshop on Focusing
                              WoF'15

                   Suva, Fiji, 23 November 2015
                      Affiliated with LPAR-20

                     http://cs.cmu.edu/~wof15/

=======================================================================
               SUBMISSION DEADLINE: 4 SEPTEMBER 2015

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:
- Focusing in forward, backward and hybrid logic programming languages
- Focusing in theorem proving
- Focusing for substructural logics
- Focused term calculi
- Implementation techniques
- Parallelism and concurrency
- Focusing in security
- Pearls of focusing

Invited Speaker
TBA


Important Dates

Abstract submission deadline: Friday  September  4th
Submission deadline:          Friday  September 11th
Notification to authors:      Friday  October    9th
Final version due:            Friday  October   30th
Workshop date:                Monday  November  23rd


Submission

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 (link on the WoF'15 web page).


Proceedings

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).


Program Committee
* Iliano Cervesato (Carnegie Mellon University, co-chair)
* Kaustuv Chaudhuri (Inria and LIX/Ecole polytechnique)
* Paul Blain Levy (University of Birmingham)
* Chuck Liang (Hofstra University)
* Elaine Pimentel (Universidade Federal do Rio Grande do Norte)
* Carsten Schürmann (ITU Copenhagen and Demtech, co-chair)
=======================================================================
-- 
Iliano Cervesato  www.cs.cmu.edu/~iliano/
Professor         Carnegie Mellon University


More information about the Types-announce mailing list