[Haskell] IFM2007 Final call for contributions

Jeremy.Gibbons at comlab.ox.ac.uk Jeremy.Gibbons at comlab.ox.ac.uk
Thu Jan 25 02:40:17 EST 2007


                               IFM 2007

     Sixth International Conference on Integrated Formal Methods
                   2nd - 6th July 2007, Oxford, UK


                     Final Call for Contributions

Contributions to the technical programme of IFM 2007, including papers
for the special session on Unifying Theories of Programming, and
proposals for workshops and tutorials, are invited.  The deadline for
submission has been extended to 5th February 2007.  See the calls at


Papers should not exceed 20 pages in length, and should be prepared in
accordance with the publisher's guidelines; style files and templates
are available at


Both .doc and .pdf formats are acceptable.  Electronic submission is
possible via the conference website.  Authors will be notified on or
before March 15th.


More information about the Haskell mailing list