Email Gateway (Aug 18 2022 at 10:06): Email Gateway (Aug 18 2022 at 10:06):From: Jeremy.Gibbons@comlab.ox.ac.uk
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
http://www.ifm2007.org/LNCS.html
Both .doc and .pdf formats are acceptable. Electronic submission is
possible via the conference website. Authors will be notified on or
before March 15th.
Last updated: May 03 2024 at 04:19 UTC